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_4d15eb9d_dee4_4f1c_bf91_08c3094c52fd [id="id_4d15eb9d_dee4_4f1c_bf91_08c3094c52fd#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_19946412_ea69_4873_aa04_abc86de92f27 [id="id_19946412_ea69_4873_aa04_abc86de92f27#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 0" tooltip="i: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_95edf767_c917_483f_831e_e991f7777172 [id="id_95edf767_c917_483f_831e_e991f7777172#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="t3" tooltip="t3: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5#While" pos="0.0,9997.1875!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="i!=10" tooltip="i!=10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_6a353d01_548a_405a_ad3d_a804c4dc270f [id="id_6a353d01_548a_405a_ad3d_a804c4dc270f#Assign" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_8e951942_6604_4a23_9709_7668db22c3c4"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_76201dd0_86c0_4acd_99d4_c265028e1e49 [id="id_76201dd0_86c0_4acd_99d4_c265028e1e49#Assign" pos="1.25,9995.3125!" height=0.4 width=1.0 fixedsize=true group="id_8e951942_6604_4a23_9709_7668db22c3c4"    label="t3 = *i" tooltip="t3 = *i" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_ac6268ec_a942_4d34_a15e_9934992ae635 [id="id_ac6268ec_a942_4d34_a15e_9934992ae635#Output" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_8e951942_6604_4a23_9709_7668db22c3c4"    label="t3" tooltip="t3" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="1.25,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1#While" pos="0.0,9992.5!" 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_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="1.25,9992.5!" shape=point width=0]
  false_dummy_up_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="-1.25,9992.5!" shape=point width=0]
  
  
  
  true_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_26775ae1_bbc8_40d8_b094_24b87bccb355 [id="id_26775ae1_bbc8_40d8_b094_24b87bccb355#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_4d15eb9d_dee4_4f1c_bf91_08c3094c52fd:s -> id_19946412_ea69_4873_aa04_abc86de92f27:n [id="id_4d15eb9d_dee4_4f1c_bf91_08c3094c52fd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_19946412_ea69_4873_aa04_abc86de92f27:s -> id_95edf767_c917_483f_831e_e991f7777172:n [id="id_19946412_ea69_4873_aa04_abc86de92f27@fun-main" tailtooltip=" " edgetooltip=" "]
  id_95edf767_c917_483f_831e_e991f7777172:s -> id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5:n [id="id_95edf767_c917_483f_831e_e991f7777172@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5:e -> true_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> id_6a353d01_548a_405a_ad3d_a804c4dc270f:n [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" "]
  
  id_6a353d01_548a_405a_ad3d_a804c4dc270f:s -> id_76201dd0_86c0_4acd_99d4_c265028e1e49:n [id="id_6a353d01_548a_405a_ad3d_a804c4dc270f@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" "]
  id_76201dd0_86c0_4acd_99d4_c265028e1e49:s -> id_ac6268ec_a942_4d34_a15e_9934992ae635:n [id="id_76201dd0_86c0_4acd_99d4_c265028e1e49@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" "]
  id_ac6268ec_a942_4d34_a15e_9934992ae635:s -> true_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5:n [id="id_ac6268ec_a942_4d34_a15e_9934992ae635@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> true_dummy_down_left_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_ac6268ec_a942_4d34_a15e_9934992ae635@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5:s [id="id_ac6268ec_a942_4d34_a15e_9934992ae635@id_8e951942_6604_4a23_9709_7668db22c3c4" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5:w -> false_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> false_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> end_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5 -> id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_348a34dc_cbb9_4d54_b763_2c96be9fcbb5@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## WHILE-TRUE
  id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1:e -> true_dummy_up_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@id_fed3bad1_d869_4710_87cf_2db1b947205e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> true_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1:n [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@id_fed3bad1_d869_4710_87cf_2db1b947205e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> true_dummy_down_left_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@id_fed3bad1_d869_4710_87cf_2db1b947205e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1:s [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@id_fed3bad1_d869_4710_87cf_2db1b947205e" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1:w -> false_dummy_up_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> false_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> end_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1 -> id_26775ae1_bbc8_40d8_b094_24b87bccb355 [id="id_46ad43a7_d041_43a9_bf85_3fd389dfbfc1@fun-main" tailtooltip=" " edgetooltip=" "]
  

}