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_2366fc5c_7c92_4e28_983c_269c4902c42e [id="id_2366fc5c_7c92_4e28_983c_269c4902c42e#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_3bd0bae5_2cd6_4033_9f75_d6bb095958aa [id="id_3bd0bae5_2cd6_4033_9f75_d6bb095958aa#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_32186397_9479_4d72_97f3_f6f7f79bd2d4 [id="id_32186397_9479_4d72_97f3_f6f7f79bd2d4#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_6d05d5eb_8703_4869_a0b6_c9debce975e9 [id="id_6d05d5eb_8703_4869_a0b6_c9debce975e9#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_2bae4d14_d353_4806_859b_390d64ddadc7 [id="id_2bae4d14_d353_4806_859b_390d64ddadc7#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_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3#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_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_27c90cbf_9a9e_487e_807e_1feca4edd3e7 [id="id_27c90cbf_9a9e_487e_807e_1feca4edd3e7#Output" pos="2.5,9994.375!" height=0.4 width=3.06 fixedsize=true group="id_79eb8813_812f_4408_813d_0a9d79ab1849"    label="\"a è il precedente di b\"" tooltip="\"a è il precedente di b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc [id="id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc#Output" pos="-2.5,9994.375!" height=0.4 width=3.5 fixedsize=true group="id_f9be83ee_b008_4647_83ae_d5aab21cb566"    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_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [ pos="-2.5,9993.4375!" shape=point width=0]
  
  end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3#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_d1508f78_8a44_46bd_b61c_df0c253458ec [id="id_d1508f78_8a44_46bd_b61c_df0c253458ec#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_2366fc5c_7c92_4e28_983c_269c4902c42e:s -> id_3bd0bae5_2cd6_4033_9f75_d6bb095958aa:n [id="id_2366fc5c_7c92_4e28_983c_269c4902c42e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3bd0bae5_2cd6_4033_9f75_d6bb095958aa:s -> id_32186397_9479_4d72_97f3_f6f7f79bd2d4:n [id="id_3bd0bae5_2cd6_4033_9f75_d6bb095958aa@fun-main" tailtooltip=" " edgetooltip=" "]
  id_32186397_9479_4d72_97f3_f6f7f79bd2d4:s -> id_6d05d5eb_8703_4869_a0b6_c9debce975e9:n [id="id_32186397_9479_4d72_97f3_f6f7f79bd2d4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6d05d5eb_8703_4869_a0b6_c9debce975e9:s -> id_2bae4d14_d353_4806_859b_390d64ddadc7:n [id="id_6d05d5eb_8703_4869_a0b6_c9debce975e9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2bae4d14_d353_4806_859b_390d64ddadc7:s -> id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:n [id="id_2bae4d14_d353_4806_859b_390d64ddadc7@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:e -> true_dummy_up_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3@id_79eb8813_812f_4408_813d_0a9d79ab1849" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 -> id_27c90cbf_9a9e_487e_807e_1feca4edd3e7:n [id="id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3@id_79eb8813_812f_4408_813d_0a9d79ab1849" tailtooltip=" " edgetooltip=" "]
  
  id_27c90cbf_9a9e_487e_807e_1feca4edd3e7:s -> true_dummy_down_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:n [id="id_27c90cbf_9a9e_487e_807e_1feca4edd3e7@id_79eb8813_812f_4408_813d_0a9d79ab1849" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 -> end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="id_27c90cbf_9a9e_487e_807e_1feca4edd3e7@id_79eb8813_812f_4408_813d_0a9d79ab1849" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:w -> false_dummy_up_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3@id_f9be83ee_b008_4647_83ae_d5aab21cb566" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 -> id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc:n [id="id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3@id_f9be83ee_b008_4647_83ae_d5aab21cb566" tailtooltip=" " edgetooltip=" "]
  
  id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc:s -> false_dummy_down_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:n [id="id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc@id_f9be83ee_b008_4647_83ae_d5aab21cb566" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 -> end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3 [id="id_c6f2481f_6853_4c0e_a2e9_ebc640b6adfc@id_f9be83ee_b008_4647_83ae_d5aab21cb566" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3:s -> id_d1508f78_8a44_46bd_b61c_df0c253458ec:n [id="end_id_0391e2a4_2857_4f4f_bf62_cdbf0230a6f3@fun-main" tailtooltip=" " edgetooltip=" "]
  

}