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_64796b04_1bb0_4fb8_b656_1832f3fbbbdd [id="id_64796b04_1bb0_4fb8_b656_1832f3fbbbdd#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_97bebd34_3f41_41a2_ad10_dcbaf3ffb7e8 [id="id_97bebd34_3f41_41a2_ad10_dcbaf3ffb7e8#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_793936ba_baf6_439d_9ea4_451100afd1aa [id="id_793936ba_baf6_439d_9ea4_451100afd1aa#Output" pos="0.0,9998.125!" height=0.4 width=3.06 fixedsize=true group="fun-main"    label="\"inserisci un numero >0\"" tooltip="\"inserisci un numero >0\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d70f845b_c395_4d6a_a33b_52c7f03c7668 [id="id_d70f845b_c395_4d6a_a33b_52c7f03c7668#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03#While" pos="0.0,9996.25!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="n<=0" tooltip="n<=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="2.5,9996.25!" shape=point width=0]
  false_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="-1.25,9996.25!" shape=point width=0]
  
  id_d8b23bd9_856f_4eca_91a7_1b154a2a8cb7 [id="id_d8b23bd9_856f_4eca_91a7_1b154a2a8cb7#Output" pos="2.5,9995.3125!" height=0.4 width=2.73 fixedsize=true group="id_4c027c7d_070f_400a_b5c0_d2242df2f872"    label="\"inserisci il numero\"" tooltip="\"inserisci il numero\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9 [id="id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9#Input" pos="2.5,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_4c027c7d_070f_400a_b5c0_d2242df2f872"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="2.5,9993.541666666666!" shape=point width=0]
  true_dummy_down_left_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="0.0,9993.541666666666!" shape=point width=0]
  false_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="-1.25,9993.4375!" shape=point width=0]
  end_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [pos="0.0,9993.4375!" group="fun-main" shape=point width=0]
  
  
  id_a4d734a5_1c04_41ba_ae91_657e12532f4b [id="id_a4d734a5_1c04_41ba_ae91_657e12532f4b#Declare" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = 0" tooltip="x: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9#While" pos="0.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x<n" tooltip="x<n" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="1.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="-1.25,9991.5625!" shape=point width=0]
  
  id_2023c56c_c2f5_41f7_ae82_6a7b84b4a9e2 [id="id_2023c56c_c2f5_41f7_ae82_6a7b84b4a9e2#Assign" pos="1.25,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_81d44043_6f36_40cd_994c_732cb41c916c"    label="x = x+1" tooltip="x = x+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9 [id="id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9#Output" pos="1.25,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_81d44043_6f36_40cd_994c_732cb41c916c"    label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="1.25,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="-1.25,9988.75!" shape=point width=0]
  end_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_5ac5b051_bf54_476c_9f2a_8c0685422563 [id="id_5ac5b051_bf54_476c_9f2a_8c0685422563#Return" pos="0.0,9987.8125!" 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_64796b04_1bb0_4fb8_b656_1832f3fbbbdd:s -> id_97bebd34_3f41_41a2_ad10_dcbaf3ffb7e8:n [id="id_64796b04_1bb0_4fb8_b656_1832f3fbbbdd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_97bebd34_3f41_41a2_ad10_dcbaf3ffb7e8:s -> id_793936ba_baf6_439d_9ea4_451100afd1aa:n [id="id_97bebd34_3f41_41a2_ad10_dcbaf3ffb7e8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_793936ba_baf6_439d_9ea4_451100afd1aa:s -> id_d70f845b_c395_4d6a_a33b_52c7f03c7668:n [id="id_793936ba_baf6_439d_9ea4_451100afd1aa@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d70f845b_c395_4d6a_a33b_52c7f03c7668:s -> id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03:n [id="id_d70f845b_c395_4d6a_a33b_52c7f03c7668@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03:e -> true_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> id_d8b23bd9_856f_4eca_91a7_1b154a2a8cb7:n [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" "]
  
  id_d8b23bd9_856f_4eca_91a7_1b154a2a8cb7:s -> id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9:n [id="id_d8b23bd9_856f_4eca_91a7_1b154a2a8cb7@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" "]
  id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9:s -> true_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03:n [id="id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> true_dummy_down_left_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03:s [id="id_70e9bfe3_4c18_4d5c_8025_e92544aa84a9@id_4c027c7d_070f_400a_b5c0_d2242df2f872" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03:w -> false_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> false_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> end_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03 -> id_a4d734a5_1c04_41ba_ae91_657e12532f4b [id="id_11e5f66f_5c3a_412a_95ed_c9ae6318ea03@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_a4d734a5_1c04_41ba_ae91_657e12532f4b:s -> id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9:n [id="id_a4d734a5_1c04_41ba_ae91_657e12532f4b@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9:e -> true_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> id_2023c56c_c2f5_41f7_ae82_6a7b84b4a9e2:n [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" "]
  
  id_2023c56c_c2f5_41f7_ae82_6a7b84b4a9e2:s -> id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9:n [id="id_2023c56c_c2f5_41f7_ae82_6a7b84b4a9e2@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" "]
  id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9:s -> true_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9:n [id="id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> true_dummy_down_left_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9:s [id="id_abbc3abb_e6a9_4379_b4ef_4128bd55daa9@id_81d44043_6f36_40cd_994c_732cb41c916c" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9:w -> false_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> false_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> end_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9 -> id_5ac5b051_bf54_476c_9f2a_8c0685422563 [id="id_0f2fa5be_7a29_4331_a33a_a206a7feb5a9@fun-main" tailtooltip=" " edgetooltip=" "]
  

}