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_20731663_e77d_4120_8195_491a87ead73b [id="id_20731663_e77d_4120_8195_491a87ead73b#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_a05601c5_24ae_428e_aaab_928dccee330d [id="id_a05601c5_24ae_428e_aaab_928dccee330d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0a18ba01_77a5_42dc_9924_d1f9d8c54226 [id="id_0a18ba01_77a5_42dc_9924_d1f9d8c54226#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_f96e794f_f635_4256_bd1b_4eb49a5cdc32 [id="id_f96e794f_f635_4256_bd1b_4eb49a5cdc32#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="x" tooltip="x" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9f0a12be_a71a_4c97_ba11_7b65e6941bda [id="id_9f0a12be_a71a_4c97_ba11_7b65e6941bda#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_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e#If" pos="0.0,9995.3125!" height=0.5 width=1.6 fixedsize=true group="fun-main" 
    label="x>0 && y>0" tooltip="x>0 && y>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [pos="1.25,9995.3125!" shape=point width=0]
  false_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_ea99246e_3563_447f_9a00_c5c24d21f0fa [id="id_ea99246e_3563_447f_9a00_c5c24d21f0fa#Output" pos="1.25,9994.375!" height=0.4 width=1.3 fixedsize=true group="id_e718defd_f14e_4d78_ae4c_78c937fe74fc"    label="\"output\"" tooltip="\"output\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28 [id="id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28#Output" pos="-2.5,9994.375!" height=0.4 width=3.83 fixedsize=true group="id_d5087e32_af47_401a_9b48_37ddb58db4e1"    label="\"one of number is not positive\"" tooltip="\"one of number is not positive\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [ pos="1.25,9993.4375!" shape=point width=0]
  false_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [ pos="-2.5,9993.4375!" shape=point width=0]
  
  end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e#IfEnd" class="flowrun-not-selectable" pos="0.0,9993.4375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_27e9ceb1_6ecb_4063_8f90_1701c8834169 [id="id_27e9ceb1_6ecb_4063_8f90_1701c8834169#Return" pos="0.0,9992.5!" 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_20731663_e77d_4120_8195_491a87ead73b:s -> id_a05601c5_24ae_428e_aaab_928dccee330d:n [id="id_20731663_e77d_4120_8195_491a87ead73b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a05601c5_24ae_428e_aaab_928dccee330d:s -> id_0a18ba01_77a5_42dc_9924_d1f9d8c54226:n [id="id_a05601c5_24ae_428e_aaab_928dccee330d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0a18ba01_77a5_42dc_9924_d1f9d8c54226:s -> id_f96e794f_f635_4256_bd1b_4eb49a5cdc32:n [id="id_0a18ba01_77a5_42dc_9924_d1f9d8c54226@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f96e794f_f635_4256_bd1b_4eb49a5cdc32:s -> id_9f0a12be_a71a_4c97_ba11_7b65e6941bda:n [id="id_f96e794f_f635_4256_bd1b_4eb49a5cdc32@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9f0a12be_a71a_4c97_ba11_7b65e6941bda:s -> id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:n [id="id_9f0a12be_a71a_4c97_ba11_7b65e6941bda@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:e -> true_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e@id_e718defd_f14e_4d78_ae4c_78c937fe74fc" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e -> id_ea99246e_3563_447f_9a00_c5c24d21f0fa:n [id="id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e@id_e718defd_f14e_4d78_ae4c_78c937fe74fc" tailtooltip=" " edgetooltip=" "]
  
  id_ea99246e_3563_447f_9a00_c5c24d21f0fa:s -> true_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:n [id="id_ea99246e_3563_447f_9a00_c5c24d21f0fa@id_e718defd_f14e_4d78_ae4c_78c937fe74fc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e -> end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="id_ea99246e_3563_447f_9a00_c5c24d21f0fa@id_e718defd_f14e_4d78_ae4c_78c937fe74fc" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:w -> false_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e@id_d5087e32_af47_401a_9b48_37ddb58db4e1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e -> id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28:n [id="id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e@id_d5087e32_af47_401a_9b48_37ddb58db4e1" tailtooltip=" " edgetooltip=" "]
  
  id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28:s -> false_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:n [id="id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28@id_d5087e32_af47_401a_9b48_37ddb58db4e1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e -> end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e [id="id_0bbbd14a_b5b1_4bc2_a9a7_ce3f069a4e28@id_d5087e32_af47_401a_9b48_37ddb58db4e1" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e:s -> id_27e9ceb1_6ecb_4063_8f90_1701c8834169:n [id="end_id_c0af7ab1_d5a7_4c98_a40c_c65a57a2b85e@fun-main" tailtooltip=" " edgetooltip=" "]
  

}