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_ed5c6aee_3cbc_4ff1_8177_edc0874de1b5 [id="id_ed5c6aee_3cbc_4ff1_8177_edc0874de1b5#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_0ec165c7_5803_4224_aadd_0ed6a739628e [id="id_0ec165c7_5803_4224_aadd_0ed6a739628e#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_641b092a_309f_4634_ab55_ab94cc47327b [id="id_641b092a_309f_4634_ab55_ab94cc47327b#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2baea9e5_eacb_464e_938a_6e3f8e456d4c [id="id_2baea9e5_eacb_464e_938a_6e3f8e456d4c#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc#While" pos="0.0,9996.25!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="x > y" tooltip="x > y" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="1.25,9996.25!" shape=point width=0]
  false_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="-1.25,9996.25!" shape=point width=0]
  
  id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef [id="id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef#Assign" pos="1.25,9995.3125!" height=0.4 width=1.19 fixedsize=true group="id_762211a7_fda3_4bea_8ee2_69e9761be030"    label="x = x + 1" tooltip="x = x + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="1.25,9994.479166666666!" shape=point width=0]
  true_dummy_down_left_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="0.0,9994.479166666666!" shape=point width=0]
  false_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="-1.25,9994.375!" shape=point width=0]
  end_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [pos="0.0,9994.375!" group="fun-main" shape=point width=0]
  
  
  id_67ef2d98_df75_4e2f_841a_e528514073b0 [id="id_67ef2d98_df75_4e2f_841a_e528514073b0#Output" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ebb4b0d0_e099_440b_9156_a90d7e331a3b [id="id_ebb4b0d0_e099_440b_9156_a90d7e331a3b#Return" pos="0.0,9992.5!" 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_ed5c6aee_3cbc_4ff1_8177_edc0874de1b5:s -> id_0ec165c7_5803_4224_aadd_0ed6a739628e:n [id="id_ed5c6aee_3cbc_4ff1_8177_edc0874de1b5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0ec165c7_5803_4224_aadd_0ed6a739628e:s -> id_641b092a_309f_4634_ab55_ab94cc47327b:n [id="id_0ec165c7_5803_4224_aadd_0ed6a739628e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_641b092a_309f_4634_ab55_ab94cc47327b:s -> id_2baea9e5_eacb_464e_938a_6e3f8e456d4c:n [id="id_641b092a_309f_4634_ab55_ab94cc47327b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2baea9e5_eacb_464e_938a_6e3f8e456d4c:s -> id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc:n [id="id_2baea9e5_eacb_464e_938a_6e3f8e456d4c@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc:e -> true_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@id_762211a7_fda3_4bea_8ee2_69e9761be030" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef:n [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@id_762211a7_fda3_4bea_8ee2_69e9761be030" tailtooltip=" " edgetooltip=" "]
  
  id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef:s -> true_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc:n [id="id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef@id_762211a7_fda3_4bea_8ee2_69e9761be030" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> true_dummy_down_left_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef@id_762211a7_fda3_4bea_8ee2_69e9761be030" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc:s [id="id_57aa6d91_f71f_4de2_90f6_aaae5f4ddcef@id_762211a7_fda3_4bea_8ee2_69e9761be030" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc:w -> false_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> false_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> end_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc -> id_67ef2d98_df75_4e2f_841a_e528514073b0 [id="id_dd1ffea7_cd71_4c01_b67e_330eeb5fdabc@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_67ef2d98_df75_4e2f_841a_e528514073b0:s -> id_ebb4b0d0_e099_440b_9156_a90d7e331a3b:n [id="id_67ef2d98_df75_4e2f_841a_e528514073b0@fun-main" tailtooltip=" " edgetooltip=" "]

}