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_0d582e44_8751_4baf_946d_f1e1aa031dd4 [id="id_0d582e44_8751_4baf_946d_f1e1aa031dd4#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_4db7d0b8_453b_47fc_bb93_35f398344ff0 [id="id_4db7d0b8_453b_47fc_bb93_35f398344ff0#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="input" tooltip="input: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3ab8c002_bfa1_4b15_956e_bf293366049c [id="id_3ab8c002_bfa1_4b15_956e_bf293366049c#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="input" tooltip="input" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8a539f59_b1b4_43de_8038_72c1e5dd12d2 [id="id_8a539f59_b1b4_43de_8038_72c1e5dd12d2#Declare" pos="0.0,9997.1875!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="counter = 1" tooltip="counter: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa#While" pos="0.0,9996.25!" height=0.5 width=2.26 fixedsize=true group="fun-main" 
    label="counter <= input" tooltip="counter <= input" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="2.5,9996.25!" shape=point width=0]
  false_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="-1.25,9996.25!" shape=point width=0]
  
  id_82e808bf_e32b_4d61_9433_3f829ae93040 [id="id_82e808bf_e32b_4d61_9433_3f829ae93040#Output" pos="2.5,9995.3125!" height=0.4 width=1.0 fixedsize=true group="id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e"    label="counter" tooltip="counter" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c555ff74_caf7_461f_866b_313f86e1bd96 [id="id_c555ff74_caf7_461f_866b_313f86e1bd96#Assign" pos="2.5,9994.375!" height=0.4 width=2.29 fixedsize=true group="id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e"    label="counter = counter+2" tooltip="counter = counter+2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="2.5,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_1128b3e1_d2a8_4516_89e1_bab23c83bc8e [id="id_1128b3e1_d2a8_4516_89e1_bab23c83bc8e#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_0d582e44_8751_4baf_946d_f1e1aa031dd4:s -> id_4db7d0b8_453b_47fc_bb93_35f398344ff0:n [id="id_0d582e44_8751_4baf_946d_f1e1aa031dd4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4db7d0b8_453b_47fc_bb93_35f398344ff0:s -> id_3ab8c002_bfa1_4b15_956e_bf293366049c:n [id="id_4db7d0b8_453b_47fc_bb93_35f398344ff0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3ab8c002_bfa1_4b15_956e_bf293366049c:s -> id_8a539f59_b1b4_43de_8038_72c1e5dd12d2:n [id="id_3ab8c002_bfa1_4b15_956e_bf293366049c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8a539f59_b1b4_43de_8038_72c1e5dd12d2:s -> id_e4732ee2_14d7_4491_b0ab_6671384552aa:n [id="id_8a539f59_b1b4_43de_8038_72c1e5dd12d2@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_e4732ee2_14d7_4491_b0ab_6671384552aa:e -> true_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> id_82e808bf_e32b_4d61_9433_3f829ae93040:n [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" "]
  
  id_82e808bf_e32b_4d61_9433_3f829ae93040:s -> id_c555ff74_caf7_461f_866b_313f86e1bd96:n [id="id_82e808bf_e32b_4d61_9433_3f829ae93040@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" "]
  id_c555ff74_caf7_461f_866b_313f86e1bd96:s -> true_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa:n [id="id_c555ff74_caf7_461f_866b_313f86e1bd96@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> true_dummy_down_left_id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_c555ff74_caf7_461f_866b_313f86e1bd96@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> id_e4732ee2_14d7_4491_b0ab_6671384552aa:s [id="id_c555ff74_caf7_461f_866b_313f86e1bd96@id_5ec9f076_d6ff_4529_8f45_0fa5bd28d22e" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_e4732ee2_14d7_4491_b0ab_6671384552aa:w -> false_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> false_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> end_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_e4732ee2_14d7_4491_b0ab_6671384552aa -> id_1128b3e1_d2a8_4516_89e1_bab23c83bc8e [id="id_e4732ee2_14d7_4491_b0ab_6671384552aa@fun-main" tailtooltip=" " edgetooltip=" "]
  

}