
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_00e12230_277d_4273_9158_a37f721b16c4 [id="id_00e12230_277d_4273_9158_a37f721b16c4#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_acec090a_d977_44c6_8413_6988067afce0 [id="id_acec090a_d977_44c6_8413_6988067afce0#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="X" tooltip="X: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_41710e66_b200_43e2_890d_79d7fbb409ee [id="id_41710e66_b200_43e2_890d_79d7fbb409ee#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T" tooltip="T: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a0ac97f1_a8b0_4dab_9ba3_758244ceb172 [id="id_a0ac97f1_a8b0_4dab_9ba3_758244ceb172#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="numero" tooltip="numero: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_be691f69_c66f_4faa_a08b_c9fa2f8fef5f [id="id_be691f69_c66f_4faa_a08b_c9fa2f8fef5f#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="s" tooltip="s: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_68a7e036_f66b_4018_be40_111ec6b99a0c [id="id_68a7e036_f66b_4018_be40_111ec6b99a0c#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="X" tooltip="X" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_05fa4852_7435_4d33_af54_9d29e2b2e79d [id="id_05fa4852_7435_4d33_af54_9d29e2b2e79d#Assign" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T = 1" tooltip="T = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_e71ee03c_dc30_411c_a6d0_bfb1dcf2e7aa [id="id_e71ee03c_dc30_411c_a6d0_bfb1dcf2e7aa#Assign" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="s = 0" tooltip="s = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52#While" pos="0.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="T<=X" tooltip="T<=X" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="1.25,9992.5!" shape=point width=0]
  false_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="-1.25,9992.5!" shape=point width=0]
  
  id_7f0644b2_252c_4c19_ba01_811def244593 [id="id_7f0644b2_252c_4c19_ba01_811def244593#Input" pos="1.25,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_a06a6469_cf66_47f1_9181_37c9f7e9f719"    label="numero" tooltip="numero" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6f267420_fd41_4ff8_b17f_c42e093acfa6 [id="id_6f267420_fd41_4ff8_b17f_c42e093acfa6#Assign" pos="1.25,9990.625!" height=0.4 width=1.52 fixedsize=true group="id_a06a6469_cf66_47f1_9181_37c9f7e9f719"    label="s = s+numero" tooltip="s = s+numero" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9 [id="id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9#Assign" pos="1.25,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_a06a6469_cf66_47f1_9181_37c9f7e9f719"    label="T = T+1" tooltip="T = T+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="1.25,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_2b002100_3842_4788_91ce_4c558b3fbb29 [id="id_2b002100_3842_4788_91ce_4c558b3fbb29#Output" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="s" tooltip="s" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3f0cfa6b_aa23_447f_b7bf_68baf384ee67 [id="id_3f0cfa6b_aa23_447f_b7bf_68baf384ee67#Return" pos="0.0,9986.875!" 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_00e12230_277d_4273_9158_a37f721b16c4:s -> id_acec090a_d977_44c6_8413_6988067afce0:n [id="id_00e12230_277d_4273_9158_a37f721b16c4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_acec090a_d977_44c6_8413_6988067afce0:s -> id_41710e66_b200_43e2_890d_79d7fbb409ee:n [id="id_acec090a_d977_44c6_8413_6988067afce0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_41710e66_b200_43e2_890d_79d7fbb409ee:s -> id_a0ac97f1_a8b0_4dab_9ba3_758244ceb172:n [id="id_41710e66_b200_43e2_890d_79d7fbb409ee@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a0ac97f1_a8b0_4dab_9ba3_758244ceb172:s -> id_be691f69_c66f_4faa_a08b_c9fa2f8fef5f:n [id="id_a0ac97f1_a8b0_4dab_9ba3_758244ceb172@fun-main" tailtooltip=" " edgetooltip=" "]
  id_be691f69_c66f_4faa_a08b_c9fa2f8fef5f:s -> id_68a7e036_f66b_4018_be40_111ec6b99a0c:n [id="id_be691f69_c66f_4faa_a08b_c9fa2f8fef5f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_68a7e036_f66b_4018_be40_111ec6b99a0c:s -> id_05fa4852_7435_4d33_af54_9d29e2b2e79d:n [id="id_68a7e036_f66b_4018_be40_111ec6b99a0c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_05fa4852_7435_4d33_af54_9d29e2b2e79d:s -> id_e71ee03c_dc30_411c_a6d0_bfb1dcf2e7aa:n [id="id_05fa4852_7435_4d33_af54_9d29e2b2e79d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e71ee03c_dc30_411c_a6d0_bfb1dcf2e7aa:s -> id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52:n [id="id_e71ee03c_dc30_411c_a6d0_bfb1dcf2e7aa@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52:e -> true_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> id_7f0644b2_252c_4c19_ba01_811def244593:n [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" "]
  
  id_7f0644b2_252c_4c19_ba01_811def244593:s -> id_6f267420_fd41_4ff8_b17f_c42e093acfa6:n [id="id_7f0644b2_252c_4c19_ba01_811def244593@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" "]
  id_6f267420_fd41_4ff8_b17f_c42e093acfa6:s -> id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9:n [id="id_6f267420_fd41_4ff8_b17f_c42e093acfa6@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" "]
  id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9:s -> true_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52:n [id="id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> true_dummy_down_left_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52:s [id="id_306d9f21_6ffc_49ad_96f7_4de9ecfbb2a9@id_a06a6469_cf66_47f1_9181_37c9f7e9f719" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52:w -> false_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> false_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> end_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52 -> id_2b002100_3842_4788_91ce_4c558b3fbb29 [id="id_2ea9b71e_5bb5_4212_9ace_e6f79cf79c52@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_2b002100_3842_4788_91ce_4c558b3fbb29:s -> id_3f0cfa6b_aa23_447f_b7bf_68baf384ee67:n [id="id_2b002100_3842_4788_91ce_4c558b3fbb29@fun-main" tailtooltip=" " edgetooltip=" "]

}
