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_0809646e_15b9_4d7f_82dd_63336b53e2fa [id="id_0809646e_15b9_4d7f_82dd_63336b53e2fa#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_77ee7b19_e755_4457_8888_1bdea06036f4 [id="id_77ee7b19_e755_4457_8888_1bdea06036f4#Declare" pos="0.0,9999.0625!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="tentativi = 0" tooltip="tentativi: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_928a0da9_a166_403c_8c6c_acd1abb4161c [id="id_928a0da9_a166_403c_8c6c_acd1abb4161c#Declare" pos="0.0,9998.125!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="successo = false" tooltip="successo: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_78071119_3988_4a57_8f7f_46c85128389e [id="id_78071119_3988_4a57_8f7f_46c85128389e#Declare" pos="0.0,9997.1875!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="canaleLibero = false" tooltip="canaleLibero: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_871c305a_d2a1_4c3f_8903_3934bb625d4d [id="id_871c305a_d2a1_4c3f_8903_3934bb625d4d#Declare" pos="0.0,9996.25!" height=0.4 width=2.18 fixedsize=true group="fun-main"    label="collisioni = false" tooltip="collisioni: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_31eae74c_1a19_4ebf_bded_2525970344d2 [id="id_31eae74c_1a19_4ebf_bded_2525970344d2#Declare" pos="0.0,9995.3125!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="maxTentativi = 3" tooltip="maxTentativi: Integer = 3" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d#While" pos="0.0,9994.375!" height=0.5 width=5.23 fixedsize=true group="fun-main" 
    label="(successo==false)&&(tentativi<maxTentativi)" tooltip="(successo==false)&&(tentativi<maxTentativi)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="6.25,9994.375!" shape=point width=0]
  false_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="-3.75,9994.375!" shape=point width=0]
  
  id_b7898593_efdc_44b2_9fa2_c643ecd424bf [id="id_b7898593_efdc_44b2_9fa2_c643ecd424bf#Output" pos="6.25,9993.4375!" height=0.4 width=2.73 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="\"Il canale è libero?\"" tooltip="\"Il canale è libero?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9ce037c7_0aa4_450e_b4ac_29d58248470a [id="id_9ce037c7_0aa4_450e_b4ac_29d58248470a#Input" pos="6.25,9992.5!" height=0.4 width=1.52 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="canaleLibero" tooltip="canaleLibero" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac#While" pos="6.25,9991.5625!" height=0.5 width=2.59 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" 
    label="canaleLibero==false" tooltip="canaleLibero==false" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="10.0,9991.5625!" shape=point width=0]
  false_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="3.75,9991.5625!" shape=point width=0]
  
  id_fde3bae0_d182_465b_9efc_bcab46a1fe29 [id="id_fde3bae0_d182_465b_9efc_bcab46a1fe29#Output" pos="10.0,9990.625!" height=0.4 width=2.29 fixedsize=true group="id_9e68a48a_fda8_4ba5_8655_c83af6b279e8"    label="\"Canale occupato\"" tooltip="\"Canale occupato\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0c58d830_214c_4358_b261_351f687fcb4b [id="id_0c58d830_214c_4358_b261_351f687fcb4b#Input" pos="10.0,9989.6875!" height=0.4 width=1.52 fixedsize=true group="id_9e68a48a_fda8_4ba5_8655_c83af6b279e8"    label="canaleLibero" tooltip="canaleLibero" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="10.0,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="6.25,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="3.75,9988.75!" shape=point width=0]
  end_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [pos="6.25,9988.75!" group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" shape=point width=0]
  
  
  id_dccf0a9a_fc00_4940_bf31_a6e92be64f42 [id="id_dccf0a9a_fc00_4940_bf31_a6e92be64f42#Output" pos="6.25,9987.8125!" height=0.4 width=4.71 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="\"Canale Libero. Inizio Trasmissione...\"" tooltip="\"Canale Libero. Inizio Trasmissione...\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_582ee6de_3595_4bb9_985b_bf7560b9cdbf [id="id_582ee6de_3595_4bb9_985b_bf7560b9cdbf#Assign" pos="6.25,9986.875!" height=0.4 width=2.73 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="tentativi = tentativi+1" tooltip="tentativi = tentativi+1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_4cc8e93c_90fe_4dcc_881f_8bc173bd06a8 [id="id_4cc8e93c_90fe_4dcc_881f_8bc173bd06a8#Output" pos="6.25,9985.9375!" height=0.4 width=1.96 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="\"Collissioni?\"" tooltip="\"Collissioni?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6f8f4ab3_575c_4ecb_b4ea_c9c752465015 [id="id_6f8f4ab3_575c_4ecb_b4ea_c9c752465015#Input" pos="6.25,9985.0!" height=0.4 width=1.3 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e"    label="collisioni" tooltip="collisioni" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec#If" pos="6.25,9984.0625!" height=0.5 width=2.26 fixedsize=true group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" 
    label="collisioni==true" tooltip="collisioni==true" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [pos="10.0,9984.0625!" shape=point width=0]
  false_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [pos="5.0,9984.0625!" shape=point width=0]
  
  id_21015145_8ce4_49e6_9132_7be02261147c [id="id_21015145_8ce4_49e6_9132_7be02261147c#Output" pos="10.0,9983.125!" height=0.4 width=5.48 fixedsize=true group="id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2"    label="\"Collisione! Genero Segnale di Jam e riprovo!\"" tooltip="\"Collisione! Genero Segnale di Jam e riprovo!\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3fd3c553_5f67_4c69_a1c1_141d3d958016 [id="id_3fd3c553_5f67_4c69_a1c1_141d3d958016#Output" pos="10.0,9982.1875!" height=0.4 width=1.19 fixedsize=true group="id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2"    label="tentativi" tooltip="tentativi" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9 [id="id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9#Assign" pos="5.0,9983.125!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_b53e0948_7d03_4c85_a285_3cff6ae1f8fd"    label="successo = true" tooltip="successo = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [ pos="10.0,9981.25!" shape=point width=0]
  false_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [ pos="5.0,9981.25!" shape=point width=0]
  
  end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec#IfEnd" class="flowrun-not-selectable" pos="6.25,9981.25!" group="id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="6.25,9980.416666666666!" shape=point width=0]
  true_dummy_down_left_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="0.0,9980.416666666666!" shape=point width=0]
  false_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="-3.75,9980.3125!" shape=point width=0]
  end_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [pos="0.0,9980.3125!" group="fun-main" shape=point width=0]
  
  
  id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_1974583a_6a8d_4e93_be0a_77229218a10e#If" pos="0.0,9979.375!" height=0.5 width=2.04 fixedsize=true group="fun-main" 
    label="successo==true" tooltip="successo==true" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e [pos="2.5,9979.375!" shape=point width=0]
  false_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e [pos="-3.75,9979.375!" shape=point width=0]
  
  id_46ef817d_0ad3_48e8_b694_5119438d2989 [id="id_46ef817d_0ad3_48e8_b694_5119438d2989#Output" pos="2.5,9978.4375!" height=0.4 width=2.62 fixedsize=true group="id_71cf200f_fe3f_420f_8c69_55ffdd09a957"    label="\"Fine: Dati Inviati\"" tooltip="\"Fine: Dati Inviati\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ae547e8e_2309_43ff_be55_9f54310dc9bb [id="id_ae547e8e_2309_43ff_be55_9f54310dc9bb#Output" pos="-3.75,9978.4375!" height=0.4 width=6.03 fixedsize=true group="id_df4a94d5_624c_4180_a13b_4bf3d48e421e"    label="\"Canale troppo affollato, Trasmissione interrotta!\"" tooltip="\"Canale troppo affollato, Trasmissione interrotta!\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e [ pos="2.5,9977.5!" shape=point width=0]
  false_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e [ pos="-3.75,9977.5!" shape=point width=0]
  
  end_id_1974583a_6a8d_4e93_be0a_77229218a10e [id="end_id_1974583a_6a8d_4e93_be0a_77229218a10e#IfEnd" class="flowrun-not-selectable" pos="0.0,9977.5!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_f39a2d4a_5f4c_44a9_a0fa_b1a3b372fa23 [id="id_f39a2d4a_5f4c_44a9_a0fa_b1a3b372fa23#Return" pos="0.0,9976.5625!" 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_0809646e_15b9_4d7f_82dd_63336b53e2fa:s -> id_77ee7b19_e755_4457_8888_1bdea06036f4:n [id="id_0809646e_15b9_4d7f_82dd_63336b53e2fa@fun-main" tailtooltip=" " edgetooltip=" "]
  id_77ee7b19_e755_4457_8888_1bdea06036f4:s -> id_928a0da9_a166_403c_8c6c_acd1abb4161c:n [id="id_77ee7b19_e755_4457_8888_1bdea06036f4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_928a0da9_a166_403c_8c6c_acd1abb4161c:s -> id_78071119_3988_4a57_8f7f_46c85128389e:n [id="id_928a0da9_a166_403c_8c6c_acd1abb4161c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_78071119_3988_4a57_8f7f_46c85128389e:s -> id_871c305a_d2a1_4c3f_8903_3934bb625d4d:n [id="id_78071119_3988_4a57_8f7f_46c85128389e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_871c305a_d2a1_4c3f_8903_3934bb625d4d:s -> id_31eae74c_1a19_4ebf_bded_2525970344d2:n [id="id_871c305a_d2a1_4c3f_8903_3934bb625d4d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_31eae74c_1a19_4ebf_bded_2525970344d2:s -> id_97bc609a_6f02_41c4_98a3_1d062db51b4d:n [id="id_31eae74c_1a19_4ebf_bded_2525970344d2@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_97bc609a_6f02_41c4_98a3_1d062db51b4d:e -> true_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> id_b7898593_efdc_44b2_9fa2_c643ecd424bf:n [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  
  id_b7898593_efdc_44b2_9fa2_c643ecd424bf:s -> id_9ce037c7_0aa4_450e_b4ac_29d58248470a:n [id="id_b7898593_efdc_44b2_9fa2_c643ecd424bf@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  id_9ce037c7_0aa4_450e_b4ac_29d58248470a:s -> id_5edc6af3_4c87_4872_bdc3_a889ad60caac:n [id="id_9ce037c7_0aa4_450e_b4ac_29d58248470a@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5edc6af3_4c87_4872_bdc3_a889ad60caac:e -> true_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> id_fde3bae0_d182_465b_9efc_bcab46a1fe29:n [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" "]
  
  id_fde3bae0_d182_465b_9efc_bcab46a1fe29:s -> id_0c58d830_214c_4358_b261_351f687fcb4b:n [id="id_fde3bae0_d182_465b_9efc_bcab46a1fe29@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" "]
  id_0c58d830_214c_4358_b261_351f687fcb4b:s -> true_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac:n [id="id_0c58d830_214c_4358_b261_351f687fcb4b@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> true_dummy_down_left_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_0c58d830_214c_4358_b261_351f687fcb4b@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> id_5edc6af3_4c87_4872_bdc3_a889ad60caac:s [id="id_0c58d830_214c_4358_b261_351f687fcb4b@id_9e68a48a_fda8_4ba5_8655_c83af6b279e8" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5edc6af3_4c87_4872_bdc3_a889ad60caac:w -> false_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> false_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> end_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5edc6af3_4c87_4872_bdc3_a889ad60caac -> id_dccf0a9a_fc00_4940_bf31_a6e92be64f42 [id="id_5edc6af3_4c87_4872_bdc3_a889ad60caac@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  
  
  id_dccf0a9a_fc00_4940_bf31_a6e92be64f42:s -> id_582ee6de_3595_4bb9_985b_bf7560b9cdbf:n [id="id_dccf0a9a_fc00_4940_bf31_a6e92be64f42@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  id_582ee6de_3595_4bb9_985b_bf7560b9cdbf:s -> id_4cc8e93c_90fe_4dcc_881f_8bc173bd06a8:n [id="id_582ee6de_3595_4bb9_985b_bf7560b9cdbf@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  id_4cc8e93c_90fe_4dcc_881f_8bc173bd06a8:s -> id_6f8f4ab3_575c_4ecb_b4ea_c9c752465015:n [id="id_4cc8e93c_90fe_4dcc_881f_8bc173bd06a8@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  id_6f8f4ab3_575c_4ecb_b4ea_c9c752465015:s -> id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:n [id="id_6f8f4ab3_575c_4ecb_b4ea_c9c752465015@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:e -> true_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec -> id_21015145_8ce4_49e6_9132_7be02261147c:n [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2" tailtooltip=" " edgetooltip=" "]
  
  id_21015145_8ce4_49e6_9132_7be02261147c:s -> id_3fd3c553_5f67_4c69_a1c1_141d3d958016:n [id="id_21015145_8ce4_49e6_9132_7be02261147c@id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2" tailtooltip=" " edgetooltip=" "]
  id_3fd3c553_5f67_4c69_a1c1_141d3d958016:s -> true_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:n [id="id_3fd3c553_5f67_4c69_a1c1_141d3d958016@id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec -> end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="id_3fd3c553_5f67_4c69_a1c1_141d3d958016@id_8f0ea8e0_d493_4f4b_a76c_68603a7ea9b2" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:w -> false_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_b53e0948_7d03_4c85_a285_3cff6ae1f8fd" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec -> id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9:n [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_b53e0948_7d03_4c85_a285_3cff6ae1f8fd" tailtooltip=" " edgetooltip=" "]
  
  id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9:s -> false_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:n [id="id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9@id_b53e0948_7d03_4c85_a285_3cff6ae1f8fd" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec -> end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec [id="id_bc246d35_5365_4370_bfb4_b91dd3c4a6a9@id_b53e0948_7d03_4c85_a285_3cff6ae1f8fd" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec:s -> true_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d:n [id="end_id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> true_dummy_down_left_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> id_97bc609a_6f02_41c4_98a3_1d062db51b4d:s [id="id_0ef5c76d_f97a_4db9_9986_f14637fde1ec@id_177f2ae6_d11a_4d94_b7fe_83c9e665010e" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_97bc609a_6f02_41c4_98a3_1d062db51b4d:w -> false_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> false_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> end_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_97bc609a_6f02_41c4_98a3_1d062db51b4d -> id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_97bc609a_6f02_41c4_98a3_1d062db51b4d@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_1974583a_6a8d_4e93_be0a_77229218a10e:e -> true_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_1974583a_6a8d_4e93_be0a_77229218a10e@id_71cf200f_fe3f_420f_8c69_55ffdd09a957" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e -> id_46ef817d_0ad3_48e8_b694_5119438d2989:n [id="id_1974583a_6a8d_4e93_be0a_77229218a10e@id_71cf200f_fe3f_420f_8c69_55ffdd09a957" tailtooltip=" " edgetooltip=" "]
  
  id_46ef817d_0ad3_48e8_b694_5119438d2989:s -> true_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e:n [id="id_46ef817d_0ad3_48e8_b694_5119438d2989@id_71cf200f_fe3f_420f_8c69_55ffdd09a957" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e -> end_id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_46ef817d_0ad3_48e8_b694_5119438d2989@id_71cf200f_fe3f_420f_8c69_55ffdd09a957" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_1974583a_6a8d_4e93_be0a_77229218a10e:w -> false_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_1974583a_6a8d_4e93_be0a_77229218a10e@id_df4a94d5_624c_4180_a13b_4bf3d48e421e" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_1974583a_6a8d_4e93_be0a_77229218a10e -> id_ae547e8e_2309_43ff_be55_9f54310dc9bb:n [id="id_1974583a_6a8d_4e93_be0a_77229218a10e@id_df4a94d5_624c_4180_a13b_4bf3d48e421e" tailtooltip=" " edgetooltip=" "]
  
  id_ae547e8e_2309_43ff_be55_9f54310dc9bb:s -> false_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e:n [id="id_ae547e8e_2309_43ff_be55_9f54310dc9bb@id_df4a94d5_624c_4180_a13b_4bf3d48e421e" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_1974583a_6a8d_4e93_be0a_77229218a10e -> end_id_1974583a_6a8d_4e93_be0a_77229218a10e [id="id_ae547e8e_2309_43ff_be55_9f54310dc9bb@id_df4a94d5_624c_4180_a13b_4bf3d48e421e" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_1974583a_6a8d_4e93_be0a_77229218a10e:s -> id_f39a2d4a_5f4c_44a9_a0fa_b1a3b372fa23:n [id="end_id_1974583a_6a8d_4e93_be0a_77229218a10e@fun-main" tailtooltip=" " edgetooltip=" "]
  

}