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_b4e3d82f_3091_4e35_a591_c3013fb69f8e [id="id_b4e3d82f_3091_4e35_a591_c3013fb69f8e#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_dbb16a3d_8a70_4f47_af50_2f25a68bd1c4 [id="id_dbb16a3d_8a70_4f47_af50_2f25a68bd1c4#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 1" tooltip="x: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe#While" pos="0.0,9998.125!" 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_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="-1.25,9998.125!" shape=point width=0]
  
  id_0d1a4af3_a893_4e58_9691_14072a5fd87c [id="id_0d1a4af3_a893_4e58_9691_14072a5fd87c#Output" pos="1.25,9997.1875!" height=0.4 width=1.0 fixedsize=true group="id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212"    label="\"x\"" tooltip="\"x\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_825a3dc4_7b2e_43bc_bde3_87b808765b3d [id="id_825a3dc4_7b2e_43bc_bde3_87b808765b3d#Assign" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212"    label="x = 19" tooltip="x = 19" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="1.25,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_487b01b9_2f6c_40ce_a09e_6dcbe76a48e3 [id="id_487b01b9_2f6c_40ce_a09e_6dcbe76a48e3#Return" pos="0.0,9994.375!" 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_b4e3d82f_3091_4e35_a591_c3013fb69f8e:s -> id_dbb16a3d_8a70_4f47_af50_2f25a68bd1c4:n [id="id_b4e3d82f_3091_4e35_a591_c3013fb69f8e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_dbb16a3d_8a70_4f47_af50_2f25a68bd1c4:s -> id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe:n [id="id_dbb16a3d_8a70_4f47_af50_2f25a68bd1c4@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe:e -> true_dummy_up_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> id_0d1a4af3_a893_4e58_9691_14072a5fd87c:n [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" "]
  
  id_0d1a4af3_a893_4e58_9691_14072a5fd87c:s -> id_825a3dc4_7b2e_43bc_bde3_87b808765b3d:n [id="id_0d1a4af3_a893_4e58_9691_14072a5fd87c@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" "]
  id_825a3dc4_7b2e_43bc_bde3_87b808765b3d:s -> true_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe:n [id="id_825a3dc4_7b2e_43bc_bde3_87b808765b3d@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> true_dummy_down_left_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_825a3dc4_7b2e_43bc_bde3_87b808765b3d@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe:s [id="id_825a3dc4_7b2e_43bc_bde3_87b808765b3d@id_5c7bda1d_cbaa_4e72_98ef_66f1741a6212" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe:w -> false_dummy_up_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> false_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> end_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe -> id_487b01b9_2f6c_40ce_a09e_6dcbe76a48e3 [id="id_fa4979b3_20a7_4a90_9d5d_8796d9f87efe@fun-main" tailtooltip=" " edgetooltip=" "]
  

}