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_130af0b3_83f4_4dc4_940d_e56c4229eb6e [id="id_130af0b3_83f4_4dc4_940d_e56c4229eb6e#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_2afe3812_d2ec_4b91_be93_d9a504e1ff93 [id="id_2afe3812_d2ec_4b91_be93_d9a504e1ff93#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 10" tooltip="x: Real = 10" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90#While" pos="0.0,9998.125!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="x >= 1" tooltip="x >= 1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="-1.25,9998.125!" shape=point width=0]
  
  id_2e1b47ec_062e_4a78_b64a_e2ccff85a185 [id="id_2e1b47ec_062e_4a78_b64a_e2ccff85a185#Output" pos="1.25,9997.1875!" height=0.4 width=1.0 fixedsize=true group="id_56147db6_f3d4_4c5d_addb_2abcd8d989fd"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_249b9727_f4d4_4fd3_a268_836008a0a421 [id="id_249b9727_f4d4_4fd3_a268_836008a0a421#Assign" pos="1.25,9996.25!" height=0.4 width=1.19 fixedsize=true group="id_56147db6_f3d4_4c5d_addb_2abcd8d989fd"    label="x = x - 1" tooltip="x = x - 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="1.25,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_ca6a9b65_53ea_4156_b22c_a66dfbe422a9 [id="id_ca6a9b65_53ea_4156_b22c_a66dfbe422a9#Assign" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 1" tooltip="x = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  end_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [id="end_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9993.4375!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_f45fb3f3_0d1c_4e2f_a1e0_bf44ff310d41 [id="id_f45fb3f3_0d1c_4e2f_a1e0_bf44ff310d41#Assign" pos="0.0,9992.5!" height=0.4 width=1.19 fixedsize=true group="id_2a11f7ad_218b_46df_87f4_bc6af613ead4"    label="x = x + 1" tooltip="x = x + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b68fa1af_ca30_4207_9342_86cb42401cdf [id="id_b68fa1af_ca30_4207_9342_86cb42401cdf#Output" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_2a11f7ad_218b_46df_87f4_bc6af613ead4"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [id="id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1#DoWhile" pos="0.0,9990.625!" height=0.5 width=1.27 fixedsize=true group="fun-main" 
  label="x <= 10" tooltip="x <= 10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [pos="1.25,9993.4375!" shape=point width=0]
  true_dummy_down_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [pos="1.25,9990.625!" shape=point width=0]
  
  
  id_49e29e31_c9a4_41e6_9605_c6b25ecfb57d [id="id_49e29e31_c9a4_41e6_9605_c6b25ecfb57d#Return" pos="0.0,9989.6875!" 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_130af0b3_83f4_4dc4_940d_e56c4229eb6e:s -> id_2afe3812_d2ec_4b91_be93_d9a504e1ff93:n [id="id_130af0b3_83f4_4dc4_940d_e56c4229eb6e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2afe3812_d2ec_4b91_be93_d9a504e1ff93:s -> id_52f6b248_ebad_41e4_b8ee_fac7ae708d90:n [id="id_2afe3812_d2ec_4b91_be93_d9a504e1ff93@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_52f6b248_ebad_41e4_b8ee_fac7ae708d90:e -> true_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> id_2e1b47ec_062e_4a78_b64a_e2ccff85a185:n [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" "]
  
  id_2e1b47ec_062e_4a78_b64a_e2ccff85a185:s -> id_249b9727_f4d4_4fd3_a268_836008a0a421:n [id="id_2e1b47ec_062e_4a78_b64a_e2ccff85a185@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" "]
  id_249b9727_f4d4_4fd3_a268_836008a0a421:s -> true_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90:n [id="id_249b9727_f4d4_4fd3_a268_836008a0a421@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> true_dummy_down_left_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_249b9727_f4d4_4fd3_a268_836008a0a421@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> id_52f6b248_ebad_41e4_b8ee_fac7ae708d90:s [id="id_249b9727_f4d4_4fd3_a268_836008a0a421@id_56147db6_f3d4_4c5d_addb_2abcd8d989fd" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_52f6b248_ebad_41e4_b8ee_fac7ae708d90:w -> false_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> false_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> end_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_52f6b248_ebad_41e4_b8ee_fac7ae708d90 -> id_ca6a9b65_53ea_4156_b22c_a66dfbe422a9 [id="id_52f6b248_ebad_41e4_b8ee_fac7ae708d90@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_ca6a9b65_53ea_4156_b22c_a66dfbe422a9:s -> end_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1:n [id="id_ca6a9b65_53ea_4156_b22c_a66dfbe422a9@fun-main" tailtooltip=" " edgetooltip=" "]
  ## DOWHILE-BODY
  end_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 -> id_f45fb3f3_0d1c_4e2f_a1e0_bf44ff310d41 [id="id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1@id_2a11f7ad_218b_46df_87f4_bc6af613ead4" tailtooltip=" " edgetooltip=" " ]
  id_f45fb3f3_0d1c_4e2f_a1e0_bf44ff310d41:s -> id_b68fa1af_ca30_4207_9342_86cb42401cdf:n [id="id_f45fb3f3_0d1c_4e2f_a1e0_bf44ff310d41@id_2a11f7ad_218b_46df_87f4_bc6af613ead4" tailtooltip=" " edgetooltip=" "]
  id_b68fa1af_ca30_4207_9342_86cb42401cdf:s -> id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1:n [id="id_b68fa1af_ca30_4207_9342_86cb42401cdf@id_2a11f7ad_218b_46df_87f4_bc6af613ead4" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1:e -> true_dummy_down_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 -> true_dummy_up_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1 -> end_id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1:s -> id_49e29e31_c9a4_41e6_9605_c6b25ecfb57d [id="id_9c78a50a_69dd_4253_b17d_b5125dbaf7e1@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  

}