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_3faa39a6_17dd_4e75_b699_362170c60685 [id="id_3faa39a6_17dd_4e75_b699_362170c60685#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_99f06037_2a88_4132_b682_6d92b6d039d8 [id="id_99f06037_2a88_4132_b682_6d92b6d039d8#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="total" tooltip="total: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_460f3654_c723_452f_95ef_d411e9a3821e [id="id_460f3654_c723_452f_95ef_d411e9a3821e#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i" tooltip="i: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c89bfdbc_bedb_4810_b4bf_b70b591db4c2 [id="id_c89bfdbc_bedb_4810_b4bf_b70b591db4c2#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="digit" tooltip="digit: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b5ed99b7_473a_479f_af76_67b0b01bae52 [id="id_b5ed99b7_473a_479f_af76_67b0b01bae52#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b858bc38_d66d_473b_ba5f_097d65434d4f [id="id_b858bc38_d66d_473b_ba5f_097d65434d4f#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e#While" pos="0.0,9994.375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="n<0" tooltip="n<0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="-1.25,9994.375!" shape=point width=0]
  
  id_c57a1f7b_d326_4be5_978f_e9065a732dab [id="id_c57a1f7b_d326_4be5_978f_e9065a732dab#Input" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_db4496cc_14c7_4567_a62f_571144fbb708"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="1.25,9992.604166666666!" shape=point width=0]
  true_dummy_down_left_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="0.0,9992.604166666666!" shape=point width=0]
  false_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="-1.25,9992.5!" shape=point width=0]
  end_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e [pos="0.0,9992.5!" group="fun-main" shape=point width=0]
  
  
  id_9eeb7e80_0487_454d_ad2c_566fe79295e6 [id="id_9eeb7e80_0487_454d_ad2c_566fe79295e6#Assign" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 0" tooltip="i = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_318300ab_3324_4115_b593_6c10ac5f0316 [id="id_318300ab_3324_4115_b593_6c10ac5f0316#Assign" pos="0.0,9990.625!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="total = 0" tooltip="total = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf#While" pos="0.0,9989.6875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="i<n" tooltip="i<n" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="2.5,9989.6875!" shape=point width=0]
  false_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="-1.25,9989.6875!" shape=point width=0]
  
  id_50d030b7_7019_4a54_8b41_879f24ca5419 [id="id_50d030b7_7019_4a54_8b41_879f24ca5419#Input" pos="2.5,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_4ee804cc_92cb_439a_8f30_e69a4a843954"    label="digit" tooltip="digit" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8c452c1a_e3d4_4a74_af2a_2d7915db5563 [id="id_8c452c1a_e3d4_4a74_af2a_2d7915db5563#Output" pos="2.5,9987.8125!" height=0.4 width=1.3 fixedsize=true group="id_4ee804cc_92cb_439a_8f30_e69a4a843954"    label="\"\"+digit" tooltip="\"\"+digit" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f32db7d8_0da8_4497_94e1_4242dfa3bd77 [id="id_f32db7d8_0da8_4497_94e1_4242dfa3bd77#Assign" pos="2.5,9986.875!" height=0.4 width=2.29 fixedsize=true group="id_4ee804cc_92cb_439a_8f30_e69a4a843954"    label="total = total+digit" tooltip="total = total+digit" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_1941f527_a956_4e9a_a0d8_d407bc619ec8 [id="id_1941f527_a956_4e9a_a0d8_d407bc619ec8#Assign" pos="2.5,9985.9375!" height=0.4 width=1.0 fixedsize=true group="id_4ee804cc_92cb_439a_8f30_e69a4a843954"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="2.5,9985.104166666666!" shape=point width=0]
  true_dummy_down_left_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="0.0,9985.104166666666!" shape=point width=0]
  false_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="-1.25,9985.0!" shape=point width=0]
  end_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [pos="0.0,9985.0!" group="fun-main" shape=point width=0]
  
  
  id_8d91ce1b_9910_4177_9d3f_900e8d7eb3e3 [id="id_8d91ce1b_9910_4177_9d3f_900e8d7eb3e3#Output" pos="0.0,9984.0625!" height=0.4 width=2.5100000000000002 fixedsize=true group="fun-main"    label="\"the sum is \"+total" tooltip="\"the sum is \"+total" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2e2df82c_8dbc_4d81_bf09_442db8f52dd1 [id="id_2e2df82c_8dbc_4d81_bf09_442db8f52dd1#Return" pos="0.0,9983.125!" 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_3faa39a6_17dd_4e75_b699_362170c60685:s -> id_99f06037_2a88_4132_b682_6d92b6d039d8:n [id="id_3faa39a6_17dd_4e75_b699_362170c60685@fun-main" tailtooltip=" " edgetooltip=" "]
  id_99f06037_2a88_4132_b682_6d92b6d039d8:s -> id_460f3654_c723_452f_95ef_d411e9a3821e:n [id="id_99f06037_2a88_4132_b682_6d92b6d039d8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_460f3654_c723_452f_95ef_d411e9a3821e:s -> id_c89bfdbc_bedb_4810_b4bf_b70b591db4c2:n [id="id_460f3654_c723_452f_95ef_d411e9a3821e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c89bfdbc_bedb_4810_b4bf_b70b591db4c2:s -> id_b5ed99b7_473a_479f_af76_67b0b01bae52:n [id="id_c89bfdbc_bedb_4810_b4bf_b70b591db4c2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b5ed99b7_473a_479f_af76_67b0b01bae52:s -> id_b858bc38_d66d_473b_ba5f_097d65434d4f:n [id="id_b5ed99b7_473a_479f_af76_67b0b01bae52@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b858bc38_d66d_473b_ba5f_097d65434d4f:s -> id_5d8f9600_8a61_4779_8643_259b46e3f85e:n [id="id_b858bc38_d66d_473b_ba5f_097d65434d4f@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5d8f9600_8a61_4779_8643_259b46e3f85e:e -> true_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@id_db4496cc_14c7_4567_a62f_571144fbb708" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> id_c57a1f7b_d326_4be5_978f_e9065a732dab:n [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@id_db4496cc_14c7_4567_a62f_571144fbb708" tailtooltip=" " edgetooltip=" "]
  
  id_c57a1f7b_d326_4be5_978f_e9065a732dab:s -> true_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e:n [id="id_c57a1f7b_d326_4be5_978f_e9065a732dab@id_db4496cc_14c7_4567_a62f_571144fbb708" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> true_dummy_down_left_id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_c57a1f7b_d326_4be5_978f_e9065a732dab@id_db4496cc_14c7_4567_a62f_571144fbb708" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> id_5d8f9600_8a61_4779_8643_259b46e3f85e:s [id="id_c57a1f7b_d326_4be5_978f_e9065a732dab@id_db4496cc_14c7_4567_a62f_571144fbb708" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5d8f9600_8a61_4779_8643_259b46e3f85e:w -> false_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> false_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> end_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5d8f9600_8a61_4779_8643_259b46e3f85e -> id_9eeb7e80_0487_454d_ad2c_566fe79295e6 [id="id_5d8f9600_8a61_4779_8643_259b46e3f85e@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_9eeb7e80_0487_454d_ad2c_566fe79295e6:s -> id_318300ab_3324_4115_b593_6c10ac5f0316:n [id="id_9eeb7e80_0487_454d_ad2c_566fe79295e6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_318300ab_3324_4115_b593_6c10ac5f0316:s -> id_e820c54f_97e9_4f2b_bc5f_9038974d1caf:n [id="id_318300ab_3324_4115_b593_6c10ac5f0316@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_e820c54f_97e9_4f2b_bc5f_9038974d1caf:e -> true_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> id_50d030b7_7019_4a54_8b41_879f24ca5419:n [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" "]
  
  id_50d030b7_7019_4a54_8b41_879f24ca5419:s -> id_8c452c1a_e3d4_4a74_af2a_2d7915db5563:n [id="id_50d030b7_7019_4a54_8b41_879f24ca5419@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" "]
  id_8c452c1a_e3d4_4a74_af2a_2d7915db5563:s -> id_f32db7d8_0da8_4497_94e1_4242dfa3bd77:n [id="id_8c452c1a_e3d4_4a74_af2a_2d7915db5563@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" "]
  id_f32db7d8_0da8_4497_94e1_4242dfa3bd77:s -> id_1941f527_a956_4e9a_a0d8_d407bc619ec8:n [id="id_f32db7d8_0da8_4497_94e1_4242dfa3bd77@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" "]
  id_1941f527_a956_4e9a_a0d8_d407bc619ec8:s -> true_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf:n [id="id_1941f527_a956_4e9a_a0d8_d407bc619ec8@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> true_dummy_down_left_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_1941f527_a956_4e9a_a0d8_d407bc619ec8@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> id_e820c54f_97e9_4f2b_bc5f_9038974d1caf:s [id="id_1941f527_a956_4e9a_a0d8_d407bc619ec8@id_4ee804cc_92cb_439a_8f30_e69a4a843954" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_e820c54f_97e9_4f2b_bc5f_9038974d1caf:w -> false_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> false_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> end_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_e820c54f_97e9_4f2b_bc5f_9038974d1caf -> id_8d91ce1b_9910_4177_9d3f_900e8d7eb3e3 [id="id_e820c54f_97e9_4f2b_bc5f_9038974d1caf@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_8d91ce1b_9910_4177_9d3f_900e8d7eb3e3:s -> id_2e2df82c_8dbc_4d81_bf09_442db8f52dd1:n [id="id_8d91ce1b_9910_4177_9d3f_900e8d7eb3e3@fun-main" tailtooltip=" " edgetooltip=" "]

}