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_2f7568ea_1097_4321_833b_c35e2009da56 [id="id_2f7568ea_1097_4321_833b_c35e2009da56#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_2edef30b_a127_4765_857b_f7a1d8ec68bb [id="id_2edef30b_a127_4765_857b_f7a1d8ec68bb#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_bce796ce_6903_40fa_8ee7_55c21c7aee48 [id="id_bce796ce_6903_40fa_8ee7_55c21c7aee48#Input" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_83a6d790_ad87_4782_8360_4b0daff8f07d [id="id_83a6d790_ad87_4782_8360_4b0daff8f07d#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_10292e44_01f7_4131_9969_e14f8a580dd9 [id="id_10292e44_01f7_4131_9969_e14f8a580dd9#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b3577e40_e5a2_4a79_b149_4187854be4cd [id="id_b3577e40_e5a2_4a79_b149_4187854be4cd#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c2a8ccba_1226_4fa0_96fa_72fd241ac913 [id="id_c2a8ccba_1226_4fa0_96fa_72fd241ac913#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_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="id_6ccadaee_ad11_45ee_9cf9_1756778b000c#If" pos="0.0,9993.4375!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="x>y && x>z" tooltip="x>y && x>z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [pos="-5.0,9993.4375!" shape=point width=0]
  
  id_8d78de61_00d0_4af3_bed6_146979a07bff [id="id_8d78de61_00d0_4af3_bed6_146979a07bff#Output" pos="2.5,9992.5!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_9c31f5fc_cc1f_4961_9f5d_367e539ef982"    label="\"x is the greatest\"" tooltip="\"x is the greatest\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84#If" pos="-5.0,9992.5!" height=0.5 width=1.6 fixedsize=true group="id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" 
    label="y>x && y>z" tooltip="y>x && y>z" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [pos="-2.5,9992.5!" shape=point width=0]
  false_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [pos="-10.0,9992.5!" shape=point width=0]
  
  id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd [id="id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd#Output" pos="-2.5,9991.5625!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_53a3b2ca_e3cf_4e5e_b8cd_a28b951d7cfa"    label="\"y is the greatest\"" tooltip="\"y is the greatest\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701#If" pos="-10.0,9991.5625!" height=0.5 width=1.6 fixedsize=true group="id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" 
    label="z>x && z>y" tooltip="z>x && z>y" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [pos="-7.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [pos="-12.5,9991.5625!" shape=point width=0]
  
  id_bc20b6ba_4dd2_4417_9957_0a5a16826843 [id="id_bc20b6ba_4dd2_4417_9957_0a5a16826843#Output" pos="-7.5,9990.625!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_7a79759c_ae7e_4718_9a42_1c1d7a555819"    label="\"z is the greatest\"" tooltip="\"z is the greatest\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ef239d46_2718_4dcf_b874_c2b7271e1c8c [id="id_ef239d46_2718_4dcf_b874_c2b7271e1c8c#Output" pos="-12.5,9990.625!" height=0.4 width=2.29 fixedsize=true group="id_00bc1231_687c_4335_a486_461d51d24e87"    label="\"x,y,z are equal\"" tooltip="\"x,y,z are equal\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [ pos="-7.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [ pos="-12.5,9989.6875!" shape=point width=0]
  
  end_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="end_id_8c0bc0b1_33c6_4499_8063_c31794c88701#IfEnd" class="flowrun-not-selectable" pos="-10.0,9989.6875!" group="id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [ pos="-2.5,9988.75!" shape=point width=0]
  false_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [ pos="-10.0,9988.75!" shape=point width=0]
  
  end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84#IfEnd" class="flowrun-not-selectable" pos="-5.0,9988.75!" group="id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [ pos="2.5,9987.8125!" shape=point width=0]
  false_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [ pos="-5.0,9987.8125!" shape=point width=0]
  
  end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c#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_a0be8ffc_d383_4b41_9c68_29e5e1884e61 [id="id_a0be8ffc_d383_4b41_9c68_29e5e1884e61#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_2f7568ea_1097_4321_833b_c35e2009da56:s -> id_2edef30b_a127_4765_857b_f7a1d8ec68bb:n [id="id_2f7568ea_1097_4321_833b_c35e2009da56@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2edef30b_a127_4765_857b_f7a1d8ec68bb:s -> id_bce796ce_6903_40fa_8ee7_55c21c7aee48:n [id="id_2edef30b_a127_4765_857b_f7a1d8ec68bb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bce796ce_6903_40fa_8ee7_55c21c7aee48:s -> id_83a6d790_ad87_4782_8360_4b0daff8f07d:n [id="id_bce796ce_6903_40fa_8ee7_55c21c7aee48@fun-main" tailtooltip=" " edgetooltip=" "]
  id_83a6d790_ad87_4782_8360_4b0daff8f07d:s -> id_10292e44_01f7_4131_9969_e14f8a580dd9:n [id="id_83a6d790_ad87_4782_8360_4b0daff8f07d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_10292e44_01f7_4131_9969_e14f8a580dd9:s -> id_b3577e40_e5a2_4a79_b149_4187854be4cd:n [id="id_10292e44_01f7_4131_9969_e14f8a580dd9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b3577e40_e5a2_4a79_b149_4187854be4cd:s -> id_c2a8ccba_1226_4fa0_96fa_72fd241ac913:n [id="id_b3577e40_e5a2_4a79_b149_4187854be4cd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c2a8ccba_1226_4fa0_96fa_72fd241ac913:s -> id_6ccadaee_ad11_45ee_9cf9_1756778b000c:n [id="id_c2a8ccba_1226_4fa0_96fa_72fd241ac913@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_6ccadaee_ad11_45ee_9cf9_1756778b000c:e -> true_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="id_6ccadaee_ad11_45ee_9cf9_1756778b000c@id_9c31f5fc_cc1f_4961_9f5d_367e539ef982" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c -> id_8d78de61_00d0_4af3_bed6_146979a07bff:n [id="id_6ccadaee_ad11_45ee_9cf9_1756778b000c@id_9c31f5fc_cc1f_4961_9f5d_367e539ef982" tailtooltip=" " edgetooltip=" "]
  
  id_8d78de61_00d0_4af3_bed6_146979a07bff:s -> true_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c:n [id="id_8d78de61_00d0_4af3_bed6_146979a07bff@id_9c31f5fc_cc1f_4961_9f5d_367e539ef982" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c -> end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="id_8d78de61_00d0_4af3_bed6_146979a07bff@id_9c31f5fc_cc1f_4961_9f5d_367e539ef982" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_6ccadaee_ad11_45ee_9cf9_1756778b000c:w -> false_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="id_6ccadaee_ad11_45ee_9cf9_1756778b000c@id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_6ccadaee_ad11_45ee_9cf9_1756778b000c -> id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:n [id="id_6ccadaee_ad11_45ee_9cf9_1756778b000c@id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:e -> true_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_53a3b2ca_e3cf_4e5e_b8cd_a28b951d7cfa" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 -> id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd:n [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_53a3b2ca_e3cf_4e5e_b8cd_a28b951d7cfa" tailtooltip=" " edgetooltip=" "]
  
  id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd:s -> true_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:n [id="id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd@id_53a3b2ca_e3cf_4e5e_b8cd_a28b951d7cfa" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 -> end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="id_0e81bfa0_3a9d_4c74_b7a1_3d7973a5b0bd@id_53a3b2ca_e3cf_4e5e_b8cd_a28b951d7cfa" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:w -> false_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 -> id_8c0bc0b1_33c6_4499_8063_c31794c88701:n [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_8c0bc0b1_33c6_4499_8063_c31794c88701:e -> true_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_7a79759c_ae7e_4718_9a42_1c1d7a555819" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 -> id_bc20b6ba_4dd2_4417_9957_0a5a16826843:n [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_7a79759c_ae7e_4718_9a42_1c1d7a555819" tailtooltip=" " edgetooltip=" "]
  
  id_bc20b6ba_4dd2_4417_9957_0a5a16826843:s -> true_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701:n [id="id_bc20b6ba_4dd2_4417_9957_0a5a16826843@id_7a79759c_ae7e_4718_9a42_1c1d7a555819" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701 -> end_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="id_bc20b6ba_4dd2_4417_9957_0a5a16826843@id_7a79759c_ae7e_4718_9a42_1c1d7a555819" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_8c0bc0b1_33c6_4499_8063_c31794c88701:w -> false_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_00bc1231_687c_4335_a486_461d51d24e87" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_8c0bc0b1_33c6_4499_8063_c31794c88701 -> id_ef239d46_2718_4dcf_b874_c2b7271e1c8c:n [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_00bc1231_687c_4335_a486_461d51d24e87" tailtooltip=" " edgetooltip=" "]
  
  id_ef239d46_2718_4dcf_b874_c2b7271e1c8c:s -> false_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701:n [id="id_ef239d46_2718_4dcf_b874_c2b7271e1c8c@id_00bc1231_687c_4335_a486_461d51d24e87" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_8c0bc0b1_33c6_4499_8063_c31794c88701 -> end_id_8c0bc0b1_33c6_4499_8063_c31794c88701 [id="id_ef239d46_2718_4dcf_b874_c2b7271e1c8c@id_00bc1231_687c_4335_a486_461d51d24e87" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_8c0bc0b1_33c6_4499_8063_c31794c88701:s -> false_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:n [id="end_id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 -> end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84 [id="id_8c0bc0b1_33c6_4499_8063_c31794c88701@id_c87f18a8_4e32_46ba_903d_6dc15f6b8581" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84:s -> false_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c:n [id="end_id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_6ccadaee_ad11_45ee_9cf9_1756778b000c -> end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c [id="id_ce3d46a1_bce7_4695_a24d_deff87a0cd84@id_0f8c9556_d7c3_402f_a72a_315075dbfc9f" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c:s -> id_a0be8ffc_d383_4b41_9c68_29e5e1884e61:n [id="end_id_6ccadaee_ad11_45ee_9cf9_1756778b000c@fun-main" tailtooltip=" " edgetooltip=" "]
  

}