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_df9b31fb_f5e6_4544_9388_377941ac3797 [id="id_df9b31fb_f5e6_4544_9388_377941ac3797#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_59729666_1e57_444b_be56_b57feee66d6d [id="id_59729666_1e57_444b_be56_b57feee66d6d#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_7b5d53c1_2bc0_4925_aca6_bf23b66452dd [id="id_7b5d53c1_2bc0_4925_aca6_bf23b66452dd#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_137b49f3_33d8_4e7a_be0e_b7befa49212d [id="id_137b49f3_33d8_4e7a_be0e_b7befa49212d#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_85d5f0ca_0946_4483_a498_48a5f06fa658 [id="id_85d5f0ca_0946_4483_a498_48a5f06fa658#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_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="id_3a3810fd_e400_4fc2_b639_4169e6f72294#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_3a3810fd_e400_4fc2_b639_4169e6f72294 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [pos="-1.25,9995.3125!" shape=point width=0]
  
  id_dbf69dcf_5c73_4661_9082_d63bfa3e0405 [id="id_dbf69dcf_5c73_4661_9082_d63bfa3e0405#Output" pos="2.5,9994.375!" height=0.4 width=3.06 fixedsize=true group="id_6ab213e5_d01d_428d_9087_466ee1791886"    label="\"a è il precedente di b\"" tooltip="\"a è il precedente di b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_421852d6_111a_493d_bef3_14182717618f [id="id_421852d6_111a_493d_bef3_14182717618f#Output" pos="-1.25,9994.375!" height=0.4 width=1.0 fixedsize=true group="id_8f807ffb_4b81_4a62_964a_a2195db4b8c2"    label="\"a n\"" tooltip="\"a n\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [ pos="-1.25,9993.4375!" shape=point width=0]
  
  end_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="end_id_3a3810fd_e400_4fc2_b639_4169e6f72294#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_dd9dfeb6_af63_40bb_ae32_c187165e7eca [id="id_dd9dfeb6_af63_40bb_ae32_c187165e7eca#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_df9b31fb_f5e6_4544_9388_377941ac3797:s -> id_59729666_1e57_444b_be56_b57feee66d6d:n [id="id_df9b31fb_f5e6_4544_9388_377941ac3797@fun-main" tailtooltip=" " edgetooltip=" "]
  id_59729666_1e57_444b_be56_b57feee66d6d:s -> id_7b5d53c1_2bc0_4925_aca6_bf23b66452dd:n [id="id_59729666_1e57_444b_be56_b57feee66d6d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7b5d53c1_2bc0_4925_aca6_bf23b66452dd:s -> id_137b49f3_33d8_4e7a_be0e_b7befa49212d:n [id="id_7b5d53c1_2bc0_4925_aca6_bf23b66452dd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_137b49f3_33d8_4e7a_be0e_b7befa49212d:s -> id_85d5f0ca_0946_4483_a498_48a5f06fa658:n [id="id_137b49f3_33d8_4e7a_be0e_b7befa49212d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_85d5f0ca_0946_4483_a498_48a5f06fa658:s -> id_3a3810fd_e400_4fc2_b639_4169e6f72294:n [id="id_85d5f0ca_0946_4483_a498_48a5f06fa658@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_3a3810fd_e400_4fc2_b639_4169e6f72294:e -> true_dummy_up_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="id_3a3810fd_e400_4fc2_b639_4169e6f72294@id_6ab213e5_d01d_428d_9087_466ee1791886" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3a3810fd_e400_4fc2_b639_4169e6f72294 -> id_dbf69dcf_5c73_4661_9082_d63bfa3e0405:n [id="id_3a3810fd_e400_4fc2_b639_4169e6f72294@id_6ab213e5_d01d_428d_9087_466ee1791886" tailtooltip=" " edgetooltip=" "]
  
  id_dbf69dcf_5c73_4661_9082_d63bfa3e0405:s -> true_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294:n [id="id_dbf69dcf_5c73_4661_9082_d63bfa3e0405@id_6ab213e5_d01d_428d_9087_466ee1791886" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294 -> end_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="id_dbf69dcf_5c73_4661_9082_d63bfa3e0405@id_6ab213e5_d01d_428d_9087_466ee1791886" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3a3810fd_e400_4fc2_b639_4169e6f72294:w -> false_dummy_up_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="id_3a3810fd_e400_4fc2_b639_4169e6f72294@id_8f807ffb_4b81_4a62_964a_a2195db4b8c2" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3a3810fd_e400_4fc2_b639_4169e6f72294 -> id_421852d6_111a_493d_bef3_14182717618f:n [id="id_3a3810fd_e400_4fc2_b639_4169e6f72294@id_8f807ffb_4b81_4a62_964a_a2195db4b8c2" tailtooltip=" " edgetooltip=" "]
  
  id_421852d6_111a_493d_bef3_14182717618f:s -> false_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294:n [id="id_421852d6_111a_493d_bef3_14182717618f@id_8f807ffb_4b81_4a62_964a_a2195db4b8c2" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_3a3810fd_e400_4fc2_b639_4169e6f72294 -> end_id_3a3810fd_e400_4fc2_b639_4169e6f72294 [id="id_421852d6_111a_493d_bef3_14182717618f@id_8f807ffb_4b81_4a62_964a_a2195db4b8c2" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3a3810fd_e400_4fc2_b639_4169e6f72294:s -> id_dd9dfeb6_af63_40bb_ae32_c187165e7eca:n [id="end_id_3a3810fd_e400_4fc2_b639_4169e6f72294@fun-main" tailtooltip=" " edgetooltip=" "]
  

}