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_e51d6ce2_b994_4b7f_bb24_fb8ec94de614 [id="id_e51d6ce2_b994_4b7f_bb24_fb8ec94de614#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_a7cdb671_e0b0_4889_be8c_89296e412b98 [id="id_a7cdb671_e0b0_4889_be8c_89296e412b98#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_b11b0333_2e43_4e4e_8cbc_6df9e2ca5c79 [id="id_b11b0333_2e43_4e4e_8cbc_6df9e2ca5c79#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_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6#While" pos="0.0,9997.1875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x>0" tooltip="x>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="1.25,9997.1875!" shape=point width=0]
  false_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_10f799c4_2310_4ce1_bcc6_e46d6233ad1c [id="id_10f799c4_2310_4ce1_bcc6_e46d6233ad1c#Output" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_01889272_d753_4ad8_ac42_deb4de3715e8"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5f0c6030_9c60_47a7_aa65_47f3c6253c87 [id="id_5f0c6030_9c60_47a7_aa65_47f3c6253c87#Assign" pos="1.25,9995.3125!" height=0.4 width=1.0 fixedsize=true group="id_01889272_d753_4ad8_ac42_deb4de3715e8"    label="x = x-1" tooltip="x = x-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="1.25,9994.479166666666!" shape=point width=0]
  true_dummy_down_left_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="0.0,9994.479166666666!" shape=point width=0]
  false_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="-1.25,9994.375!" shape=point width=0]
  end_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [pos="0.0,9994.375!" group="fun-main" shape=point width=0]
  
  
  id_93d39481_d99c_406a_85c9_709f281fdf6f [id="id_93d39481_d99c_406a_85c9_709f281fdf6f#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_e51d6ce2_b994_4b7f_bb24_fb8ec94de614:s -> id_a7cdb671_e0b0_4889_be8c_89296e412b98:n [id="id_e51d6ce2_b994_4b7f_bb24_fb8ec94de614@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a7cdb671_e0b0_4889_be8c_89296e412b98:s -> id_b11b0333_2e43_4e4e_8cbc_6df9e2ca5c79:n [id="id_a7cdb671_e0b0_4889_be8c_89296e412b98@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b11b0333_2e43_4e4e_8cbc_6df9e2ca5c79:s -> id_4eab401c_e805_4e31_bb7f_0014ee48d5e6:n [id="id_b11b0333_2e43_4e4e_8cbc_6df9e2ca5c79@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_4eab401c_e805_4e31_bb7f_0014ee48d5e6:e -> true_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> id_10f799c4_2310_4ce1_bcc6_e46d6233ad1c:n [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" "]
  
  id_10f799c4_2310_4ce1_bcc6_e46d6233ad1c:s -> id_5f0c6030_9c60_47a7_aa65_47f3c6253c87:n [id="id_10f799c4_2310_4ce1_bcc6_e46d6233ad1c@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" "]
  id_5f0c6030_9c60_47a7_aa65_47f3c6253c87:s -> true_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6:n [id="id_5f0c6030_9c60_47a7_aa65_47f3c6253c87@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> true_dummy_down_left_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_5f0c6030_9c60_47a7_aa65_47f3c6253c87@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> id_4eab401c_e805_4e31_bb7f_0014ee48d5e6:s [id="id_5f0c6030_9c60_47a7_aa65_47f3c6253c87@id_01889272_d753_4ad8_ac42_deb4de3715e8" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_4eab401c_e805_4e31_bb7f_0014ee48d5e6:w -> false_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> false_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> end_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_4eab401c_e805_4e31_bb7f_0014ee48d5e6 -> id_93d39481_d99c_406a_85c9_709f281fdf6f [id="id_4eab401c_e805_4e31_bb7f_0014ee48d5e6@fun-main" tailtooltip=" " edgetooltip=" "]
  

}