
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_e913dd52_6c78_4dab_80e2_703a651838ff [id="id_e913dd52_6c78_4dab_80e2_703a651838ff#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_006808cb_996e_4593_a195_857c790bea6e [id="id_006808cb_996e_4593_a195_857c790bea6e#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="N = 5" tooltip="N: Real = 5" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_97c7275c_8252_494e_9b38_88b4e1b91de7 [id="id_97c7275c_8252_494e_9b38_88b4e1b91de7#Declare" pos="0.0,9998.125!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="V = 12+11+9+15+18" tooltip="V: Real = 12+11+9+15+18" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_98b21cec_309b_4b63_83fe_5d1287d16c86 [id="id_98b21cec_309b_4b63_83fe_5d1287d16c86#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 1" tooltip="i: Real = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2#While" pos="0.0,9996.25!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="false" tooltip="false" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="1.25,9996.25!" shape=point width=0]
  false_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="-1.25,9996.25!" shape=point width=0]
  
  id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2 [id="id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2#Declare" pos="1.25,9995.3125!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_5565c3ce_d044_49e1_b502_8db5d5fd1c48"    label="Total = Total+V" tooltip="Total: Real = Total+V" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="1.25,9994.479166666666!" shape=point width=0]
  true_dummy_down_left_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="0.0,9994.479166666666!" shape=point width=0]
  false_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="-1.25,9994.375!" shape=point width=0]
  end_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [pos="0.0,9994.375!" group="fun-main" shape=point width=0]
  
  
  id_ded422ff_f8f2_4159_bad7_7fcb9f439ab5 [id="id_ded422ff_f8f2_4159_bad7_7fcb9f439ab5#Output" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="(V)" tooltip="(V)" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ef42d499_51bb_4489_ac90_1b920bd428c1 [id="id_ef42d499_51bb_4489_ac90_1b920bd428c1#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_e913dd52_6c78_4dab_80e2_703a651838ff:s -> id_006808cb_996e_4593_a195_857c790bea6e:n [id="id_e913dd52_6c78_4dab_80e2_703a651838ff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_006808cb_996e_4593_a195_857c790bea6e:s -> id_97c7275c_8252_494e_9b38_88b4e1b91de7:n [id="id_006808cb_996e_4593_a195_857c790bea6e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_97c7275c_8252_494e_9b38_88b4e1b91de7:s -> id_98b21cec_309b_4b63_83fe_5d1287d16c86:n [id="id_97c7275c_8252_494e_9b38_88b4e1b91de7@fun-main" tailtooltip=" " edgetooltip=" "]
  id_98b21cec_309b_4b63_83fe_5d1287d16c86:s -> id_e1626356_7b06_45d5_87d8_e831cc4f58c2:n [id="id_98b21cec_309b_4b63_83fe_5d1287d16c86@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_e1626356_7b06_45d5_87d8_e831cc4f58c2:e -> true_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@id_5565c3ce_d044_49e1_b502_8db5d5fd1c48" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2:n [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@id_5565c3ce_d044_49e1_b502_8db5d5fd1c48" tailtooltip=" " edgetooltip=" "]
  
  id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2:s -> true_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2:n [id="id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2@id_5565c3ce_d044_49e1_b502_8db5d5fd1c48" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> true_dummy_down_left_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2@id_5565c3ce_d044_49e1_b502_8db5d5fd1c48" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> id_e1626356_7b06_45d5_87d8_e831cc4f58c2:s [id="id_d068f9e0_3e15_40ac_bb25_fe02f2f377d2@id_5565c3ce_d044_49e1_b502_8db5d5fd1c48" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_e1626356_7b06_45d5_87d8_e831cc4f58c2:w -> false_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> false_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> end_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_e1626356_7b06_45d5_87d8_e831cc4f58c2 -> id_ded422ff_f8f2_4159_bad7_7fcb9f439ab5 [id="id_e1626356_7b06_45d5_87d8_e831cc4f58c2@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_ded422ff_f8f2_4159_bad7_7fcb9f439ab5:s -> id_ef42d499_51bb_4489_ac90_1b920bd428c1:n [id="id_ded422ff_f8f2_4159_bad7_7fcb9f439ab5@fun-main" tailtooltip=" " edgetooltip=" "]

}
