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_604d61ca_5ddd_40a4_a536_3105660ce586 [id="id_604d61ca_5ddd_40a4_a536_3105660ce586#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_defadbd5_3027_4266_9a87_4e1a7fad1e1b [id="id_defadbd5_3027_4266_9a87_4e1a7fad1e1b#Declare" pos="0.0,9999.0625!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="counter = 0" tooltip="counter: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25#While" pos="0.0,9998.125!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="counter<10" tooltip="counter<10" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="2.5,9998.125!" shape=point width=0]
  false_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="-1.25,9998.125!" shape=point width=0]
  
  id_2b03caa2_8b50_461c_947e_53155c14cd9c [id="id_2b03caa2_8b50_461c_947e_53155c14cd9c#Assign" pos="2.5,9997.1875!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_793c5e22_065e_4930_b3bd_fd78ea1056ce"    label="counter = counter + 1" tooltip="counter = counter + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_9a896db0_702a_45fc_bd09_8f29a5769a12 [id="id_9a896db0_702a_45fc_bd09_8f29a5769a12#Output" pos="2.5,9996.25!" height=0.4 width=1.0 fixedsize=true group="id_793c5e22_065e_4930_b3bd_fd78ea1056ce"    label="counter" tooltip="counter" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="2.5,9995.416666666666!" shape=point width=0]
  true_dummy_down_left_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="0.0,9995.416666666666!" shape=point width=0]
  false_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="-1.25,9995.3125!" shape=point width=0]
  end_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [pos="0.0,9995.3125!" group="fun-main" shape=point width=0]
  
  
  id_66483617_d398_4ba6_96ce_751d244dc3a5 [id="id_66483617_d398_4ba6_96ce_751d244dc3a5#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_604d61ca_5ddd_40a4_a536_3105660ce586:s -> id_defadbd5_3027_4266_9a87_4e1a7fad1e1b:n [id="id_604d61ca_5ddd_40a4_a536_3105660ce586@fun-main" tailtooltip=" " edgetooltip=" "]
  id_defadbd5_3027_4266_9a87_4e1a7fad1e1b:s -> id_bd2c9c5f_a267_4978_abbd_f308cefc0d25:n [id="id_defadbd5_3027_4266_9a87_4e1a7fad1e1b@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_bd2c9c5f_a267_4978_abbd_f308cefc0d25:e -> true_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> id_2b03caa2_8b50_461c_947e_53155c14cd9c:n [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" "]
  
  id_2b03caa2_8b50_461c_947e_53155c14cd9c:s -> id_9a896db0_702a_45fc_bd09_8f29a5769a12:n [id="id_2b03caa2_8b50_461c_947e_53155c14cd9c@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" "]
  id_9a896db0_702a_45fc_bd09_8f29a5769a12:s -> true_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25:n [id="id_9a896db0_702a_45fc_bd09_8f29a5769a12@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> true_dummy_down_left_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_9a896db0_702a_45fc_bd09_8f29a5769a12@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> id_bd2c9c5f_a267_4978_abbd_f308cefc0d25:s [id="id_9a896db0_702a_45fc_bd09_8f29a5769a12@id_793c5e22_065e_4930_b3bd_fd78ea1056ce" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_bd2c9c5f_a267_4978_abbd_f308cefc0d25:w -> false_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> false_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> end_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_bd2c9c5f_a267_4978_abbd_f308cefc0d25 -> id_66483617_d398_4ba6_96ce_751d244dc3a5 [id="id_bd2c9c5f_a267_4978_abbd_f308cefc0d25@fun-main" tailtooltip=" " edgetooltip=" "]
  

}