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_883a7f37_a811_45ac_bf1b_7dcf9b7b9a57 [id="id_883a7f37_a811_45ac_bf1b_7dcf9b7b9a57#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_6fbfe86f_d7cd_4d3c_a0c0_c3b45d40d695 [id="id_6fbfe86f_d7cd_4d3c_a0c0_c3b45d40d695#Declare" pos="0.0,9999.0625!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="sommaLitri = 0" tooltip="sommaLitri: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1ff26be1_d689_425a_a612_b5e5a64e311a [id="id_1ff26be1_d689_425a_a612_b5e5a64e311a#Declare" pos="0.0,9998.125!" height=0.4 width=1.96 fixedsize=true group="fun-main"    label="litriSecchio = 0" tooltip="litriSecchio: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_39e2997a_0b23_4cab_a2bb_c10c07b04b13 [id="id_39e2997a_0b23_4cab_a2bb_c10c07b04b13#Declare" pos="0.0,9997.1875!" height=0.4 width=1.74 fixedsize=true group="fun-main"    label="litriVasca = 0" tooltip="litriVasca: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4f721106_a20e_4512_ab66_237e2e35bdb5 [id="id_4f721106_a20e_4512_ab66_237e2e35bdb5#Output" pos="0.0,9996.25!" height=0.4 width=3.72 fixedsize=true group="fun-main"    label="\"Da quanti litri è la vasca? \"" tooltip="\"Da quanti litri è la vasca? \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_05a6dc88_cc06_402b_928e_36565147b981 [id="id_05a6dc88_cc06_402b_928e_36565147b981#Input" pos="0.0,9995.3125!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="litriVasca" tooltip="litriVasca" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd#While" pos="0.0,9994.375!" height=0.5 width=2.81 fixedsize=true group="fun-main" 
    label="sommaLitri<litriVasca" tooltip="sommaLitri<litriVasca" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="10.0,9994.375!" shape=point width=0]
  false_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="-2.5,9994.375!" shape=point width=0]
  
  id_73ed04dd_db58_405b_ac48_a62772512a1a [id="id_73ed04dd_db58_405b_ac48_a62772512a1a#Output" pos="10.0,9993.4375!" height=0.4 width=4.930000000000001 fixedsize=true group="id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556"    label="\"Da quanti litri è il secchio che porti?\"" tooltip="\"Da quanti litri è il secchio che porti?\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_b22d8de3_8443_4b3a_b1b1_b5e6581850d9 [id="id_b22d8de3_8443_4b3a_b1b1_b5e6581850d9#Input" pos="10.0,9992.5!" height=0.4 width=1.52 fixedsize=true group="id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556"    label="litriSecchio" tooltip="litriSecchio" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636#If" pos="10.0,9991.5625!" height=0.5 width=4.35 fixedsize=true group="id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" 
    label="sommaLitri+litriSecchio<=litriVasca" tooltip="sommaLitri+litriSecchio<=litriVasca" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [pos="13.75,9991.5625!" shape=point width=0]
  false_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [pos="5.0,9991.5625!" shape=point width=0]
  
  id_9bbc4e34_6df5_4221_933d_2ef058d4f349 [id="id_9bbc4e34_6df5_4221_933d_2ef058d4f349#Assign" pos="13.75,9990.625!" height=0.4 width=4.16 fixedsize=true group="id_891c7af4_97da_4df3_bc61_c4a0aea800cc"    label="sommaLitri = sommaLitri+litriSecchio" tooltip="sommaLitri = sommaLitri+litriSecchio" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_9cb8b504_555b_4e9d_8285_a58947e7d5b3 [id="id_9cb8b504_555b_4e9d_8285_a58947e7d5b3#Output" pos="5.0,9990.625!" height=0.4 width=4.6000000000000005 fixedsize=true group="id_629a54bb_de6f_4d39_abff_6346624a8623"    label="\"non possiamo accettare: tracimerebbe\"" tooltip="\"non possiamo accettare: tracimerebbe\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [ pos="13.75,9989.6875!" shape=point width=0]
  false_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [ pos="5.0,9989.6875!" shape=point width=0]
  
  end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636#IfEnd" class="flowrun-not-selectable" pos="10.0,9989.6875!" group="id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  
  true_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="10.0,9988.854166666666!" shape=point width=0]
  true_dummy_down_left_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="0.0,9988.854166666666!" shape=point width=0]
  false_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="-2.5,9988.75!" shape=point width=0]
  end_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [pos="0.0,9988.75!" group="fun-main" shape=point width=0]
  
  
  id_6799d6a4_29cf_4f3b_92a2_6743f3c0591d [id="id_6799d6a4_29cf_4f3b_92a2_6743f3c0591d#Output" pos="0.0,9987.8125!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="\"Somma litri:\"+ sommaLitri" tooltip="\"Somma litri:\"+ sommaLitri" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_22549af9_4ec9_48b8_87cd_aae3a9e5c508 [id="id_22549af9_4ec9_48b8_87cd_aae3a9e5c508#Return" pos="0.0,9986.875!" 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_883a7f37_a811_45ac_bf1b_7dcf9b7b9a57:s -> id_6fbfe86f_d7cd_4d3c_a0c0_c3b45d40d695:n [id="id_883a7f37_a811_45ac_bf1b_7dcf9b7b9a57@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6fbfe86f_d7cd_4d3c_a0c0_c3b45d40d695:s -> id_1ff26be1_d689_425a_a612_b5e5a64e311a:n [id="id_6fbfe86f_d7cd_4d3c_a0c0_c3b45d40d695@fun-main" tailtooltip=" " edgetooltip=" "]
  id_1ff26be1_d689_425a_a612_b5e5a64e311a:s -> id_39e2997a_0b23_4cab_a2bb_c10c07b04b13:n [id="id_1ff26be1_d689_425a_a612_b5e5a64e311a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_39e2997a_0b23_4cab_a2bb_c10c07b04b13:s -> id_4f721106_a20e_4512_ab66_237e2e35bdb5:n [id="id_39e2997a_0b23_4cab_a2bb_c10c07b04b13@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4f721106_a20e_4512_ab66_237e2e35bdb5:s -> id_05a6dc88_cc06_402b_928e_36565147b981:n [id="id_4f721106_a20e_4512_ab66_237e2e35bdb5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_05a6dc88_cc06_402b_928e_36565147b981:s -> id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd:n [id="id_05a6dc88_cc06_402b_928e_36565147b981@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd:e -> true_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> id_73ed04dd_db58_405b_ac48_a62772512a1a:n [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" "]
  
  id_73ed04dd_db58_405b_ac48_a62772512a1a:s -> id_b22d8de3_8443_4b3a_b1b1_b5e6581850d9:n [id="id_73ed04dd_db58_405b_ac48_a62772512a1a@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" "]
  id_b22d8de3_8443_4b3a_b1b1_b5e6581850d9:s -> id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:n [id="id_b22d8de3_8443_4b3a_b1b1_b5e6581850d9@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:e -> true_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_891c7af4_97da_4df3_bc61_c4a0aea800cc" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 -> id_9bbc4e34_6df5_4221_933d_2ef058d4f349:n [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_891c7af4_97da_4df3_bc61_c4a0aea800cc" tailtooltip=" " edgetooltip=" "]
  
  id_9bbc4e34_6df5_4221_933d_2ef058d4f349:s -> true_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:n [id="id_9bbc4e34_6df5_4221_933d_2ef058d4f349@id_891c7af4_97da_4df3_bc61_c4a0aea800cc" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 -> end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="id_9bbc4e34_6df5_4221_933d_2ef058d4f349@id_891c7af4_97da_4df3_bc61_c4a0aea800cc" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:w -> false_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_629a54bb_de6f_4d39_abff_6346624a8623" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 -> id_9cb8b504_555b_4e9d_8285_a58947e7d5b3:n [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_629a54bb_de6f_4d39_abff_6346624a8623" tailtooltip=" " edgetooltip=" "]
  
  id_9cb8b504_555b_4e9d_8285_a58947e7d5b3:s -> false_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:n [id="id_9cb8b504_555b_4e9d_8285_a58947e7d5b3@id_629a54bb_de6f_4d39_abff_6346624a8623" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 -> end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636 [id="id_9cb8b504_555b_4e9d_8285_a58947e7d5b3@id_629a54bb_de6f_4d39_abff_6346624a8623" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636:s -> true_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd:n [id="end_id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> true_dummy_down_left_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd:s [id="id_55dd39b3_8bf9_4fd1_857c_59dd385e5636@id_581d4e7a_ee7a_4ca3_a865_e3829d4ca556" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd:w -> false_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> false_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> end_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd -> id_6799d6a4_29cf_4f3b_92a2_6743f3c0591d [id="id_5658f8c7_f7e8_4fcf_b52f_5f32ba30b4fd@fun-main" tailtooltip=" " edgetooltip=" "]
  
  
  id_6799d6a4_29cf_4f3b_92a2_6743f3c0591d:s -> id_22549af9_4ec9_48b8_87cd_aae3a9e5c508:n [id="id_6799d6a4_29cf_4f3b_92a2_6743f3c0591d@fun-main" tailtooltip=" " edgetooltip=" "]

}