
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_90ae5a03_deda_4f62_8778_181554c75c84 [id="id_90ae5a03_deda_4f62_8778_181554c75c84#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_58c6099d_54b6_4cfc_a1f7_8a3d688e67d5 [id="id_58c6099d_54b6_4cfc_a1f7_8a3d688e67d5#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a074efeb_3907_4cea_ad1f_c04cbd8091a4 [id="id_a074efeb_3907_4cea_ad1f_c04cbd8091a4#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7280af8f_7daa_4a85_a2b3_a12284f9ea85 [id="id_7280af8f_7daa_4a85_a2b3_a12284f9ea85#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="SUM" tooltip="SUM: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_dabe4ac5_9006_4caf_a82f_2c36893c18f6 [id="id_dabe4ac5_9006_4caf_a82f_2c36893c18f6#Assign" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="SUM = 0" tooltip="SUM = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_50638712_286a_4deb_a7d2_ebeb08a89408 [id="id_50638712_286a_4deb_a7d2_ebeb08a89408#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="term" tooltip="term: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7b7363de_9bc1_4b33_b547_b0dfca689726 [id="id_7b7363de_9bc1_4b33_b547_b0dfca689726#Declare" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i" tooltip="i: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1e0a01be_8f91_4be0_b080_673759a8b272 [id="id_1e0a01be_8f91_4be0_b080_673759a8b272#Assign" pos="0.0,9993.4375!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="term = 1" tooltip="term = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_a627b10f_d1eb_4481_b359_9aad33db96da [id="id_a627b10f_d1eb_4481_b359_9aad33db96da#Assign" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 1" tooltip="i = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464#While" pos="0.0,9991.5625!" 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_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="1.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="-1.25,9991.5625!" shape=point width=0]
  
  id_b50f25d8_0c52_4f98_a391_58329d46051c [id="id_b50f25d8_0c52_4f98_a391_58329d46051c#Assign" pos="1.25,9990.625!" height=0.4 width=1.74 fixedsize=true group="id_991f88ed_79e4_4356_9906_afc12fc15ddc"    label="SUM = SUM+term" tooltip="SUM = SUM+term" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_9cee00a5_0ba8_4d28_b5ee_0f125f83e7fd [id="id_9cee00a5_0ba8_4d28_b5ee_0f125f83e7fd#Assign" pos="1.25,9989.6875!" height=0.4 width=1.63 fixedsize=true group="id_991f88ed_79e4_4356_9906_afc12fc15ddc"    label="term = term*2" tooltip="term = term*2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_89014c3a_cf3a_4717_bb21_c87b12ca7568 [id="id_89014c3a_cf3a_4717_bb21_c87b12ca7568#Assign" pos="1.25,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_991f88ed_79e4_4356_9906_afc12fc15ddc"    label="i = i+1" tooltip="i = i+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="1.25,9987.916666666666!" shape=point width=0]
  true_dummy_down_left_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="0.0,9987.916666666666!" shape=point width=0]
  false_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="-1.25,9987.8125!" shape=point width=0]
  end_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [pos="0.0,9987.8125!" group="fun-main" shape=point width=0]
  
  
  id_f8a2b518_aec3_4035_b189_8fcdc5328bd8 [id="id_f8a2b518_aec3_4035_b189_8fcdc5328bd8#Output" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="SUM" tooltip="SUM" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8408bc53_af3a_468d_9be6_28bb800e7572 [id="id_8408bc53_af3a_468d_9be6_28bb800e7572#Return" pos="0.0,9985.9375!" 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_90ae5a03_deda_4f62_8778_181554c75c84:s -> id_58c6099d_54b6_4cfc_a1f7_8a3d688e67d5:n [id="id_90ae5a03_deda_4f62_8778_181554c75c84@fun-main" tailtooltip=" " edgetooltip=" "]
  id_58c6099d_54b6_4cfc_a1f7_8a3d688e67d5:s -> id_a074efeb_3907_4cea_ad1f_c04cbd8091a4:n [id="id_58c6099d_54b6_4cfc_a1f7_8a3d688e67d5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a074efeb_3907_4cea_ad1f_c04cbd8091a4:s -> id_7280af8f_7daa_4a85_a2b3_a12284f9ea85:n [id="id_a074efeb_3907_4cea_ad1f_c04cbd8091a4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7280af8f_7daa_4a85_a2b3_a12284f9ea85:s -> id_dabe4ac5_9006_4caf_a82f_2c36893c18f6:n [id="id_7280af8f_7daa_4a85_a2b3_a12284f9ea85@fun-main" tailtooltip=" " edgetooltip=" "]
  id_dabe4ac5_9006_4caf_a82f_2c36893c18f6:s -> id_50638712_286a_4deb_a7d2_ebeb08a89408:n [id="id_dabe4ac5_9006_4caf_a82f_2c36893c18f6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_50638712_286a_4deb_a7d2_ebeb08a89408:s -> id_7b7363de_9bc1_4b33_b547_b0dfca689726:n [id="id_50638712_286a_4deb_a7d2_ebeb08a89408@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7b7363de_9bc1_4b33_b547_b0dfca689726:s -> id_1e0a01be_8f91_4be0_b080_673759a8b272:n [id="id_7b7363de_9bc1_4b33_b547_b0dfca689726@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1e0a01be_8f91_4be0_b080_673759a8b272:s -> id_a627b10f_d1eb_4481_b359_9aad33db96da:n [id="id_1e0a01be_8f91_4be0_b080_673759a8b272@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a627b10f_d1eb_4481_b359_9aad33db96da:s -> id_375e2fca_a732_46f5_a80f_f1ccf80cb464:n [id="id_a627b10f_d1eb_4481_b359_9aad33db96da@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_375e2fca_a732_46f5_a80f_f1ccf80cb464:e -> true_dummy_up_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> id_b50f25d8_0c52_4f98_a391_58329d46051c:n [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" "]
  
  id_b50f25d8_0c52_4f98_a391_58329d46051c:s -> id_9cee00a5_0ba8_4d28_b5ee_0f125f83e7fd:n [id="id_b50f25d8_0c52_4f98_a391_58329d46051c@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" "]
  id_9cee00a5_0ba8_4d28_b5ee_0f125f83e7fd:s -> id_89014c3a_cf3a_4717_bb21_c87b12ca7568:n [id="id_9cee00a5_0ba8_4d28_b5ee_0f125f83e7fd@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" "]
  id_89014c3a_cf3a_4717_bb21_c87b12ca7568:s -> true_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464:n [id="id_89014c3a_cf3a_4717_bb21_c87b12ca7568@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> true_dummy_down_left_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_89014c3a_cf3a_4717_bb21_c87b12ca7568@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> id_375e2fca_a732_46f5_a80f_f1ccf80cb464:s [id="id_89014c3a_cf3a_4717_bb21_c87b12ca7568@id_991f88ed_79e4_4356_9906_afc12fc15ddc" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_375e2fca_a732_46f5_a80f_f1ccf80cb464:w -> false_dummy_up_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> false_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> end_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_375e2fca_a732_46f5_a80f_f1ccf80cb464 -> id_f8a2b518_aec3_4035_b189_8fcdc5328bd8 [id="id_375e2fca_a732_46f5_a80f_f1ccf80cb464@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f8a2b518_aec3_4035_b189_8fcdc5328bd8:s -> id_8408bc53_af3a_468d_9be6_28bb800e7572:n [id="id_f8a2b518_aec3_4035_b189_8fcdc5328bd8@fun-main" tailtooltip=" " edgetooltip=" "]

}
