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_aa5fca8f_2125_4d83_b44f_53cd9d848e20 [id="id_aa5fca8f_2125_4d83_b44f_53cd9d848e20#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_698e50d4_ccd1_48c2_be44_2173a04afc33 [id="id_698e50d4_ccd1_48c2_be44_2173a04afc33#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T = 0" tooltip="T: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_e8c9a8bb_0123_4e9d_a79a_5412b4fdb31b [id="id_e8c9a8bb_0123_4e9d_a79a_5412b4fdb31b#Declare" pos="0.0,9998.125!" height=0.4 width=1.3 fixedsize=true group="fun-main"    label="inCasa = 0" tooltip="inCasa: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_30d75e1e_e6e5_46eb_af5b_aac1220920f8 [id="id_30d75e1e_e6e5_46eb_af5b_aac1220920f8#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Eco = 0" tooltip="Eco: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_2572934c_856e_4953_83ca_d87675ddf364 [id="id_2572934c_856e_4953_83ca_d87675ddf364#Declare" pos="0.0,9996.25!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main"    label="riscaldamento = 0" tooltip="riscaldamento: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_62650bc0_1a04_4e47_822a_0f573ad80d8e [id="id_62650bc0_1a04_4e47_822a_0f573ad80d8e#Input" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="T" tooltip="T" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_5b6eec83_5244_4b75_834d_08f064aa60b4 [id="id_5b6eec83_5244_4b75_834d_08f064aa60b4#Input" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="inCasa" tooltip="inCasa" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_18abd506_9c78_4b4a_ac06_c4b7d34b0619 [id="id_18abd506_9c78_4b4a_ac06_c4b7d34b0619#Input" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main"    label="Eco" tooltip="Eco" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_a9a97d70_4cb5_4af4_b86c_fc2291da4f3a [id="id_a9a97d70_4cb5_4af4_b86c_fc2291da4f3a#Input" pos="0.0,9992.5!" height=0.4 width=1.63 fixedsize=true group="fun-main"    label="riscaldamento" tooltip="riscaldamento" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="id_cf7147e9_4ed1_4fe0_8751_4e1705388713#If" pos="0.0,9991.5625!" height=0.5 width=2.92 fixedsize=true group="fun-main" 
    label="T<19 && inCasa && !Eco" tooltip="T<19 && inCasa && !Eco" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"]
  
  true_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [pos="3.75,9991.5625!" shape=point width=0]
  false_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [pos="-3.75,9991.5625!" shape=point width=0]
  
  id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87 [id="id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87#Output" pos="3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_bc85e5b6_33c9_45dd_b623_afa43f838342"    label="\"riscaldamento acceso\"" tooltip="\"riscaldamento acceso\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  id_1aa0e0cc_3154_4364_b549_1d1d87a70583 [id="id_1aa0e0cc_3154_4364_b549_1d1d87a70583#Output" pos="-3.75,9990.625!" height=0.4 width=2.8400000000000003 fixedsize=true group="id_6344fe7d_a8c9_452c_8d4a_2b4303fbaec0"    label="\"riscaldamento spento\"" tooltip="\"riscaldamento spento\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] 
  
  true_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [ pos="3.75,9989.6875!" shape=point width=0]
  false_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [ pos="-3.75,9989.6875!" shape=point width=0]
  
  end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713#IfEnd" class="flowrun-not-selectable" pos="0.0,9989.6875!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black"
    label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2]
  
  
  id_7a4f31f0_a738_487b_8eb6_004b6ea16bc5 [id="id_7a4f31f0_a738_487b_8eb6_004b6ea16bc5#Return" pos="0.0,9988.75!" 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_aa5fca8f_2125_4d83_b44f_53cd9d848e20:s -> id_698e50d4_ccd1_48c2_be44_2173a04afc33:n [id="id_aa5fca8f_2125_4d83_b44f_53cd9d848e20@fun-main" tailtooltip=" " edgetooltip=" "]
  id_698e50d4_ccd1_48c2_be44_2173a04afc33:s -> id_e8c9a8bb_0123_4e9d_a79a_5412b4fdb31b:n [id="id_698e50d4_ccd1_48c2_be44_2173a04afc33@fun-main" tailtooltip=" " edgetooltip=" "]
  id_e8c9a8bb_0123_4e9d_a79a_5412b4fdb31b:s -> id_30d75e1e_e6e5_46eb_af5b_aac1220920f8:n [id="id_e8c9a8bb_0123_4e9d_a79a_5412b4fdb31b@fun-main" tailtooltip=" " edgetooltip=" "]
  id_30d75e1e_e6e5_46eb_af5b_aac1220920f8:s -> id_2572934c_856e_4953_83ca_d87675ddf364:n [id="id_30d75e1e_e6e5_46eb_af5b_aac1220920f8@fun-main" tailtooltip=" " edgetooltip=" "]
  id_2572934c_856e_4953_83ca_d87675ddf364:s -> id_62650bc0_1a04_4e47_822a_0f573ad80d8e:n [id="id_2572934c_856e_4953_83ca_d87675ddf364@fun-main" tailtooltip=" " edgetooltip=" "]
  id_62650bc0_1a04_4e47_822a_0f573ad80d8e:s -> id_5b6eec83_5244_4b75_834d_08f064aa60b4:n [id="id_62650bc0_1a04_4e47_822a_0f573ad80d8e@fun-main" tailtooltip=" " edgetooltip=" "]
  id_5b6eec83_5244_4b75_834d_08f064aa60b4:s -> id_18abd506_9c78_4b4a_ac06_c4b7d34b0619:n [id="id_5b6eec83_5244_4b75_834d_08f064aa60b4@fun-main" tailtooltip=" " edgetooltip=" "]
  id_18abd506_9c78_4b4a_ac06_c4b7d34b0619:s -> id_a9a97d70_4cb5_4af4_b86c_fc2291da4f3a:n [id="id_18abd506_9c78_4b4a_ac06_c4b7d34b0619@fun-main" tailtooltip=" " edgetooltip=" "]
  id_a9a97d70_4cb5_4af4_b86c_fc2291da4f3a:s -> id_cf7147e9_4ed1_4fe0_8751_4e1705388713:n [id="id_a9a97d70_4cb5_4af4_b86c_fc2291da4f3a@fun-main" tailtooltip=" " edgetooltip=" "]
  ## IF-TRUE
  id_cf7147e9_4ed1_4fe0_8751_4e1705388713:e -> true_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="id_cf7147e9_4ed1_4fe0_8751_4e1705388713@id_bc85e5b6_33c9_45dd_b623_afa43f838342" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"]
  true_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 -> id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87:n [id="id_cf7147e9_4ed1_4fe0_8751_4e1705388713@id_bc85e5b6_33c9_45dd_b623_afa43f838342" tailtooltip=" " edgetooltip=" "]
  
  id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87:s -> true_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713:n [id="id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87@id_bc85e5b6_33c9_45dd_b623_afa43f838342" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  true_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 -> end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="id_8a7e857c_37f3_4e7e_a1e6_874c4ca19c87@id_bc85e5b6_33c9_45dd_b623_afa43f838342" tailtooltip=" " edgetooltip=" "]
  
  
  ## IF-FALSE
  id_cf7147e9_4ed1_4fe0_8751_4e1705388713:w -> false_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="id_cf7147e9_4ed1_4fe0_8751_4e1705388713@id_6344fe7d_a8c9_452c_8d4a_2b4303fbaec0" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"]
  false_dummy_up_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 -> id_1aa0e0cc_3154_4364_b549_1d1d87a70583:n [id="id_cf7147e9_4ed1_4fe0_8751_4e1705388713@id_6344fe7d_a8c9_452c_8d4a_2b4303fbaec0" tailtooltip=" " edgetooltip=" "]
  
  id_1aa0e0cc_3154_4364_b549_1d1d87a70583:s -> false_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713:n [id="id_1aa0e0cc_3154_4364_b549_1d1d87a70583@id_6344fe7d_a8c9_452c_8d4a_2b4303fbaec0" tailtooltip=" " edgetooltip=" " arrowhead=none]
  
  false_dummy_down_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 -> end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713 [id="id_1aa0e0cc_3154_4364_b549_1d1d87a70583@id_6344fe7d_a8c9_452c_8d4a_2b4303fbaec0" tailtooltip=" " edgetooltip=" "]
  
  ## IF-END
  end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713:s -> id_7a4f31f0_a738_487b_8eb6_004b6ea16bc5:n [id="end_id_cf7147e9_4ed1_4fe0_8751_4e1705388713@fun-main" tailtooltip=" " edgetooltip=" "]
  

}