
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_4d785d1e_65b2_42d6_9e15_f838125e75bb [id="id_4d785d1e_65b2_42d6_9e15_f838125e75bb#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_15bf8a49_7f3c_4d40_a5a8_b806ab58e42b [id="id_15bf8a49_7f3c_4d40_a5a8_b806ab58e42b#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="litri" tooltip="litri: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bf08cfce_0ae4_49ba_b10f_4c83506b56e3 [id="id_bf08cfce_0ae4_49ba_b10f_4c83506b56e3#Declare" pos="0.0,9998.125!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="totaleLitri" tooltip="totaleLitri: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_01ba24ad_d477_4f01_a3fc_ddcccdf0ea18 [id="id_01ba24ad_d477_4f01_a3fc_ddcccdf0ea18#Declare" pos="0.0,9997.1875!" height=0.4 width=2.18 fixedsize=true group="fun-main"    label="numeroRifornimenti" tooltip="numeroRifornimenti: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_9b89e4c6_211f_4516_8631_8dea6a191e4c [id="id_9b89e4c6_211f_4516_8631_8dea6a191e4c#Declare" pos="0.0,9996.25!" height=0.4 width=1.41 fixedsize=true group="fun-main"    label="numeroPieni" tooltip="numeroPieni: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3c7f758c_7283_4f9e_ad65_dcf7b172a0ba [id="id_3c7f758c_7283_4f9e_ad65_dcf7b172a0ba#Declare" pos="0.0,9995.3125!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="risposta = \"Si\"" tooltip="risposta: String = \"Si\"" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff#While" pos="0.0,9994.375!" height=0.5 width=2.48 fixedsize=true group="fun-main" 
    label="risposta == \"Si\"" tooltip="risposta == \"Si\"" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="3.75,9994.375!" shape=point width=0]
  false_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="-1.25,9994.375!" shape=point width=0]
  
  id_1f98f316_aa6e_45db_904e_8ac3ade73997 [id="id_1f98f316_aa6e_45db_904e_8ac3ade73997#Assign" pos="3.75,9993.4375!" height=0.4 width=1.19 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="litri = 0" tooltip="litri = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_f7468a1e_0c3d_4b52_aa09_bd05220bc003 [id="id_f7468a1e_0c3d_4b52_aa09_bd05220bc003#Assign" pos="3.75,9992.5!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="totaleLitri = 0" tooltip="totaleLitri = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_26f4c7a8_7e45_437e_828d_7f80b01cb9f0 [id="id_26f4c7a8_7e45_437e_828d_7f80b01cb9f0#Assign" pos="3.75,9991.5625!" height=0.4 width=2.62 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="numeroRifornimenti = 0" tooltip="numeroRifornimenti = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_97f7a0f1_69c4_4c24_80e6_0295b4f7df49 [id="id_97f7a0f1_69c4_4c24_80e6_0295b4f7df49#Assign" pos="3.75,9990.625!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="numeroPieni = 0" tooltip="numeroPieni = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_6da692b2_785d_4e69_b753_c7d73a8e87c1 [id="id_6da692b2_785d_4e69_b753_c7d73a8e87c1#Output" pos="3.75,9989.6875!" height=0.4 width=2.29 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="\"Inserisci litri\"" tooltip="\"Inserisci litri\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a62a52f3_79d7_4ace_af4b_9d194b170918 [id="id_a62a52f3_79d7_4ace_af4b_9d194b170918#Input" pos="3.75,9988.75!" height=0.4 width=1.0 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="litri" tooltip="litri" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7#While" pos="3.75,9987.8125!" height=0.5 width=1.6 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011" 
    label="litri <= 0" tooltip="litri <= 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="7.5,9987.8125!" shape=point width=0]
  false_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="2.5,9987.8125!" shape=point width=0]
  
  id_56a5d877_8ecd_4eb1_8f86_0a8417beaf9a [id="id_56a5d877_8ecd_4eb1_8f86_0a8417beaf9a#Output" pos="7.5,9986.875!" height=0.4 width=4.38 fixedsize=true group="id_0b2c3384_d044_4894_a153_8bb739182924"    label="\"Inserire un numero valido di litri\"" tooltip="\"Inserire un numero valido di litri\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7 [id="id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7#Input" pos="7.5,9985.9375!" height=0.4 width=1.0 fixedsize=true group="id_0b2c3384_d044_4894_a153_8bb739182924"    label="litri" tooltip="litri" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="7.5,9985.104166666666!" shape=point width=0]
  true_dummy_down_left_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="3.75,9985.104166666666!" shape=point width=0]
  false_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="2.5,9985.0!" shape=point width=0]
  end_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [pos="3.75,9985.0!" group="id_2676c789_10e5_4f33_8796_7a753bb67011" shape=point width=0]
  
  
  id_0728444e_5355_4009_9315_a34d0847de83 [id="id_0728444e_5355_4009_9315_a34d0847de83#While" pos="3.75,9984.0625!" height=0.5 width=1.49 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011" 
    label="litri > 0" tooltip="litri > 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 [pos="7.5,9984.0625!" shape=point width=0]
  false_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 [pos="2.5,9984.0625!" shape=point width=0]
  
  id_8f11059c_586a_4e80_8a38_396c82477079 [id="id_8f11059c_586a_4e80_8a38_396c82477079#Assign" pos="7.5,9983.125!" height=0.4 width=3.83 fixedsize=true group="id_56873a76_5892_422b_ab9a_c897a286b40b"    label="totaleLitri = totaleLitri + litri" tooltip="totaleLitri = totaleLitri + litri" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_c83e62f8_edf4_4434_9e0f_77b9766c069b [id="id_c83e62f8_edf4_4434_9e0f_77b9766c069b#Assign" pos="7.5,9982.1875!" height=0.4 width=4.82 fixedsize=true group="id_56873a76_5892_422b_ab9a_c897a286b40b"    label="numeroRifornimenti = numeroRifornimenti+ 1" tooltip="numeroRifornimenti = numeroRifornimenti+ 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_85d40633_42e3_4755_880c_9461efbcedca [id="id_85d40633_42e3_4755_880c_9461efbcedca#If" pos="7.5,9981.25!" height=0.5 width=1.71 fixedsize=true group="id_56873a76_5892_422b_ab9a_c897a286b40b" 
    label="litri >= 30" tooltip="litri >= 30" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca [pos="10.0,9981.25!" shape=point width=0]
  false_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca [pos="6.25,9981.25!" shape=point width=0]
  
  id_6a6baa6e_60db_4c54_934b_1126769c9ea5 [id="id_6a6baa6e_60db_4c54_934b_1126769c9ea5#Assign" pos="10.0,9980.3125!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_d6aac8a7_34c5_42a3_826c_2e4c3cab0572"    label="numeroPieni = numeroPieni+ 1" tooltip="numeroPieni = numeroPieni+ 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  
  
  true_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca [ pos="10.0,9979.375!" shape=point width=0]
  false_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca [ pos="6.25,9979.375!" shape=point width=0]
  
  end_id_85d40633_42e3_4755_880c_9461efbcedca [id="end_id_85d40633_42e3_4755_880c_9461efbcedca#IfEnd" class="flowrun-not-selectable" pos="7.5,9979.375!" group="id_56873a76_5892_422b_ab9a_c897a286b40b" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_54d99ebe_2fed_4b32_a7d9_36e33ecb9fd7 [id="id_54d99ebe_2fed_4b32_a7d9_36e33ecb9fd7#Output" pos="7.5,9978.4375!" height=0.4 width=5.26 fixedsize=true group="id_56873a76_5892_422b_ab9a_c897a286b40b"    label="\"Inserisci litri. Inserire 0 per terminare.\"" tooltip="\"Inserisci litri. Inserire 0 per terminare.\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5caf107e_a3ab_440b_b045_a819d4d68e39 [id="id_5caf107e_a3ab_440b_b045_a819d4d68e39#Input" pos="7.5,9977.5!" height=0.4 width=1.0 fixedsize=true group="id_56873a76_5892_422b_ab9a_c897a286b40b"    label="litri" tooltip="litri" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 [pos="7.5,9976.666666666666!" shape=point width=0]
  true_dummy_down_left_id_0728444e_5355_4009_9315_a34d0847de83 [pos="3.75,9976.666666666666!" shape=point width=0]
  false_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 [pos="2.5,9976.5625!" shape=point width=0]
  end_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 [pos="3.75,9976.5625!" group="id_2676c789_10e5_4f33_8796_7a753bb67011" shape=point width=0]
  
  
  id_1f579038_1fc5_4a90_afa6_fa11c89373a2 [id="id_1f579038_1fc5_4a90_afa6_fa11c89373a2#Output" pos="3.75,9975.625!" height=0.4 width=5.26 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="\"Numero rifornimenti: \" + numeroRifornimenti" tooltip="\"Numero rifornimenti: \" + numeroRifornimenti" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cd4daf84_b253_490c_8e2d_14e00d463f24 [id="id_cd4daf84_b253_490c_8e2d_14e00d463f24#Output" pos="3.75,9974.6875!" height=0.4 width=3.72 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="\"Numero pieni: \" + numeroPieni" tooltip="\"Numero pieni: \" + numeroPieni" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7314f4ed_fd27_44d5_b84e_c7495a35edd4 [id="id_7314f4ed_fd27_44d5_b84e_c7495a35edd4#Output" pos="3.75,9973.75!" height=0.4 width=3.72 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="\"Totale litri: \" + totaleLitri" tooltip="\"Totale litri: \" + totaleLitri" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e6eb50c5_c3c4_446f_bd04_8ee2508102d6 [id="id_e6eb50c5_c3c4_446f_bd04_8ee2508102d6#Output" pos="3.75,9972.8125!" height=0.4 width=2.73 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="\"Vuoi ricominciare ?\"" tooltip="\"Vuoi ricominciare ?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_f57744a3_a065_46f0_98b9_dcff270ed73e [id="id_f57744a3_a065_46f0_98b9_dcff270ed73e#Input" pos="3.75,9971.875!" height=0.4 width=1.08 fixedsize=true group="id_2676c789_10e5_4f33_8796_7a753bb67011"    label="risposta" tooltip="risposta" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="3.75,9971.041666666666!" shape=point width=0]
  true_dummy_down_left_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="0.0,9971.041666666666!" shape=point width=0]
  false_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="-1.25,9970.9375!" shape=point width=0]
  end_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [pos="0.0,9970.9375!" group="fun-main" shape=point width=0]
  
  
  id_44f7e12e_0ceb_4b95_81ec_43d26d1d8cf9 [id="id_44f7e12e_0ceb_4b95_81ec_43d26d1d8cf9#Return" pos="0.0,9970.0!" 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_4d785d1e_65b2_42d6_9e15_f838125e75bb:s -> id_15bf8a49_7f3c_4d40_a5a8_b806ab58e42b:n [id="id_4d785d1e_65b2_42d6_9e15_f838125e75bb@fun-main" tailtooltip=" " edgetooltip=" "]
  id_15bf8a49_7f3c_4d40_a5a8_b806ab58e42b:s -> id_bf08cfce_0ae4_49ba_b10f_4c83506b56e3:n [id="id_15bf8a49_7f3c_4d40_a5a8_b806ab58e42b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bf08cfce_0ae4_49ba_b10f_4c83506b56e3:s -> id_01ba24ad_d477_4f01_a3fc_ddcccdf0ea18:n [id="id_bf08cfce_0ae4_49ba_b10f_4c83506b56e3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_01ba24ad_d477_4f01_a3fc_ddcccdf0ea18:s -> id_9b89e4c6_211f_4516_8631_8dea6a191e4c:n [id="id_01ba24ad_d477_4f01_a3fc_ddcccdf0ea18@fun-main" tailtooltip=" " edgetooltip=" "]
  id_9b89e4c6_211f_4516_8631_8dea6a191e4c:s -> id_3c7f758c_7283_4f9e_ad65_dcf7b172a0ba:n [id="id_9b89e4c6_211f_4516_8631_8dea6a191e4c@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3c7f758c_7283_4f9e_ad65_dcf7b172a0ba:s -> id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff:n [id="id_3c7f758c_7283_4f9e_ad65_dcf7b172a0ba@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff:e -> true_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> id_1f98f316_aa6e_45db_904e_8ac3ade73997:n [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  
  id_1f98f316_aa6e_45db_904e_8ac3ade73997:s -> id_f7468a1e_0c3d_4b52_aa09_bd05220bc003:n [id="id_1f98f316_aa6e_45db_904e_8ac3ade73997@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_f7468a1e_0c3d_4b52_aa09_bd05220bc003:s -> id_26f4c7a8_7e45_437e_828d_7f80b01cb9f0:n [id="id_f7468a1e_0c3d_4b52_aa09_bd05220bc003@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_26f4c7a8_7e45_437e_828d_7f80b01cb9f0:s -> id_97f7a0f1_69c4_4c24_80e6_0295b4f7df49:n [id="id_26f4c7a8_7e45_437e_828d_7f80b01cb9f0@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_97f7a0f1_69c4_4c24_80e6_0295b4f7df49:s -> id_6da692b2_785d_4e69_b753_c7d73a8e87c1:n [id="id_97f7a0f1_69c4_4c24_80e6_0295b4f7df49@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_6da692b2_785d_4e69_b753_c7d73a8e87c1:s -> id_a62a52f3_79d7_4ace_af4b_9d194b170918:n [id="id_6da692b2_785d_4e69_b753_c7d73a8e87c1@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_a62a52f3_79d7_4ace_af4b_9d194b170918:s -> id_5915f91f_a132_4716_ba3b_ac033bce73d7:n [id="id_a62a52f3_79d7_4ace_af4b_9d194b170918@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5915f91f_a132_4716_ba3b_ac033bce73d7:e -> true_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> id_56a5d877_8ecd_4eb1_8f86_0a8417beaf9a:n [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" "]
  
  id_56a5d877_8ecd_4eb1_8f86_0a8417beaf9a:s -> id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7:n [id="id_56a5d877_8ecd_4eb1_8f86_0a8417beaf9a@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" "]
  id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7:s -> true_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7:n [id="id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> true_dummy_down_left_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> id_5915f91f_a132_4716_ba3b_ac033bce73d7:s [id="id_fefef0d0_4cf1_4a73_b5cd_e5518dd95fb7@id_0b2c3384_d044_4894_a153_8bb739182924" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5915f91f_a132_4716_ba3b_ac033bce73d7:w -> false_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> false_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> end_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5915f91f_a132_4716_ba3b_ac033bce73d7 -> id_0728444e_5355_4009_9315_a34d0847de83 [id="id_5915f91f_a132_4716_ba3b_ac033bce73d7@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  
  
  ## WHILE-TRUE
  id_0728444e_5355_4009_9315_a34d0847de83:e -> true_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 [id="id_0728444e_5355_4009_9315_a34d0847de83@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 -> id_8f11059c_586a_4e80_8a38_396c82477079:n [id="id_0728444e_5355_4009_9315_a34d0847de83@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  
  id_8f11059c_586a_4e80_8a38_396c82477079:s -> id_c83e62f8_edf4_4434_9e0f_77b9766c069b:n [id="id_8f11059c_586a_4e80_8a38_396c82477079@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  id_c83e62f8_edf4_4434_9e0f_77b9766c069b:s -> id_85d40633_42e3_4755_880c_9461efbcedca:n [id="id_c83e62f8_edf4_4434_9e0f_77b9766c069b@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_85d40633_42e3_4755_880c_9461efbcedca:e -> true_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca [id="id_85d40633_42e3_4755_880c_9461efbcedca@id_d6aac8a7_34c5_42a3_826c_2e4c3cab0572" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca -> id_6a6baa6e_60db_4c54_934b_1126769c9ea5:n [id="id_85d40633_42e3_4755_880c_9461efbcedca@id_d6aac8a7_34c5_42a3_826c_2e4c3cab0572" tailtooltip=" " edgetooltip=" "]
  
  id_6a6baa6e_60db_4c54_934b_1126769c9ea5:s -> true_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca:n [id="id_6a6baa6e_60db_4c54_934b_1126769c9ea5@id_d6aac8a7_34c5_42a3_826c_2e4c3cab0572" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca -> end_id_85d40633_42e3_4755_880c_9461efbcedca [id="id_6a6baa6e_60db_4c54_934b_1126769c9ea5@id_d6aac8a7_34c5_42a3_826c_2e4c3cab0572" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_85d40633_42e3_4755_880c_9461efbcedca:w -> false_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca [id="id_85d40633_42e3_4755_880c_9461efbcedca@id_e2a5f749_9be6_48e4_a8f7_8875396cc6ff" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_85d40633_42e3_4755_880c_9461efbcedca -> false_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca:n [id="id_85d40633_42e3_4755_880c_9461efbcedca@id_e2a5f749_9be6_48e4_a8f7_8875396cc6ff" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  false_dummy_down_id_85d40633_42e3_4755_880c_9461efbcedca -> end_id_85d40633_42e3_4755_880c_9461efbcedca [id="id_85d40633_42e3_4755_880c_9461efbcedca@id_e2a5f749_9be6_48e4_a8f7_8875396cc6ff" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_85d40633_42e3_4755_880c_9461efbcedca:s -> id_54d99ebe_2fed_4b32_a7d9_36e33ecb9fd7:n [id="end_id_85d40633_42e3_4755_880c_9461efbcedca@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  
  
  id_54d99ebe_2fed_4b32_a7d9_36e33ecb9fd7:s -> id_5caf107e_a3ab_440b_b045_a819d4d68e39:n [id="id_54d99ebe_2fed_4b32_a7d9_36e33ecb9fd7@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  id_5caf107e_a3ab_440b_b045_a819d4d68e39:s -> true_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83:n [id="id_5caf107e_a3ab_440b_b045_a819d4d68e39@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 -> true_dummy_down_left_id_0728444e_5355_4009_9315_a34d0847de83 [id="id_5caf107e_a3ab_440b_b045_a819d4d68e39@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_0728444e_5355_4009_9315_a34d0847de83 -> id_0728444e_5355_4009_9315_a34d0847de83:s [id="id_5caf107e_a3ab_440b_b045_a819d4d68e39@id_56873a76_5892_422b_ab9a_c897a286b40b" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_0728444e_5355_4009_9315_a34d0847de83:w -> false_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 [id="id_0728444e_5355_4009_9315_a34d0847de83@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_0728444e_5355_4009_9315_a34d0847de83 -> false_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 [id="id_0728444e_5355_4009_9315_a34d0847de83@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 -> end_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 [id="id_0728444e_5355_4009_9315_a34d0847de83@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_0728444e_5355_4009_9315_a34d0847de83 -> id_1f579038_1fc5_4a90_afa6_fa11c89373a2 [id="id_0728444e_5355_4009_9315_a34d0847de83@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  
  
  id_1f579038_1fc5_4a90_afa6_fa11c89373a2:s -> id_cd4daf84_b253_490c_8e2d_14e00d463f24:n [id="id_1f579038_1fc5_4a90_afa6_fa11c89373a2@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_cd4daf84_b253_490c_8e2d_14e00d463f24:s -> id_7314f4ed_fd27_44d5_b84e_c7495a35edd4:n [id="id_cd4daf84_b253_490c_8e2d_14e00d463f24@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_7314f4ed_fd27_44d5_b84e_c7495a35edd4:s -> id_e6eb50c5_c3c4_446f_bd04_8ee2508102d6:n [id="id_7314f4ed_fd27_44d5_b84e_c7495a35edd4@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_e6eb50c5_c3c4_446f_bd04_8ee2508102d6:s -> id_f57744a3_a065_46f0_98b9_dcff270ed73e:n [id="id_e6eb50c5_c3c4_446f_bd04_8ee2508102d6@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  id_f57744a3_a065_46f0_98b9_dcff270ed73e:s -> true_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff:n [id="id_f57744a3_a065_46f0_98b9_dcff270ed73e@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> true_dummy_down_left_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_f57744a3_a065_46f0_98b9_dcff270ed73e@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff:s [id="id_f57744a3_a065_46f0_98b9_dcff270ed73e@id_2676c789_10e5_4f33_8796_7a753bb67011" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff:w -> false_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> false_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> end_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff -> id_44f7e12e_0ceb_4b95_81ec_43d26d1d8cf9 [id="id_1c93ac26_7e88_4aea_bc2f_95d0b2a8d6ff@fun-main" tailtooltip=" " edgetooltip=" "]
  

}
