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_dc21c2e9_c98c_4599_af68_e8164d9a665d [id="id_dc21c2e9_c98c_4599_af68_e8164d9a665d#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_2e2d160d_9fa2_46ec_bd0d_684d3b29bcae [id="id_2e2d160d_9fa2_46ec_bd0d_684d3b29bcae#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_d94fb2ec_4822_4172_b6f2_3e6ec933015d [id="id_d94fb2ec_4822_4172_b6f2_3e6ec933015d#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_82f80701_e66e_4e6e_9fde_bad8b050888c [id="id_82f80701_e66e_4e6e_9fde_bad8b050888c#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C" tooltip="C: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_08b8394e_acf2_4409_a990_52d8d60107a8 [id="id_08b8394e_acf2_4409_a990_52d8d60107a8#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_53b50d2a_7aeb_4ab6_a751_88cac0612284 [id="id_53b50d2a_7aeb_4ab6_a751_88cac0612284#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ad95ea6b_e3c8_4d8f_98df_8e721a01a012 [id="id_ad95ea6b_e3c8_4d8f_98df_8e721a01a012#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_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="id_e8e0b222_baa0_49d0_ad6f_23247a645f49#If" pos="0.0,9993.4375!" height=0.5 width=1.27 fixedsize=true group="fun-main" 
    label="A < B+C" tooltip="A < B+C" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [pos="5.0,9993.4375!" shape=point width=0]
  false_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [pos="-2.5,9993.4375!" shape=point width=0]
  
  id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db#If" pos="5.0,9992.5!" height=0.5 width=1.27 fixedsize=true group="id_55556ac8_1825_474d_83a0_acb8d9955f64" 
    label="B < A+C" tooltip="B < A+C" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [pos="10.0,9992.5!" shape=point width=0]
  false_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [pos="2.5,9992.5!" shape=point width=0]
  
  id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1#If" pos="10.0,9991.5625!" height=0.5 width=1.27 fixedsize=true group="id_236662fb_0c5a_4027_9369_696ee60b79d8" 
    label="C < B+A" tooltip="C < B+A" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [pos="12.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [pos="7.5,9991.5625!" shape=point width=0]
  
  id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073 [id="id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073#Output" pos="12.5,9990.625!" height=0.4 width=2.73 fixedsize=true group="id_5411adc7_5554_45a9_bfa8_269a4b5beed4"    label="\"Disuguaglianza vera\"" tooltip="\"Disuguaglianza vera\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_96e6a729_a273_46be_9ebf_88c32c5dc9ba [id="id_96e6a729_a273_46be_9ebf_88c32c5dc9ba#Output" pos="7.5,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_dc9b0498_be47_4244_9cfe_ec55b28417d5"    label="\"Diseguaglianza falsa\"" tooltip="\"Diseguaglianza falsa\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [ pos="12.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [ pos="7.5,9989.6875!" shape=point width=0]
  
  end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1#IfEnd" class="flowrun-not-selectable" pos="10.0,9989.6875!" group="id_236662fb_0c5a_4027_9369_696ee60b79d8" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_8a373d89_b268_4ac7_9626_c1fce1179a1a [id="id_8a373d89_b268_4ac7_9626_c1fce1179a1a#Output" pos="2.5,9991.5625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_52f4e131_8f0a_4a29_8c84_414a69d74ee8"    label="\"Diseguaglianza falsa\"" tooltip="\"Diseguaglianza falsa\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [ pos="10.0,9988.75!" shape=point width=0]
  false_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [ pos="2.5,9988.75!" shape=point width=0]
  
  end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db#IfEnd" class="flowrun-not-selectable" pos="5.0,9988.75!" group="id_55556ac8_1825_474d_83a0_acb8d9955f64" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_912c8ee4_324f_4820_b525_161b1d09aa91 [id="id_912c8ee4_324f_4820_b525_161b1d09aa91#Output" pos="-2.5,9992.5!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_36319c2a_dde6_4132_8967_20be7877004b"    label="\"Diseguaglianza falsa\"" tooltip="\"Diseguaglianza falsa\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [ pos="5.0,9987.8125!" shape=point width=0]
  false_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [ pos="-2.5,9987.8125!" shape=point width=0]
  
  end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49#IfEnd" class="flowrun-not-selectable" pos="0.0,9987.8125!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_4de62338_f80a_4c50_b77e_663b4191dfa7 [id="id_4de62338_f80a_4c50_b77e_663b4191dfa7#Return" pos="0.0,9986.875!" 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_dc21c2e9_c98c_4599_af68_e8164d9a665d:s -> id_2e2d160d_9fa2_46ec_bd0d_684d3b29bcae:n [id="id_dc21c2e9_c98c_4599_af68_e8164d9a665d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2e2d160d_9fa2_46ec_bd0d_684d3b29bcae:s -> id_d94fb2ec_4822_4172_b6f2_3e6ec933015d:n [id="id_2e2d160d_9fa2_46ec_bd0d_684d3b29bcae@fun-main" tailtooltip=" " edgetooltip=" "]
  id_d94fb2ec_4822_4172_b6f2_3e6ec933015d:s -> id_82f80701_e66e_4e6e_9fde_bad8b050888c:n [id="id_d94fb2ec_4822_4172_b6f2_3e6ec933015d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_82f80701_e66e_4e6e_9fde_bad8b050888c:s -> id_08b8394e_acf2_4409_a990_52d8d60107a8:n [id="id_82f80701_e66e_4e6e_9fde_bad8b050888c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_08b8394e_acf2_4409_a990_52d8d60107a8:s -> id_53b50d2a_7aeb_4ab6_a751_88cac0612284:n [id="id_08b8394e_acf2_4409_a990_52d8d60107a8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_53b50d2a_7aeb_4ab6_a751_88cac0612284:s -> id_ad95ea6b_e3c8_4d8f_98df_8e721a01a012:n [id="id_53b50d2a_7aeb_4ab6_a751_88cac0612284@fun-main" tailtooltip=" " edgetooltip=" "]
  id_ad95ea6b_e3c8_4d8f_98df_8e721a01a012:s -> id_e8e0b222_baa0_49d0_ad6f_23247a645f49:n [id="id_ad95ea6b_e3c8_4d8f_98df_8e721a01a012@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_e8e0b222_baa0_49d0_ad6f_23247a645f49:e -> true_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="id_e8e0b222_baa0_49d0_ad6f_23247a645f49@id_55556ac8_1825_474d_83a0_acb8d9955f64" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 -> id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:n [id="id_e8e0b222_baa0_49d0_ad6f_23247a645f49@id_55556ac8_1825_474d_83a0_acb8d9955f64" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:e -> true_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_236662fb_0c5a_4027_9369_696ee60b79d8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db -> id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:n [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_236662fb_0c5a_4027_9369_696ee60b79d8" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:e -> true_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_5411adc7_5554_45a9_bfa8_269a4b5beed4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 -> id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073:n [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_5411adc7_5554_45a9_bfa8_269a4b5beed4" tailtooltip=" " edgetooltip=" "]
  
  id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073:s -> true_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:n [id="id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073@id_5411adc7_5554_45a9_bfa8_269a4b5beed4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 -> end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="id_e1e3f0fb_ee0f_43a2_b5b6_92f5cf141073@id_5411adc7_5554_45a9_bfa8_269a4b5beed4" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:w -> false_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_dc9b0498_be47_4244_9cfe_ec55b28417d5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 -> id_96e6a729_a273_46be_9ebf_88c32c5dc9ba:n [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_dc9b0498_be47_4244_9cfe_ec55b28417d5" tailtooltip=" " edgetooltip=" "]
  
  id_96e6a729_a273_46be_9ebf_88c32c5dc9ba:s -> false_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:n [id="id_96e6a729_a273_46be_9ebf_88c32c5dc9ba@id_dc9b0498_be47_4244_9cfe_ec55b28417d5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 -> end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1 [id="id_96e6a729_a273_46be_9ebf_88c32c5dc9ba@id_dc9b0498_be47_4244_9cfe_ec55b28417d5" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1:s -> true_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:n [id="end_id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_236662fb_0c5a_4027_9369_696ee60b79d8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db -> end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="id_35ad8e9c_55f5_4070_aabf_32a852b9b4e1@id_236662fb_0c5a_4027_9369_696ee60b79d8" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:w -> false_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_52f4e131_8f0a_4a29_8c84_414a69d74ee8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db -> id_8a373d89_b268_4ac7_9626_c1fce1179a1a:n [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_52f4e131_8f0a_4a29_8c84_414a69d74ee8" tailtooltip=" " edgetooltip=" "]
  
  id_8a373d89_b268_4ac7_9626_c1fce1179a1a:s -> false_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:n [id="id_8a373d89_b268_4ac7_9626_c1fce1179a1a@id_52f4e131_8f0a_4a29_8c84_414a69d74ee8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db -> end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db [id="id_8a373d89_b268_4ac7_9626_c1fce1179a1a@id_52f4e131_8f0a_4a29_8c84_414a69d74ee8" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db:s -> true_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49:n [id="end_id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_55556ac8_1825_474d_83a0_acb8d9955f64" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 -> end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="id_902bf5d6_9db6_4cb5_bdf1_3aab972a71db@id_55556ac8_1825_474d_83a0_acb8d9955f64" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_e8e0b222_baa0_49d0_ad6f_23247a645f49:w -> false_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="id_e8e0b222_baa0_49d0_ad6f_23247a645f49@id_36319c2a_dde6_4132_8967_20be7877004b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 -> id_912c8ee4_324f_4820_b525_161b1d09aa91:n [id="id_e8e0b222_baa0_49d0_ad6f_23247a645f49@id_36319c2a_dde6_4132_8967_20be7877004b" tailtooltip=" " edgetooltip=" "]
  
  id_912c8ee4_324f_4820_b525_161b1d09aa91:s -> false_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49:n [id="id_912c8ee4_324f_4820_b525_161b1d09aa91@id_36319c2a_dde6_4132_8967_20be7877004b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 -> end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49 [id="id_912c8ee4_324f_4820_b525_161b1d09aa91@id_36319c2a_dde6_4132_8967_20be7877004b" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49:s -> id_4de62338_f80a_4c50_b77e_663b4191dfa7:n [id="end_id_e8e0b222_baa0_49d0_ad6f_23247a645f49@fun-main" tailtooltip=" " edgetooltip=" "]
  

}