
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_ad2da145_0c2f_4ef7_8a26_10ce37accc5e [id="id_ad2da145_0c2f_4ef7_8a26_10ce37accc5e#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_7e4ec280_262c_40ab_9cb1_0b89ce90d828 [id="id_7e4ec280_262c_40ab_9cb1_0b89ce90d828#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_3999e305_106e_4e91_ac75_bcb0dd25fcce [id="id_3999e305_106e_4e91_ac75_bcb0dd25fcce#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_002b4e01_6b20_4c07_b08f_119de38c8181 [id="id_002b4e01_6b20_4c07_b08f_119de38c8181#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_55b33dec_7ab1_4aec_b62b_4a8f80f2b3e9 [id="id_55b33dec_7ab1_4aec_b62b_4a8f80f2b3e9#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_a6b75973_b032_4d55_9e3e_2a6c9d5233ad [id="id_a6b75973_b032_4d55_9e3e_2a6c9d5233ad#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_91d748c2_ffc3_414e_994c_89a572e69921 [id="id_91d748c2_ffc3_414e_994c_89a572e69921#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="c" tooltip="c" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc#If" pos="0.0,9993.4375!" height=0.5 width=1.05 fixedsize=true group="fun-main" 
    label="c > a" tooltip="c > a" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [pos="5.0,9993.4375!" shape=point width=0]
  false_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [pos="-5.0,9993.4375!" shape=point width=0]
  
  id_b187f114_2987_4ef1_9210_7bc7bcf5263d [id="id_b187f114_2987_4ef1_9210_7bc7bcf5263d#Output" pos="5.0,9992.5!" height=0.4 width=2.29 fixedsize=true group="id_72dbaee9_f6b2_4b47_816e_ed8278c52f74"    label="\"c e minore ad a\"" tooltip="\"c e minore ad a\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="id_22f874ec_684f_478f_80e3_7910247a6ba6#If" pos="5.0,9991.5625!" height=0.5 width=1.05 fixedsize=true group="id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" 
    label="a > b" tooltip="a > b" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 [pos="6.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 [pos="2.5,9991.5625!" shape=point width=0]
  
  id_62b1caab_3a17_41e7_8540_c749a3cd5896 [id="id_62b1caab_3a17_41e7_8540_c749a3cd5896#Output" pos="6.25,9990.625!" height=0.4 width=2.18 fixedsize=true group="id_a31bdcd2_950f_45a5_9dad_bbf830d4bc11"    label="\"a e minore a b\"" tooltip="\"a e minore a b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6902847d_7002_45be_b2d0_feffefe651c1 [id="id_6902847d_7002_45be_b2d0_feffefe651c1#Output" pos="2.5,9990.625!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_4c80724e_54f2_4547_bcf9_72612c0a12d5"    label="\"a e maggiore a b\"" tooltip="\"a e maggiore a b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6 [ pos="6.25,9989.6875!" shape=point width=0]
  false_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6 [ pos="2.5,9989.6875!" shape=point width=0]
  
  end_id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="end_id_22f874ec_684f_478f_80e3_7910247a6ba6#IfEnd" class="flowrun-not-selectable" pos="5.0,9989.6875!" group="id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_2bb5d595_01ac_4918_9318_0de93867f137 [id="id_2bb5d595_01ac_4918_9318_0de93867f137#Output" pos="-5.0,9992.5!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7"    label="\"c è maggiore di a\"" tooltip="\"c è maggiore di a\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef#If" pos="-5.0,9991.5625!" height=0.5 width=1.05 fixedsize=true group="id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" 
    label="c > b" tooltip="c > b" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [pos="-2.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [pos="-6.25,9991.5625!" shape=point width=0]
  
  id_302922b0_b77c_4291_8c9d_c796e405c4ad [id="id_302922b0_b77c_4291_8c9d_c796e405c4ad#Output" pos="-2.5,9990.625!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_214c34c4_6c01_4870_a57d_6c0d75f480f9"    label="\"c e maggiore a b\"" tooltip="\"c e maggiore a b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e68bad24_f0af_4694_8ad2_87a8f7c808b5 [id="id_e68bad24_f0af_4694_8ad2_87a8f7c808b5#Output" pos="-6.25,9990.625!" height=0.4 width=2.18 fixedsize=true group="id_38c9ba8b_2428_4558_973a_7577ccb6384d"    label="\"c e minore a b\"" tooltip="\"c e minore a b\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [ pos="-2.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [ pos="-6.25,9989.6875!" shape=point width=0]
  
  end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef#IfEnd" class="flowrun-not-selectable" pos="-5.0,9989.6875!" group="id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [ pos="5.0,9988.75!" shape=point width=0]
  false_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [ pos="-5.0,9988.75!" shape=point width=0]
  
  end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc#IfEnd" class="flowrun-not-selectable" pos="0.0,9988.75!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_466635d8_2261_4bd9_a6eb_20cb8b92a661 [id="id_466635d8_2261_4bd9_a6eb_20cb8b92a661#Return" pos="0.0,9987.8125!" 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_ad2da145_0c2f_4ef7_8a26_10ce37accc5e:s -> id_7e4ec280_262c_40ab_9cb1_0b89ce90d828:n [id="id_ad2da145_0c2f_4ef7_8a26_10ce37accc5e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7e4ec280_262c_40ab_9cb1_0b89ce90d828:s -> id_3999e305_106e_4e91_ac75_bcb0dd25fcce:n [id="id_7e4ec280_262c_40ab_9cb1_0b89ce90d828@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3999e305_106e_4e91_ac75_bcb0dd25fcce:s -> id_002b4e01_6b20_4c07_b08f_119de38c8181:n [id="id_3999e305_106e_4e91_ac75_bcb0dd25fcce@fun-main" tailtooltip=" " edgetooltip=" "]
  id_002b4e01_6b20_4c07_b08f_119de38c8181:s -> id_55b33dec_7ab1_4aec_b62b_4a8f80f2b3e9:n [id="id_002b4e01_6b20_4c07_b08f_119de38c8181@fun-main" tailtooltip=" " edgetooltip=" "]
  id_55b33dec_7ab1_4aec_b62b_4a8f80f2b3e9:s -> id_a6b75973_b032_4d55_9e3e_2a6c9d5233ad:n [id="id_55b33dec_7ab1_4aec_b62b_4a8f80f2b3e9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a6b75973_b032_4d55_9e3e_2a6c9d5233ad:s -> id_91d748c2_ffc3_414e_994c_89a572e69921:n [id="id_a6b75973_b032_4d55_9e3e_2a6c9d5233ad@fun-main" tailtooltip=" " edgetooltip=" "]
  id_91d748c2_ffc3_414e_994c_89a572e69921:s -> id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:n [id="id_91d748c2_ffc3_414e_994c_89a572e69921@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:e -> true_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc@id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc -> id_b187f114_2987_4ef1_9210_7bc7bcf5263d:n [id="id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc@id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" tailtooltip=" " edgetooltip=" "]
  
  id_b187f114_2987_4ef1_9210_7bc7bcf5263d:s -> id_22f874ec_684f_478f_80e3_7910247a6ba6:n [id="id_b187f114_2987_4ef1_9210_7bc7bcf5263d@id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_22f874ec_684f_478f_80e3_7910247a6ba6:e -> true_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="id_22f874ec_684f_478f_80e3_7910247a6ba6@id_a31bdcd2_950f_45a5_9dad_bbf830d4bc11" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 -> id_62b1caab_3a17_41e7_8540_c749a3cd5896:n [id="id_22f874ec_684f_478f_80e3_7910247a6ba6@id_a31bdcd2_950f_45a5_9dad_bbf830d4bc11" tailtooltip=" " edgetooltip=" "]
  
  id_62b1caab_3a17_41e7_8540_c749a3cd5896:s -> true_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6:n [id="id_62b1caab_3a17_41e7_8540_c749a3cd5896@id_a31bdcd2_950f_45a5_9dad_bbf830d4bc11" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6 -> end_id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="id_62b1caab_3a17_41e7_8540_c749a3cd5896@id_a31bdcd2_950f_45a5_9dad_bbf830d4bc11" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_22f874ec_684f_478f_80e3_7910247a6ba6:w -> false_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="id_22f874ec_684f_478f_80e3_7910247a6ba6@id_4c80724e_54f2_4547_bcf9_72612c0a12d5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_22f874ec_684f_478f_80e3_7910247a6ba6 -> id_6902847d_7002_45be_b2d0_feffefe651c1:n [id="id_22f874ec_684f_478f_80e3_7910247a6ba6@id_4c80724e_54f2_4547_bcf9_72612c0a12d5" tailtooltip=" " edgetooltip=" "]
  
  id_6902847d_7002_45be_b2d0_feffefe651c1:s -> false_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6:n [id="id_6902847d_7002_45be_b2d0_feffefe651c1@id_4c80724e_54f2_4547_bcf9_72612c0a12d5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_22f874ec_684f_478f_80e3_7910247a6ba6 -> end_id_22f874ec_684f_478f_80e3_7910247a6ba6 [id="id_6902847d_7002_45be_b2d0_feffefe651c1@id_4c80724e_54f2_4547_bcf9_72612c0a12d5" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_22f874ec_684f_478f_80e3_7910247a6ba6:s -> true_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:n [id="end_id_22f874ec_684f_478f_80e3_7910247a6ba6@id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc -> end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="id_22f874ec_684f_478f_80e3_7910247a6ba6@id_72dbaee9_f6b2_4b47_816e_ed8278c52f74" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:w -> false_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc@id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc -> id_2bb5d595_01ac_4918_9318_0de93867f137:n [id="id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc@id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" tailtooltip=" " edgetooltip=" "]
  
  id_2bb5d595_01ac_4918_9318_0de93867f137:s -> id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:n [id="id_2bb5d595_01ac_4918_9318_0de93867f137@id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:e -> true_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_214c34c4_6c01_4870_a57d_6c0d75f480f9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef -> id_302922b0_b77c_4291_8c9d_c796e405c4ad:n [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_214c34c4_6c01_4870_a57d_6c0d75f480f9" tailtooltip=" " edgetooltip=" "]
  
  id_302922b0_b77c_4291_8c9d_c796e405c4ad:s -> true_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:n [id="id_302922b0_b77c_4291_8c9d_c796e405c4ad@id_214c34c4_6c01_4870_a57d_6c0d75f480f9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef -> end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="id_302922b0_b77c_4291_8c9d_c796e405c4ad@id_214c34c4_6c01_4870_a57d_6c0d75f480f9" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:w -> false_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_38c9ba8b_2428_4558_973a_7577ccb6384d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef -> id_e68bad24_f0af_4694_8ad2_87a8f7c808b5:n [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_38c9ba8b_2428_4558_973a_7577ccb6384d" tailtooltip=" " edgetooltip=" "]
  
  id_e68bad24_f0af_4694_8ad2_87a8f7c808b5:s -> false_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:n [id="id_e68bad24_f0af_4694_8ad2_87a8f7c808b5@id_38c9ba8b_2428_4558_973a_7577ccb6384d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef -> end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef [id="id_e68bad24_f0af_4694_8ad2_87a8f7c808b5@id_38c9ba8b_2428_4558_973a_7577ccb6384d" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef:s -> false_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:n [id="end_id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc -> end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc [id="id_bcf70de1_3a43_4fb8_8c5e_d1a8d348f2ef@id_42b7df8a_15c2_4d7f_9ccd_f8403f42f5a7" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc:s -> id_466635d8_2261_4bd9_a6eb_20cb8b92a661:n [id="end_id_20a65a0d_22ca_4d5a_a4b9_8be9b9a628fc@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
