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_36fcb937_3d48_409a_9c67_27edb54bd095 [id="id_36fcb937_3d48_409a_9c67_27edb54bd095#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_e045f835_3c4f_4951_9ecf_4b6192d673e0 [id="id_e045f835_3c4f_4951_9ecf_4b6192d673e0#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_04118f5e_83d9_45fb_ae5e_a62a62f6d844 [id="id_04118f5e_83d9_45fb_ae5e_a62a62f6d844#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_a6870856_aadb_47a6_b456_45288f25122e [id="id_a6870856_aadb_47a6_b456_45288f25122e#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="y" tooltip="y: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a0fe58c1_54b6_4859_9c86_9b2636f7d960 [id="id_a0fe58c1_54b6_4859_9c86_9b2636f7d960#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_1d8323b0_0af4_4143_981c_c25600862029 [id="id_1d8323b0_0af4_4143_981c_c25600862029#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_1d8323b0_0af4_4143_981c_c25600862029 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_1d8323b0_0af4_4143_981c_c25600862029 [pos="-3.75,9995.3125!" shape=point width=0]
  
  id_6dcc2158_6e61_4d74_8889_33f65a744b3a [id="id_6dcc2158_6e61_4d74_8889_33f65a744b3a#Output" pos="2.5,9994.375!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_e8a462a7_b447_4342_897d_568df50c97d5"    label="\"Both are positive\"" tooltip="\"Both are positive\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2 [id="id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2#Output" pos="-3.75,9994.375!" height=0.4 width=4.38 fixedsize=true group="id_19b5afc4_7789_491e_b7ab_a8950497635d"    label="\"One of the numbers is not positive\"" tooltip="\"One of the numbers is not positive\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029 [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029 [ pos="-3.75,9993.4375!" shape=point width=0]
  
  end_id_1d8323b0_0af4_4143_981c_c25600862029 [id="end_id_1d8323b0_0af4_4143_981c_c25600862029#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_64901fb7_1f6e_48a4_9611_122821cc4c10 [id="id_64901fb7_1f6e_48a4_9611_122821cc4c10#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_36fcb937_3d48_409a_9c67_27edb54bd095:s -> id_e045f835_3c4f_4951_9ecf_4b6192d673e0:n [id="id_36fcb937_3d48_409a_9c67_27edb54bd095@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e045f835_3c4f_4951_9ecf_4b6192d673e0:s -> id_04118f5e_83d9_45fb_ae5e_a62a62f6d844:n [id="id_e045f835_3c4f_4951_9ecf_4b6192d673e0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_04118f5e_83d9_45fb_ae5e_a62a62f6d844:s -> id_a6870856_aadb_47a6_b456_45288f25122e:n [id="id_04118f5e_83d9_45fb_ae5e_a62a62f6d844@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a6870856_aadb_47a6_b456_45288f25122e:s -> id_a0fe58c1_54b6_4859_9c86_9b2636f7d960:n [id="id_a6870856_aadb_47a6_b456_45288f25122e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a0fe58c1_54b6_4859_9c86_9b2636f7d960:s -> id_1d8323b0_0af4_4143_981c_c25600862029:n [id="id_a0fe58c1_54b6_4859_9c86_9b2636f7d960@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_1d8323b0_0af4_4143_981c_c25600862029:e -> true_dummy_up_id_1d8323b0_0af4_4143_981c_c25600862029 [id="id_1d8323b0_0af4_4143_981c_c25600862029@id_e8a462a7_b447_4342_897d_568df50c97d5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_1d8323b0_0af4_4143_981c_c25600862029 -> id_6dcc2158_6e61_4d74_8889_33f65a744b3a:n [id="id_1d8323b0_0af4_4143_981c_c25600862029@id_e8a462a7_b447_4342_897d_568df50c97d5" tailtooltip=" " edgetooltip=" "]
  
  id_6dcc2158_6e61_4d74_8889_33f65a744b3a:s -> true_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029:n [id="id_6dcc2158_6e61_4d74_8889_33f65a744b3a@id_e8a462a7_b447_4342_897d_568df50c97d5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029 -> end_id_1d8323b0_0af4_4143_981c_c25600862029 [id="id_6dcc2158_6e61_4d74_8889_33f65a744b3a@id_e8a462a7_b447_4342_897d_568df50c97d5" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_1d8323b0_0af4_4143_981c_c25600862029:w -> false_dummy_up_id_1d8323b0_0af4_4143_981c_c25600862029 [id="id_1d8323b0_0af4_4143_981c_c25600862029@id_19b5afc4_7789_491e_b7ab_a8950497635d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_1d8323b0_0af4_4143_981c_c25600862029 -> id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2:n [id="id_1d8323b0_0af4_4143_981c_c25600862029@id_19b5afc4_7789_491e_b7ab_a8950497635d" tailtooltip=" " edgetooltip=" "]
  
  id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2:s -> false_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029:n [id="id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2@id_19b5afc4_7789_491e_b7ab_a8950497635d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_1d8323b0_0af4_4143_981c_c25600862029 -> end_id_1d8323b0_0af4_4143_981c_c25600862029 [id="id_c90d3681_d4e9_49d6_9e8f_ff39a2f139d2@id_19b5afc4_7789_491e_b7ab_a8950497635d" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_1d8323b0_0af4_4143_981c_c25600862029:s -> id_64901fb7_1f6e_48a4_9611_122821cc4c10:n [id="end_id_1d8323b0_0af4_4143_981c_c25600862029@fun-main" tailtooltip=" " edgetooltip=" "]
  

}