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_fdb48fd5_1502_43b9_ab29_ae36bfb241c0 [id="id_fdb48fd5_1502_43b9_ab29_ae36bfb241c0#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_4618dfb0_c17d_4fa5_ba69_49f9650b5a8b [id="id_4618dfb0_c17d_4fa5_ba69_49f9650b5a8b#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4adf590c_e31a_4a8b_aa12_c565e7fbd2c2 [id="id_4adf590c_e31a_4a8b_aa12_c565e7fbd2c2#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_741e930c_943d_4c7f_8aec_91f5f56f3292 [id="id_741e930c_943d_4c7f_8aec_91f5f56f3292#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_87457618_8322_4cfa_8348_6ba2971eea60 [id="id_87457618_8322_4cfa_8348_6ba2971eea60#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_5861eaa1_ac91_4049_894e_ea4193e19803 [id="id_5861eaa1_ac91_4049_894e_ea4193e19803#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_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="id_797f989f_60f5_4069_b0bf_d6ebace3d926#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_797f989f_60f5_4069_b0bf_d6ebace3d926 [pos="1.25,9994.375!" shape=point width=0]
  false_dummy_up_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [pos="-2.5,9994.375!" shape=point width=0]
  
  id_d9bead50_1d2e_4585_af70_55fa6bf4351d [id="id_d9bead50_1d2e_4585_af70_55fa6bf4351d#Output" pos="1.25,9993.4375!" height=0.4 width=1.96 fixedsize=true group="id_5ebf676f_d94a_4ebb_8e2a_1f3733c3ab6e"    label="\"PREDECESSORE\"" tooltip="\"PREDECESSORE\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57#If" pos="-2.5,9993.4375!" height=0.5 width=1.1600000000000001 fixedsize=true group="id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" 
    label="a==b+1" tooltip="a==b+1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [pos="-1.25,9993.4375!" shape=point width=0]
  false_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [pos="-3.75,9993.4375!" shape=point width=0]
  
  id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581 [id="id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581#Output" pos="-1.25,9992.5!" height=0.4 width=1.74 fixedsize=true group="id_ace25f08_dabb_4afe_b38f_333054c47d85"    label="\"SUCCESSORE\"" tooltip="\"SUCCESSORE\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2f3cede7_83eb_48ba_8b04_cd1d864c480f [id="id_2f3cede7_83eb_48ba_8b04_cd1d864c480f#Output" pos="-3.75,9992.5!" height=0.4 width=1.3 fixedsize=true group="id_471da7e3_947d_49ea_9e02_3f8d3cf84aec"    label="\"NIENTE\"" tooltip="\"NIENTE\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [ pos="-1.25,9991.5625!" shape=point width=0]
  false_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [ pos="-3.75,9991.5625!" shape=point width=0]
  
  end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57#IfEnd" class="flowrun-not-selectable" pos="-2.5,9991.5625!" group="id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [ pos="1.25,9990.625!" shape=point width=0]
  false_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [ pos="-2.5,9990.625!" shape=point width=0]
  
  end_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="end_id_797f989f_60f5_4069_b0bf_d6ebace3d926#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_71664063_980b_4470_b776_22e3943ffdbe [id="id_71664063_980b_4470_b776_22e3943ffdbe#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_fdb48fd5_1502_43b9_ab29_ae36bfb241c0:s -> id_4618dfb0_c17d_4fa5_ba69_49f9650b5a8b:n [id="id_fdb48fd5_1502_43b9_ab29_ae36bfb241c0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4618dfb0_c17d_4fa5_ba69_49f9650b5a8b:s -> id_4adf590c_e31a_4a8b_aa12_c565e7fbd2c2:n [id="id_4618dfb0_c17d_4fa5_ba69_49f9650b5a8b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4adf590c_e31a_4a8b_aa12_c565e7fbd2c2:s -> id_741e930c_943d_4c7f_8aec_91f5f56f3292:n [id="id_4adf590c_e31a_4a8b_aa12_c565e7fbd2c2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_741e930c_943d_4c7f_8aec_91f5f56f3292:s -> id_87457618_8322_4cfa_8348_6ba2971eea60:n [id="id_741e930c_943d_4c7f_8aec_91f5f56f3292@fun-main" tailtooltip=" " edgetooltip=" "]
  id_87457618_8322_4cfa_8348_6ba2971eea60:s -> id_5861eaa1_ac91_4049_894e_ea4193e19803:n [id="id_87457618_8322_4cfa_8348_6ba2971eea60@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5861eaa1_ac91_4049_894e_ea4193e19803:s -> id_797f989f_60f5_4069_b0bf_d6ebace3d926:n [id="id_5861eaa1_ac91_4049_894e_ea4193e19803@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_797f989f_60f5_4069_b0bf_d6ebace3d926:e -> true_dummy_up_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="id_797f989f_60f5_4069_b0bf_d6ebace3d926@id_5ebf676f_d94a_4ebb_8e2a_1f3733c3ab6e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_797f989f_60f5_4069_b0bf_d6ebace3d926 -> id_d9bead50_1d2e_4585_af70_55fa6bf4351d:n [id="id_797f989f_60f5_4069_b0bf_d6ebace3d926@id_5ebf676f_d94a_4ebb_8e2a_1f3733c3ab6e" tailtooltip=" " edgetooltip=" "]
  
  id_d9bead50_1d2e_4585_af70_55fa6bf4351d:s -> true_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926:n [id="id_d9bead50_1d2e_4585_af70_55fa6bf4351d@id_5ebf676f_d94a_4ebb_8e2a_1f3733c3ab6e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926 -> end_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="id_d9bead50_1d2e_4585_af70_55fa6bf4351d@id_5ebf676f_d94a_4ebb_8e2a_1f3733c3ab6e" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_797f989f_60f5_4069_b0bf_d6ebace3d926:w -> false_dummy_up_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="id_797f989f_60f5_4069_b0bf_d6ebace3d926@id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_797f989f_60f5_4069_b0bf_d6ebace3d926 -> id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:n [id="id_797f989f_60f5_4069_b0bf_d6ebace3d926@id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:e -> true_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_ace25f08_dabb_4afe_b38f_333054c47d85" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 -> id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581:n [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_ace25f08_dabb_4afe_b38f_333054c47d85" tailtooltip=" " edgetooltip=" "]
  
  id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581:s -> true_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:n [id="id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581@id_ace25f08_dabb_4afe_b38f_333054c47d85" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 -> end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="id_6919ef6f_9fbc_4981_9a9f_ca3fb4158581@id_ace25f08_dabb_4afe_b38f_333054c47d85" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:w -> false_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_471da7e3_947d_49ea_9e02_3f8d3cf84aec" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 -> id_2f3cede7_83eb_48ba_8b04_cd1d864c480f:n [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_471da7e3_947d_49ea_9e02_3f8d3cf84aec" tailtooltip=" " edgetooltip=" "]
  
  id_2f3cede7_83eb_48ba_8b04_cd1d864c480f:s -> false_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:n [id="id_2f3cede7_83eb_48ba_8b04_cd1d864c480f@id_471da7e3_947d_49ea_9e02_3f8d3cf84aec" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 -> end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57 [id="id_2f3cede7_83eb_48ba_8b04_cd1d864c480f@id_471da7e3_947d_49ea_9e02_3f8d3cf84aec" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57:s -> false_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926:n [id="end_id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_797f989f_60f5_4069_b0bf_d6ebace3d926 -> end_id_797f989f_60f5_4069_b0bf_d6ebace3d926 [id="id_cf2cbe8b_3d03_49d5_85d5_0b3a3180ba57@id_fb11bac7_3fec_4d30_b35a_f83c8fd332cc" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_797f989f_60f5_4069_b0bf_d6ebace3d926:s -> id_71664063_980b_4470_b776_22e3943ffdbe:n [id="end_id_797f989f_60f5_4069_b0bf_d6ebace3d926@fun-main" tailtooltip=" " edgetooltip=" "]
  

}