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_068f18b7_e3b1_4ee3_95a6_fbad52adf756 [id="id_068f18b7_e3b1_4ee3_95a6_fbad52adf756#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_41a215eb_b87d_4dde_927d_6b24b56a9d84 [id="id_41a215eb_b87d_4dde_927d_6b24b56a9d84#Declare" pos="0.0,9999.0625!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="count = 1" tooltip="count: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2#While" pos="0.0,9998.125!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="count <= 9" tooltip="count <= 9" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="1.25,9998.125!" shape=point width=0]
  false_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="-1.25,9998.125!" shape=point width=0]
  
  id_2ab2eddc_de55_457d_9ae5_1271852af497 [id="id_2ab2eddc_de55_457d_9ae5_1271852af497#Assign" pos="1.25,9997.1875!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_2d8375c7_0074_4721_a830_3af50dd38501"    label="count = count + 1" tooltip="count = count + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="1.25,9996.354166666666!" shape=point width=0]
  true_dummy_down_left_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="0.0,9996.354166666666!" shape=point width=0]
  false_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="-1.25,9996.25!" shape=point width=0]
  end_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [pos="0.0,9996.25!" group="fun-main" shape=point width=0]
  
  
  id_f080f88b_76db_43cf_95ce_651beaa5e449 [id="id_f080f88b_76db_43cf_95ce_651beaa5e449#Output" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="count" tooltip="count" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_314244e5_67a3_45f3_b08a_47e32d2cf923 [id="id_314244e5_67a3_45f3_b08a_47e32d2cf923#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_068f18b7_e3b1_4ee3_95a6_fbad52adf756:s -> id_41a215eb_b87d_4dde_927d_6b24b56a9d84:n [id="id_068f18b7_e3b1_4ee3_95a6_fbad52adf756@fun-main" tailtooltip=" " edgetooltip=" "]
  id_41a215eb_b87d_4dde_927d_6b24b56a9d84:s -> id_f7c1fc69_0837_4320_8ead_743c99e002e2:n [id="id_41a215eb_b87d_4dde_927d_6b24b56a9d84@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_f7c1fc69_0837_4320_8ead_743c99e002e2:e -> true_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@id_2d8375c7_0074_4721_a830_3af50dd38501" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> id_2ab2eddc_de55_457d_9ae5_1271852af497:n [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@id_2d8375c7_0074_4721_a830_3af50dd38501" tailtooltip=" " edgetooltip=" "]
  
  id_2ab2eddc_de55_457d_9ae5_1271852af497:s -> true_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2:n [id="id_2ab2eddc_de55_457d_9ae5_1271852af497@id_2d8375c7_0074_4721_a830_3af50dd38501" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> true_dummy_down_left_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_2ab2eddc_de55_457d_9ae5_1271852af497@id_2d8375c7_0074_4721_a830_3af50dd38501" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> id_f7c1fc69_0837_4320_8ead_743c99e002e2:s [id="id_2ab2eddc_de55_457d_9ae5_1271852af497@id_2d8375c7_0074_4721_a830_3af50dd38501" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_f7c1fc69_0837_4320_8ead_743c99e002e2:w -> false_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> false_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> end_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_f7c1fc69_0837_4320_8ead_743c99e002e2 -> id_f080f88b_76db_43cf_95ce_651beaa5e449 [id="id_f7c1fc69_0837_4320_8ead_743c99e002e2@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f080f88b_76db_43cf_95ce_651beaa5e449:s -> id_314244e5_67a3_45f3_b08a_47e32d2cf923:n [id="id_f080f88b_76db_43cf_95ce_651beaa5e449@fun-main" tailtooltip=" " edgetooltip=" "]

}