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_42191b40_9863_4640_9960_8fb95119ad81 [id="id_42191b40_9863_4640_9960_8fb95119ad81#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_98c45062_14fe_49b5_9ec6_320f7635511d [id="id_98c45062_14fe_49b5_9ec6_320f7635511d#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C = 0" tooltip="C: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_242bc73c_a3f5_436d_98b3_c4529d413e3a [id="id_242bc73c_a3f5_436d_98b3_c4529d413e3a#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="A = 0" tooltip="A: Real = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_dba79d19_fccc_43d0_b80b_8481f3a0e8c9 [id="id_dba79d19_fccc_43d0_b80b_8481f3a0e8c9#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C1 = 1" tooltip="C1: Real = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4715860b_b6a5_4cdd_8cda_9622342dc630 [id="id_4715860b_b6a5_4cdd_8cda_9622342dc630#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C2 = 2" tooltip="C2: Real = 2" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_4c9cb17e_cc57_4cd2_8563_1af34021a628 [id="id_4c9cb17e_cc57_4cd2_8563_1af34021a628#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="C3 = 3" tooltip="C3: Real = 3" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_126969e0_5a55_454c_9f72_cf003d47ea56 [id="id_126969e0_5a55_454c_9f72_cf003d47ea56#Declare" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="S = 0" tooltip="S: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd#While" pos="0.0,9993.4375!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="1" tooltip="1" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="2.5,9993.4375!" shape=point width=0]
  false_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="-1.25,9993.4375!" shape=point width=0]
  
  id_6724c964_1380_420d_9d40_464771b318aa [id="id_6724c964_1380_420d_9d40_464771b318aa#Output" pos="2.5,9992.5!" height=0.4 width=2.73 fixedsize=true group="id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f"    label="\"0:Inserisci credito\"" tooltip="\"0:Inserisci credito\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172 [id="id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172#Output" pos="2.5,9991.5625!" height=0.4 width=1.74 fixedsize=true group="id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f"    label="\"1:Acqua 1€\"" tooltip="\"1:Acqua 1€\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="2.5,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  id_461b7d3d_4d91_4724_972c_d746c9e5fe41 [id="id_461b7d3d_4d91_4724_972c_d746c9e5fe41#Return" pos="0.0,9989.6875!" 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_42191b40_9863_4640_9960_8fb95119ad81:s -> id_98c45062_14fe_49b5_9ec6_320f7635511d:n [id="id_42191b40_9863_4640_9960_8fb95119ad81@fun-main" tailtooltip=" " edgetooltip=" "]
  id_98c45062_14fe_49b5_9ec6_320f7635511d:s -> id_242bc73c_a3f5_436d_98b3_c4529d413e3a:n [id="id_98c45062_14fe_49b5_9ec6_320f7635511d@fun-main" tailtooltip=" " edgetooltip=" "]
  id_242bc73c_a3f5_436d_98b3_c4529d413e3a:s -> id_dba79d19_fccc_43d0_b80b_8481f3a0e8c9:n [id="id_242bc73c_a3f5_436d_98b3_c4529d413e3a@fun-main" tailtooltip=" " edgetooltip=" "]
  id_dba79d19_fccc_43d0_b80b_8481f3a0e8c9:s -> id_4715860b_b6a5_4cdd_8cda_9622342dc630:n [id="id_dba79d19_fccc_43d0_b80b_8481f3a0e8c9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4715860b_b6a5_4cdd_8cda_9622342dc630:s -> id_4c9cb17e_cc57_4cd2_8563_1af34021a628:n [id="id_4715860b_b6a5_4cdd_8cda_9622342dc630@fun-main" tailtooltip=" " edgetooltip=" "]
  id_4c9cb17e_cc57_4cd2_8563_1af34021a628:s -> id_126969e0_5a55_454c_9f72_cf003d47ea56:n [id="id_4c9cb17e_cc57_4cd2_8563_1af34021a628@fun-main" tailtooltip=" " edgetooltip=" "]
  id_126969e0_5a55_454c_9f72_cf003d47ea56:s -> id_5bf715e1_1f6c_43be_89e0_44d408bc55fd:n [id="id_126969e0_5a55_454c_9f72_cf003d47ea56@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_5bf715e1_1f6c_43be_89e0_44d408bc55fd:e -> true_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> id_6724c964_1380_420d_9d40_464771b318aa:n [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" "]
  
  id_6724c964_1380_420d_9d40_464771b318aa:s -> id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172:n [id="id_6724c964_1380_420d_9d40_464771b318aa@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" "]
  id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172:s -> true_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd:n [id="id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> true_dummy_down_left_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> id_5bf715e1_1f6c_43be_89e0_44d408bc55fd:s [id="id_e8d112a7_b7e3_4a9c_a71a_8dbe48e41172@id_1b1fb775_a832_4ac8_8c7a_d58ac5ae0e9f" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_5bf715e1_1f6c_43be_89e0_44d408bc55fd:w -> false_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> false_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> end_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_5bf715e1_1f6c_43be_89e0_44d408bc55fd -> id_461b7d3d_4d91_4724_972c_d746c9e5fe41 [id="id_5bf715e1_1f6c_43be_89e0_44d408bc55fd@fun-main" tailtooltip=" " edgetooltip=" "]
  

}