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_8e654e73_c7be_4ad8_9f50_b533fb80765f [id="id_8e654e73_c7be_4ad8_9f50_b533fb80765f#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_01a4ab90_626a_4ce3_8ccc_7846343fd13e [id="id_01a4ab90_626a_4ce3_8ccc_7846343fd13e#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_80318c02_6a4a_49e6_a155_b5d93762eeff [id="id_80318c02_6a4a_49e6_a155_b5d93762eeff#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7d77d2b2_bf33_48cf_8afc_a042272d5be3 [id="id_7d77d2b2_bf33_48cf_8afc_a042272d5be3#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="s" tooltip="s: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e2065a8e_e4ce_4a11_8d0f_b97b2c3ffc2e [id="id_e2065a8e_e4ce_4a11_8d0f_b97b2c3ffc2e#Assign" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="s = 0" tooltip="s = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_03fa78f0_95cb_46a8_adbf_99e4a1ce4e98 [id="id_03fa78f0_95cb_46a8_adbf_99e4a1ce4e98#Assign" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c = 1" tooltip="c = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f#While" pos="0.0,9994.375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="c<6" tooltip="c<6" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="-1.25,9994.375!" shape=point width=0]
  
  id_8f7701c9_46e5_4af3_bdb6_2d890b9896da [id="id_8f7701c9_46e5_4af3_bdb6_2d890b9896da#Input" pos="1.25,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_11ead501_a4d1_464e_890c_62003e984f73 [id="id_11ead501_a4d1_464e_890c_62003e984f73#Assign" pos="1.25,9992.5!" height=0.4 width=1.0 fixedsize=true group="id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f"    label="s = s+n" tooltip="s = s+n" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_dd497db9_fcf5_43c3_806c_943bc336dba7 [id="id_dd497db9_fcf5_43c3_806c_943bc336dba7#Assign" pos="1.25,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f"    label="c = c+1" tooltip="c = c+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="1.25,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  id_798e670a_5cda_4a42_bd2a_005fb0540394 [id="id_798e670a_5cda_4a42_bd2a_005fb0540394#Return" pos="0.0,9989.6875!" 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_8e654e73_c7be_4ad8_9f50_b533fb80765f:s -> id_01a4ab90_626a_4ce3_8ccc_7846343fd13e:n [id="id_8e654e73_c7be_4ad8_9f50_b533fb80765f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_01a4ab90_626a_4ce3_8ccc_7846343fd13e:s -> id_80318c02_6a4a_49e6_a155_b5d93762eeff:n [id="id_01a4ab90_626a_4ce3_8ccc_7846343fd13e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_80318c02_6a4a_49e6_a155_b5d93762eeff:s -> id_7d77d2b2_bf33_48cf_8afc_a042272d5be3:n [id="id_80318c02_6a4a_49e6_a155_b5d93762eeff@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7d77d2b2_bf33_48cf_8afc_a042272d5be3:s -> id_e2065a8e_e4ce_4a11_8d0f_b97b2c3ffc2e:n [id="id_7d77d2b2_bf33_48cf_8afc_a042272d5be3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e2065a8e_e4ce_4a11_8d0f_b97b2c3ffc2e:s -> id_03fa78f0_95cb_46a8_adbf_99e4a1ce4e98:n [id="id_e2065a8e_e4ce_4a11_8d0f_b97b2c3ffc2e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_03fa78f0_95cb_46a8_adbf_99e4a1ce4e98:s -> id_cbcd5479_1e69_4ef6_bb38_6f658d09055f:n [id="id_03fa78f0_95cb_46a8_adbf_99e4a1ce4e98@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_cbcd5479_1e69_4ef6_bb38_6f658d09055f:e -> true_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> id_8f7701c9_46e5_4af3_bdb6_2d890b9896da:n [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" "]
  
  id_8f7701c9_46e5_4af3_bdb6_2d890b9896da:s -> id_11ead501_a4d1_464e_890c_62003e984f73:n [id="id_8f7701c9_46e5_4af3_bdb6_2d890b9896da@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" "]
  id_11ead501_a4d1_464e_890c_62003e984f73:s -> id_dd497db9_fcf5_43c3_806c_943bc336dba7:n [id="id_11ead501_a4d1_464e_890c_62003e984f73@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" "]
  id_dd497db9_fcf5_43c3_806c_943bc336dba7:s -> true_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f:n [id="id_dd497db9_fcf5_43c3_806c_943bc336dba7@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> true_dummy_down_left_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_dd497db9_fcf5_43c3_806c_943bc336dba7@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> id_cbcd5479_1e69_4ef6_bb38_6f658d09055f:s [id="id_dd497db9_fcf5_43c3_806c_943bc336dba7@id_2c9bc248_0534_4501_8bfa_65efe3f6ec4f" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_cbcd5479_1e69_4ef6_bb38_6f658d09055f:w -> false_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> false_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> end_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_cbcd5479_1e69_4ef6_bb38_6f658d09055f -> id_798e670a_5cda_4a42_bd2a_005fb0540394 [id="id_cbcd5479_1e69_4ef6_bb38_6f658d09055f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}