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_2d262aa7_f77f_4605_8858_e376d8a468d6 [id="id_2d262aa7_f77f_4605_8858_e376d8a468d6#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_7925b27e_688b_4c78_85c7_a8f39825fa6d [id="id_7925b27e_688b_4c78_85c7_a8f39825fa6d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7a23d773_03c6_4b51_946e_a061b6d30992 [id="id_7a23d773_03c6_4b51_946e_a061b6d30992#Assign" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 10" tooltip="x = 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_82376139_0665_471f_983b_d4a1beed974f [id="id_82376139_0665_471f_983b_d4a1beed974f#While" pos="0.0,9997.1875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x>=1" tooltip="x>=1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f [pos="1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_7ea853cc_1265_4612_a146_b7b1e5649b1d [id="id_7ea853cc_1265_4612_a146_b7b1e5649b1d#Output" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b5bb21f6_52cc_44a6_8768_7ed97b59d369 [id="id_b5bb21f6_52cc_44a6_8768_7ed97b59d369#Assign" pos="1.25,9995.3125!" height=0.4 width=1.0 fixedsize=true group="id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9"    label="x = x-1" tooltip="x = x-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f [pos="1.25,9994.479166666666!" shape=point width=0]
  true_dummy_down_left_id_82376139_0665_471f_983b_d4a1beed974f [pos="0.0,9994.479166666666!" shape=point width=0]
  false_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f [pos="-1.25,9994.375!" shape=point width=0]
  end_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f [pos="0.0,9994.375!" group="fun-main" shape=point width=0]
  
  
  id_a3e81911_7f1e_4823_86bd_93e4eccc31a2 [id="id_a3e81911_7f1e_4823_86bd_93e4eccc31a2#Return" pos="0.0,9993.4375!" 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_2d262aa7_f77f_4605_8858_e376d8a468d6:s -> id_7925b27e_688b_4c78_85c7_a8f39825fa6d:n [id="id_2d262aa7_f77f_4605_8858_e376d8a468d6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7925b27e_688b_4c78_85c7_a8f39825fa6d:s -> id_7a23d773_03c6_4b51_946e_a061b6d30992:n [id="id_7925b27e_688b_4c78_85c7_a8f39825fa6d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7a23d773_03c6_4b51_946e_a061b6d30992:s -> id_82376139_0665_471f_983b_d4a1beed974f:n [id="id_7a23d773_03c6_4b51_946e_a061b6d30992@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_82376139_0665_471f_983b_d4a1beed974f:e -> true_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f [id="id_82376139_0665_471f_983b_d4a1beed974f@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f -> id_7ea853cc_1265_4612_a146_b7b1e5649b1d:n [id="id_82376139_0665_471f_983b_d4a1beed974f@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" "]
  
  id_7ea853cc_1265_4612_a146_b7b1e5649b1d:s -> id_b5bb21f6_52cc_44a6_8768_7ed97b59d369:n [id="id_7ea853cc_1265_4612_a146_b7b1e5649b1d@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" "]
  id_b5bb21f6_52cc_44a6_8768_7ed97b59d369:s -> true_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f:n [id="id_b5bb21f6_52cc_44a6_8768_7ed97b59d369@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f -> true_dummy_down_left_id_82376139_0665_471f_983b_d4a1beed974f [id="id_b5bb21f6_52cc_44a6_8768_7ed97b59d369@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_82376139_0665_471f_983b_d4a1beed974f -> id_82376139_0665_471f_983b_d4a1beed974f:s [id="id_b5bb21f6_52cc_44a6_8768_7ed97b59d369@id_7f04f9f9_a440_4a42_a42a_7b72b3ffe7a9" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_82376139_0665_471f_983b_d4a1beed974f:w -> false_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f [id="id_82376139_0665_471f_983b_d4a1beed974f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_82376139_0665_471f_983b_d4a1beed974f -> false_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f [id="id_82376139_0665_471f_983b_d4a1beed974f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f -> end_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f [id="id_82376139_0665_471f_983b_d4a1beed974f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_82376139_0665_471f_983b_d4a1beed974f -> id_a3e81911_7f1e_4823_86bd_93e4eccc31a2 [id="id_82376139_0665_471f_983b_d4a1beed974f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}