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_8b3b3eec_9cfd_4bad_b69b_58f0f28c2dc2 [id="id_8b3b3eec_9cfd_4bad_b69b_58f0f28c2dc2#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_79938558_70d6_4c53_8865_4793dba79fbb [id="id_79938558_70d6_4c53_8865_4793dba79fbb#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_4aa9d125_0da6_4556_b796_8f8054db7fd4 [id="id_4aa9d125_0da6_4556_b796_8f8054db7fd4#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="i = 0" tooltip="i: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_67882d53_989e_4135_a8a5_7a02f32c9de2 [id="id_67882d53_989e_4135_a8a5_7a02f32c9de2#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_5f65ac55_c5db_464f_8e20_728e85d22c90 [id="id_5f65ac55_c5db_464f_8e20_728e85d22c90#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  end_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [id="end_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9995.3125!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_df267327_11b9_45f2_b862_edc4ff6f81c5 [id="id_df267327_11b9_45f2_b862_edc4ff6f81c5#Assign" pos="0.0,9994.375!" height=0.4 width=1.19 fixedsize=true group="id_e84d104a_6727_4a1e_858a_7f0876650a04"    label="s = s + 1" tooltip="s = s + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_987e1f9e_32ae_4833_a0aa_278f7796e5f1 [id="id_987e1f9e_32ae_4833_a0aa_278f7796e5f1#Assign" pos="0.0,9993.4375!" height=0.4 width=1.19 fixedsize=true group="id_e84d104a_6727_4a1e_858a_7f0876650a04"    label="i = i + 1" tooltip="i = i + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [id="id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0#DoWhile" pos="0.0,9992.5!" height=0.5 width=1.27 fixedsize=true group="fun-main" 
  label="i <=  n" tooltip="i <=  n" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [pos="1.25,9995.3125!" shape=point width=0]
  true_dummy_down_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [pos="1.25,9992.5!" shape=point width=0]
  
  
  id_d3524f1b_3b0f_46b8_b1d4_e7b6f03291ef [id="id_d3524f1b_3b0f_46b8_b1d4_e7b6f03291ef#Output" pos="0.0,9991.5625!" height=0.4 width=5.48 fixedsize=true group="fun-main"    label="\"la somma dei primi \" + n + \" numeri è \" + s" tooltip="\"la somma dei primi \" + n + \" numeri è \" + s" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9a736416_60c9_41ad_85dd_fc304b1d84cf [id="id_9a736416_60c9_41ad_85dd_fc304b1d84cf#Return" pos="0.0,9990.625!" 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_8b3b3eec_9cfd_4bad_b69b_58f0f28c2dc2:s -> id_79938558_70d6_4c53_8865_4793dba79fbb:n [id="id_8b3b3eec_9cfd_4bad_b69b_58f0f28c2dc2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_79938558_70d6_4c53_8865_4793dba79fbb:s -> id_4aa9d125_0da6_4556_b796_8f8054db7fd4:n [id="id_79938558_70d6_4c53_8865_4793dba79fbb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4aa9d125_0da6_4556_b796_8f8054db7fd4:s -> id_67882d53_989e_4135_a8a5_7a02f32c9de2:n [id="id_4aa9d125_0da6_4556_b796_8f8054db7fd4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_67882d53_989e_4135_a8a5_7a02f32c9de2:s -> id_5f65ac55_c5db_464f_8e20_728e85d22c90:n [id="id_67882d53_989e_4135_a8a5_7a02f32c9de2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5f65ac55_c5db_464f_8e20_728e85d22c90:s -> end_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0:n [id="id_5f65ac55_c5db_464f_8e20_728e85d22c90@fun-main" tailtooltip=" " edgetooltip=" "]
  ## DOWHILE-BODY
  end_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 -> id_df267327_11b9_45f2_b862_edc4ff6f81c5 [id="id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0@id_e84d104a_6727_4a1e_858a_7f0876650a04" tailtooltip=" " edgetooltip=" " ]
  id_df267327_11b9_45f2_b862_edc4ff6f81c5:s -> id_987e1f9e_32ae_4833_a0aa_278f7796e5f1:n [id="id_df267327_11b9_45f2_b862_edc4ff6f81c5@id_e84d104a_6727_4a1e_858a_7f0876650a04" tailtooltip=" " edgetooltip=" "]
  id_987e1f9e_32ae_4833_a0aa_278f7796e5f1:s -> id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0:n [id="id_987e1f9e_32ae_4833_a0aa_278f7796e5f1@id_e84d104a_6727_4a1e_858a_7f0876650a04" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0:e -> true_dummy_down_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 -> true_dummy_up_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0 -> end_id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0:s -> id_d3524f1b_3b0f_46b8_b1d4_e7b6f03291ef [id="id_f4d333fe_fea6_4c35_9ee3_b91856c9b8a0@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  id_d3524f1b_3b0f_46b8_b1d4_e7b6f03291ef:s -> id_9a736416_60c9_41ad_85dd_fc304b1d84cf:n [id="id_d3524f1b_3b0f_46b8_b1d4_e7b6f03291ef@fun-main" tailtooltip=" " edgetooltip=" "]

}