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_89d7757a_a6d5_4e71_a5c5_1cf299c37292 [id="id_89d7757a_a6d5_4e71_a5c5_1cf299c37292#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_6cf2aa21_6e9e_4d27_9e56_586a50f82e0e [id="id_6cf2aa21_6e9e_4d27_9e56_586a50f82e0e#Declare" pos="0.0,9999.0625!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main"    label="sonnoMinimo = 8" tooltip="sonnoMinimo: Integer = 8" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6a85e460_aa4e_4d1d_9323_807fec5a29d8 [id="id_6a85e460_aa4e_4d1d_9323_807fec5a29d8#Declare" pos="0.0,9998.125!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="oreNotte" tooltip="oreNotte: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a451d406_8b41_46c6_bf6a_c20ccf34b6f3 [id="id_a451d406_8b41_46c6_bf6a_c20ccf34b6f3#Declare" pos="0.0,9997.1875!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="tNap = 0.5" tooltip="tNap: Real = 0.5" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_7fff5c30_ec9b_476c_9e16_b39e552a2fe2 [id="id_7fff5c30_ec9b_476c_9e16_b39e552a2fe2#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="naps" tooltip="naps: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_6d5e0627_0862_4b3d_9b37_8469250e00c9 [id="id_6d5e0627_0862_4b3d_9b37_8469250e00c9#Input" pos="0.0,9995.3125!" height=0.4 width=1.08 fixedsize=true group="fun-main"    label="oreNotte" tooltip="oreNotte" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_bea76c7d_a9f8_48c6_a6e7_d7c00bffaff8 [id="id_bea76c7d_a9f8_48c6_a6e7_d7c00bffaff8#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="naps" tooltip="naps" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_3c8bf361_ab0c_4c67_9611_fad628f283c6 [id="id_3c8bf361_ab0c_4c67_9611_fad628f283c6#Declare" pos="0.0,9993.4375!" height=0.4 width=3.2800000000000002 fixedsize=true group="fun-main"    label="tot = oreNotte + naps * tNap" tooltip="tot: Real = oreNotte + naps * tNap" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="id_44288cce_4c17_41ab_a911_ada7c77e3b5d#If" pos="0.0,9992.5!" height=0.5 width=2.48 fixedsize=true group="fun-main" 
    label="tot >= sonnoMinimo" tooltip="tot >= sonnoMinimo" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [pos="3.75,9992.5!" shape=point width=0]
  false_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [pos="-3.75,9992.5!" shape=point width=0]
  
  id_986a20ac_d54f_4aad_864c_11110242e7dc [id="id_986a20ac_d54f_4aad_864c_11110242e7dc#Output" pos="3.75,9991.5625!" height=0.4 width=4.930000000000001 fixedsize=true group="id_0c0b2404_7e2e_40de_b029_8846adec023d"    label="\"Hai dormito \" + tot + \": è abbastanza\"" tooltip="\"Hai dormito \" + tot + \": è abbastanza\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_645f6291_5a64_4790_836a_edd3828ec7c6 [id="id_645f6291_5a64_4790_836a_edd3828ec7c6#Output" pos="-3.75,9991.5625!" height=0.4 width=5.59 fixedsize=true group="id_63a14113_18c3_4783_8fb8_d0c19d0174d1"    label="\"Hai dormito solo \" + tot + \": non ci siamo!\"" tooltip="\"Hai dormito solo \" + tot + \": non ci siamo!\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [ pos="3.75,9990.625!" shape=point width=0]
  false_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [ pos="-3.75,9990.625!" shape=point width=0]
  
  end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d#IfEnd" class="flowrun-not-selectable" pos="0.0,9990.625!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_c7cece2b_6bb4_4722_8e43_d30d0f812f93 [id="id_c7cece2b_6bb4_4722_8e43_d30d0f812f93#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_89d7757a_a6d5_4e71_a5c5_1cf299c37292:s -> id_6cf2aa21_6e9e_4d27_9e56_586a50f82e0e:n [id="id_89d7757a_a6d5_4e71_a5c5_1cf299c37292@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6cf2aa21_6e9e_4d27_9e56_586a50f82e0e:s -> id_6a85e460_aa4e_4d1d_9323_807fec5a29d8:n [id="id_6cf2aa21_6e9e_4d27_9e56_586a50f82e0e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6a85e460_aa4e_4d1d_9323_807fec5a29d8:s -> id_a451d406_8b41_46c6_bf6a_c20ccf34b6f3:n [id="id_6a85e460_aa4e_4d1d_9323_807fec5a29d8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a451d406_8b41_46c6_bf6a_c20ccf34b6f3:s -> id_7fff5c30_ec9b_476c_9e16_b39e552a2fe2:n [id="id_a451d406_8b41_46c6_bf6a_c20ccf34b6f3@fun-main" tailtooltip=" " edgetooltip=" "]
  id_7fff5c30_ec9b_476c_9e16_b39e552a2fe2:s -> id_6d5e0627_0862_4b3d_9b37_8469250e00c9:n [id="id_7fff5c30_ec9b_476c_9e16_b39e552a2fe2@fun-main" tailtooltip=" " edgetooltip=" "]
  id_6d5e0627_0862_4b3d_9b37_8469250e00c9:s -> id_bea76c7d_a9f8_48c6_a6e7_d7c00bffaff8:n [id="id_6d5e0627_0862_4b3d_9b37_8469250e00c9@fun-main" tailtooltip=" " edgetooltip=" "]
  id_bea76c7d_a9f8_48c6_a6e7_d7c00bffaff8:s -> id_3c8bf361_ab0c_4c67_9611_fad628f283c6:n [id="id_bea76c7d_a9f8_48c6_a6e7_d7c00bffaff8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_3c8bf361_ab0c_4c67_9611_fad628f283c6:s -> id_44288cce_4c17_41ab_a911_ada7c77e3b5d:n [id="id_3c8bf361_ab0c_4c67_9611_fad628f283c6@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_44288cce_4c17_41ab_a911_ada7c77e3b5d:e -> true_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="id_44288cce_4c17_41ab_a911_ada7c77e3b5d@id_0c0b2404_7e2e_40de_b029_8846adec023d" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d -> id_986a20ac_d54f_4aad_864c_11110242e7dc:n [id="id_44288cce_4c17_41ab_a911_ada7c77e3b5d@id_0c0b2404_7e2e_40de_b029_8846adec023d" tailtooltip=" " edgetooltip=" "]
  
  id_986a20ac_d54f_4aad_864c_11110242e7dc:s -> true_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d:n [id="id_986a20ac_d54f_4aad_864c_11110242e7dc@id_0c0b2404_7e2e_40de_b029_8846adec023d" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d -> end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="id_986a20ac_d54f_4aad_864c_11110242e7dc@id_0c0b2404_7e2e_40de_b029_8846adec023d" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_44288cce_4c17_41ab_a911_ada7c77e3b5d:w -> false_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="id_44288cce_4c17_41ab_a911_ada7c77e3b5d@id_63a14113_18c3_4783_8fb8_d0c19d0174d1" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_44288cce_4c17_41ab_a911_ada7c77e3b5d -> id_645f6291_5a64_4790_836a_edd3828ec7c6:n [id="id_44288cce_4c17_41ab_a911_ada7c77e3b5d@id_63a14113_18c3_4783_8fb8_d0c19d0174d1" tailtooltip=" " edgetooltip=" "]
  
  id_645f6291_5a64_4790_836a_edd3828ec7c6:s -> false_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d:n [id="id_645f6291_5a64_4790_836a_edd3828ec7c6@id_63a14113_18c3_4783_8fb8_d0c19d0174d1" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_44288cce_4c17_41ab_a911_ada7c77e3b5d -> end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d [id="id_645f6291_5a64_4790_836a_edd3828ec7c6@id_63a14113_18c3_4783_8fb8_d0c19d0174d1" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d:s -> id_c7cece2b_6bb4_4722_8e43_d30d0f812f93:n [id="end_id_44288cce_4c17_41ab_a911_ada7c77e3b5d@fun-main" tailtooltip=" " edgetooltip=" "]
  

}