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_f3b13604_435d_4297_927c_e1a226810966 [id="id_f3b13604_435d_4297_927c_e1a226810966#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_2f68244a_b6ef_4ea9_9d12_53c089ea5e74 [id="id_2f68244a_b6ef_4ea9_9d12_53c089ea5e74#Declare" pos="0.0,9999.0625!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="Credito = 0" tooltip="Credito: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4e7495a5_bf70_489b_9a37_f5f3385c5106 [id="id_4e7495a5_bf70_489b_9a37_f5f3385c5106#Declare" pos="0.0,9998.125!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="Scelta = 0" tooltip="Scelta: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_0570ca91_739e_41cb_9391_24105f8a9a88 [id="id_0570ca91_739e_41cb_9391_24105f8a9a88#Declare" pos="0.0,9997.1875!" height=0.4 width=1.19 fixedsize=true group="fun-main"    label="Costo = 0" tooltip="Costo: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_45285cd5_7b0f_49b8_a7af_e5a672ab9565 [id="id_45285cd5_7b0f_49b8_a7af_e5a672ab9565#Declare" pos="0.0,9996.25!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="Continua = \"Si\"" tooltip="Continua: String = \"Si\"" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c51ad680_69f9_496f_99ce_7a5e2a86b296 [id="id_c51ad680_69f9_496f_99ce_7a5e2a86b296#Output" pos="0.0,9995.3125!" height=0.4 width=3.83 fixedsize=true group="fun-main"    label="\"Inserisci credito (minimi 1€)\"" tooltip="\"Inserisci credito (minimi 1€)\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4f4ac4a7_32e0_438d_831c_3f066f901bb7 [id="id_4f4ac4a7_32e0_438d_831c_3f066f901bb7#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Credito" tooltip="Credito" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff#While" pos="0.0,9993.4375!" height=0.5 width=1.49 fixedsize=true group="fun-main" 
    label="Credito<1" tooltip="Credito<1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="3.75,9993.4375!" shape=point width=0]
  false_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_11ee16b1_c741_45ad_b8b2_5388d0116b4f [id="id_11ee16b1_c741_45ad_b8b2_5388d0116b4f#Output" pos="3.75,9992.5!" height=0.4 width=5.26 fixedsize=true group="id_490ead89_bbb8_4879_8a7b_66baa3d1697f"    label="\"Credito insufficiente. Inserisci almeno 1€\"" tooltip="\"Credito insufficiente. Inserisci almeno 1€\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2e04b3b7_6381_4692_b570_940e10fe58a8 [id="id_2e04b3b7_6381_4692_b570_940e10fe58a8#Input" pos="3.75,9991.5625!" height=0.4 width=1.0 fixedsize=true group="id_490ead89_bbb8_4879_8a7b_66baa3d1697f"    label="Credito" tooltip="Credito" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="3.75,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  end_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [id="end_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727#DoWhileEndId" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" 
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2 fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  id_44fb9b75_83cd_4aad_a769_faaf7c1d5bc2 [id="id_44fb9b75_83cd_4aad_a769_faaf7c1d5bc2#Assign" pos="0.0,9988.75!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342"    label="Continua = \"Si\"" tooltip="Continua = \"Si\"" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_66169acd_20f1_4f11_97c4_0a7cc39b1d4c [id="id_66169acd_20f1_4f11_97c4_0a7cc39b1d4c#Output" pos="0.0,9987.8125!" height=0.4 width=6.140000000000001 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342"    label="\"Menu:\"+\"1-Acqua(1€)\"+\"2-Tè(2€)\"+\"3-Snack(3€)\"" tooltip="\"Menu:\"+\"1-Acqua(1€)\"+\"2-Tè(2€)\"+\"3-Snack(3€)\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f3dbb294_58c7_478b_9244_54a106d71b7a [id="id_f3dbb294_58c7_478b_9244_54a106d71b7a#Input" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342"    label="Scelta" tooltip="Scelta" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c#If" pos="0.0,9985.9375!" height=0.5 width=1.49 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" 
    label="Scelta==1" tooltip="Scelta==1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [pos="1.25,9985.9375!" shape=point width=0]
  false_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [pos="-1.25,9985.9375!" shape=point width=0]
  
  id_3890fad7_894b_45d2_888d_cb14ef6e9e24 [id="id_3890fad7_894b_45d2_888d_cb14ef6e9e24#Assign" pos="1.25,9985.0!" height=0.4 width=1.19 fixedsize=true group="id_033aadfb_2143_4ef2_a172_a91ba72a1d29"    label="Costo = 1" tooltip="Costo = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [ pos="1.25,9984.0625!" shape=point width=0]
  false_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [ pos="-1.25,9984.0625!" shape=point width=0]
  
  end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c#IfEnd" class="flowrun-not-selectable" pos="0.0,9984.0625!" group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706#If" pos="0.0,9983.125!" height=0.5 width=1.49 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" 
    label="Scelta==2" tooltip="Scelta==2" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [pos="1.25,9983.125!" shape=point width=0]
  false_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [pos="-1.25,9983.125!" shape=point width=0]
  
  id_0629962f_c8dd_49ba_a3ea_10f5578e9def [id="id_0629962f_c8dd_49ba_a3ea_10f5578e9def#Assign" pos="1.25,9982.1875!" height=0.4 width=1.19 fixedsize=true group="id_c1dacdb3_ecff_459a_97c2_b289764216f1"    label="Costo = 2" tooltip="Costo = 2" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [ pos="1.25,9981.25!" shape=point width=0]
  false_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [ pos="-1.25,9981.25!" shape=point width=0]
  
  end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706#IfEnd" class="flowrun-not-selectable" pos="0.0,9981.25!" group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440#If" pos="0.0,9980.3125!" height=0.5 width=1.49 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" 
    label="Scelta==3" tooltip="Scelta==3" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [pos="1.25,9980.3125!" shape=point width=0]
  false_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [pos="-1.25,9980.3125!" shape=point width=0]
  
  id_ce8ac78a_4fd3_400f_a113_748bea2d6f96 [id="id_ce8ac78a_4fd3_400f_a113_748bea2d6f96#Assign" pos="1.25,9979.375!" height=0.4 width=1.19 fixedsize=true group="id_ec9dd85f_874e_4edb_bcb1_2272a33f4432"    label="Costo = 3" tooltip="Costo = 3" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [ pos="1.25,9978.4375!" shape=point width=0]
  false_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [ pos="-1.25,9978.4375!" shape=point width=0]
  
  end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440#IfEnd" class="flowrun-not-selectable" pos="0.0,9978.4375!" group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="id_4b1aa80a_f614_4fa8_b464_f46a909a21de#If" pos="0.0,9977.5!" height=0.5 width=1.93 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" 
    label="Credito<Costo" tooltip="Credito<Costo" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [pos="3.75,9977.5!" shape=point width=0]
  false_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [pos="-2.5,9977.5!" shape=point width=0]
  
  id_346f1fb7_ea1a_4525_96a1_2930fd84c940 [id="id_346f1fb7_ea1a_4525_96a1_2930fd84c940#Output" pos="3.75,9976.5625!" height=0.4 width=5.15 fixedsize=true group="id_2e4f8248_99a4_427f_b442_e1deaa33b2e7"    label="\"Credito insufficiente. Inserire almeno 1€\"" tooltip="\"Credito insufficiente. Inserire almeno 1€\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1b59232f_cfa9_40ab_8630_cc3d4ab521ab [id="id_1b59232f_cfa9_40ab_8630_cc3d4ab521ab#Assign" pos="-2.5,9976.5625!" height=0.4 width=2.73 fixedsize=true group="id_072cc0b0_657c_4d53_982e_785842bbbebf"    label="Credito = Credito-Costo" tooltip="Credito = Credito-Costo" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_e47267ea_8eb8_4de6_9d54_30d024626da2 [id="id_e47267ea_8eb8_4de6_9d54_30d024626da2#Output" pos="-2.5,9975.625!" height=0.4 width=2.4000000000000004 fixedsize=true group="id_072cc0b0_657c_4d53_982e_785842bbbebf"    label="\"Prodotto erogato\"" tooltip="\"Prodotto erogato\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_90f108a4_8724_4394_9221_8c92e32d95d8 [id="id_90f108a4_8724_4394_9221_8c92e32d95d8#Output" pos="-2.5,9974.6875!" height=0.4 width=3.6100000000000003 fixedsize=true group="id_072cc0b0_657c_4d53_982e_785842bbbebf"    label="\"Credito rimanente \"+ Credito" tooltip="\"Credito rimanente \"+ Credito" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [ pos="3.75,9973.75!" shape=point width=0]
  false_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [ pos="-2.5,9973.75!" shape=point width=0]
  
  end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de#IfEnd" class="flowrun-not-selectable" pos="0.0,9973.75!" group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="id_d7b33d6a_565a_451c_9cb5_1382454b60db#If" pos="0.0,9972.8125!" height=0.5 width=1.6 fixedsize=true group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" 
    label="Credito>=1" tooltip="Credito>=1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db [pos="3.75,9972.8125!" shape=point width=0]
  false_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db [pos="-2.5,9972.8125!" shape=point width=0]
  
  id_c3ac2a88_c2c6_4e6e_9249_0a24855fe122 [id="id_c3ac2a88_c2c6_4e6e_9249_0a24855fe122#Output" pos="3.75,9971.875!" height=0.4 width=5.26 fixedsize=true group="id_2d5882b2_d675_4fa3_843d_4ddb9d63594b"    label="\"Vuoi acquistare un altro prodotto? (Si/No)\"" tooltip="\"Vuoi acquistare un altro prodotto? (Si/No)\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4169c16e_05a2_4f14_92b0_9f44550db03b [id="id_4169c16e_05a2_4f14_92b0_9f44550db03b#Input" pos="3.75,9970.9375!" height=0.4 width=1.08 fixedsize=true group="id_2d5882b2_d675_4fa3_843d_4ddb9d63594b"    label="Continua" tooltip="Continua" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1fd44c8e_97b1_4c63_b3ca_e54a87b2cbdd [id="id_1fd44c8e_97b1_4c63_b3ca_e54a87b2cbdd#Output" pos="-2.5,9971.875!" height=0.4 width=2.5100000000000002 fixedsize=true group="id_d71d99dc_ff53_4bd5_ad58_e429c29588f4"    label="\"Credito terminato\"" tooltip="\"Credito terminato\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4510cf35_56de_4c3e_b801_5d56c705a59f [id="id_4510cf35_56de_4c3e_b801_5d56c705a59f#Assign" pos="-2.5,9970.9375!" height=0.4 width=2.0700000000000003 fixedsize=true group="id_d71d99dc_ff53_4bd5_ad58_e429c29588f4"    label="Continua = \"No\"" tooltip="Continua = \"No\"" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  true_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db [ pos="3.75,9970.0!" shape=point width=0]
  false_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db [ pos="-2.5,9970.0!" shape=point width=0]
  
  end_id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="end_id_d7b33d6a_565a_451c_9cb5_1382454b60db#IfEnd" class="flowrun-not-selectable" pos="0.0,9970.0!" group="id_11be89d6_f9d5_4371_a544_6ed0e139e342" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [id="id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727#DoWhile" pos="0.0,9969.0625!" height=0.5 width=3.8 fixedsize=true group="fun-main" 
  label="Continua==\"Si\" && Credito>=1" tooltip="Continua==\"Si\" && Credito>=1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [pos="8.75,9989.6875!" shape=point width=0]
  true_dummy_down_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [pos="8.75,9969.0625!" shape=point width=0]
  
  
  id_0fb2a088_a767_4841_a092_559b8b830a3b [id="id_0fb2a088_a767_4841_a092_559b8b830a3b#Return" pos="0.0,9968.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_f3b13604_435d_4297_927c_e1a226810966:s -> id_2f68244a_b6ef_4ea9_9d12_53c089ea5e74:n [id="id_f3b13604_435d_4297_927c_e1a226810966@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2f68244a_b6ef_4ea9_9d12_53c089ea5e74:s -> id_4e7495a5_bf70_489b_9a37_f5f3385c5106:n [id="id_2f68244a_b6ef_4ea9_9d12_53c089ea5e74@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4e7495a5_bf70_489b_9a37_f5f3385c5106:s -> id_0570ca91_739e_41cb_9391_24105f8a9a88:n [id="id_4e7495a5_bf70_489b_9a37_f5f3385c5106@fun-main" tailtooltip=" " edgetooltip=" "]
  id_0570ca91_739e_41cb_9391_24105f8a9a88:s -> id_45285cd5_7b0f_49b8_a7af_e5a672ab9565:n [id="id_0570ca91_739e_41cb_9391_24105f8a9a88@fun-main" tailtooltip=" " edgetooltip=" "]
  id_45285cd5_7b0f_49b8_a7af_e5a672ab9565:s -> id_c51ad680_69f9_496f_99ce_7a5e2a86b296:n [id="id_45285cd5_7b0f_49b8_a7af_e5a672ab9565@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c51ad680_69f9_496f_99ce_7a5e2a86b296:s -> id_4f4ac4a7_32e0_438d_831c_3f066f901bb7:n [id="id_c51ad680_69f9_496f_99ce_7a5e2a86b296@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4f4ac4a7_32e0_438d_831c_3f066f901bb7:s -> id_643c6fbc_9cce_4815_aefa_e09910c507ff:n [id="id_4f4ac4a7_32e0_438d_831c_3f066f901bb7@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_643c6fbc_9cce_4815_aefa_e09910c507ff:e -> true_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> id_11ee16b1_c741_45ad_b8b2_5388d0116b4f:n [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" "]
  
  id_11ee16b1_c741_45ad_b8b2_5388d0116b4f:s -> id_2e04b3b7_6381_4692_b570_940e10fe58a8:n [id="id_11ee16b1_c741_45ad_b8b2_5388d0116b4f@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" "]
  id_2e04b3b7_6381_4692_b570_940e10fe58a8:s -> true_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff:n [id="id_2e04b3b7_6381_4692_b570_940e10fe58a8@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> true_dummy_down_left_id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_2e04b3b7_6381_4692_b570_940e10fe58a8@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> id_643c6fbc_9cce_4815_aefa_e09910c507ff:s [id="id_2e04b3b7_6381_4692_b570_940e10fe58a8@id_490ead89_bbb8_4879_8a7b_66baa3d1697f" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_643c6fbc_9cce_4815_aefa_e09910c507ff:w -> false_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> false_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> end_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_643c6fbc_9cce_4815_aefa_e09910c507ff -> end_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [id="id_643c6fbc_9cce_4815_aefa_e09910c507ff@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  ## DOWHILE-BODY
  end_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 -> id_44fb9b75_83cd_4aad_a769_faaf7c1d5bc2 [id="id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" " ]
  id_44fb9b75_83cd_4aad_a769_faaf7c1d5bc2:s -> id_66169acd_20f1_4f11_97c4_0a7cc39b1d4c:n [id="id_44fb9b75_83cd_4aad_a769_faaf7c1d5bc2@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  id_66169acd_20f1_4f11_97c4_0a7cc39b1d4c:s -> id_f3dbb294_58c7_478b_9244_54a106d71b7a:n [id="id_66169acd_20f1_4f11_97c4_0a7cc39b1d4c@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  id_f3dbb294_58c7_478b_9244_54a106d71b7a:s -> id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:n [id="id_f3dbb294_58c7_478b_9244_54a106d71b7a@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:e -> true_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_033aadfb_2143_4ef2_a172_a91ba72a1d29" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c -> id_3890fad7_894b_45d2_888d_cb14ef6e9e24:n [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_033aadfb_2143_4ef2_a172_a91ba72a1d29" tailtooltip=" " edgetooltip=" "]
  
  id_3890fad7_894b_45d2_888d_cb14ef6e9e24:s -> true_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:n [id="id_3890fad7_894b_45d2_888d_cb14ef6e9e24@id_033aadfb_2143_4ef2_a172_a91ba72a1d29" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c -> end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="id_3890fad7_894b_45d2_888d_cb14ef6e9e24@id_033aadfb_2143_4ef2_a172_a91ba72a1d29" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:w -> false_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_6f39cd01_22ab_4778_a02e_a47b70f6d1ab" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c -> false_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:n [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_6f39cd01_22ab_4778_a02e_a47b70f6d1ab" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c -> end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c [id="id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_6f39cd01_22ab_4778_a02e_a47b70f6d1ab" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c:s -> id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:n [id="end_id_ca9b6c51_9bcc_4462_b601_9737ba4ec80c@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:e -> true_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_c1dacdb3_ecff_459a_97c2_b289764216f1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 -> id_0629962f_c8dd_49ba_a3ea_10f5578e9def:n [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_c1dacdb3_ecff_459a_97c2_b289764216f1" tailtooltip=" " edgetooltip=" "]
  
  id_0629962f_c8dd_49ba_a3ea_10f5578e9def:s -> true_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:n [id="id_0629962f_c8dd_49ba_a3ea_10f5578e9def@id_c1dacdb3_ecff_459a_97c2_b289764216f1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 -> end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="id_0629962f_c8dd_49ba_a3ea_10f5578e9def@id_c1dacdb3_ecff_459a_97c2_b289764216f1" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:w -> false_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_0e27ec1c_6ad9_4d21_b5b0_612803752e3a" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 -> false_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:n [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_0e27ec1c_6ad9_4d21_b5b0_612803752e3a" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 -> end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706 [id="id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_0e27ec1c_6ad9_4d21_b5b0_612803752e3a" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706:s -> id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:n [id="end_id_9eadac96_a8bb_4e0b_b081_cb0c6b0f6706@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:e -> true_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_ec9dd85f_874e_4edb_bcb1_2272a33f4432" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 -> id_ce8ac78a_4fd3_400f_a113_748bea2d6f96:n [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_ec9dd85f_874e_4edb_bcb1_2272a33f4432" tailtooltip=" " edgetooltip=" "]
  
  id_ce8ac78a_4fd3_400f_a113_748bea2d6f96:s -> true_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:n [id="id_ce8ac78a_4fd3_400f_a113_748bea2d6f96@id_ec9dd85f_874e_4edb_bcb1_2272a33f4432" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 -> end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="id_ce8ac78a_4fd3_400f_a113_748bea2d6f96@id_ec9dd85f_874e_4edb_bcb1_2272a33f4432" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:w -> false_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_d8c79583_8e19_40bb_ae3c_cfcc8f8dabe0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 -> false_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:n [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_d8c79583_8e19_40bb_ae3c_cfcc8f8dabe0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 -> end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440 [id="id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_d8c79583_8e19_40bb_ae3c_cfcc8f8dabe0" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440:s -> id_4b1aa80a_f614_4fa8_b464_f46a909a21de:n [id="end_id_3e16bf8a_573a_4dd5_8d29_35a2657c4440@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_4b1aa80a_f614_4fa8_b464_f46a909a21de:e -> true_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="id_4b1aa80a_f614_4fa8_b464_f46a909a21de@id_2e4f8248_99a4_427f_b442_e1deaa33b2e7" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de -> id_346f1fb7_ea1a_4525_96a1_2930fd84c940:n [id="id_4b1aa80a_f614_4fa8_b464_f46a909a21de@id_2e4f8248_99a4_427f_b442_e1deaa33b2e7" tailtooltip=" " edgetooltip=" "]
  
  id_346f1fb7_ea1a_4525_96a1_2930fd84c940:s -> true_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de:n [id="id_346f1fb7_ea1a_4525_96a1_2930fd84c940@id_2e4f8248_99a4_427f_b442_e1deaa33b2e7" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de -> end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="id_346f1fb7_ea1a_4525_96a1_2930fd84c940@id_2e4f8248_99a4_427f_b442_e1deaa33b2e7" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_4b1aa80a_f614_4fa8_b464_f46a909a21de:w -> false_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="id_4b1aa80a_f614_4fa8_b464_f46a909a21de@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_4b1aa80a_f614_4fa8_b464_f46a909a21de -> id_1b59232f_cfa9_40ab_8630_cc3d4ab521ab:n [id="id_4b1aa80a_f614_4fa8_b464_f46a909a21de@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" "]
  
  id_1b59232f_cfa9_40ab_8630_cc3d4ab521ab:s -> id_e47267ea_8eb8_4de6_9d54_30d024626da2:n [id="id_1b59232f_cfa9_40ab_8630_cc3d4ab521ab@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" "]
  id_e47267ea_8eb8_4de6_9d54_30d024626da2:s -> id_90f108a4_8724_4394_9221_8c92e32d95d8:n [id="id_e47267ea_8eb8_4de6_9d54_30d024626da2@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" "]
  id_90f108a4_8724_4394_9221_8c92e32d95d8:s -> false_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de:n [id="id_90f108a4_8724_4394_9221_8c92e32d95d8@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_4b1aa80a_f614_4fa8_b464_f46a909a21de -> end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de [id="id_90f108a4_8724_4394_9221_8c92e32d95d8@id_072cc0b0_657c_4d53_982e_785842bbbebf" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de:s -> id_d7b33d6a_565a_451c_9cb5_1382454b60db:n [id="end_id_4b1aa80a_f614_4fa8_b464_f46a909a21de@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-TRUE
  id_d7b33d6a_565a_451c_9cb5_1382454b60db:e -> true_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="id_d7b33d6a_565a_451c_9cb5_1382454b60db@id_2d5882b2_d675_4fa3_843d_4ddb9d63594b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db -> id_c3ac2a88_c2c6_4e6e_9249_0a24855fe122:n [id="id_d7b33d6a_565a_451c_9cb5_1382454b60db@id_2d5882b2_d675_4fa3_843d_4ddb9d63594b" tailtooltip=" " edgetooltip=" "]
  
  id_c3ac2a88_c2c6_4e6e_9249_0a24855fe122:s -> id_4169c16e_05a2_4f14_92b0_9f44550db03b:n [id="id_c3ac2a88_c2c6_4e6e_9249_0a24855fe122@id_2d5882b2_d675_4fa3_843d_4ddb9d63594b" tailtooltip=" " edgetooltip=" "]
  id_4169c16e_05a2_4f14_92b0_9f44550db03b:s -> true_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db:n [id="id_4169c16e_05a2_4f14_92b0_9f44550db03b@id_2d5882b2_d675_4fa3_843d_4ddb9d63594b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db -> end_id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="id_4169c16e_05a2_4f14_92b0_9f44550db03b@id_2d5882b2_d675_4fa3_843d_4ddb9d63594b" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_d7b33d6a_565a_451c_9cb5_1382454b60db:w -> false_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="id_d7b33d6a_565a_451c_9cb5_1382454b60db@id_d71d99dc_ff53_4bd5_ad58_e429c29588f4" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_d7b33d6a_565a_451c_9cb5_1382454b60db -> id_1fd44c8e_97b1_4c63_b3ca_e54a87b2cbdd:n [id="id_d7b33d6a_565a_451c_9cb5_1382454b60db@id_d71d99dc_ff53_4bd5_ad58_e429c29588f4" tailtooltip=" " edgetooltip=" "]
  
  id_1fd44c8e_97b1_4c63_b3ca_e54a87b2cbdd:s -> id_4510cf35_56de_4c3e_b801_5d56c705a59f:n [id="id_1fd44c8e_97b1_4c63_b3ca_e54a87b2cbdd@id_d71d99dc_ff53_4bd5_ad58_e429c29588f4" tailtooltip=" " edgetooltip=" "]
  id_4510cf35_56de_4c3e_b801_5d56c705a59f:s -> false_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db:n [id="id_4510cf35_56de_4c3e_b801_5d56c705a59f@id_d71d99dc_ff53_4bd5_ad58_e429c29588f4" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_d7b33d6a_565a_451c_9cb5_1382454b60db -> end_id_d7b33d6a_565a_451c_9cb5_1382454b60db [id="id_4510cf35_56de_4c3e_b801_5d56c705a59f@id_d71d99dc_ff53_4bd5_ad58_e429c29588f4" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_d7b33d6a_565a_451c_9cb5_1382454b60db:s -> id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727:n [id="end_id_d7b33d6a_565a_451c_9cb5_1382454b60db@id_11be89d6_f9d5_4371_a544_6ed0e139e342" tailtooltip=" " edgetooltip=" "]
  
  
  
  ## DOWHILE-TRUE
  id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727:e -> true_dummy_down_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen" labelangle=90]
  true_dummy_down_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 -> true_dummy_up_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 [tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_up_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727 -> end_id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727:e [ tailtooltip=" " edgetooltip=" "]
  
  ## DOWHILE-FALSE
  id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727:s -> id_0fb2a088_a767_4841_a092_559b8b830a3b [id="id_9947b67b_b7eb_4854_b5bd_4c4ebc01f727@fun-main" tailtooltip=" " edgetooltip=" " taillabel="false" fontcolor="red" labeldistance=2 labelangle=-80]
  

}