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_6ea65e22_b59a_4f3b_9ab8_84d620478bd0 [id="id_6ea65e22_b59a_4f3b_9ab8_84d620478bd0#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_b882e5ab_c58e_4f35_8470_378933cf6a64 [id="id_b882e5ab_c58e_4f35_8470_378933cf6a64#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_08d32de4_4762_482a_b1d3_0e68556721ea [id="id_08d32de4_4762_482a_b1d3_0e68556721ea#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_af41c87f_f9c5_4ca3_ba9d_5cf899349718 [id="id_af41c87f_f9c5_4ca3_ba9d_5cf899349718#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d6154cbd_50c1_4d43_b01a_750320964c2f [id="id_d6154cbd_50c1_4d43_b01a_750320964c2f#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="max" tooltip="max: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b8f47197_cfd7_4cec_a3f4_c22bc41dbdba [id="id_b8f47197_cfd7_4cec_a3f4_c22bc41dbdba#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b369f895_eeaa_4bdc_9946_0a6d4a17632b [id="id_b369f895_eeaa_4bdc_9946_0a6d4a17632b#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_80b81028_250b_4fd7_8245_7d60df90d965 [id="id_80b81028_250b_4fd7_8245_7d60df90d965#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f9c45517_f8aa_40eb_9e31_7e73281230ae [id="id_f9c45517_f8aa_40eb_9e31_7e73281230ae#Assign" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="max = a" tooltip="max = a" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_b2010066_2702_485a_8a06_864182501c99 [id="id_b2010066_2702_485a_8a06_864182501c99#If" pos="0.0,9991.5625!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="b>max" tooltip="b>max" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 [pos="1.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 [pos="-1.25,9991.5625!" shape=point width=0]
  
  id_de2969f4_9568_491e_8125_ba0a1cd0439e [id="id_de2969f4_9568_491e_8125_ba0a1cd0439e#Assign" pos="1.25,9990.625!" height=0.4 width=1.0 fixedsize=true group="id_efbf236b_0f3f_4860_95b2_dff315df8246"    label="max = b" tooltip="max = b" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_b2010066_2702_485a_8a06_864182501c99 [ pos="1.25,9989.6875!" shape=point width=0]
  false_dummy_down_id_b2010066_2702_485a_8a06_864182501c99 [ pos="-1.25,9989.6875!" shape=point width=0]
  
  end_id_b2010066_2702_485a_8a06_864182501c99 [id="end_id_b2010066_2702_485a_8a06_864182501c99#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278#If" pos="0.0,9988.75!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="c>max" tooltip="c>max" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [pos="1.25,9988.75!" shape=point width=0]
  false_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [pos="-1.25,9988.75!" shape=point width=0]
  
  id_56203436_52e6_42a3_b679_9ae0f9b22c97 [id="id_56203436_52e6_42a3_b679_9ae0f9b22c97#Assign" pos="1.25,9987.8125!" height=0.4 width=1.0 fixedsize=true group="id_c42fb191_ac02_4938_8e4e_a6f6185fff6f"    label="max = c" tooltip="max = c" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [ pos="1.25,9986.875!" shape=point width=0]
  false_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [ pos="-1.25,9986.875!" shape=point width=0]
  
  end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278#IfEnd" class="flowrun-not-selectable" pos="0.0,9986.875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_9c2b672d_ac77_4887_b062_7d15d033bbf0 [id="id_9c2b672d_ac77_4887_b062_7d15d033bbf0#Output" pos="0.0,9985.9375!" height=0.4 width=2.62 fixedsize=true group="fun-main"    label="\"il maggiore è \"+max" tooltip="\"il maggiore è \"+max" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_27830701_bc40_400c_8f03_73ef37aa9a30 [id="id_27830701_bc40_400c_8f03_73ef37aa9a30#Return" pos="0.0,9985.0!" 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_6ea65e22_b59a_4f3b_9ab8_84d620478bd0:s -> id_b882e5ab_c58e_4f35_8470_378933cf6a64:n [id="id_6ea65e22_b59a_4f3b_9ab8_84d620478bd0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b882e5ab_c58e_4f35_8470_378933cf6a64:s -> id_08d32de4_4762_482a_b1d3_0e68556721ea:n [id="id_b882e5ab_c58e_4f35_8470_378933cf6a64@fun-main" tailtooltip=" " edgetooltip=" "]
  id_08d32de4_4762_482a_b1d3_0e68556721ea:s -> id_af41c87f_f9c5_4ca3_ba9d_5cf899349718:n [id="id_08d32de4_4762_482a_b1d3_0e68556721ea@fun-main" tailtooltip=" " edgetooltip=" "]
  id_af41c87f_f9c5_4ca3_ba9d_5cf899349718:s -> id_d6154cbd_50c1_4d43_b01a_750320964c2f:n [id="id_af41c87f_f9c5_4ca3_ba9d_5cf899349718@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d6154cbd_50c1_4d43_b01a_750320964c2f:s -> id_b8f47197_cfd7_4cec_a3f4_c22bc41dbdba:n [id="id_d6154cbd_50c1_4d43_b01a_750320964c2f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b8f47197_cfd7_4cec_a3f4_c22bc41dbdba:s -> id_b369f895_eeaa_4bdc_9946_0a6d4a17632b:n [id="id_b8f47197_cfd7_4cec_a3f4_c22bc41dbdba@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b369f895_eeaa_4bdc_9946_0a6d4a17632b:s -> id_80b81028_250b_4fd7_8245_7d60df90d965:n [id="id_b369f895_eeaa_4bdc_9946_0a6d4a17632b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_80b81028_250b_4fd7_8245_7d60df90d965:s -> id_f9c45517_f8aa_40eb_9e31_7e73281230ae:n [id="id_80b81028_250b_4fd7_8245_7d60df90d965@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f9c45517_f8aa_40eb_9e31_7e73281230ae:s -> id_b2010066_2702_485a_8a06_864182501c99:n [id="id_f9c45517_f8aa_40eb_9e31_7e73281230ae@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_b2010066_2702_485a_8a06_864182501c99:e -> true_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 [id="id_b2010066_2702_485a_8a06_864182501c99@id_efbf236b_0f3f_4860_95b2_dff315df8246" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 -> id_de2969f4_9568_491e_8125_ba0a1cd0439e:n [id="id_b2010066_2702_485a_8a06_864182501c99@id_efbf236b_0f3f_4860_95b2_dff315df8246" tailtooltip=" " edgetooltip=" "]
  
  id_de2969f4_9568_491e_8125_ba0a1cd0439e:s -> true_dummy_down_id_b2010066_2702_485a_8a06_864182501c99:n [id="id_de2969f4_9568_491e_8125_ba0a1cd0439e@id_efbf236b_0f3f_4860_95b2_dff315df8246" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b2010066_2702_485a_8a06_864182501c99 -> end_id_b2010066_2702_485a_8a06_864182501c99 [id="id_de2969f4_9568_491e_8125_ba0a1cd0439e@id_efbf236b_0f3f_4860_95b2_dff315df8246" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_b2010066_2702_485a_8a06_864182501c99:w -> false_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 [id="id_b2010066_2702_485a_8a06_864182501c99@id_edee0b43_e72c_474e_8a41_25890b60f0c6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b2010066_2702_485a_8a06_864182501c99 -> false_dummy_down_id_b2010066_2702_485a_8a06_864182501c99:n [id="id_b2010066_2702_485a_8a06_864182501c99@id_edee0b43_e72c_474e_8a41_25890b60f0c6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_b2010066_2702_485a_8a06_864182501c99 -> end_id_b2010066_2702_485a_8a06_864182501c99 [id="id_b2010066_2702_485a_8a06_864182501c99@id_edee0b43_e72c_474e_8a41_25890b60f0c6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_b2010066_2702_485a_8a06_864182501c99:s -> id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:n [id="end_id_b2010066_2702_485a_8a06_864182501c99@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:e -> true_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@id_c42fb191_ac02_4938_8e4e_a6f6185fff6f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 -> id_56203436_52e6_42a3_b679_9ae0f9b22c97:n [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@id_c42fb191_ac02_4938_8e4e_a6f6185fff6f" tailtooltip=" " edgetooltip=" "]
  
  id_56203436_52e6_42a3_b679_9ae0f9b22c97:s -> true_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:n [id="id_56203436_52e6_42a3_b679_9ae0f9b22c97@id_c42fb191_ac02_4938_8e4e_a6f6185fff6f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 -> end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="id_56203436_52e6_42a3_b679_9ae0f9b22c97@id_c42fb191_ac02_4938_8e4e_a6f6185fff6f" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:w -> false_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@id_84108879_79da_4a82_92a0_b106f970a35c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 -> false_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:n [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@id_84108879_79da_4a82_92a0_b106f970a35c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 -> end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278 [id="id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@id_84108879_79da_4a82_92a0_b106f970a35c" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278:s -> id_9c2b672d_ac77_4887_b062_7d15d033bbf0:n [id="end_id_b29fd459_a4cc_4baf_b6b9_eb7d457fa278@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_9c2b672d_ac77_4887_b062_7d15d033bbf0:s -> id_27830701_bc40_400c_8f03_73ef37aa9a30:n [id="id_9c2b672d_ac77_4887_b062_7d15d033bbf0@fun-main" tailtooltip=" " edgetooltip=" "]

}