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_e0a8c05b_b31a_48c3_8b84_98999812eb84 [id="id_e0a8c05b_b31a_48c3_8b84_98999812eb84#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_4cfbdbd5_8bc3_4494_8794_8c8e863a180d [id="id_4cfbdbd5_8bc3_4494_8794_8c8e863a180d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 0" tooltip="x: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cb99506c_4e75_4c70_9068_0c574b06fd0f [id="id_cb99506c_4e75_4c70_9068_0c574b06fd0f#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y = 0" tooltip="y: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_de0e2063_ec8d_4be1_a46e_419c190e2643 [id="id_de0e2063_ec8d_4be1_a46e_419c190e2643#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z = 1" tooltip="z: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0e7aa476_fe8e_4502_b08b_4a441fcc3b8a [id="id_0e7aa476_fe8e_4502_b08b_4a441fcc3b8a#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a = 0" tooltip="a: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358#While" pos="0.0,9995.3125!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="x<=10" tooltip="x<=10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_2037a68c_ab5f_4639_8ac1_d478a30b5323 [id="id_2037a68c_ab5f_4639_8ac1_d478a30b5323#Assign" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_eca7b3c5_8ec5_4479_a7a9_e2ec417c52b3 [id="id_eca7b3c5_8ec5_4479_a7a9_e2ec417c52b3#Output" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0"    label="y" tooltip="y" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_44677612_72f9_4d9c_815d_8dbe0f46c02d [id="id_44677612_72f9_4d9c_815d_8dbe0f46c02d#Assign" pos="1.25,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0"    label="a = y+z" tooltip="a = y+z" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_34e19393_1271_466f_a154_68e885139459 [id="id_34e19393_1271_466f_a154_68e885139459#Assign" pos="1.25,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0"    label="y = z" tooltip="y = z" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_42d89f8d_938d_4284_8b9b_94629c05ac5f [id="id_42d89f8d_938d_4284_8b9b_94629c05ac5f#Assign" pos="1.25,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0"    label="z = a" tooltip="z = a" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="1.25,9989.791666666666!" shape=point width=0]
  true_dummy_down_left_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="0.0,9989.791666666666!" shape=point width=0]
  false_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="-1.25,9989.6875!" shape=point width=0]
  end_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [pos="0.0,9989.6875!" group="fun-main" shape=point width=0]
  
  
  id_b9a7c626_197b_47f4_9815_ce73839a51b1 [id="id_b9a7c626_197b_47f4_9815_ce73839a51b1#Return" pos="0.0,9988.75!" 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_e0a8c05b_b31a_48c3_8b84_98999812eb84:s -> id_4cfbdbd5_8bc3_4494_8794_8c8e863a180d:n [id="id_e0a8c05b_b31a_48c3_8b84_98999812eb84@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4cfbdbd5_8bc3_4494_8794_8c8e863a180d:s -> id_cb99506c_4e75_4c70_9068_0c574b06fd0f:n [id="id_4cfbdbd5_8bc3_4494_8794_8c8e863a180d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_cb99506c_4e75_4c70_9068_0c574b06fd0f:s -> id_de0e2063_ec8d_4be1_a46e_419c190e2643:n [id="id_cb99506c_4e75_4c70_9068_0c574b06fd0f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_de0e2063_ec8d_4be1_a46e_419c190e2643:s -> id_0e7aa476_fe8e_4502_b08b_4a441fcc3b8a:n [id="id_de0e2063_ec8d_4be1_a46e_419c190e2643@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0e7aa476_fe8e_4502_b08b_4a441fcc3b8a:s -> id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358:n [id="id_0e7aa476_fe8e_4502_b08b_4a441fcc3b8a@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358:e -> true_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> id_2037a68c_ab5f_4639_8ac1_d478a30b5323:n [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  
  id_2037a68c_ab5f_4639_8ac1_d478a30b5323:s -> id_eca7b3c5_8ec5_4479_a7a9_e2ec417c52b3:n [id="id_2037a68c_ab5f_4639_8ac1_d478a30b5323@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  id_eca7b3c5_8ec5_4479_a7a9_e2ec417c52b3:s -> id_44677612_72f9_4d9c_815d_8dbe0f46c02d:n [id="id_eca7b3c5_8ec5_4479_a7a9_e2ec417c52b3@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  id_44677612_72f9_4d9c_815d_8dbe0f46c02d:s -> id_34e19393_1271_466f_a154_68e885139459:n [id="id_44677612_72f9_4d9c_815d_8dbe0f46c02d@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  id_34e19393_1271_466f_a154_68e885139459:s -> id_42d89f8d_938d_4284_8b9b_94629c05ac5f:n [id="id_34e19393_1271_466f_a154_68e885139459@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  id_42d89f8d_938d_4284_8b9b_94629c05ac5f:s -> true_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358:n [id="id_42d89f8d_938d_4284_8b9b_94629c05ac5f@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> true_dummy_down_left_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_42d89f8d_938d_4284_8b9b_94629c05ac5f@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358:s [id="id_42d89f8d_938d_4284_8b9b_94629c05ac5f@id_a4247e36_7796_48f2_92ce_7e6aa6adcfa0" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358:w -> false_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> false_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> end_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358 -> id_b9a7c626_197b_47f4_9815_ce73839a51b1 [id="id_ef30b3c2_a4b7_4c3e_80de_fa8d95c28358@fun-main" tailtooltip=" " edgetooltip=" "]
  

}