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_61254233_c5a9_40c0_ab9f_9aa1055afdcd [id="id_61254233_c5a9_40c0_ab9f_9aa1055afdcd#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_3da3f4d6_b002_4842_8d68_422ca86b9b63 [id="id_3da3f4d6_b002_4842_8d68_422ca86b9b63#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A = 1" tooltip="A: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_45f294cd_8e7d_4697_8d56_d748fa24ad08 [id="id_45f294cd_8e7d_4697_8d56_d748fa24ad08#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B = 0" tooltip="B: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_77513c7c_a47b_430b_9c74_96421e4d83bd [id="id_77513c7c_a47b_430b_9c74_96421e4d83bd#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="S = 0" tooltip="S: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1decaebd_9b77_4377_8fcd_9268051c2bbf [id="id_1decaebd_9b77_4377_8fcd_9268051c2bbf#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d0f06f64_9399_4128_9873_5e2f80e5c7de [id="id_d0f06f64_9399_4128_9873_5e2f80e5c7de#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d#While" pos="0.0,9994.375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A>0" tooltip="A>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="2.5,9994.375!" shape=point width=0]
  false_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="-1.25,9994.375!" shape=point width=0]
  
  id_daf71363_4208_4218_8e94_d0e69a193bfb [id="id_daf71363_4208_4218_8e94_d0e69a193bfb#Assign" pos="2.5,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_5d36dcf5_0341_464a_b097_4e3b26d832f7"    label="S = A+B" tooltip="S = A+B" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_1cc71e86_0623_4f59_a9d7_895539e1112a [id="id_1cc71e86_0623_4f59_a9d7_895539e1112a#Output" pos="2.5,9992.5!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_5d36dcf5_0341_464a_b097_4e3b26d832f7"    label="\"Il valore della somma è:\"" tooltip="\"Il valore della somma è:\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8678fe7a_dca2_453b_8b01_a4eee4c304cd [id="id_8678fe7a_dca2_453b_8b01_a4eee4c304cd#Output" pos="2.5,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_5d36dcf5_0341_464a_b097_4e3b26d832f7"    label="S" tooltip="S" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc [id="id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc#Assign" pos="2.5,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_5d36dcf5_0341_464a_b097_4e3b26d832f7"    label="A = A-1" tooltip="A = A-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="2.5,9989.791666666666!" shape=point width=0]
  true_dummy_down_left_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="0.0,9989.791666666666!" shape=point width=0]
  false_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="-1.25,9989.6875!" shape=point width=0]
  end_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [pos="0.0,9989.6875!" group="fun-main" shape=point width=0]
  
  
  id_f1473327_2c66_4444_83d0_d6f01737cfc0 [id="id_f1473327_2c66_4444_83d0_d6f01737cfc0#Input" pos="0.0,9988.75!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d84339e6_49e9_46ca_8603_85a1ea31f8da [id="id_d84339e6_49e9_46ca_8603_85a1ea31f8da#Input" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a3343e49_aa2b_4284_9271_5c0f0dad8921 [id="id_a3343e49_aa2b_4284_9271_5c0f0dad8921#Assign" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="S = A+B" tooltip="S = A+B" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_2c935266_bc92_4887_bd60_e4f574e6d835 [id="id_2c935266_bc92_4887_bd60_e4f574e6d835#Output" pos="0.0,9985.9375!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="\"Il valore della somma è:\"" tooltip="\"Il valore della somma è:\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b2a9eb97_c9af_480c_8e8e_24325eabfc81 [id="id_b2a9eb97_c9af_480c_8e8e_24325eabfc81#Output" pos="0.0,9985.0!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="S" tooltip="S" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c8a6e8c7_c892_44dd_b307_1c27095db7d7 [id="id_c8a6e8c7_c892_44dd_b307_1c27095db7d7#Return" pos="0.0,9984.0625!" 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_61254233_c5a9_40c0_ab9f_9aa1055afdcd:s -> id_3da3f4d6_b002_4842_8d68_422ca86b9b63:n [id="id_61254233_c5a9_40c0_ab9f_9aa1055afdcd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3da3f4d6_b002_4842_8d68_422ca86b9b63:s -> id_45f294cd_8e7d_4697_8d56_d748fa24ad08:n [id="id_3da3f4d6_b002_4842_8d68_422ca86b9b63@fun-main" tailtooltip=" " edgetooltip=" "]
  id_45f294cd_8e7d_4697_8d56_d748fa24ad08:s -> id_77513c7c_a47b_430b_9c74_96421e4d83bd:n [id="id_45f294cd_8e7d_4697_8d56_d748fa24ad08@fun-main" tailtooltip=" " edgetooltip=" "]
  id_77513c7c_a47b_430b_9c74_96421e4d83bd:s -> id_1decaebd_9b77_4377_8fcd_9268051c2bbf:n [id="id_77513c7c_a47b_430b_9c74_96421e4d83bd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1decaebd_9b77_4377_8fcd_9268051c2bbf:s -> id_d0f06f64_9399_4128_9873_5e2f80e5c7de:n [id="id_1decaebd_9b77_4377_8fcd_9268051c2bbf@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d0f06f64_9399_4128_9873_5e2f80e5c7de:s -> id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d:n [id="id_d0f06f64_9399_4128_9873_5e2f80e5c7de@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d:e -> true_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> id_daf71363_4208_4218_8e94_d0e69a193bfb:n [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" "]
  
  id_daf71363_4208_4218_8e94_d0e69a193bfb:s -> id_1cc71e86_0623_4f59_a9d7_895539e1112a:n [id="id_daf71363_4208_4218_8e94_d0e69a193bfb@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" "]
  id_1cc71e86_0623_4f59_a9d7_895539e1112a:s -> id_8678fe7a_dca2_453b_8b01_a4eee4c304cd:n [id="id_1cc71e86_0623_4f59_a9d7_895539e1112a@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" "]
  id_8678fe7a_dca2_453b_8b01_a4eee4c304cd:s -> id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc:n [id="id_8678fe7a_dca2_453b_8b01_a4eee4c304cd@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" "]
  id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc:s -> true_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d:n [id="id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> true_dummy_down_left_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d:s [id="id_2152a9cc_6f83_4838_85ec_5a6bfa3c85dc@id_5d36dcf5_0341_464a_b097_4e3b26d832f7" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d:w -> false_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> false_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> end_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d -> id_f1473327_2c66_4444_83d0_d6f01737cfc0 [id="id_5cd8c2ac_c9a0_429f_80c9_1acfee44519d@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_f1473327_2c66_4444_83d0_d6f01737cfc0:s -> id_d84339e6_49e9_46ca_8603_85a1ea31f8da:n [id="id_f1473327_2c66_4444_83d0_d6f01737cfc0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d84339e6_49e9_46ca_8603_85a1ea31f8da:s -> id_a3343e49_aa2b_4284_9271_5c0f0dad8921:n [id="id_d84339e6_49e9_46ca_8603_85a1ea31f8da@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a3343e49_aa2b_4284_9271_5c0f0dad8921:s -> id_2c935266_bc92_4887_bd60_e4f574e6d835:n [id="id_a3343e49_aa2b_4284_9271_5c0f0dad8921@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2c935266_bc92_4887_bd60_e4f574e6d835:s -> id_b2a9eb97_c9af_480c_8e8e_24325eabfc81:n [id="id_2c935266_bc92_4887_bd60_e4f574e6d835@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b2a9eb97_c9af_480c_8e8e_24325eabfc81:s -> id_c8a6e8c7_c892_44dd_b307_1c27095db7d7:n [id="id_b2a9eb97_c9af_480c_8e8e_24325eabfc81@fun-main" tailtooltip=" " edgetooltip=" "]

}