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_902113d3_1799_49f1_8300_c154b78062c8 [id="id_902113d3_1799_49f1_8300_c154b78062c8#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_17ae0936_cbcd_4c31_a1b9_6fdc7a14bd64 [id="id_17ae0936_cbcd_4c31_a1b9_6fdc7a14bd64#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_b74b0499_a30a_4b02_9dff_c9d2ce95bae6 [id="id_b74b0499_a30a_4b02_9dff_c9d2ce95bae6#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_a75eed1d_05ce_4258_b868_d164102b9ba8 [id="id_a75eed1d_05ce_4258_b868_d164102b9ba8#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="total" tooltip="total: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_88ae8baa_8017_4b41_aff1_9d9cafb9e7ba [id="id_88ae8baa_8017_4b41_aff1_9d9cafb9e7ba#Assign" pos="0.0,9996.25!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="n = 1000" tooltip="n = 1000" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_fffccf9b_9de5_45a6_b1e9_60e89fb54f04 [id="id_fffccf9b_9de5_45a6_b1e9_60e89fb54f04#Assign" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 1" tooltip="i = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f72f1061_0744_43b3_a465_9d5676864497 [id="id_f72f1061_0744_43b3_a465_9d5676864497#Assign" pos="0.0,9994.375!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="total = 0" tooltip="total = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82#While" pos="0.0,9993.4375!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="i < n" tooltip="i < n" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_ec2c5638_2c62_46f4_9aed_613e9af92221 [id="id_ec2c5638_2c62_46f4_9aed_613e9af92221#Assign" pos="1.25,9992.5!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_e6b1a949_ece2_4aff_bbe9_081e095a76e8"    label="total = total + i" tooltip="total = total + i" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f1447af4_2efc_4e6a_ad92_1f214bb76be8 [id="id_f1447af4_2efc_4e6a_ad92_1f214bb76be8#Assign" pos="1.25,9991.5625!" height=0.4 width=1.19 fixedsize=true group="id_e6b1a949_ece2_4aff_bbe9_081e095a76e8"    label="i = i + 1" tooltip="i = i + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="1.25,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  id_174fbd81_2e28_453f_95f9_daa3dc20b700 [id="id_174fbd81_2e28_453f_95f9_daa3dc20b700#Output" pos="0.0,9989.6875!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="\"total\"" tooltip="\"total\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d25502ca_690d_4636_889e_8c38f425bffc [id="id_d25502ca_690d_4636_889e_8c38f425bffc#Return" pos="0.0,9988.75!" 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_902113d3_1799_49f1_8300_c154b78062c8:s -> id_17ae0936_cbcd_4c31_a1b9_6fdc7a14bd64:n [id="id_902113d3_1799_49f1_8300_c154b78062c8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_17ae0936_cbcd_4c31_a1b9_6fdc7a14bd64:s -> id_b74b0499_a30a_4b02_9dff_c9d2ce95bae6:n [id="id_17ae0936_cbcd_4c31_a1b9_6fdc7a14bd64@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b74b0499_a30a_4b02_9dff_c9d2ce95bae6:s -> id_a75eed1d_05ce_4258_b868_d164102b9ba8:n [id="id_b74b0499_a30a_4b02_9dff_c9d2ce95bae6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a75eed1d_05ce_4258_b868_d164102b9ba8:s -> id_88ae8baa_8017_4b41_aff1_9d9cafb9e7ba:n [id="id_a75eed1d_05ce_4258_b868_d164102b9ba8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_88ae8baa_8017_4b41_aff1_9d9cafb9e7ba:s -> id_fffccf9b_9de5_45a6_b1e9_60e89fb54f04:n [id="id_88ae8baa_8017_4b41_aff1_9d9cafb9e7ba@fun-main" tailtooltip=" " edgetooltip=" "]
  id_fffccf9b_9de5_45a6_b1e9_60e89fb54f04:s -> id_f72f1061_0744_43b3_a465_9d5676864497:n [id="id_fffccf9b_9de5_45a6_b1e9_60e89fb54f04@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f72f1061_0744_43b3_a465_9d5676864497:s -> id_44fd48da_a490_43d9_a934_f6e64cc13f82:n [id="id_f72f1061_0744_43b3_a465_9d5676864497@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_44fd48da_a490_43d9_a934_f6e64cc13f82:e -> true_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> id_ec2c5638_2c62_46f4_9aed_613e9af92221:n [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" "]
  
  id_ec2c5638_2c62_46f4_9aed_613e9af92221:s -> id_f1447af4_2efc_4e6a_ad92_1f214bb76be8:n [id="id_ec2c5638_2c62_46f4_9aed_613e9af92221@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" "]
  id_f1447af4_2efc_4e6a_ad92_1f214bb76be8:s -> true_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82:n [id="id_f1447af4_2efc_4e6a_ad92_1f214bb76be8@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> true_dummy_down_left_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_f1447af4_2efc_4e6a_ad92_1f214bb76be8@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> id_44fd48da_a490_43d9_a934_f6e64cc13f82:s [id="id_f1447af4_2efc_4e6a_ad92_1f214bb76be8@id_e6b1a949_ece2_4aff_bbe9_081e095a76e8" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_44fd48da_a490_43d9_a934_f6e64cc13f82:w -> false_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> false_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> end_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_44fd48da_a490_43d9_a934_f6e64cc13f82 -> id_174fbd81_2e28_453f_95f9_daa3dc20b700 [id="id_44fd48da_a490_43d9_a934_f6e64cc13f82@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_174fbd81_2e28_453f_95f9_daa3dc20b700:s -> id_d25502ca_690d_4636_889e_8c38f425bffc:n [id="id_174fbd81_2e28_453f_95f9_daa3dc20b700@fun-main" tailtooltip=" " edgetooltip=" "]

}