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_f4245a1a_6b74_44bb_8475_face6fb8235f [id="id_f4245a1a_6b74_44bb_8475_face6fb8235f#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_26232df2_d08d_426f_8921_710419a50035 [id="id_26232df2_d08d_426f_8921_710419a50035#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8b91062a_11d0_4b9b_bdf4_2d3daa636bae [id="id_8b91062a_11d0_4b9b_bdf4_2d3daa636bae#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5526e381_aa70_4157_979a_1e3b04a1b23a [id="id_5526e381_aa70_4157_979a_1e3b04a1b23a#Output" pos="0.0,9997.1875!" height=0.4 width=2.62 fixedsize=true group="fun-main"    label="\"inserisci 2 numeri\"" tooltip="\"inserisci 2 numeri\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_04aeae8f_0362_400b_a48d_1d87527b86bc [id="id_04aeae8f_0362_400b_a48d_1d87527b86bc#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_9259c2ee_a485_47f2_afe4_32ffeccd3f7b [id="id_9259c2ee_a485_47f2_afe4_32ffeccd3f7b#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_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634#If" pos="0.0,9994.375!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="a==b-1" tooltip="a==b-1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [pos="-2.5,9994.375!" shape=point width=0]
  
  id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0 [id="id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0#Output" pos="1.25,9993.4375!" height=0.4 width=1.96 fixedsize=true group="id_c70efac7_0c8e_4698_b603_b47b301f2e01"    label="\"Predecessore\"" tooltip="\"Predecessore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29#If" pos="-2.5,9993.4375!" height=0.5 width=1.1600000000000001 fixedsize=true group="id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" 
    label="a==b+1" tooltip="a==b+1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [pos="-1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [pos="-3.75,9993.4375!" shape=point width=0]
  
  id_33c62b91_aee0_4731_95cb_045b602d776d [id="id_33c62b91_aee0_4731_95cb_045b602d776d#Output" pos="-1.25,9992.5!" height=0.4 width=1.74 fixedsize=true group="id_33343470_e25a_42b1_be37_58b424afe196"    label="\"Successore\"" tooltip="\"Successore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6e6da352_e858_40e9_bcdb_f9de012eaa2b [id="id_6e6da352_e858_40e9_bcdb_f9de012eaa2b#Output" pos="-3.75,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_1356d92b_08fe_42c4_8e6f_ad9c0b0ce6eb"    label="\"Niente\"" tooltip="\"Niente\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [ pos="-1.25,9991.5625!" shape=point width=0]
  false_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [ pos="-3.75,9991.5625!" shape=point width=0]
  
  end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29#IfEnd" class="flowrun-not-selectable" pos="-2.5,9991.5625!" group="id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [ pos="1.25,9990.625!" shape=point width=0]
  false_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [ pos="-2.5,9990.625!" shape=point width=0]
  
  end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634#IfEnd" class="flowrun-not-selectable" pos="0.0,9990.625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_58a5ec94_8e37_43a6_aeae_56ea7b41e7f3 [id="id_58a5ec94_8e37_43a6_aeae_56ea7b41e7f3#Return" pos="0.0,9989.6875!" 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_f4245a1a_6b74_44bb_8475_face6fb8235f:s -> id_26232df2_d08d_426f_8921_710419a50035:n [id="id_f4245a1a_6b74_44bb_8475_face6fb8235f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_26232df2_d08d_426f_8921_710419a50035:s -> id_8b91062a_11d0_4b9b_bdf4_2d3daa636bae:n [id="id_26232df2_d08d_426f_8921_710419a50035@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8b91062a_11d0_4b9b_bdf4_2d3daa636bae:s -> id_5526e381_aa70_4157_979a_1e3b04a1b23a:n [id="id_8b91062a_11d0_4b9b_bdf4_2d3daa636bae@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5526e381_aa70_4157_979a_1e3b04a1b23a:s -> id_04aeae8f_0362_400b_a48d_1d87527b86bc:n [id="id_5526e381_aa70_4157_979a_1e3b04a1b23a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_04aeae8f_0362_400b_a48d_1d87527b86bc:s -> id_9259c2ee_a485_47f2_afe4_32ffeccd3f7b:n [id="id_04aeae8f_0362_400b_a48d_1d87527b86bc@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9259c2ee_a485_47f2_afe4_32ffeccd3f7b:s -> id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:n [id="id_9259c2ee_a485_47f2_afe4_32ffeccd3f7b@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:e -> true_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634@id_c70efac7_0c8e_4698_b603_b47b301f2e01" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 -> id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0:n [id="id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634@id_c70efac7_0c8e_4698_b603_b47b301f2e01" tailtooltip=" " edgetooltip=" "]
  
  id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0:s -> true_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:n [id="id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0@id_c70efac7_0c8e_4698_b603_b47b301f2e01" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 -> end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="id_f65286f9_7ed7_4d46_88c8_fff5e3b33ed0@id_c70efac7_0c8e_4698_b603_b47b301f2e01" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:w -> false_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634@id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 -> id_3e1b7da3_94af_42c5_911d_88a495dcfa29:n [id="id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634@id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_3e1b7da3_94af_42c5_911d_88a495dcfa29:e -> true_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_33343470_e25a_42b1_be37_58b424afe196" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 -> id_33c62b91_aee0_4731_95cb_045b602d776d:n [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_33343470_e25a_42b1_be37_58b424afe196" tailtooltip=" " edgetooltip=" "]
  
  id_33c62b91_aee0_4731_95cb_045b602d776d:s -> true_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29:n [id="id_33c62b91_aee0_4731_95cb_045b602d776d@id_33343470_e25a_42b1_be37_58b424afe196" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 -> end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="id_33c62b91_aee0_4731_95cb_045b602d776d@id_33343470_e25a_42b1_be37_58b424afe196" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3e1b7da3_94af_42c5_911d_88a495dcfa29:w -> false_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_1356d92b_08fe_42c4_8e6f_ad9c0b0ce6eb" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 -> id_6e6da352_e858_40e9_bcdb_f9de012eaa2b:n [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_1356d92b_08fe_42c4_8e6f_ad9c0b0ce6eb" tailtooltip=" " edgetooltip=" "]
  
  id_6e6da352_e858_40e9_bcdb_f9de012eaa2b:s -> false_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29:n [id="id_6e6da352_e858_40e9_bcdb_f9de012eaa2b@id_1356d92b_08fe_42c4_8e6f_ad9c0b0ce6eb" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 -> end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29 [id="id_6e6da352_e858_40e9_bcdb_f9de012eaa2b@id_1356d92b_08fe_42c4_8e6f_ad9c0b0ce6eb" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29:s -> false_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:n [id="end_id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 -> end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634 [id="id_3e1b7da3_94af_42c5_911d_88a495dcfa29@id_83b57fbc_cc27_4b42_b52e_c8756e1fb804" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634:s -> id_58a5ec94_8e37_43a6_aeae_56ea7b41e7f3:n [id="end_id_2cfe1a8a_18ab_4a1a_88f3_09aef981c634@fun-main" tailtooltip=" " edgetooltip=" "]
  

}