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_5d7748fa_a534_43d8_8adc_07ee47e8d9ce [id="id_5d7748fa_a534_43d8_8adc_07ee47e8d9ce#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_7f0712fa_f5b3_4a16_875d_6a4c4bac161a [id="id_7f0712fa_f5b3_4a16_875d_6a4c4bac161a#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A = 0" tooltip="A: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a851de03_1418_4a13_97ba_0ad3d0036b39 [id="id_a851de03_1418_4a13_97ba_0ad3d0036b39#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B = 0" tooltip="B: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4235da3f_605f_4ace_b1cb_9e0915c0d1d0 [id="id_4235da3f_605f_4ace_b1cb_9e0915c0d1d0#Input" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A" tooltip="A" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_97a7fa0b_a365_4449_b7c6_960a910ad4f1 [id="id_97a7fa0b_a365_4449_b7c6_960a910ad4f1#Input" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B" tooltip="B" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6#If" pos="0.0,9995.3125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A>=0" tooltip="A>=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_03024d9d_5959_40ac_8545_7c54f273d469 [id="id_03024d9d_5959_40ac_8545_7c54f273d469#Output" pos="2.5,9994.375!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_18c64779_c9a0_402a_a6ed_87dad4b1eae1"    label="\"i due valori sono uguali\"" tooltip="\"i due valori sono uguali\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e6282a08_7913_450e_88f6_8308c8656bb2 [id="id_e6282a08_7913_450e_88f6_8308c8656bb2#Output" pos="-2.5,9994.375!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_c2f60a9a_9820_430e_a4fc_26846b9e0963"    label="\"i due valori sono uguali\"" tooltip="\"i due valori sono uguali\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [ pos="-2.5,9993.4375!" shape=point width=0]
  
  end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6#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_f682d5db_9be6_466c_89d5_994ee822d60d [id="id_f682d5db_9be6_466c_89d5_994ee822d60d#If" pos="0.0,9992.5!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A<=0" tooltip="A<=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d [pos="5.0,9992.5!" shape=point width=0]
  false_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d [pos="-5.0,9992.5!" shape=point width=0]
  
  id_e998256f_1017_46d8_9655_ec0abc728214 [id="id_e998256f_1017_46d8_9655_ec0abc728214#If" pos="5.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="id_4ab184cf_3f60_4481_abfa_a80b86f24f98" 
    label="B>=0" tooltip="B>=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 [pos="7.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 [pos="2.5,9991.5625!" shape=point width=0]
  
  id_a745bd7f_bc20_4d56_82f6_d0e9633e2753 [id="id_a745bd7f_bc20_4d56_82f6_d0e9633e2753#Output" pos="7.5,9990.625!" height=0.4 width=3.5 fixedsize=true group="id_3f30c4f8_d6e5_470f_8b87_2736df14acf6"    label="\"i due valori sono concordi\"" tooltip="\"i due valori sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f721c261_0e81_4a57_b3de_a6a8b0886289 [id="id_f721c261_0e81_4a57_b3de_a6a8b0886289#Output" pos="2.5,9990.625!" height=0.4 width=3.9400000000000004 fixedsize=true group="id_4959a4eb_513c_43c1_ad7c_4c373e3d0405"    label="\"i due valori non sono concordi\"" tooltip="\"i due valori non sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214 [ pos="7.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214 [ pos="2.5,9989.6875!" shape=point width=0]
  
  end_id_e998256f_1017_46d8_9655_ec0abc728214 [id="end_id_e998256f_1017_46d8_9655_ec0abc728214#IfEnd" class="flowrun-not-selectable" pos="5.0,9989.6875!" group="id_4ab184cf_3f60_4481_abfa_a80b86f24f98" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39#If" pos="-5.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="id_77457cbd_4c68_449e_96b0_22152ef56c9e" 
    label="B<=0" tooltip="B<=0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [pos="-2.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [pos="-7.5,9991.5625!" shape=point width=0]
  
  id_1e31851b_680a_4697_a56b_8f4df9facac2 [id="id_1e31851b_680a_4697_a56b_8f4df9facac2#Output" pos="-2.5,9990.625!" height=0.4 width=3.5 fixedsize=true group="id_cec77959_313d_4aad_a769_c5b755877d2d"    label="\"i due valori sono concordi\"" tooltip="\"i due valori sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_123c690d_6f2e_48ec_8976_30aacac4db42 [id="id_123c690d_6f2e_48ec_8976_30aacac4db42#Output" pos="-7.5,9990.625!" height=0.4 width=3.9400000000000004 fixedsize=true group="id_8cd3a064_cdf3_444c_95d3_a0b093ce20e9"    label="\"i due valori non sono concordi\"" tooltip="\"i due valori non sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [ pos="-2.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [ pos="-7.5,9989.6875!" shape=point width=0]
  
  end_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="end_id_ba84cbbe_8020_43b1_9c81_84c986830c39#IfEnd" class="flowrun-not-selectable" pos="-5.0,9989.6875!" group="id_77457cbd_4c68_449e_96b0_22152ef56c9e" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d [ pos="5.0,9988.75!" shape=point width=0]
  false_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d [ pos="-5.0,9988.75!" shape=point width=0]
  
  end_id_f682d5db_9be6_466c_89d5_994ee822d60d [id="end_id_f682d5db_9be6_466c_89d5_994ee822d60d#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_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="id_22889a40_6f74_4b42_b9f1_33dbab6525d5#If" pos="0.0,9987.8125!" height=0.5 width=1.1600000000000001 fixedsize=true group="fun-main" 
    label="A==1/B" tooltip="A==1/B" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [pos="2.5,9987.8125!" shape=point width=0]
  false_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [pos="-2.5,9987.8125!" shape=point width=0]
  
  id_d41cc638_6c81_47c1_9f49_d5f9ef221764 [id="id_d41cc638_6c81_47c1_9f49_d5f9ef221764#Output" pos="2.5,9986.875!" height=0.4 width=3.39 fixedsize=true group="id_8d27b81d_37fd_4a0e_809e_c9bc0539ee11"    label="\"i due valori sono inversi\"" tooltip="\"i due valori sono inversi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_22311ed3_137f_41f3_80a0_94eb0a1eb769 [id="id_22311ed3_137f_41f3_80a0_94eb0a1eb769#Output" pos="-2.5,9986.875!" height=0.4 width=3.83 fixedsize=true group="id_8415065b_6d04_4b98_a601_a3a4506e4aef"    label="\"i due valori non sono inversi\"" tooltip="\"i due valori non sono inversi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [ pos="2.5,9985.9375!" shape=point width=0]
  false_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [ pos="-2.5,9985.9375!" shape=point width=0]
  
  end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5#IfEnd" class="flowrun-not-selectable" pos="0.0,9985.9375!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7#If" pos="0.0,9985.0!" height=0.5 width=1.38 fixedsize=true group="fun-main" 
    label="A==B*(-)" tooltip="A==B*(-)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [pos="2.5,9985.0!" shape=point width=0]
  false_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [pos="-2.5,9985.0!" shape=point width=0]
  
  id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c [id="id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c#Output" pos="2.5,9984.0625!" height=0.4 width=3.39 fixedsize=true group="id_ac66e549_25b6_44c7_8d42_7cd474065cf1"    label="\"i due valori sono opposti\"" tooltip="\"i due valori sono opposti\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_45a825cd_553e_4e2d_a365_17aeb987c010 [id="id_45a825cd_553e_4e2d_a365_17aeb987c010#Output" pos="-2.5,9984.0625!" height=0.4 width=3.83 fixedsize=true group="id_8e8ec4fb_4986_4866_ab91_ef94de617230"    label="\"i due valori non sono opposti\"" tooltip="\"i due valori non sono opposti\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [ pos="2.5,9983.125!" shape=point width=0]
  false_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [ pos="-2.5,9983.125!" shape=point width=0]
  
  end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7#IfEnd" class="flowrun-not-selectable" pos="0.0,9983.125!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_aa870944_27a1_4554_b014_bd18171d1412 [id="id_aa870944_27a1_4554_b014_bd18171d1412#Return" pos="0.0,9982.1875!" 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_5d7748fa_a534_43d8_8adc_07ee47e8d9ce:s -> id_7f0712fa_f5b3_4a16_875d_6a4c4bac161a:n [id="id_5d7748fa_a534_43d8_8adc_07ee47e8d9ce@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7f0712fa_f5b3_4a16_875d_6a4c4bac161a:s -> id_a851de03_1418_4a13_97ba_0ad3d0036b39:n [id="id_7f0712fa_f5b3_4a16_875d_6a4c4bac161a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a851de03_1418_4a13_97ba_0ad3d0036b39:s -> id_4235da3f_605f_4ace_b1cb_9e0915c0d1d0:n [id="id_a851de03_1418_4a13_97ba_0ad3d0036b39@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4235da3f_605f_4ace_b1cb_9e0915c0d1d0:s -> id_97a7fa0b_a365_4449_b7c6_960a910ad4f1:n [id="id_4235da3f_605f_4ace_b1cb_9e0915c0d1d0@fun-main" tailtooltip=" " edgetooltip=" "]
  id_97a7fa0b_a365_4449_b7c6_960a910ad4f1:s -> id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:n [id="id_97a7fa0b_a365_4449_b7c6_960a910ad4f1@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:e -> true_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6@id_18c64779_c9a0_402a_a6ed_87dad4b1eae1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 -> id_03024d9d_5959_40ac_8545_7c54f273d469:n [id="id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6@id_18c64779_c9a0_402a_a6ed_87dad4b1eae1" tailtooltip=" " edgetooltip=" "]
  
  id_03024d9d_5959_40ac_8545_7c54f273d469:s -> true_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:n [id="id_03024d9d_5959_40ac_8545_7c54f273d469@id_18c64779_c9a0_402a_a6ed_87dad4b1eae1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 -> end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="id_03024d9d_5959_40ac_8545_7c54f273d469@id_18c64779_c9a0_402a_a6ed_87dad4b1eae1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:w -> false_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6@id_c2f60a9a_9820_430e_a4fc_26846b9e0963" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 -> id_e6282a08_7913_450e_88f6_8308c8656bb2:n [id="id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6@id_c2f60a9a_9820_430e_a4fc_26846b9e0963" tailtooltip=" " edgetooltip=" "]
  
  id_e6282a08_7913_450e_88f6_8308c8656bb2:s -> false_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:n [id="id_e6282a08_7913_450e_88f6_8308c8656bb2@id_c2f60a9a_9820_430e_a4fc_26846b9e0963" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 -> end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6 [id="id_e6282a08_7913_450e_88f6_8308c8656bb2@id_c2f60a9a_9820_430e_a4fc_26846b9e0963" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6:s -> id_f682d5db_9be6_466c_89d5_994ee822d60d:n [id="end_id_9d72bf4e_2efd_44be_a47c_2dc4601f8ad6@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_f682d5db_9be6_466c_89d5_994ee822d60d:e -> true_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d [id="id_f682d5db_9be6_466c_89d5_994ee822d60d@id_4ab184cf_3f60_4481_abfa_a80b86f24f98" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d -> id_e998256f_1017_46d8_9655_ec0abc728214:n [id="id_f682d5db_9be6_466c_89d5_994ee822d60d@id_4ab184cf_3f60_4481_abfa_a80b86f24f98" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_e998256f_1017_46d8_9655_ec0abc728214:e -> true_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 [id="id_e998256f_1017_46d8_9655_ec0abc728214@id_3f30c4f8_d6e5_470f_8b87_2736df14acf6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 -> id_a745bd7f_bc20_4d56_82f6_d0e9633e2753:n [id="id_e998256f_1017_46d8_9655_ec0abc728214@id_3f30c4f8_d6e5_470f_8b87_2736df14acf6" tailtooltip=" " edgetooltip=" "]
  
  id_a745bd7f_bc20_4d56_82f6_d0e9633e2753:s -> true_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214:n [id="id_a745bd7f_bc20_4d56_82f6_d0e9633e2753@id_3f30c4f8_d6e5_470f_8b87_2736df14acf6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214 -> end_id_e998256f_1017_46d8_9655_ec0abc728214 [id="id_a745bd7f_bc20_4d56_82f6_d0e9633e2753@id_3f30c4f8_d6e5_470f_8b87_2736df14acf6" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_e998256f_1017_46d8_9655_ec0abc728214:w -> false_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 [id="id_e998256f_1017_46d8_9655_ec0abc728214@id_4959a4eb_513c_43c1_ad7c_4c373e3d0405" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_e998256f_1017_46d8_9655_ec0abc728214 -> id_f721c261_0e81_4a57_b3de_a6a8b0886289:n [id="id_e998256f_1017_46d8_9655_ec0abc728214@id_4959a4eb_513c_43c1_ad7c_4c373e3d0405" tailtooltip=" " edgetooltip=" "]
  
  id_f721c261_0e81_4a57_b3de_a6a8b0886289:s -> false_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214:n [id="id_f721c261_0e81_4a57_b3de_a6a8b0886289@id_4959a4eb_513c_43c1_ad7c_4c373e3d0405" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_e998256f_1017_46d8_9655_ec0abc728214 -> end_id_e998256f_1017_46d8_9655_ec0abc728214 [id="id_f721c261_0e81_4a57_b3de_a6a8b0886289@id_4959a4eb_513c_43c1_ad7c_4c373e3d0405" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_e998256f_1017_46d8_9655_ec0abc728214:s -> true_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d:n [id="end_id_e998256f_1017_46d8_9655_ec0abc728214@id_4ab184cf_3f60_4481_abfa_a80b86f24f98" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d -> end_id_f682d5db_9be6_466c_89d5_994ee822d60d [id="id_e998256f_1017_46d8_9655_ec0abc728214@id_4ab184cf_3f60_4481_abfa_a80b86f24f98" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_f682d5db_9be6_466c_89d5_994ee822d60d:w -> false_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d [id="id_f682d5db_9be6_466c_89d5_994ee822d60d@id_77457cbd_4c68_449e_96b0_22152ef56c9e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f682d5db_9be6_466c_89d5_994ee822d60d -> id_ba84cbbe_8020_43b1_9c81_84c986830c39:n [id="id_f682d5db_9be6_466c_89d5_994ee822d60d@id_77457cbd_4c68_449e_96b0_22152ef56c9e" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_ba84cbbe_8020_43b1_9c81_84c986830c39:e -> true_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_cec77959_313d_4aad_a769_c5b755877d2d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 -> id_1e31851b_680a_4697_a56b_8f4df9facac2:n [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_cec77959_313d_4aad_a769_c5b755877d2d" tailtooltip=" " edgetooltip=" "]
  
  id_1e31851b_680a_4697_a56b_8f4df9facac2:s -> true_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39:n [id="id_1e31851b_680a_4697_a56b_8f4df9facac2@id_cec77959_313d_4aad_a769_c5b755877d2d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39 -> end_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="id_1e31851b_680a_4697_a56b_8f4df9facac2@id_cec77959_313d_4aad_a769_c5b755877d2d" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_ba84cbbe_8020_43b1_9c81_84c986830c39:w -> false_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_8cd3a064_cdf3_444c_95d3_a0b093ce20e9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ba84cbbe_8020_43b1_9c81_84c986830c39 -> id_123c690d_6f2e_48ec_8976_30aacac4db42:n [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_8cd3a064_cdf3_444c_95d3_a0b093ce20e9" tailtooltip=" " edgetooltip=" "]
  
  id_123c690d_6f2e_48ec_8976_30aacac4db42:s -> false_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39:n [id="id_123c690d_6f2e_48ec_8976_30aacac4db42@id_8cd3a064_cdf3_444c_95d3_a0b093ce20e9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_ba84cbbe_8020_43b1_9c81_84c986830c39 -> end_id_ba84cbbe_8020_43b1_9c81_84c986830c39 [id="id_123c690d_6f2e_48ec_8976_30aacac4db42@id_8cd3a064_cdf3_444c_95d3_a0b093ce20e9" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_ba84cbbe_8020_43b1_9c81_84c986830c39:s -> false_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d:n [id="end_id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_77457cbd_4c68_449e_96b0_22152ef56c9e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_f682d5db_9be6_466c_89d5_994ee822d60d -> end_id_f682d5db_9be6_466c_89d5_994ee822d60d [id="id_ba84cbbe_8020_43b1_9c81_84c986830c39@id_77457cbd_4c68_449e_96b0_22152ef56c9e" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_f682d5db_9be6_466c_89d5_994ee822d60d:s -> id_22889a40_6f74_4b42_b9f1_33dbab6525d5:n [id="end_id_f682d5db_9be6_466c_89d5_994ee822d60d@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_22889a40_6f74_4b42_b9f1_33dbab6525d5:e -> true_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="id_22889a40_6f74_4b42_b9f1_33dbab6525d5@id_8d27b81d_37fd_4a0e_809e_c9bc0539ee11" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 -> id_d41cc638_6c81_47c1_9f49_d5f9ef221764:n [id="id_22889a40_6f74_4b42_b9f1_33dbab6525d5@id_8d27b81d_37fd_4a0e_809e_c9bc0539ee11" tailtooltip=" " edgetooltip=" "]
  
  id_d41cc638_6c81_47c1_9f49_d5f9ef221764:s -> true_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5:n [id="id_d41cc638_6c81_47c1_9f49_d5f9ef221764@id_8d27b81d_37fd_4a0e_809e_c9bc0539ee11" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 -> end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="id_d41cc638_6c81_47c1_9f49_d5f9ef221764@id_8d27b81d_37fd_4a0e_809e_c9bc0539ee11" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_22889a40_6f74_4b42_b9f1_33dbab6525d5:w -> false_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="id_22889a40_6f74_4b42_b9f1_33dbab6525d5@id_8415065b_6d04_4b98_a601_a3a4506e4aef" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 -> id_22311ed3_137f_41f3_80a0_94eb0a1eb769:n [id="id_22889a40_6f74_4b42_b9f1_33dbab6525d5@id_8415065b_6d04_4b98_a601_a3a4506e4aef" tailtooltip=" " edgetooltip=" "]
  
  id_22311ed3_137f_41f3_80a0_94eb0a1eb769:s -> false_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5:n [id="id_22311ed3_137f_41f3_80a0_94eb0a1eb769@id_8415065b_6d04_4b98_a601_a3a4506e4aef" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 -> end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5 [id="id_22311ed3_137f_41f3_80a0_94eb0a1eb769@id_8415065b_6d04_4b98_a601_a3a4506e4aef" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5:s -> id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:n [id="end_id_22889a40_6f74_4b42_b9f1_33dbab6525d5@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:e -> true_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7@id_ac66e549_25b6_44c7_8d42_7cd474065cf1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 -> id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c:n [id="id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7@id_ac66e549_25b6_44c7_8d42_7cd474065cf1" tailtooltip=" " edgetooltip=" "]
  
  id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c:s -> true_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:n [id="id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c@id_ac66e549_25b6_44c7_8d42_7cd474065cf1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 -> end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="id_b317d4ac_863e_4b4c_91dc_0e77d6fb289c@id_ac66e549_25b6_44c7_8d42_7cd474065cf1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:w -> false_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7@id_8e8ec4fb_4986_4866_ab91_ef94de617230" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 -> id_45a825cd_553e_4e2d_a365_17aeb987c010:n [id="id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7@id_8e8ec4fb_4986_4866_ab91_ef94de617230" tailtooltip=" " edgetooltip=" "]
  
  id_45a825cd_553e_4e2d_a365_17aeb987c010:s -> false_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:n [id="id_45a825cd_553e_4e2d_a365_17aeb987c010@id_8e8ec4fb_4986_4866_ab91_ef94de617230" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 -> end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7 [id="id_45a825cd_553e_4e2d_a365_17aeb987c010@id_8e8ec4fb_4986_4866_ab91_ef94de617230" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7:s -> id_aa870944_27a1_4554_b014_bd18171d1412:n [id="end_id_98f34c70_3f10_4f17_8bdc_77a86a9ec8d7@fun-main" tailtooltip=" " edgetooltip=" "]
  

}