
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_c41c5a3f_13cc_4c0b_a36a_ae92de83b932 [id="id_c41c5a3f_13cc_4c0b_a36a_ae92de83b932#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_4c126ff4_81d1_47ee_bb6c_0d28d8153e55 [id="id_4c126ff4_81d1_47ee_bb6c_0d28d8153e55#Declare" pos="0.0,9999.0625!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="input = 0" tooltip="input: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_db0643f2_3dd8_4577_bd92_5e86a21f1f83 [id="id_db0643f2_3dd8_4577_bd92_5e86a21f1f83#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 0" tooltip="i: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3cd85e04_869b_44c7_99f5_61e88bb509a8 [id="id_3cd85e04_869b_44c7_99f5_61e88bb509a8#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="input" tooltip="input" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1a1be68a_1914_454a_b5e4_dd5d7936f313 [id="id_1a1be68a_1914_454a_b5e4_dd5d7936f313#Declare" pos="0.0,9996.25!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="y = input" tooltip="y: Integer = input" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101#While" pos="0.0,9995.3125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="i<3" tooltip="i<3" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_31072dae_d7e2_4b9d_8e66_6b9fed28eaec [id="id_31072dae_d7e2_4b9d_8e66_6b9fed28eaec#Output" pos="1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7"    label="y" tooltip="y" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8a19cbed_076c_447c_b2dc_33400477e3a3 [id="id_8a19cbed_076c_447c_b2dc_33400477e3a3#Assign" pos="1.25,9993.4375!" height=0.4 width=1.41 fixedsize=true group="id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7"    label="y = y*input" tooltip="y = y*input" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_99421f6b_29f9_4f21_8c8c_3c259efd2f58 [id="id_99421f6b_29f9_4f21_8c8c_3c259efd2f58#Assign" pos="1.25,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="1.25,9991.666666666666!" shape=point width=0]
  true_dummy_down_left_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="0.0,9991.666666666666!" shape=point width=0]
  false_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="-1.25,9991.5625!" shape=point width=0]
  end_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [pos="0.0,9991.5625!" group="fun-main" shape=point width=0]
  
  
  id_7b1a44f3_07f4_410a_b35d_f5a170e6850f [id="id_7b1a44f3_07f4_410a_b35d_f5a170e6850f#Return" pos="0.0,9990.625!" 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_c41c5a3f_13cc_4c0b_a36a_ae92de83b932:s -> id_4c126ff4_81d1_47ee_bb6c_0d28d8153e55:n [id="id_c41c5a3f_13cc_4c0b_a36a_ae92de83b932@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4c126ff4_81d1_47ee_bb6c_0d28d8153e55:s -> id_db0643f2_3dd8_4577_bd92_5e86a21f1f83:n [id="id_4c126ff4_81d1_47ee_bb6c_0d28d8153e55@fun-main" tailtooltip=" " edgetooltip=" "]
  id_db0643f2_3dd8_4577_bd92_5e86a21f1f83:s -> id_3cd85e04_869b_44c7_99f5_61e88bb509a8:n [id="id_db0643f2_3dd8_4577_bd92_5e86a21f1f83@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3cd85e04_869b_44c7_99f5_61e88bb509a8:s -> id_1a1be68a_1914_454a_b5e4_dd5d7936f313:n [id="id_3cd85e04_869b_44c7_99f5_61e88bb509a8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1a1be68a_1914_454a_b5e4_dd5d7936f313:s -> id_77fdd5e0_765b_4673_8968_fd21f13dc101:n [id="id_1a1be68a_1914_454a_b5e4_dd5d7936f313@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_77fdd5e0_765b_4673_8968_fd21f13dc101:e -> true_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> id_31072dae_d7e2_4b9d_8e66_6b9fed28eaec:n [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" "]
  
  id_31072dae_d7e2_4b9d_8e66_6b9fed28eaec:s -> id_8a19cbed_076c_447c_b2dc_33400477e3a3:n [id="id_31072dae_d7e2_4b9d_8e66_6b9fed28eaec@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" "]
  id_8a19cbed_076c_447c_b2dc_33400477e3a3:s -> id_99421f6b_29f9_4f21_8c8c_3c259efd2f58:n [id="id_8a19cbed_076c_447c_b2dc_33400477e3a3@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" "]
  id_99421f6b_29f9_4f21_8c8c_3c259efd2f58:s -> true_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101:n [id="id_99421f6b_29f9_4f21_8c8c_3c259efd2f58@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> true_dummy_down_left_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_99421f6b_29f9_4f21_8c8c_3c259efd2f58@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> id_77fdd5e0_765b_4673_8968_fd21f13dc101:s [id="id_99421f6b_29f9_4f21_8c8c_3c259efd2f58@id_27d3b83a_22b5_4e1b_98c1_f3e2f6d636f7" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_77fdd5e0_765b_4673_8968_fd21f13dc101:w -> false_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> false_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> end_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_77fdd5e0_765b_4673_8968_fd21f13dc101 -> id_7b1a44f3_07f4_410a_b35d_f5a170e6850f [id="id_77fdd5e0_765b_4673_8968_fd21f13dc101@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
