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_c0f0b336_8e96_41ac_93a3_9f3ca31b5684 [id="id_c0f0b336_8e96_41ac_93a3_9f3ca31b5684#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_3e893c4b_6172_4e6f_b902_3d2ceb1f6ba0 [id="id_3e893c4b_6172_4e6f_b902_3d2ceb1f6ba0#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_9b61eb14_50b1_4a45_98ad_987eead8826f [id="id_9b61eb14_50b1_4a45_98ad_987eead8826f#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_007df19a_91f9_4053_a66f_9e88c05f2638 [id="id_007df19a_91f9_4053_a66f_9e88c05f2638#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4f0c8370_413d_425a_90cf_6146614d535d [id="id_4f0c8370_413d_425a_90cf_6146614d535d#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bc765a93_5153_4657_a0e9_0d22bc7a893b [id="id_bc765a93_5153_4657_a0e9_0d22bc7a893b#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_84a21da8_a7b1_4657_88dc_fa8dfb967a22 [id="id_84a21da8_a7b1_4657_88dc_fa8dfb967a22#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_23c26935_69e5_46e9_8f2c_3f9535fe944d [id="id_23c26935_69e5_46e9_8f2c_3f9535fe944d#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b3ca803f_a21c_41ff_88ba_8890eda93302 [id="id_b3ca803f_a21c_41ff_88ba_8890eda93302#Input" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="z" tooltip="z" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3bdec5cd_2b9c_4e85_af7c_6ec0d3142f59 [id="id_3bdec5cd_2b9c_4e85_af7c_6ec0d3142f59#Input" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="a" tooltip="a" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cbce0d29_d6ed_4f54_8b88_9438567a5f04 [id="id_cbce0d29_d6ed_4f54_8b88_9438567a5f04#Input" pos="0.0,9990.625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="b" tooltip="b" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691#If" pos="0.0,9989.6875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="" tooltip="" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [pos="1.25,9989.6875!" shape=point width=0]
  false_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [pos="-1.25,9989.6875!" shape=point width=0]
  
  
  
  
  true_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [ pos="1.25,9988.75!" shape=point width=0]
  false_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [ pos="-1.25,9988.75!" shape=point width=0]
  
  end_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="end_id_668a561f_1bd5_4fd7_8abd_3567b1929691#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_e3a1fdb1_0773_4da5_974b_1fb6e4f2b674 [id="id_e3a1fdb1_0773_4da5_974b_1fb6e4f2b674#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_c0f0b336_8e96_41ac_93a3_9f3ca31b5684:s -> id_3e893c4b_6172_4e6f_b902_3d2ceb1f6ba0:n [id="id_c0f0b336_8e96_41ac_93a3_9f3ca31b5684@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3e893c4b_6172_4e6f_b902_3d2ceb1f6ba0:s -> id_9b61eb14_50b1_4a45_98ad_987eead8826f:n [id="id_3e893c4b_6172_4e6f_b902_3d2ceb1f6ba0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9b61eb14_50b1_4a45_98ad_987eead8826f:s -> id_007df19a_91f9_4053_a66f_9e88c05f2638:n [id="id_9b61eb14_50b1_4a45_98ad_987eead8826f@fun-main" tailtooltip=" " edgetooltip=" "]
  id_007df19a_91f9_4053_a66f_9e88c05f2638:s -> id_4f0c8370_413d_425a_90cf_6146614d535d:n [id="id_007df19a_91f9_4053_a66f_9e88c05f2638@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4f0c8370_413d_425a_90cf_6146614d535d:s -> id_bc765a93_5153_4657_a0e9_0d22bc7a893b:n [id="id_4f0c8370_413d_425a_90cf_6146614d535d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bc765a93_5153_4657_a0e9_0d22bc7a893b:s -> id_84a21da8_a7b1_4657_88dc_fa8dfb967a22:n [id="id_bc765a93_5153_4657_a0e9_0d22bc7a893b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_84a21da8_a7b1_4657_88dc_fa8dfb967a22:s -> id_23c26935_69e5_46e9_8f2c_3f9535fe944d:n [id="id_84a21da8_a7b1_4657_88dc_fa8dfb967a22@fun-main" tailtooltip=" " edgetooltip=" "]
  id_23c26935_69e5_46e9_8f2c_3f9535fe944d:s -> id_b3ca803f_a21c_41ff_88ba_8890eda93302:n [id="id_23c26935_69e5_46e9_8f2c_3f9535fe944d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_b3ca803f_a21c_41ff_88ba_8890eda93302:s -> id_3bdec5cd_2b9c_4e85_af7c_6ec0d3142f59:n [id="id_b3ca803f_a21c_41ff_88ba_8890eda93302@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3bdec5cd_2b9c_4e85_af7c_6ec0d3142f59:s -> id_cbce0d29_d6ed_4f54_8b88_9438567a5f04:n [id="id_3bdec5cd_2b9c_4e85_af7c_6ec0d3142f59@fun-main" tailtooltip=" " edgetooltip=" "]
  id_cbce0d29_d6ed_4f54_8b88_9438567a5f04:s -> id_668a561f_1bd5_4fd7_8abd_3567b1929691:n [id="id_cbce0d29_d6ed_4f54_8b88_9438567a5f04@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_668a561f_1bd5_4fd7_8abd_3567b1929691:e -> true_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_b3adb0f4_9c54_4a01_b825_c8de07d3fdba" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 -> true_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691:n [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_b3adb0f4_9c54_4a01_b825_c8de07d3fdba" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691 -> end_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_b3adb0f4_9c54_4a01_b825_c8de07d3fdba" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_668a561f_1bd5_4fd7_8abd_3567b1929691:w -> false_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_c603b548_18ba_49b9_9e64_9cfd667c19cf" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_668a561f_1bd5_4fd7_8abd_3567b1929691 -> false_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691:n [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_c603b548_18ba_49b9_9e64_9cfd667c19cf" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_668a561f_1bd5_4fd7_8abd_3567b1929691 -> end_id_668a561f_1bd5_4fd7_8abd_3567b1929691 [id="id_668a561f_1bd5_4fd7_8abd_3567b1929691@id_c603b548_18ba_49b9_9e64_9cfd667c19cf" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_668a561f_1bd5_4fd7_8abd_3567b1929691:s -> id_e3a1fdb1_0773_4da5_974b_1fb6e4f2b674:n [id="end_id_668a561f_1bd5_4fd7_8abd_3567b1929691@fun-main" tailtooltip=" " edgetooltip=" "]
  

}