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_19f88d7a_85db_45d2_9933_e0924d3a24a3 [id="id_19f88d7a_85db_45d2_9933_e0924d3a24a3#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_83cfd5e9_5449_46e0_9c99_ce22ed3728bc [id="id_83cfd5e9_5449_46e0_9c99_ce22ed3728bc#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 10" tooltip="x: Integer = 10" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef#While" pos="0.0,9998.125!" height=0.5 width=1.38 fixedsize=true group="fun-main" 
    label="x >= -10" tooltip="x >= -10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="-1.25,9998.125!" shape=point width=0]
  
  id_2606c210_b1a7_48b7_a3ae_1ef3cc385009 [id="id_2606c210_b1a7_48b7_a3ae_1ef3cc385009#Output" pos="1.25,9997.1875!" height=0.4 width=1.0 fixedsize=true group="id_a7d5d146_185a_4552_83af_3926a81bed85"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_565cad08_c966_4839_b85a_9152c4204a24 [id="id_565cad08_c966_4839_b85a_9152c4204a24#Assign" pos="1.25,9996.25!" height=0.4 width=1.19 fixedsize=true group="id_a7d5d146_185a_4552_83af_3926a81bed85"    label="x = x - 1" tooltip="x = x - 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="1.25,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_f8da3588_8d1d_4443_915c_e1089b285dc0 [id="id_f8da3588_8d1d_4443_915c_e1089b285dc0#Assign" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 0" tooltip="x = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  end_id_57ba1c74_c582_4ed1_af76_7b146db04608 [id="end_id_57ba1c74_c582_4ed1_af76_7b146db04608#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_85fdb1cb_dbc3_4bc9_b513_82a99fc5f69e [id="id_85fdb1cb_dbc3_4bc9_b513_82a99fc5f69e#Assign" pos="0.0,9992.5!" height=0.4 width=1.19 fixedsize=true group="id_421830e7_d84a_4097_99f9_5263cedbeb11"    label="x = x + 1" tooltip="x = x + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_aa133b65_be6e_4a3d_812c_910ef5b33fbf [id="id_aa133b65_be6e_4a3d_812c_910ef5b33fbf#Output" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_421830e7_d84a_4097_99f9_5263cedbeb11"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_57ba1c74_c582_4ed1_af76_7b146db04608 [id="id_57ba1c74_c582_4ed1_af76_7b146db04608#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_57ba1c74_c582_4ed1_af76_7b146db04608 [pos="1.25,9993.4375!" shape=point width=0]
  true_dummy_down_id_57ba1c74_c582_4ed1_af76_7b146db04608 [pos="1.25,9990.625!" shape=point width=0]
  
  
  id_8c77e685_a9d2_4949_974d_d63682ed44ae [id="id_8c77e685_a9d2_4949_974d_d63682ed44ae#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_19f88d7a_85db_45d2_9933_e0924d3a24a3:s -> id_83cfd5e9_5449_46e0_9c99_ce22ed3728bc:n [id="id_19f88d7a_85db_45d2_9933_e0924d3a24a3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_83cfd5e9_5449_46e0_9c99_ce22ed3728bc:s -> id_d26e0d82_065f_4db1_956f_bd3217ab16ef:n [id="id_83cfd5e9_5449_46e0_9c99_ce22ed3728bc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_d26e0d82_065f_4db1_956f_bd3217ab16ef:e -> true_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> id_2606c210_b1a7_48b7_a3ae_1ef3cc385009:n [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" "]
  
  id_2606c210_b1a7_48b7_a3ae_1ef3cc385009:s -> id_565cad08_c966_4839_b85a_9152c4204a24:n [id="id_2606c210_b1a7_48b7_a3ae_1ef3cc385009@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" "]
  id_565cad08_c966_4839_b85a_9152c4204a24:s -> true_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef:n [id="id_565cad08_c966_4839_b85a_9152c4204a24@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> true_dummy_down_left_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_565cad08_c966_4839_b85a_9152c4204a24@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> id_d26e0d82_065f_4db1_956f_bd3217ab16ef:s [id="id_565cad08_c966_4839_b85a_9152c4204a24@id_a7d5d146_185a_4552_83af_3926a81bed85" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_d26e0d82_065f_4db1_956f_bd3217ab16ef:w -> false_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> false_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> end_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_d26e0d82_065f_4db1_956f_bd3217ab16ef -> id_f8da3588_8d1d_4443_915c_e1089b285dc0 [id="id_d26e0d82_065f_4db1_956f_bd3217ab16ef@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f8da3588_8d1d_4443_915c_e1089b285dc0:s -> end_id_57ba1c74_c582_4ed1_af76_7b146db04608:n [id="id_f8da3588_8d1d_4443_915c_e1089b285dc0@fun-main" tailtooltip=" " edgetooltip=" "]
  ## DOWHILE-BODY
  end_id_57ba1c74_c582_4ed1_af76_7b146db04608 -> id_85fdb1cb_dbc3_4bc9_b513_82a99fc5f69e [id="id_57ba1c74_c582_4ed1_af76_7b146db04608@id_421830e7_d84a_4097_99f9_5263cedbeb11" tailtooltip=" " edgetooltip=" " ]
  id_85fdb1cb_dbc3_4bc9_b513_82a99fc5f69e:s -> id_aa133b65_be6e_4a3d_812c_910ef5b33fbf:n [id="id_85fdb1cb_dbc3_4bc9_b513_82a99fc5f69e@id_421830e7_d84a_4097_99f9_5263cedbeb11" tailtooltip=" " edgetooltip=" "]
  id_aa133b65_be6e_4a3d_812c_910ef5b33fbf:s -> id_57ba1c74_c582_4ed1_af76_7b146db04608:n [id="id_aa133b65_be6e_4a3d_812c_910ef5b33fbf@id_421830e7_d84a_4097_99f9_5263cedbeb11" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_57ba1c74_c582_4ed1_af76_7b146db04608:e -> true_dummy_down_id_57ba1c74_c582_4ed1_af76_7b146db04608 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_57ba1c74_c582_4ed1_af76_7b146db04608 -> true_dummy_up_id_57ba1c74_c582_4ed1_af76_7b146db04608 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_57ba1c74_c582_4ed1_af76_7b146db04608 -> end_id_57ba1c74_c582_4ed1_af76_7b146db04608:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_57ba1c74_c582_4ed1_af76_7b146db04608:s -> id_8c77e685_a9d2_4949_974d_d63682ed44ae [id="id_57ba1c74_c582_4ed1_af76_7b146db04608@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  

}