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_072c4d41_8edc_43ce_bad2_96e4a2ef32f6 [id="id_072c4d41_8edc_43ce_bad2_96e4a2ef32f6#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_1c27fc4c_55f7_4f63_977c_12b812cca58c [id="id_1c27fc4c_55f7_4f63_977c_12b812cca58c#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_7d5ca0d5_c523_4ef5_9f8e_1837f1f067a6 [id="id_7d5ca0d5_c523_4ef5_9f8e_1837f1f067a6#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="B = 0" tooltip="B: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f3c6080b_4822_471c_8c1a_2dbcb71e8d1e [id="id_f3c6080b_4822_471c_8c1a_2dbcb71e8d1e#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_bf94d318_865f_480f_8001_bee6131130e5 [id="id_bf94d318_865f_480f_8001_bee6131130e5#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_fcfc895a_2a56_4595_b908_4784500a16ff [id="id_fcfc895a_2a56_4595_b908_4784500a16ff#If" pos="0.0,9995.3125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A==B" tooltip="A==B" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff [pos="2.5,9995.3125!" shape=point width=0]
  false_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff [pos="-2.5,9995.3125!" shape=point width=0]
  
  id_da301fcc_a17b_48d5_be97_a3926757f6c9 [id="id_da301fcc_a17b_48d5_be97_a3926757f6c9#Output" pos="2.5,9994.375!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_03569339_2cc4_43bc_9944_1bdde3c932f0"    label="\"A e B sono uguali\"" tooltip="\"A e B sono uguali\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8de98532_25f4_434d_8e33_e2c14c48f1bd [id="id_8de98532_25f4_434d_8e33_e2c14c48f1bd#Output" pos="-2.5,9994.375!" height=0.4 width=2.95 fixedsize=true group="id_35c74ea5_0394_42e6_b138_ee9ab4d8170a"    label="\"A e B non sono uguali\"" tooltip="\"A e B non sono uguali\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff [ pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff [ pos="-2.5,9993.4375!" shape=point width=0]
  
  end_id_fcfc895a_2a56_4595_b908_4784500a16ff [id="end_id_fcfc895a_2a56_4595_b908_4784500a16ff#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_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="id_ec6b81f0_ecea_48a4_9892_36044ae35cc0#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_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [pos="5.0,9992.5!" shape=point width=0]
  false_dummy_up_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [pos="-5.0,9992.5!" shape=point width=0]
  
  id_f654a123_17cc_4c6e_b13b_c21613653628 [id="id_f654a123_17cc_4c6e_b13b_c21613653628#If" pos="5.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" 
    label="B>0" tooltip="B>0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 [pos="7.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 [pos="2.5,9991.5625!" shape=point width=0]
  
  id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9 [id="id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9#Output" pos="7.5,9990.625!" height=0.4 width=2.73 fixedsize=true group="id_a1863128_f765_44ea_ba43_2ccbf4070ccf"    label="\"A e B sono concordi\"" tooltip="\"A e B sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_74ee3287_c39c_4c7a_8fad_b225ceda4d75 [id="id_74ee3287_c39c_4c7a_8fad_b225ceda4d75#Output" pos="2.5,9990.625!" height=0.4 width=3.1700000000000004 fixedsize=true group="id_68d029f4_e3cb_4521_ad38_83b16c124164"    label="\"A e B non sono concordi\"" tooltip="\"A e B non sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628 [ pos="7.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628 [ pos="2.5,9989.6875!" shape=point width=0]
  
  end_id_f654a123_17cc_4c6e_b13b_c21613653628 [id="end_id_f654a123_17cc_4c6e_b13b_c21613653628#IfEnd" class="flowrun-not-selectable" pos="5.0,9989.6875!" group="id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f#If" pos="-5.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="id_c79a616d_bbed_4506_9b62_fb2145dd94a9" 
    label="B<0" tooltip="B<0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [pos="-2.5,9991.5625!" shape=point width=0]
  false_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [pos="-7.5,9991.5625!" shape=point width=0]
  
  id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb [id="id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb#Output" pos="-2.5,9990.625!" height=0.4 width=2.73 fixedsize=true group="id_700210d6_84dd_4ee4_8f36_3b15061e420c"    label="\"A e B sono concordi\"" tooltip="\"A e B sono concordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b56d8b27_b129_4d56_bc70_e8ffccc9166f [id="id_b56d8b27_b129_4d56_bc70_e8ffccc9166f#Output" pos="-7.5,9990.625!" height=0.4 width=2.73 fixedsize=true group="id_42639299_e75a_4ad8_ab38_f77e7175b5a3"    label="\"A e B sono discordi\"" tooltip="\"A e B sono discordi\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [ pos="-2.5,9989.6875!" shape=point width=0]
  false_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [ pos="-7.5,9989.6875!" shape=point width=0]
  
  end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f#IfEnd" class="flowrun-not-selectable" pos="-5.0,9989.6875!" group="id_c79a616d_bbed_4506_9b62_fb2145dd94a9" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [ pos="5.0,9988.75!" shape=point width=0]
  false_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [ pos="-5.0,9988.75!" shape=point width=0]
  
  end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0#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_75c387c2_1804_48f3_a20d_385435de5244 [id="id_75c387c2_1804_48f3_a20d_385435de5244#If" pos="0.0,9987.8125!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="A==4" tooltip="A==4" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 [pos="3.75,9987.8125!" shape=point width=0]
  false_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 [pos="-3.75,9987.8125!" shape=point width=0]
  
  id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="id_fad8144b_7330_4c5a_8faf_292a342c5617#If" pos="3.75,9986.875!" height=0.5 width=1.27 fixedsize=true group="id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" 
    label="B==0.25" tooltip="B==0.25" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 [pos="5.0,9986.875!" shape=point width=0]
  false_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 [pos="2.5,9986.875!" shape=point width=0]
  
  
  
  
  true_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617 [ pos="5.0,9985.9375!" shape=point width=0]
  false_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617 [ pos="2.5,9985.9375!" shape=point width=0]
  
  end_id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="end_id_fad8144b_7330_4c5a_8faf_292a342c5617#IfEnd" class="flowrun-not-selectable" pos="3.75,9985.9375!" group="id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_fb3bb4c3_405a_4275_9910_0afc940701b4 [id="id_fb3bb4c3_405a_4275_9910_0afc940701b4#Output" pos="3.75,9985.0!" height=0.4 width=4.49 fixedsize=true group="id_8f64d9af_fbce_4341_9db8_41ffe73c72c9"    label="\"A e B sono uno l'inverso dell'altro\"" tooltip="\"A e B sono uno l'inverso dell'altro\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404#If" pos="-3.75,9986.875!" height=0.5 width=1.27 fixedsize=true group="id_cfba54e1_597b_4bfd_91ff_e373b39384f6" 
    label="B==0.75" tooltip="B==0.75" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [pos="-2.5,9986.875!" shape=point width=0]
  false_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [pos="-5.0,9986.875!" shape=point width=0]
  
  
  
  
  true_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [ pos="-2.5,9985.9375!" shape=point width=0]
  false_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [ pos="-5.0,9985.9375!" shape=point width=0]
  
  end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404#IfEnd" class="flowrun-not-selectable" pos="-3.75,9985.9375!" group="id_cfba54e1_597b_4bfd_91ff_e373b39384f6" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_ab20f8ae_ef21_4d4c_bd8d_be121108169b [id="id_ab20f8ae_ef21_4d4c_bd8d_be121108169b#Output" pos="-3.75,9985.0!" height=0.4 width=4.930000000000001 fixedsize=true group="id_cfba54e1_597b_4bfd_91ff_e373b39384f6"    label="\"A e B non sono uno l'inverso dell'altro\"" tooltip="\"A e B non sono uno l'inverso dell'altro\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244 [ pos="3.75,9984.0625!" shape=point width=0]
  false_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244 [ pos="-3.75,9984.0625!" shape=point width=0]
  
  end_id_75c387c2_1804_48f3_a20d_385435de5244 [id="end_id_75c387c2_1804_48f3_a20d_385435de5244#IfEnd" class="flowrun-not-selectable" pos="0.0,9984.0625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_d45c362d_0117_46cc_9842_3a32846f2e91 [id="id_d45c362d_0117_46cc_9842_3a32846f2e91#Return" pos="0.0,9983.125!" 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_072c4d41_8edc_43ce_bad2_96e4a2ef32f6:s -> id_1c27fc4c_55f7_4f63_977c_12b812cca58c:n [id="id_072c4d41_8edc_43ce_bad2_96e4a2ef32f6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1c27fc4c_55f7_4f63_977c_12b812cca58c:s -> id_7d5ca0d5_c523_4ef5_9f8e_1837f1f067a6:n [id="id_1c27fc4c_55f7_4f63_977c_12b812cca58c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7d5ca0d5_c523_4ef5_9f8e_1837f1f067a6:s -> id_f3c6080b_4822_471c_8c1a_2dbcb71e8d1e:n [id="id_7d5ca0d5_c523_4ef5_9f8e_1837f1f067a6@fun-main" tailtooltip=" " edgetooltip=" "]
  id_f3c6080b_4822_471c_8c1a_2dbcb71e8d1e:s -> id_bf94d318_865f_480f_8001_bee6131130e5:n [id="id_f3c6080b_4822_471c_8c1a_2dbcb71e8d1e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bf94d318_865f_480f_8001_bee6131130e5:s -> id_fcfc895a_2a56_4595_b908_4784500a16ff:n [id="id_bf94d318_865f_480f_8001_bee6131130e5@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_fcfc895a_2a56_4595_b908_4784500a16ff:e -> true_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff [id="id_fcfc895a_2a56_4595_b908_4784500a16ff@id_03569339_2cc4_43bc_9944_1bdde3c932f0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff -> id_da301fcc_a17b_48d5_be97_a3926757f6c9:n [id="id_fcfc895a_2a56_4595_b908_4784500a16ff@id_03569339_2cc4_43bc_9944_1bdde3c932f0" tailtooltip=" " edgetooltip=" "]
  
  id_da301fcc_a17b_48d5_be97_a3926757f6c9:s -> true_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff:n [id="id_da301fcc_a17b_48d5_be97_a3926757f6c9@id_03569339_2cc4_43bc_9944_1bdde3c932f0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff -> end_id_fcfc895a_2a56_4595_b908_4784500a16ff [id="id_da301fcc_a17b_48d5_be97_a3926757f6c9@id_03569339_2cc4_43bc_9944_1bdde3c932f0" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_fcfc895a_2a56_4595_b908_4784500a16ff:w -> false_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff [id="id_fcfc895a_2a56_4595_b908_4784500a16ff@id_35c74ea5_0394_42e6_b138_ee9ab4d8170a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_fcfc895a_2a56_4595_b908_4784500a16ff -> id_8de98532_25f4_434d_8e33_e2c14c48f1bd:n [id="id_fcfc895a_2a56_4595_b908_4784500a16ff@id_35c74ea5_0394_42e6_b138_ee9ab4d8170a" tailtooltip=" " edgetooltip=" "]
  
  id_8de98532_25f4_434d_8e33_e2c14c48f1bd:s -> false_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff:n [id="id_8de98532_25f4_434d_8e33_e2c14c48f1bd@id_35c74ea5_0394_42e6_b138_ee9ab4d8170a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_fcfc895a_2a56_4595_b908_4784500a16ff -> end_id_fcfc895a_2a56_4595_b908_4784500a16ff [id="id_8de98532_25f4_434d_8e33_e2c14c48f1bd@id_35c74ea5_0394_42e6_b138_ee9ab4d8170a" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_fcfc895a_2a56_4595_b908_4784500a16ff:s -> id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:n [id="end_id_fcfc895a_2a56_4595_b908_4784500a16ff@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:e -> true_dummy_up_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="id_ec6b81f0_ecea_48a4_9892_36044ae35cc0@id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 -> id_f654a123_17cc_4c6e_b13b_c21613653628:n [id="id_ec6b81f0_ecea_48a4_9892_36044ae35cc0@id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_f654a123_17cc_4c6e_b13b_c21613653628:e -> true_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 [id="id_f654a123_17cc_4c6e_b13b_c21613653628@id_a1863128_f765_44ea_ba43_2ccbf4070ccf" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 -> id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9:n [id="id_f654a123_17cc_4c6e_b13b_c21613653628@id_a1863128_f765_44ea_ba43_2ccbf4070ccf" tailtooltip=" " edgetooltip=" "]
  
  id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9:s -> true_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628:n [id="id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9@id_a1863128_f765_44ea_ba43_2ccbf4070ccf" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628 -> end_id_f654a123_17cc_4c6e_b13b_c21613653628 [id="id_0d5bf85d_5833_4f94_ad5d_a4b2f1e1abd9@id_a1863128_f765_44ea_ba43_2ccbf4070ccf" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_f654a123_17cc_4c6e_b13b_c21613653628:w -> false_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 [id="id_f654a123_17cc_4c6e_b13b_c21613653628@id_68d029f4_e3cb_4521_ad38_83b16c124164" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_f654a123_17cc_4c6e_b13b_c21613653628 -> id_74ee3287_c39c_4c7a_8fad_b225ceda4d75:n [id="id_f654a123_17cc_4c6e_b13b_c21613653628@id_68d029f4_e3cb_4521_ad38_83b16c124164" tailtooltip=" " edgetooltip=" "]
  
  id_74ee3287_c39c_4c7a_8fad_b225ceda4d75:s -> false_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628:n [id="id_74ee3287_c39c_4c7a_8fad_b225ceda4d75@id_68d029f4_e3cb_4521_ad38_83b16c124164" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_f654a123_17cc_4c6e_b13b_c21613653628 -> end_id_f654a123_17cc_4c6e_b13b_c21613653628 [id="id_74ee3287_c39c_4c7a_8fad_b225ceda4d75@id_68d029f4_e3cb_4521_ad38_83b16c124164" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_f654a123_17cc_4c6e_b13b_c21613653628:s -> true_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:n [id="end_id_f654a123_17cc_4c6e_b13b_c21613653628@id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 -> end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="id_f654a123_17cc_4c6e_b13b_c21613653628@id_f9e8cdfc_b794_42ad_bde7_1d8bb71ead10" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:w -> false_dummy_up_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="id_ec6b81f0_ecea_48a4_9892_36044ae35cc0@id_c79a616d_bbed_4506_9b62_fb2145dd94a9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 -> id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:n [id="id_ec6b81f0_ecea_48a4_9892_36044ae35cc0@id_c79a616d_bbed_4506_9b62_fb2145dd94a9" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:e -> true_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_700210d6_84dd_4ee4_8f36_3b15061e420c" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f -> id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb:n [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_700210d6_84dd_4ee4_8f36_3b15061e420c" tailtooltip=" " edgetooltip=" "]
  
  id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb:s -> true_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:n [id="id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb@id_700210d6_84dd_4ee4_8f36_3b15061e420c" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f -> end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="id_9cebe961_f6c2_4fd9_82c1_0a225af14dfb@id_700210d6_84dd_4ee4_8f36_3b15061e420c" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:w -> false_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_42639299_e75a_4ad8_ab38_f77e7175b5a3" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f -> id_b56d8b27_b129_4d56_bc70_e8ffccc9166f:n [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_42639299_e75a_4ad8_ab38_f77e7175b5a3" tailtooltip=" " edgetooltip=" "]
  
  id_b56d8b27_b129_4d56_bc70_e8ffccc9166f:s -> false_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:n [id="id_b56d8b27_b129_4d56_bc70_e8ffccc9166f@id_42639299_e75a_4ad8_ab38_f77e7175b5a3" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f -> end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f [id="id_b56d8b27_b129_4d56_bc70_e8ffccc9166f@id_42639299_e75a_4ad8_ab38_f77e7175b5a3" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f:s -> false_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:n [id="end_id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_c79a616d_bbed_4506_9b62_fb2145dd94a9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 -> end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0 [id="id_02b9d526_f73e_4b3d_bf1d_6a6a7145524f@id_c79a616d_bbed_4506_9b62_fb2145dd94a9" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0:s -> id_75c387c2_1804_48f3_a20d_385435de5244:n [id="end_id_ec6b81f0_ecea_48a4_9892_36044ae35cc0@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_75c387c2_1804_48f3_a20d_385435de5244:e -> true_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 [id="id_75c387c2_1804_48f3_a20d_385435de5244@id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 -> id_fad8144b_7330_4c5a_8faf_292a342c5617:n [id="id_75c387c2_1804_48f3_a20d_385435de5244@id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_fad8144b_7330_4c5a_8faf_292a342c5617:e -> true_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_49bd58a7_898c_491b_bccf_e301653eeda7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 -> true_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617:n [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_49bd58a7_898c_491b_bccf_e301653eeda7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617 -> end_id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_49bd58a7_898c_491b_bccf_e301653eeda7" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_fad8144b_7330_4c5a_8faf_292a342c5617:w -> false_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_3a512597_9512_43f8_934b_e959f40855a5" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_fad8144b_7330_4c5a_8faf_292a342c5617 -> false_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617:n [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_3a512597_9512_43f8_934b_e959f40855a5" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_fad8144b_7330_4c5a_8faf_292a342c5617 -> end_id_fad8144b_7330_4c5a_8faf_292a342c5617 [id="id_fad8144b_7330_4c5a_8faf_292a342c5617@id_3a512597_9512_43f8_934b_e959f40855a5" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_fad8144b_7330_4c5a_8faf_292a342c5617:s -> id_fb3bb4c3_405a_4275_9910_0afc940701b4:n [id="end_id_fad8144b_7330_4c5a_8faf_292a342c5617@id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" tailtooltip=" " edgetooltip=" "]
  
  
  id_fb3bb4c3_405a_4275_9910_0afc940701b4:s -> true_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244:n [id="id_fb3bb4c3_405a_4275_9910_0afc940701b4@id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244 -> end_id_75c387c2_1804_48f3_a20d_385435de5244 [id="id_fb3bb4c3_405a_4275_9910_0afc940701b4@id_8f64d9af_fbce_4341_9db8_41ffe73c72c9" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_75c387c2_1804_48f3_a20d_385435de5244:w -> false_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 [id="id_75c387c2_1804_48f3_a20d_385435de5244@id_cfba54e1_597b_4bfd_91ff_e373b39384f6" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_75c387c2_1804_48f3_a20d_385435de5244 -> id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:n [id="id_75c387c2_1804_48f3_a20d_385435de5244@id_cfba54e1_597b_4bfd_91ff_e373b39384f6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-TRUE
  id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:e -> true_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_89670e21_13f0_4fc3_8823_59d49c9f0527" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 -> true_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:n [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_89670e21_13f0_4fc3_8823_59d49c9f0527" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 -> end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_89670e21_13f0_4fc3_8823_59d49c9f0527" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:w -> false_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_523a70cf_0fd8_40d2_8ac7_5bffe573475e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 -> false_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:n [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_523a70cf_0fd8_40d2_8ac7_5bffe573475e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 -> end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404 [id="id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_523a70cf_0fd8_40d2_8ac7_5bffe573475e" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404:s -> id_ab20f8ae_ef21_4d4c_bd8d_be121108169b:n [id="end_id_8d0c32e1_f38a_41b4_9b6d_57d1a479c404@id_cfba54e1_597b_4bfd_91ff_e373b39384f6" tailtooltip=" " edgetooltip=" "]
  
  
  id_ab20f8ae_ef21_4d4c_bd8d_be121108169b:s -> false_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244:n [id="id_ab20f8ae_ef21_4d4c_bd8d_be121108169b@id_cfba54e1_597b_4bfd_91ff_e373b39384f6" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_75c387c2_1804_48f3_a20d_385435de5244 -> end_id_75c387c2_1804_48f3_a20d_385435de5244 [id="id_ab20f8ae_ef21_4d4c_bd8d_be121108169b@id_cfba54e1_597b_4bfd_91ff_e373b39384f6" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_75c387c2_1804_48f3_a20d_385435de5244:s -> id_d45c362d_0117_46cc_9842_3a32846f2e91:n [id="end_id_75c387c2_1804_48f3_a20d_385435de5244@fun-main" tailtooltip=" " edgetooltip=" "]
  

}