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_5d74b5ad_804d_4b99_b0fe_aa193d8f5c13 [id="id_5d74b5ad_804d_4b99_b0fe_aa193d8f5c13#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_2bf1f4f7_1032_4d0c_83f6_45694ca5d5d3 [id="id_2bf1f4f7_1032_4d0c_83f6_45694ca5d5d3#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_f8897b29_8862_47af_ba8a_cfe84c5cc4f1 [id="id_f8897b29_8862_47af_ba8a_cfe84c5cc4f1#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="k" tooltip="k: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c1881b18_f44a_4c1c_a4d6_63e319e86ba8 [id="id_c1881b18_f44a_4c1c_a4d6_63e319e86ba8#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_90ed85ac_00e3_4c30_aea6_3669a4b4c361 [id="id_90ed85ac_00e3_4c30_aea6_3669a4b4c361#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  end_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [id="end_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e#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_3601076f_6b78_400a_948c_60c679f40245 [id="id_3601076f_6b78_400a_948c_60c679f40245#Output" pos="0.0,9994.375!" height=0.4 width=5.48 fixedsize=true group="id_6fdc0206_667f_42fd_92f1_b89cdaf5b108"    label="\"La prego di inserire un numero maggiore di 1\"" tooltip="\"La prego di inserire un numero maggiore di 1\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9270ca95_af0e_420c_bfae_887e2d15a288 [id="id_9270ca95_af0e_420c_bfae_887e2d15a288#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="id_6fdc0206_667f_42fd_92f1_b89cdaf5b108"    label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [id="id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e#DoWhile" pos="0.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
  label="n<1" tooltip="n<1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [pos="3.75,9995.3125!" shape=point width=0]
  true_dummy_down_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [pos="3.75,9992.5!" shape=point width=0]
  
  
  end_id_71f52cee_799c_409e_b239_e266ec766fc9 [id="end_id_71f52cee_799c_409e_b239_e266ec766fc9#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9991.5625!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_919a2bdf_d93b_4c41_af5b_cf4e6aa50bf0 [id="id_919a2bdf_d93b_4c41_af5b_cf4e6aa50bf0#Output" pos="0.0,9990.625!" height=0.4 width=4.2700000000000005 fixedsize=true group="id_602ebc16_9e26_476a_bc45_f4714e654b45"    label="\"Inserisca un numero maggiore di 0\"" tooltip="\"Inserisca un numero maggiore di 0\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c047605a_8649_4116_9ecf_225194c29bcc [id="id_c047605a_8649_4116_9ecf_225194c29bcc#Input" pos="0.0,9989.6875!" height=0.4 width=1.0 fixedsize=true group="id_602ebc16_9e26_476a_bc45_f4714e654b45"    label="k" tooltip="k" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  id_71f52cee_799c_409e_b239_e266ec766fc9 [id="id_71f52cee_799c_409e_b239_e266ec766fc9#DoWhile" pos="0.0,9988.75!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
  label="k<0" tooltip="k<0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_71f52cee_799c_409e_b239_e266ec766fc9 [pos="2.5,9991.5625!" shape=point width=0]
  true_dummy_down_id_71f52cee_799c_409e_b239_e266ec766fc9 [pos="2.5,9988.75!" shape=point width=0]
  
  
  id_1c367e00_3ef1_410e_8472_2efb5c6e7422 [id="id_1c367e00_3ef1_410e_8472_2efb5c6e7422#Assign" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x = k" tooltip="x = k" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_9f51dace_51dc_4bd7_9d3e_d6d408614255 [id="id_9f51dace_51dc_4bd7_9d3e_d6d408614255#Assign" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z = 0" tooltip="z = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f#While" pos="0.0,9985.9375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="n>z" tooltip="n>z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="1.25,9985.9375!" shape=point width=0]
  false_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="-1.25,9985.9375!" shape=point width=0]
  
  id_479cecd7_a06e_4171_949b_0cfa518c2a52 [id="id_479cecd7_a06e_4171_949b_0cfa518c2a52#Assign" pos="1.25,9985.0!" height=0.4 width=1.0 fixedsize=true group="id_32084868_e8f2_4a79_b3c3_3116ceb58f62"    label="k = k+x" tooltip="k = k+x" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_bcb07f04_ce31_4ba8_8428_f6a2daf9e8b9 [id="id_bcb07f04_ce31_4ba8_8428_f6a2daf9e8b9#Assign" pos="1.25,9984.0625!" height=0.4 width=1.0 fixedsize=true group="id_32084868_e8f2_4a79_b3c3_3116ceb58f62"    label="n = n-1" tooltip="n = n-1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_8945cda2_ac3e_47a7_99bb_de7a4d9bcac5 [id="id_8945cda2_ac3e_47a7_99bb_de7a4d9bcac5#Output" pos="1.25,9983.125!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_32084868_e8f2_4a79_b3c3_3116ceb58f62"    label="\"I numeri sono\"" tooltip="\"I numeri sono\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f67bc71f_46fd_4591_8b81_b6690632e3c1 [id="id_f67bc71f_46fd_4591_8b81_b6690632e3c1#Output" pos="1.25,9982.1875!" height=0.4 width=1.0 fixedsize=true group="id_32084868_e8f2_4a79_b3c3_3116ceb58f62"    label="k" tooltip="k" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="1.25,9981.354166666666!" shape=point width=0]
  true_dummy_down_left_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="0.0,9981.354166666666!" shape=point width=0]
  false_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="-1.25,9981.25!" shape=point width=0]
  end_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [pos="0.0,9981.25!" group="fun-main" shape=point width=0]
  
  
  id_2aa9c16a_f0ac_457f_9ad0_358e80e41801 [id="id_2aa9c16a_f0ac_457f_9ad0_358e80e41801#Return" pos="0.0,9980.3125!" 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_5d74b5ad_804d_4b99_b0fe_aa193d8f5c13:s -> id_2bf1f4f7_1032_4d0c_83f6_45694ca5d5d3:n [id="id_5d74b5ad_804d_4b99_b0fe_aa193d8f5c13@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2bf1f4f7_1032_4d0c_83f6_45694ca5d5d3:s -> id_f8897b29_8862_47af_ba8a_cfe84c5cc4f1:n [id="id_2bf1f4f7_1032_4d0c_83f6_45694ca5d5d3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f8897b29_8862_47af_ba8a_cfe84c5cc4f1:s -> id_c1881b18_f44a_4c1c_a4d6_63e319e86ba8:n [id="id_f8897b29_8862_47af_ba8a_cfe84c5cc4f1@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c1881b18_f44a_4c1c_a4d6_63e319e86ba8:s -> id_90ed85ac_00e3_4c30_aea6_3669a4b4c361:n [id="id_c1881b18_f44a_4c1c_a4d6_63e319e86ba8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_90ed85ac_00e3_4c30_aea6_3669a4b4c361:s -> end_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e:n [id="id_90ed85ac_00e3_4c30_aea6_3669a4b4c361@fun-main" tailtooltip=" " edgetooltip=" "]
  ## DOWHILE-BODY
  end_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e -> id_3601076f_6b78_400a_948c_60c679f40245 [id="id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e@id_6fdc0206_667f_42fd_92f1_b89cdaf5b108" tailtooltip=" " edgetooltip=" " ]
  id_3601076f_6b78_400a_948c_60c679f40245:s -> id_9270ca95_af0e_420c_bfae_887e2d15a288:n [id="id_3601076f_6b78_400a_948c_60c679f40245@id_6fdc0206_667f_42fd_92f1_b89cdaf5b108" tailtooltip=" " edgetooltip=" "]
  id_9270ca95_af0e_420c_bfae_887e2d15a288:s -> id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e:n [id="id_9270ca95_af0e_420c_bfae_887e2d15a288@id_6fdc0206_667f_42fd_92f1_b89cdaf5b108" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e:e -> true_dummy_down_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e -> true_dummy_up_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e -> end_id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e:s -> end_id_71f52cee_799c_409e_b239_e266ec766fc9 [id="id_2eebf806_5e05_4fc8_b7b8_66b18c32c07e@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  ## DOWHILE-BODY
  end_id_71f52cee_799c_409e_b239_e266ec766fc9 -> id_919a2bdf_d93b_4c41_af5b_cf4e6aa50bf0 [id="id_71f52cee_799c_409e_b239_e266ec766fc9@id_602ebc16_9e26_476a_bc45_f4714e654b45" tailtooltip=" " edgetooltip=" " ]
  id_919a2bdf_d93b_4c41_af5b_cf4e6aa50bf0:s -> id_c047605a_8649_4116_9ecf_225194c29bcc:n [id="id_919a2bdf_d93b_4c41_af5b_cf4e6aa50bf0@id_602ebc16_9e26_476a_bc45_f4714e654b45" tailtooltip=" " edgetooltip=" "]
  id_c047605a_8649_4116_9ecf_225194c29bcc:s -> id_71f52cee_799c_409e_b239_e266ec766fc9:n [id="id_c047605a_8649_4116_9ecf_225194c29bcc@id_602ebc16_9e26_476a_bc45_f4714e654b45" tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-TRUE
  id_71f52cee_799c_409e_b239_e266ec766fc9:e -> true_dummy_down_id_71f52cee_799c_409e_b239_e266ec766fc9 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_71f52cee_799c_409e_b239_e266ec766fc9 -> true_dummy_up_id_71f52cee_799c_409e_b239_e266ec766fc9 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_71f52cee_799c_409e_b239_e266ec766fc9 -> end_id_71f52cee_799c_409e_b239_e266ec766fc9:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_71f52cee_799c_409e_b239_e266ec766fc9:s -> id_1c367e00_3ef1_410e_8472_2efb5c6e7422 [id="id_71f52cee_799c_409e_b239_e266ec766fc9@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  
  
  id_1c367e00_3ef1_410e_8472_2efb5c6e7422:s -> id_9f51dace_51dc_4bd7_9d3e_d6d408614255:n [id="id_1c367e00_3ef1_410e_8472_2efb5c6e7422@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9f51dace_51dc_4bd7_9d3e_d6d408614255:s -> id_33a0aec6_a304_4554_9d77_c1e79d500b6f:n [id="id_9f51dace_51dc_4bd7_9d3e_d6d408614255@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_33a0aec6_a304_4554_9d77_c1e79d500b6f:e -> true_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> id_479cecd7_a06e_4171_949b_0cfa518c2a52:n [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" "]
  
  id_479cecd7_a06e_4171_949b_0cfa518c2a52:s -> id_bcb07f04_ce31_4ba8_8428_f6a2daf9e8b9:n [id="id_479cecd7_a06e_4171_949b_0cfa518c2a52@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" "]
  id_bcb07f04_ce31_4ba8_8428_f6a2daf9e8b9:s -> id_8945cda2_ac3e_47a7_99bb_de7a4d9bcac5:n [id="id_bcb07f04_ce31_4ba8_8428_f6a2daf9e8b9@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" "]
  id_8945cda2_ac3e_47a7_99bb_de7a4d9bcac5:s -> id_f67bc71f_46fd_4591_8b81_b6690632e3c1:n [id="id_8945cda2_ac3e_47a7_99bb_de7a4d9bcac5@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" "]
  id_f67bc71f_46fd_4591_8b81_b6690632e3c1:s -> true_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f:n [id="id_f67bc71f_46fd_4591_8b81_b6690632e3c1@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> true_dummy_down_left_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_f67bc71f_46fd_4591_8b81_b6690632e3c1@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> id_33a0aec6_a304_4554_9d77_c1e79d500b6f:s [id="id_f67bc71f_46fd_4591_8b81_b6690632e3c1@id_32084868_e8f2_4a79_b3c3_3116ceb58f62" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_33a0aec6_a304_4554_9d77_c1e79d500b6f:w -> false_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> false_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> end_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_33a0aec6_a304_4554_9d77_c1e79d500b6f -> id_2aa9c16a_f0ac_457f_9ad0_358e80e41801 [id="id_33a0aec6_a304_4554_9d77_c1e79d500b6f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}