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_9fd40210_8196_4579_8443_1ff03c37a70d [id="id_9fd40210_8196_4579_8443_1ff03c37a70d#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_12649495_afc0_4bf3_b60e_8099fa6f8695 [id="id_12649495_afc0_4bf3_b60e_8099fa6f8695#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_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13#While" pos="0.0,9998.125!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="x<= 5" tooltip="x<= 5" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="-1.25,9998.125!" shape=point width=0]
  
  id_1e62b5fd_10ee_4939_b5f6_4672ed2a6ee8 [id="id_1e62b5fd_10ee_4939_b5f6_4672ed2a6ee8#Output" pos="1.25,9997.1875!" height=0.4 width=1.0 fixedsize=true group="id_b688f190_ee8f_4456_812f_3198fba44e3d"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_55fe48cb_d279_46be_92d9_daa6c7cd072b [id="id_55fe48cb_d279_46be_92d9_daa6c7cd072b#Assign" pos="1.25,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_b688f190_ee8f_4456_812f_3198fba44e3d"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="1.25,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_57c4d7b3_de7a_4373_b7bc_d38e9d343c82 [id="id_57c4d7b3_de7a_4373_b7bc_d38e9d343c82#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_9fd40210_8196_4579_8443_1ff03c37a70d:s -> id_12649495_afc0_4bf3_b60e_8099fa6f8695:n [id="id_9fd40210_8196_4579_8443_1ff03c37a70d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_12649495_afc0_4bf3_b60e_8099fa6f8695:s -> id_a040051f_9886_4625_bf77_b2f59e0b5d13:n [id="id_12649495_afc0_4bf3_b60e_8099fa6f8695@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_a040051f_9886_4625_bf77_b2f59e0b5d13:e -> true_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> id_1e62b5fd_10ee_4939_b5f6_4672ed2a6ee8:n [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" "]
  
  id_1e62b5fd_10ee_4939_b5f6_4672ed2a6ee8:s -> id_55fe48cb_d279_46be_92d9_daa6c7cd072b:n [id="id_1e62b5fd_10ee_4939_b5f6_4672ed2a6ee8@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" "]
  id_55fe48cb_d279_46be_92d9_daa6c7cd072b:s -> true_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13:n [id="id_55fe48cb_d279_46be_92d9_daa6c7cd072b@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> true_dummy_down_left_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_55fe48cb_d279_46be_92d9_daa6c7cd072b@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> id_a040051f_9886_4625_bf77_b2f59e0b5d13:s [id="id_55fe48cb_d279_46be_92d9_daa6c7cd072b@id_b688f190_ee8f_4456_812f_3198fba44e3d" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_a040051f_9886_4625_bf77_b2f59e0b5d13:w -> false_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> false_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> end_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_a040051f_9886_4625_bf77_b2f59e0b5d13 -> id_57c4d7b3_de7a_4373_b7bc_d38e9d343c82 [id="id_a040051f_9886_4625_bf77_b2f59e0b5d13@fun-main" tailtooltip=" " edgetooltip=" "]
  

}