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_1958960b_ebae_4aef_9101_6064839f6257 [id="id_1958960b_ebae_4aef_9101_6064839f6257#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_625638fb_d337_419f_9a5b_b8fc05cee5e5 [id="id_625638fb_d337_419f_9a5b_b8fc05cee5e5#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_7cebbd75_827f_455c_a184_2cd97214a023 [id="id_7cebbd75_827f_455c_a184_2cd97214a023#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_e38bf8f2_2ac1_440b_970d_9dcb60bc7d26 [id="id_e38bf8f2_2ac1_440b_970d_9dcb60bc7d26#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_0fb009b7_89b5_4728_8cdc_d41dce49cfbc [id="id_0fb009b7_89b5_4728_8cdc_d41dce49cfbc#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_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6#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_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [pos="3.75,9995.3125!" shape=point width=0]
  false_dummy_up_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [pos="-3.75,9995.3125!" shape=point width=0]
  
  id_97c45a63_f1ea_46ad_af4e_d619b13ea794 [id="id_97c45a63_f1ea_46ad_af4e_d619b13ea794#Output" pos="3.75,9994.375!" height=0.4 width=5.37 fixedsize=true group="id_820261c6_9ea4_4ec5_9cc2_a465fbac1947"    label="\"il primo valore è il precedente del secondo\"" tooltip="\"il primo valore è il precedente del secondo\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61 [id="id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61#Output" pos="-3.75,9994.375!" height=0.4 width=5.8100000000000005 fixedsize=true group="id_8731c2af_406d_4350_a66a_33d5d9e8694f"    label="\"il primo valore non è il precedente del secondo\"" tooltip="\"il primo valore non è il precedente del secondo\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [ pos="3.75,9993.4375!" shape=point width=0]
  false_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [ pos="-3.75,9993.4375!" shape=point width=0]
  
  end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6#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_1e5c81cc_7cda_47e3_8976_77c3e69b09b4 [id="id_1e5c81cc_7cda_47e3_8976_77c3e69b09b4#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_1958960b_ebae_4aef_9101_6064839f6257:s -> id_625638fb_d337_419f_9a5b_b8fc05cee5e5:n [id="id_1958960b_ebae_4aef_9101_6064839f6257@fun-main" tailtooltip=" " edgetooltip=" "]
  id_625638fb_d337_419f_9a5b_b8fc05cee5e5:s -> id_7cebbd75_827f_455c_a184_2cd97214a023:n [id="id_625638fb_d337_419f_9a5b_b8fc05cee5e5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7cebbd75_827f_455c_a184_2cd97214a023:s -> id_e38bf8f2_2ac1_440b_970d_9dcb60bc7d26:n [id="id_7cebbd75_827f_455c_a184_2cd97214a023@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e38bf8f2_2ac1_440b_970d_9dcb60bc7d26:s -> id_0fb009b7_89b5_4728_8cdc_d41dce49cfbc:n [id="id_e38bf8f2_2ac1_440b_970d_9dcb60bc7d26@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0fb009b7_89b5_4728_8cdc_d41dce49cfbc:s -> id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:n [id="id_0fb009b7_89b5_4728_8cdc_d41dce49cfbc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:e -> true_dummy_up_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6@id_820261c6_9ea4_4ec5_9cc2_a465fbac1947" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 -> id_97c45a63_f1ea_46ad_af4e_d619b13ea794:n [id="id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6@id_820261c6_9ea4_4ec5_9cc2_a465fbac1947" tailtooltip=" " edgetooltip=" "]
  
  id_97c45a63_f1ea_46ad_af4e_d619b13ea794:s -> true_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:n [id="id_97c45a63_f1ea_46ad_af4e_d619b13ea794@id_820261c6_9ea4_4ec5_9cc2_a465fbac1947" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 -> end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="id_97c45a63_f1ea_46ad_af4e_d619b13ea794@id_820261c6_9ea4_4ec5_9cc2_a465fbac1947" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:w -> false_dummy_up_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6@id_8731c2af_406d_4350_a66a_33d5d9e8694f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 -> id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61:n [id="id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6@id_8731c2af_406d_4350_a66a_33d5d9e8694f" tailtooltip=" " edgetooltip=" "]
  
  id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61:s -> false_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:n [id="id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61@id_8731c2af_406d_4350_a66a_33d5d9e8694f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 -> end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6 [id="id_c68dae21_3d95_4b46_aa9d_673b6c6bcb61@id_8731c2af_406d_4350_a66a_33d5d9e8694f" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6:s -> id_1e5c81cc_7cda_47e3_8976_77c3e69b09b4:n [id="end_id_ee85a0b5_3b84_4b88_bcad_32e14957cfd6@fun-main" tailtooltip=" " edgetooltip=" "]
  

}