
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_052f0c3d_e872_418f_9f7f_dd7b3d5c46c2 [id="id_052f0c3d_e872_418f_9f7f_dd7b3d5c46c2#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_11fe9311_6e5a_4887_bc46_6b8c47b45361 [id="id_11fe9311_6e5a_4887_bc46_6b8c47b45361#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_41c1a68d_02a9_4521_b81b_a33fe92d55ce [id="id_41c1a68d_02a9_4521_b81b_a33fe92d55ce#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 1" tooltip="i: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  end_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [id="end_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9997.1875!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_e009c68d_0888_4147_9333_bf48401349e5 [id="id_e009c68d_0888_4147_9333_bf48401349e5#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_9d32b030_2b57_4fba_9e11_836e0fb205d3"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [id="id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1#DoWhile" pos="0.0,9995.3125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
  label="x<=0" tooltip="x<=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [pos="1.25,9997.1875!" shape=point width=0]
  true_dummy_down_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [pos="1.25,9995.3125!" shape=point width=0]
  
  
  id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c#While" pos="0.0,9994.375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="i<=x" tooltip="i<=x" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="-1.25,9994.375!" shape=point width=0]
  
  id_47488685_a681_48b5_a632_f74ac4fa9448 [id="id_47488685_a681_48b5_a632_f74ac4fa9448#Output" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_86850a72_1da1_41ff_84e7_aeecdfc8d226"    label="i" tooltip="i" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_56cb44c8_1b9b_4441_a613_ed2fce677e99 [id="id_56cb44c8_1b9b_4441_a613_ed2fce677e99#Assign" pos="1.25,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_86850a72_1da1_41ff_84e7_aeecdfc8d226"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_9cf7145d_4164_49d4_9e54_10e5eac7dfe7 [id="id_9cf7145d_4164_49d4_9e54_10e5eac7dfe7#Return" pos="0.0,9990.625!" 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_052f0c3d_e872_418f_9f7f_dd7b3d5c46c2:s -> id_11fe9311_6e5a_4887_bc46_6b8c47b45361:n [id="id_052f0c3d_e872_418f_9f7f_dd7b3d5c46c2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_11fe9311_6e5a_4887_bc46_6b8c47b45361:s -> id_41c1a68d_02a9_4521_b81b_a33fe92d55ce:n [id="id_11fe9311_6e5a_4887_bc46_6b8c47b45361@fun-main" tailtooltip=" " edgetooltip=" "]
  id_41c1a68d_02a9_4521_b81b_a33fe92d55ce:s -> end_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1:n [id="id_41c1a68d_02a9_4521_b81b_a33fe92d55ce@fun-main" tailtooltip=" " edgetooltip=" "]
  ## DOWHILE-BODY
  end_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 -> id_e009c68d_0888_4147_9333_bf48401349e5 [id="id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1@id_9d32b030_2b57_4fba_9e11_836e0fb205d3" tailtooltip=" " edgetooltip=" " ]
  id_e009c68d_0888_4147_9333_bf48401349e5:s -> id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1:n [id="id_e009c68d_0888_4147_9333_bf48401349e5@id_9d32b030_2b57_4fba_9e11_836e0fb205d3" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1:e -> true_dummy_down_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 -> true_dummy_up_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1 -> end_id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1:s -> id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_8f65b52a_92f6_40cd_8b56_1f27e6f6a0a1@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  ## WHILE-TRUE
  id_a028bdd2_ad07_4ce2_b8b0_e7714245743c:e -> true_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> id_47488685_a681_48b5_a632_f74ac4fa9448:n [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" "]
  
  id_47488685_a681_48b5_a632_f74ac4fa9448:s -> id_56cb44c8_1b9b_4441_a613_ed2fce677e99:n [id="id_47488685_a681_48b5_a632_f74ac4fa9448@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" "]
  id_56cb44c8_1b9b_4441_a613_ed2fce677e99:s -> true_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c:n [id="id_56cb44c8_1b9b_4441_a613_ed2fce677e99@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> true_dummy_down_left_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_56cb44c8_1b9b_4441_a613_ed2fce677e99@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> id_a028bdd2_ad07_4ce2_b8b0_e7714245743c:s [id="id_56cb44c8_1b9b_4441_a613_ed2fce677e99@id_86850a72_1da1_41ff_84e7_aeecdfc8d226" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_a028bdd2_ad07_4ce2_b8b0_e7714245743c:w -> false_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> false_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> end_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_a028bdd2_ad07_4ce2_b8b0_e7714245743c -> id_9cf7145d_4164_49d4_9e54_10e5eac7dfe7 [id="id_a028bdd2_ad07_4ce2_b8b0_e7714245743c@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
