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_b7e620f8_eb9e_4678_98a3_3b3ab5dad314 [id="id_b7e620f8_eb9e_4678_98a3_3b3ab5dad314#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_8e001ca5_10fe_4c99_9c7a_6a740657f80b [id="id_8e001ca5_10fe_4c99_9c7a_6a740657f80b#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Prezzo" tooltip="Prezzo: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_fdad317e_8c7c_42a2_b8fc_0ebfe1af9782 [id="id_fdad317e_8c7c_42a2_b8fc_0ebfe1af9782#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Costo" tooltip="Costo: Real" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_c5b1c195_c2fb_450d_a431_871f9a466dbd [id="id_c5b1c195_c2fb_450d_a431_871f9a466dbd#Declare" pos="0.0,9997.1875!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="Sconto = 0.85" tooltip="Sconto: Real = 0.85" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_153ef718_fe5e_44f5_bd09_e7f0fc47d695 [id="id_153ef718_fe5e_44f5_bd09_e7f0fc47d695#Output" pos="0.0,9996.25!" height=0.4 width=2.4000000000000004 fixedsize=true group="fun-main"    label="\"Inserisci prezzo\"" tooltip="\"Inserisci prezzo\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e6df55a1_c17d_40e4_a9a4_c0d3c31cb000 [id="id_e6df55a1_c17d_40e4_a9a4_c0d3c31cb000#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Prezzo" tooltip="Prezzo" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_13780945_e168_4f4e_898e_26372f839951 [id="id_13780945_e168_4f4e_898e_26372f839951#Assign" pos="0.0,9994.375!" height=0.4 width=2.73 fixedsize=true group="fun-main"    label="Costo = Prezzo * Sconto" tooltip="Costo = Prezzo * Sconto" fillcolor="#002a3a" color="#001117" fontcolor="white"] 
  id_6b2a9392_e67a_49d9_954c_8d7aa3253ac5 [id="id_6b2a9392_e67a_49d9_954c_8d7aa3253ac5#Output" pos="0.0,9993.4375!" height=0.4 width=2.95 fixedsize=true group="fun-main"    label="\"Il costo scontato è: \"" tooltip="\"Il costo scontato è: \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5ed130fc_e72e_4bc8_b3e1_fb138512ef65 [id="id_5ed130fc_e72e_4bc8_b3e1_fb138512ef65#Output" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Costo" tooltip="Costo" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696#While" pos="0.0,9991.5625!" height=0.5 width=1.0 fixedsize=true group="fun-main" 
    label="t" tooltip="t" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="1.25,9991.5625!" shape=point width=0]
  false_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="-1.25,9991.5625!" shape=point width=0]
  
  
  
  true_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="1.25,9990.729166666666!" shape=point width=0]
  true_dummy_down_left_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="0.0,9990.729166666666!" shape=point width=0]
  false_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="-1.25,9990.625!" shape=point width=0]
  end_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 [pos="0.0,9990.625!" group="fun-main" shape=point width=0]
  
  
  id_738856df_8ec7_4a97_9671_444e7af6eccc [id="id_738856df_8ec7_4a97_9671_444e7af6eccc#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_b7e620f8_eb9e_4678_98a3_3b3ab5dad314:s -> id_8e001ca5_10fe_4c99_9c7a_6a740657f80b:n [id="id_b7e620f8_eb9e_4678_98a3_3b3ab5dad314@fun-main" tailtooltip=" " edgetooltip=" "]
  id_8e001ca5_10fe_4c99_9c7a_6a740657f80b:s -> id_fdad317e_8c7c_42a2_b8fc_0ebfe1af9782:n [id="id_8e001ca5_10fe_4c99_9c7a_6a740657f80b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_fdad317e_8c7c_42a2_b8fc_0ebfe1af9782:s -> id_c5b1c195_c2fb_450d_a431_871f9a466dbd:n [id="id_fdad317e_8c7c_42a2_b8fc_0ebfe1af9782@fun-main" tailtooltip=" " edgetooltip=" "]
  id_c5b1c195_c2fb_450d_a431_871f9a466dbd:s -> id_153ef718_fe5e_44f5_bd09_e7f0fc47d695:n [id="id_c5b1c195_c2fb_450d_a431_871f9a466dbd@fun-main" tailtooltip=" " edgetooltip=" "]
  id_153ef718_fe5e_44f5_bd09_e7f0fc47d695:s -> id_e6df55a1_c17d_40e4_a9a4_c0d3c31cb000:n [id="id_153ef718_fe5e_44f5_bd09_e7f0fc47d695@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e6df55a1_c17d_40e4_a9a4_c0d3c31cb000:s -> id_13780945_e168_4f4e_898e_26372f839951:n [id="id_e6df55a1_c17d_40e4_a9a4_c0d3c31cb000@fun-main" tailtooltip=" " edgetooltip=" "]
  id_13780945_e168_4f4e_898e_26372f839951:s -> id_6b2a9392_e67a_49d9_954c_8d7aa3253ac5:n [id="id_13780945_e168_4f4e_898e_26372f839951@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6b2a9392_e67a_49d9_954c_8d7aa3253ac5:s -> id_5ed130fc_e72e_4bc8_b3e1_fb138512ef65:n [id="id_6b2a9392_e67a_49d9_954c_8d7aa3253ac5@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5ed130fc_e72e_4bc8_b3e1_fb138512ef65:s -> id_1750c128_7a63_4618_821c_5fbaebec7696:n [id="id_5ed130fc_e72e_4bc8_b3e1_fb138512ef65@fun-main" tailtooltip=" " edgetooltip=" "]
  ## WHILE-TRUE
  id_1750c128_7a63_4618_821c_5fbaebec7696:e -> true_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696@id_22d405f9_52fb_48d3_b45a_6fde2041a2d8" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 -> true_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696:n [id="id_1750c128_7a63_4618_821c_5fbaebec7696@id_22d405f9_52fb_48d3_b45a_6fde2041a2d8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  
  
  true_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 -> true_dummy_down_left_id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696@id_22d405f9_52fb_48d3_b45a_6fde2041a2d8" tailtooltip=" " edgetooltip=" " arrowhead=none]
  true_dummy_down_left_id_1750c128_7a63_4618_821c_5fbaebec7696 -> id_1750c128_7a63_4618_821c_5fbaebec7696:s [id="id_1750c128_7a63_4618_821c_5fbaebec7696@id_22d405f9_52fb_48d3_b45a_6fde2041a2d8" tailtooltip=" " edgetooltip=" "]
  
  ## WHILE-FALSE
  id_1750c128_7a63_4618_821c_5fbaebec7696:w -> false_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_1750c128_7a63_4618_821c_5fbaebec7696 -> false_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  false_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 -> end_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 [id="id_1750c128_7a63_4618_821c_5fbaebec7696@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none]
  end_dummy_down_id_1750c128_7a63_4618_821c_5fbaebec7696 -> id_738856df_8ec7_4a97_9671_444e7af6eccc [id="id_1750c128_7a63_4618_821c_5fbaebec7696@fun-main" tailtooltip=" " edgetooltip=" "]
  

}