
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_ccecba2c_937a_4d4e_a666_15b37d12817b [id="id_ccecba2c_937a_4d4e_a666_15b37d12817b#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_50928a7e_1041_4023_9f9f_5884203a4fd3 [id="id_50928a7e_1041_4023_9f9f_5884203a4fd3#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7bde7ea1_cfbf_4459_92ec_b09873e69567 [id="id_7bde7ea1_cfbf_4459_92ec_b09873e69567#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3d63c0de_c6ff_4c63_97a1_2721e6f99e8e [id="id_3d63c0de_c6ff_4c63_97a1_2721e6f99e8e#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_04ad4616_444f_4500_b29d_aeaf60b01ea3 [id="id_04ad4616_444f_4500_b29d_aeaf60b01ea3#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4ba84a13_b30f_4cec_97e7_52df769a139f [id="id_4ba84a13_b30f_4cec_97e7_52df769a139f#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5a97fee3_0e5f_4451_8907_358827e5c0bc [id="id_5a97fee3_0e5f_4451_8907_358827e5c0bc#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="id_a751124f_ac71_46d4_aee5_dbd66a15555f#If" pos="0.0,9993.4375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x<y" tooltip="x<y" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f [pos="5.0,9993.4375!" shape=point width=0]
  false_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f [pos="-5.0,9993.4375!" shape=point width=0]
  
  id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768#If" pos="5.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="id_b19418bc_8683_4d65_a97a_06ae5d434b76" 
    label="x<z" tooltip="x<z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [pos="7.5,9992.5!" shape=point width=0]
  false_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [pos="2.5,9992.5!" shape=point width=0]
  
  id_fcff93c6_d396_4735_adcd_e3547553e3d2 [id="id_fcff93c6_d396_4735_adcd_e3547553e3d2#Output" pos="7.5,9991.5625!" height=0.4 width=2.29 fixedsize=true group="id_9e5793f0_f10f_4262_aed5_0299c2994de0"    label="\"z è il maggiore\"" tooltip="\"z è il maggiore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36 [id="id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36#Output" pos="2.5,9991.5625!" height=0.4 width=2.29 fixedsize=true group="id_6cb53ff4_8d7c_4487_8d4e_2b1e376d93a6"    label="\"x è il maggiore\"" tooltip="\"x è il maggiore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [ pos="7.5,9990.625!" shape=point width=0]
  false_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [ pos="2.5,9990.625!" shape=point width=0]
  
  end_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="end_id_232d0aea_bbbf_4979_9b92_085e4e44a768#IfEnd" class="flowrun-not-selectable" pos="5.0,9990.625!" group="id_b19418bc_8683_4d65_a97a_06ae5d434b76" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_f0ee3992_d399_442d_9508_48bd220abe5c [id="id_f0ee3992_d399_442d_9508_48bd220abe5c#If" pos="-5.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" 
    label="y<z" tooltip="y<z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c [pos="-2.5,9992.5!" shape=point width=0]
  false_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c [pos="-7.5,9992.5!" shape=point width=0]
  
  id_2187b8d4_9819_4263_aced_4f8555928fd0 [id="id_2187b8d4_9819_4263_aced_4f8555928fd0#Output" pos="-2.5,9991.5625!" height=0.4 width=2.29 fixedsize=true group="id_d3736a61_c9a0_4b75_a89f_ee11d923beef"    label="\"z è il maggiore\"" tooltip="\"z è il maggiore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0655b0f3_860b_455e_a3ff_d213da7a9c9d [id="id_0655b0f3_860b_455e_a3ff_d213da7a9c9d#Output" pos="-7.5,9991.5625!" height=0.4 width=2.29 fixedsize=true group="id_4a6d11fc_054d_492d_b244_53ab56a12c59"    label="\"y è il maggiore\"" tooltip="\"y è il maggiore\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c [ pos="-2.5,9990.625!" shape=point width=0]
  false_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c [ pos="-7.5,9990.625!" shape=point width=0]
  
  end_id_f0ee3992_d399_442d_9508_48bd220abe5c [id="end_id_f0ee3992_d399_442d_9508_48bd220abe5c#IfEnd" class="flowrun-not-selectable" pos="-5.0,9990.625!" group="id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f [ pos="5.0,9989.6875!" shape=point width=0]
  false_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f [ pos="-5.0,9989.6875!" shape=point width=0]
  
  end_id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="end_id_a751124f_ac71_46d4_aee5_dbd66a15555f#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_d19c3110_27c6_451b_bab8_d782eee0e3a5 [id="id_d19c3110_27c6_451b_bab8_d782eee0e3a5#Return" pos="0.0,9988.75!" 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_ccecba2c_937a_4d4e_a666_15b37d12817b:s -> id_50928a7e_1041_4023_9f9f_5884203a4fd3:n [id="id_ccecba2c_937a_4d4e_a666_15b37d12817b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_50928a7e_1041_4023_9f9f_5884203a4fd3:s -> id_7bde7ea1_cfbf_4459_92ec_b09873e69567:n [id="id_50928a7e_1041_4023_9f9f_5884203a4fd3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7bde7ea1_cfbf_4459_92ec_b09873e69567:s -> id_3d63c0de_c6ff_4c63_97a1_2721e6f99e8e:n [id="id_7bde7ea1_cfbf_4459_92ec_b09873e69567@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3d63c0de_c6ff_4c63_97a1_2721e6f99e8e:s -> id_04ad4616_444f_4500_b29d_aeaf60b01ea3:n [id="id_3d63c0de_c6ff_4c63_97a1_2721e6f99e8e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_04ad4616_444f_4500_b29d_aeaf60b01ea3:s -> id_4ba84a13_b30f_4cec_97e7_52df769a139f:n [id="id_04ad4616_444f_4500_b29d_aeaf60b01ea3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4ba84a13_b30f_4cec_97e7_52df769a139f:s -> id_5a97fee3_0e5f_4451_8907_358827e5c0bc:n [id="id_4ba84a13_b30f_4cec_97e7_52df769a139f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5a97fee3_0e5f_4451_8907_358827e5c0bc:s -> id_a751124f_ac71_46d4_aee5_dbd66a15555f:n [id="id_5a97fee3_0e5f_4451_8907_358827e5c0bc@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_a751124f_ac71_46d4_aee5_dbd66a15555f:e -> true_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="id_a751124f_ac71_46d4_aee5_dbd66a15555f@id_b19418bc_8683_4d65_a97a_06ae5d434b76" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f -> id_232d0aea_bbbf_4979_9b92_085e4e44a768:n [id="id_a751124f_ac71_46d4_aee5_dbd66a15555f@id_b19418bc_8683_4d65_a97a_06ae5d434b76" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_232d0aea_bbbf_4979_9b92_085e4e44a768:e -> true_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_9e5793f0_f10f_4262_aed5_0299c2994de0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 -> id_fcff93c6_d396_4735_adcd_e3547553e3d2:n [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_9e5793f0_f10f_4262_aed5_0299c2994de0" tailtooltip=" " edgetooltip=" "]
  
  id_fcff93c6_d396_4735_adcd_e3547553e3d2:s -> true_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768:n [id="id_fcff93c6_d396_4735_adcd_e3547553e3d2@id_9e5793f0_f10f_4262_aed5_0299c2994de0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768 -> end_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="id_fcff93c6_d396_4735_adcd_e3547553e3d2@id_9e5793f0_f10f_4262_aed5_0299c2994de0" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_232d0aea_bbbf_4979_9b92_085e4e44a768:w -> false_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_6cb53ff4_8d7c_4487_8d4e_2b1e376d93a6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_232d0aea_bbbf_4979_9b92_085e4e44a768 -> id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36:n [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_6cb53ff4_8d7c_4487_8d4e_2b1e376d93a6" tailtooltip=" " edgetooltip=" "]
  
  id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36:s -> false_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768:n [id="id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36@id_6cb53ff4_8d7c_4487_8d4e_2b1e376d93a6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_232d0aea_bbbf_4979_9b92_085e4e44a768 -> end_id_232d0aea_bbbf_4979_9b92_085e4e44a768 [id="id_f56ae087_e3e9_4e8d_9387_e13ceda5ad36@id_6cb53ff4_8d7c_4487_8d4e_2b1e376d93a6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_232d0aea_bbbf_4979_9b92_085e4e44a768:s -> true_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f:n [id="end_id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_b19418bc_8683_4d65_a97a_06ae5d434b76" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f -> end_id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="id_232d0aea_bbbf_4979_9b92_085e4e44a768@id_b19418bc_8683_4d65_a97a_06ae5d434b76" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_a751124f_ac71_46d4_aee5_dbd66a15555f:w -> false_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="id_a751124f_ac71_46d4_aee5_dbd66a15555f@id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_a751124f_ac71_46d4_aee5_dbd66a15555f -> id_f0ee3992_d399_442d_9508_48bd220abe5c:n [id="id_a751124f_ac71_46d4_aee5_dbd66a15555f@id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_f0ee3992_d399_442d_9508_48bd220abe5c:e -> true_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c [id="id_f0ee3992_d399_442d_9508_48bd220abe5c@id_d3736a61_c9a0_4b75_a89f_ee11d923beef" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c -> id_2187b8d4_9819_4263_aced_4f8555928fd0:n [id="id_f0ee3992_d399_442d_9508_48bd220abe5c@id_d3736a61_c9a0_4b75_a89f_ee11d923beef" tailtooltip=" " edgetooltip=" "]
  
  id_2187b8d4_9819_4263_aced_4f8555928fd0:s -> true_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c:n [id="id_2187b8d4_9819_4263_aced_4f8555928fd0@id_d3736a61_c9a0_4b75_a89f_ee11d923beef" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c -> end_id_f0ee3992_d399_442d_9508_48bd220abe5c [id="id_2187b8d4_9819_4263_aced_4f8555928fd0@id_d3736a61_c9a0_4b75_a89f_ee11d923beef" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_f0ee3992_d399_442d_9508_48bd220abe5c:w -> false_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c [id="id_f0ee3992_d399_442d_9508_48bd220abe5c@id_4a6d11fc_054d_492d_b244_53ab56a12c59" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f0ee3992_d399_442d_9508_48bd220abe5c -> id_0655b0f3_860b_455e_a3ff_d213da7a9c9d:n [id="id_f0ee3992_d399_442d_9508_48bd220abe5c@id_4a6d11fc_054d_492d_b244_53ab56a12c59" tailtooltip=" " edgetooltip=" "]
  
  id_0655b0f3_860b_455e_a3ff_d213da7a9c9d:s -> false_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c:n [id="id_0655b0f3_860b_455e_a3ff_d213da7a9c9d@id_4a6d11fc_054d_492d_b244_53ab56a12c59" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_f0ee3992_d399_442d_9508_48bd220abe5c -> end_id_f0ee3992_d399_442d_9508_48bd220abe5c [id="id_0655b0f3_860b_455e_a3ff_d213da7a9c9d@id_4a6d11fc_054d_492d_b244_53ab56a12c59" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_f0ee3992_d399_442d_9508_48bd220abe5c:s -> false_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f:n [id="end_id_f0ee3992_d399_442d_9508_48bd220abe5c@id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_a751124f_ac71_46d4_aee5_dbd66a15555f -> end_id_a751124f_ac71_46d4_aee5_dbd66a15555f [id="id_f0ee3992_d399_442d_9508_48bd220abe5c@id_cd5649b9_98d3_42c2_83ed_eefbd45d9782" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_a751124f_ac71_46d4_aee5_dbd66a15555f:s -> id_d19c3110_27c6_451b_bab8_d782eee0e3a5:n [id="end_id_a751124f_ac71_46d4_aee5_dbd66a15555f@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
