digraph {
  bgcolor="transparent"

  node [penwidth=0.5 fontsize="12" shape="box" style="filled" fontcolor="white" fontname="Courier New"]
  edge [penwidth=2 fontsize="10" color="#0A1931" arrowsize=0.8 fontname="Courier New"]

#########
# NODES #
#########
  id_5138c0fa_3d92_4d3a_a4fc_90608de81a92 [id="id_5138c0fa_3d92_4d3a_a4fc_90608de81a92#Begin" pos="0.0,10000.0!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Begin" tooltip="Begin" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 
  id_6469cf0c_612d_49eb_adf6_5ec7bf900dd9 [id="id_6469cf0c_612d_49eb_adf6_5ec7bf900dd9#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f50e781f_059e_4282_9182_8927829d5772 [id="id_f50e781f_059e_4282_9182_8927829d5772#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e3ecbb7c_fb16_479d_b05d_b6eb6ecadc47 [id="id_e3ecbb7c_fb16_479d_b05d_b6eb6ecadc47#Assign" pos="0.0,9997.1875!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="n = 1234" tooltip="n = 1234" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257#While" pos="0.0,9996.25!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="false" tooltip="false" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="1.25,9996.25!" shape=point width=0]
  false_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="-1.25,9996.25!" shape=point width=0]
  
  
  
  true_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="1.25,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b#If" pos="0.0,9994.375!" height=0.5 width=1.49 fixedsize=true group="fun-main" 
    label="n == 1234" tooltip="n == 1234" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [pos="-1.25,9994.375!" shape=point width=0]
  
  id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b [id="id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b#Output" pos="1.25,9993.4375!" height=0.4 width=1.52 fixedsize=true group="id_3be21aa7_c5b4_4f1a_ad7e_3c1be8c2cb1c"    label="\"unlocked\"" tooltip="\"unlocked\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  
  true_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [ pos="1.25,9992.5!" shape=point width=0]
  false_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [ pos="-1.25,9992.5!" shape=point width=0]
  
  end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b#IfEnd" class="flowrun-not-selectable" pos="0.0,9992.5!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_e5018b33_e8e1_4019_8a61_f4a2bfe45f4c [id="id_e5018b33_e8e1_4019_8a61_f4a2bfe45f4c#Return" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="End" tooltip="End" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] 

#########
# EDGES #
#########
  id_5138c0fa_3d92_4d3a_a4fc_90608de81a92:s -> id_6469cf0c_612d_49eb_adf6_5ec7bf900dd9:n [id="id_5138c0fa_3d92_4d3a_a4fc_90608de81a92@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6469cf0c_612d_49eb_adf6_5ec7bf900dd9:s -> id_f50e781f_059e_4282_9182_8927829d5772:n [id="id_6469cf0c_612d_49eb_adf6_5ec7bf900dd9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f50e781f_059e_4282_9182_8927829d5772:s -> id_e3ecbb7c_fb16_479d_b05d_b6eb6ecadc47:n [id="id_f50e781f_059e_4282_9182_8927829d5772@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e3ecbb7c_fb16_479d_b05d_b6eb6ecadc47:s -> id_68319117_3e84_48f0_bc60_cbcff3386257:n [id="id_e3ecbb7c_fb16_479d_b05d_b6eb6ecadc47@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_68319117_3e84_48f0_bc60_cbcff3386257:e -> true_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257@id_5fd6eb83_e36b_4fc7_8887_08df3cf56503" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 -> true_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257:n [id="id_68319117_3e84_48f0_bc60_cbcff3386257@id_5fd6eb83_e36b_4fc7_8887_08df3cf56503" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 -> true_dummy_down_left_id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257@id_5fd6eb83_e36b_4fc7_8887_08df3cf56503" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_68319117_3e84_48f0_bc60_cbcff3386257 -> id_68319117_3e84_48f0_bc60_cbcff3386257:s [id="id_68319117_3e84_48f0_bc60_cbcff3386257@id_5fd6eb83_e36b_4fc7_8887_08df3cf56503" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_68319117_3e84_48f0_bc60_cbcff3386257:w -> false_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_68319117_3e84_48f0_bc60_cbcff3386257 -> false_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 -> end_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 [id="id_68319117_3e84_48f0_bc60_cbcff3386257@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_68319117_3e84_48f0_bc60_cbcff3386257 -> id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_68319117_3e84_48f0_bc60_cbcff3386257@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b:e -> true_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@id_3be21aa7_c5b4_4f1a_ad7e_3c1be8c2cb1c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b -> id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b:n [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@id_3be21aa7_c5b4_4f1a_ad7e_3c1be8c2cb1c" tailtooltip=" " edgetooltip=" "]
  
  id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b:s -> true_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b:n [id="id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b@id_3be21aa7_c5b4_4f1a_ad7e_3c1be8c2cb1c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b -> end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_bf65fc3d_3a6c_497e_a7a6_7667d8b4a62b@id_3be21aa7_c5b4_4f1a_ad7e_3c1be8c2cb1c" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b:w -> false_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@id_4397d670_5356_40b0_a48c_93d3ca388904" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b -> false_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b:n [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@id_4397d670_5356_40b0_a48c_93d3ca388904" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b -> end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b [id="id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@id_4397d670_5356_40b0_a48c_93d3ca388904" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b:s -> id_e5018b33_e8e1_4019_8a61_f4a2bfe45f4c:n [id="end_id_3ff83847_c0ac_43fe_ba30_a6045fe0e55b@fun-main" tailtooltip=" " edgetooltip=" "]
  

}