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_72ac4dad_3de6_46bf_9ba7_5b4e1525ca99 [id="id_72ac4dad_3de6_46bf_9ba7_5b4e1525ca99#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_69236a98_1971_456a_8005_e52632fb3fe5 [id="id_69236a98_1971_456a_8005_e52632fb3fe5#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A = 0" tooltip="A: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3b2addfc_98d4_4835_adf9_eb8dbe8b4f41 [id="id_3b2addfc_98d4_4835_adf9_eb8dbe8b4f41#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B = 0" tooltip="B: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f8d8d7bc_6f23_4b70_938a_ed5006ee0eb0 [id="id_f8d8d7bc_6f23_4b70_938a_ed5006ee0eb0#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_10c70adc_f232_4484_8170_1419766fdd06 [id="id_10c70adc_f232_4484_8170_1419766fdd06#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="id_3cdb8340_8aaa_49bb_a436_8896ad01e00b#If" pos="0.0,9995.3125!" 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_3cdb8340_8aaa_49bb_a436_8896ad01e00b [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea [id="id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea#Output" pos="2.5,9994.375!" height=0.4 width=3.06 fixedsize=true group="id_9d228738_4850_4366_950a_8c3238c25e3f"    label="\"A è il precedente di B\"" tooltip="\"A è il precedente di B\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a [id="id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a#Output" pos="-2.5,9994.375!" height=0.4 width=3.5 fixedsize=true group="id_7c56eb6a_0b37_432d_b18e_45feed3641c6"    label="\"A non è il precedente di B\"" tooltip="\"A non è il precedente di B\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [ pos="-2.5,9993.4375!" shape=point width=0]
  
  end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b#IfEnd" class="flowrun-not-selectable" pos="0.0,9993.4375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_620e0c2a_0a92_4239_b0aa_fc18aca09773 [id="id_620e0c2a_0a92_4239_b0aa_fc18aca09773#Return" pos="0.0,9992.5!" 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_72ac4dad_3de6_46bf_9ba7_5b4e1525ca99:s -> id_69236a98_1971_456a_8005_e52632fb3fe5:n [id="id_72ac4dad_3de6_46bf_9ba7_5b4e1525ca99@fun-main" tailtooltip=" " edgetooltip=" "]
  id_69236a98_1971_456a_8005_e52632fb3fe5:s -> id_3b2addfc_98d4_4835_adf9_eb8dbe8b4f41:n [id="id_69236a98_1971_456a_8005_e52632fb3fe5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3b2addfc_98d4_4835_adf9_eb8dbe8b4f41:s -> id_f8d8d7bc_6f23_4b70_938a_ed5006ee0eb0:n [id="id_3b2addfc_98d4_4835_adf9_eb8dbe8b4f41@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f8d8d7bc_6f23_4b70_938a_ed5006ee0eb0:s -> id_10c70adc_f232_4484_8170_1419766fdd06:n [id="id_f8d8d7bc_6f23_4b70_938a_ed5006ee0eb0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_10c70adc_f232_4484_8170_1419766fdd06:s -> id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:n [id="id_10c70adc_f232_4484_8170_1419766fdd06@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:e -> true_dummy_up_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="id_3cdb8340_8aaa_49bb_a436_8896ad01e00b@id_9d228738_4850_4366_950a_8c3238c25e3f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b -> id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea:n [id="id_3cdb8340_8aaa_49bb_a436_8896ad01e00b@id_9d228738_4850_4366_950a_8c3238c25e3f" tailtooltip=" " edgetooltip=" "]
  
  id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea:s -> true_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:n [id="id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea@id_9d228738_4850_4366_950a_8c3238c25e3f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b -> end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="id_f65ca2a5_68b3_4b52_8fa3_83973bfebeea@id_9d228738_4850_4366_950a_8c3238c25e3f" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:w -> false_dummy_up_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="id_3cdb8340_8aaa_49bb_a436_8896ad01e00b@id_7c56eb6a_0b37_432d_b18e_45feed3641c6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b -> id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a:n [id="id_3cdb8340_8aaa_49bb_a436_8896ad01e00b@id_7c56eb6a_0b37_432d_b18e_45feed3641c6" tailtooltip=" " edgetooltip=" "]
  
  id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a:s -> false_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:n [id="id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a@id_7c56eb6a_0b37_432d_b18e_45feed3641c6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b -> end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b [id="id_eacc047d_9321_46e1_b0b4_d4cad8fb4e4a@id_7c56eb6a_0b37_432d_b18e_45feed3641c6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b:s -> id_620e0c2a_0a92_4239_b0aa_fc18aca09773:n [id="end_id_3cdb8340_8aaa_49bb_a436_8896ad01e00b@fun-main" tailtooltip=" " edgetooltip=" "]
  

}