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_b9a7f67b_eac7_4c4b_a8eb_5d252eb865ea [id="id_b9a7f67b_eac7_4c4b_a8eb_5d252eb865ea#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_55439bd6_84d8_4f7b_b707_c5b63d068a31 [id="id_55439bd6_84d8_4f7b_b707_c5b63d068a31#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_28bb98aa_1381_429d_9a6f_3ef6e29ff146 [id="id_28bb98aa_1381_429d_9a6f_3ef6e29ff146#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_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="id_bc73e930_6a9f_4181_8cdf_137dc896ead6#If" pos="0.0,9997.1875!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="x==0" tooltip="x==0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [pos="2.5,9997.1875!" shape=point width=0]
  false_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [pos="-1.25,9997.1875!" shape=point width=0]
  
  id_32ef2819_2758_4a26_95b9_68ee39535028 [id="id_32ef2819_2758_4a26_95b9_68ee39535028#If" pos="2.5,9996.25!" height=0.5 width=1.0 fixedsize=true group="id_6539f9db_6555_4b62_b94d_f2acf3818b42" 
    label="x<0" tooltip="x<0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 [pos="3.75,9996.25!" shape=point width=0]
  false_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 [pos="1.25,9996.25!" shape=point width=0]
  
  id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4 [id="id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4#Output" pos="3.75,9995.3125!" height=0.4 width=1.52 fixedsize=true group="id_56a6124a_ad02_46ff_98c5_64eb4352ac98"    label="\"negative\"" tooltip="\"negative\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1fe18739_e92a_45e1_8f06_889bd5d64d2a [id="id_1fe18739_e92a_45e1_8f06_889bd5d64d2a#Output" pos="1.25,9995.3125!" height=0.4 width=1.96 fixedsize=true group="id_31092e0c_1513_4abd_a78c_2f49e6b8262c"    label="\"non negative\"" tooltip="\"non negative\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028 [ pos="3.75,9994.375!" shape=point width=0]
  false_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028 [ pos="1.25,9994.375!" shape=point width=0]
  
  end_id_32ef2819_2758_4a26_95b9_68ee39535028 [id="end_id_32ef2819_2758_4a26_95b9_68ee39535028#IfEnd" class="flowrun-not-selectable" pos="2.5,9994.375!" group="id_6539f9db_6555_4b62_b94d_f2acf3818b42" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_943b1537_8777_4617_a304_da9ebb286291 [id="id_943b1537_8777_4617_a304_da9ebb286291#Output" pos="-1.25,9996.25!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_3e4a36d0_a553_47b6_9a75_740c0d53dcab"    label="\"nonnegative\"" tooltip="\"nonnegative\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [ pos="-1.25,9993.4375!" shape=point width=0]
  
  end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6#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_304b2517_3a17_4bfc_88a7_1228247bf512 [id="id_304b2517_3a17_4bfc_88a7_1228247bf512#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_b9a7f67b_eac7_4c4b_a8eb_5d252eb865ea:s -> id_55439bd6_84d8_4f7b_b707_c5b63d068a31:n [id="id_b9a7f67b_eac7_4c4b_a8eb_5d252eb865ea@fun-main" tailtooltip=" " edgetooltip=" "]
  id_55439bd6_84d8_4f7b_b707_c5b63d068a31:s -> id_28bb98aa_1381_429d_9a6f_3ef6e29ff146:n [id="id_55439bd6_84d8_4f7b_b707_c5b63d068a31@fun-main" tailtooltip=" " edgetooltip=" "]
  id_28bb98aa_1381_429d_9a6f_3ef6e29ff146:s -> id_bc73e930_6a9f_4181_8cdf_137dc896ead6:n [id="id_28bb98aa_1381_429d_9a6f_3ef6e29ff146@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_bc73e930_6a9f_4181_8cdf_137dc896ead6:e -> true_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="id_bc73e930_6a9f_4181_8cdf_137dc896ead6@id_6539f9db_6555_4b62_b94d_f2acf3818b42" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 -> id_32ef2819_2758_4a26_95b9_68ee39535028:n [id="id_bc73e930_6a9f_4181_8cdf_137dc896ead6@id_6539f9db_6555_4b62_b94d_f2acf3818b42" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_32ef2819_2758_4a26_95b9_68ee39535028:e -> true_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 [id="id_32ef2819_2758_4a26_95b9_68ee39535028@id_56a6124a_ad02_46ff_98c5_64eb4352ac98" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 -> id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4:n [id="id_32ef2819_2758_4a26_95b9_68ee39535028@id_56a6124a_ad02_46ff_98c5_64eb4352ac98" tailtooltip=" " edgetooltip=" "]
  
  id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4:s -> true_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028:n [id="id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4@id_56a6124a_ad02_46ff_98c5_64eb4352ac98" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028 -> end_id_32ef2819_2758_4a26_95b9_68ee39535028 [id="id_de55b6c6_202b_4cd4_a76d_bcb1b0380df4@id_56a6124a_ad02_46ff_98c5_64eb4352ac98" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_32ef2819_2758_4a26_95b9_68ee39535028:w -> false_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 [id="id_32ef2819_2758_4a26_95b9_68ee39535028@id_31092e0c_1513_4abd_a78c_2f49e6b8262c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_32ef2819_2758_4a26_95b9_68ee39535028 -> id_1fe18739_e92a_45e1_8f06_889bd5d64d2a:n [id="id_32ef2819_2758_4a26_95b9_68ee39535028@id_31092e0c_1513_4abd_a78c_2f49e6b8262c" tailtooltip=" " edgetooltip=" "]
  
  id_1fe18739_e92a_45e1_8f06_889bd5d64d2a:s -> false_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028:n [id="id_1fe18739_e92a_45e1_8f06_889bd5d64d2a@id_31092e0c_1513_4abd_a78c_2f49e6b8262c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_32ef2819_2758_4a26_95b9_68ee39535028 -> end_id_32ef2819_2758_4a26_95b9_68ee39535028 [id="id_1fe18739_e92a_45e1_8f06_889bd5d64d2a@id_31092e0c_1513_4abd_a78c_2f49e6b8262c" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_32ef2819_2758_4a26_95b9_68ee39535028:s -> true_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6:n [id="end_id_32ef2819_2758_4a26_95b9_68ee39535028@id_6539f9db_6555_4b62_b94d_f2acf3818b42" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 -> end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="id_32ef2819_2758_4a26_95b9_68ee39535028@id_6539f9db_6555_4b62_b94d_f2acf3818b42" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_bc73e930_6a9f_4181_8cdf_137dc896ead6:w -> false_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="id_bc73e930_6a9f_4181_8cdf_137dc896ead6@id_3e4a36d0_a553_47b6_9a75_740c0d53dcab" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 -> id_943b1537_8777_4617_a304_da9ebb286291:n [id="id_bc73e930_6a9f_4181_8cdf_137dc896ead6@id_3e4a36d0_a553_47b6_9a75_740c0d53dcab" tailtooltip=" " edgetooltip=" "]
  
  id_943b1537_8777_4617_a304_da9ebb286291:s -> false_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6:n [id="id_943b1537_8777_4617_a304_da9ebb286291@id_3e4a36d0_a553_47b6_9a75_740c0d53dcab" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 -> end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6 [id="id_943b1537_8777_4617_a304_da9ebb286291@id_3e4a36d0_a553_47b6_9a75_740c0d53dcab" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6:s -> id_304b2517_3a17_4bfc_88a7_1228247bf512:n [id="end_id_bc73e930_6a9f_4181_8cdf_137dc896ead6@fun-main" tailtooltip=" " edgetooltip=" "]
  

}