digraph fscn {
EC1 [
	label="EC#1<Ev:1 , H:0>
( Thermostat:q0 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC1 -> ED1
ED1 [
	label="$time=0\l$delta=0\lt=t_0\ly=y_0\lz=z_0\lx=x_0\lisOn=isOn_0\lc=0\l"
	shape=box
]
EC1 -> EC2 [
	label=""
]
EC2 [
	label="EC#2<Ev:2 , H:1>
( Thermostat:q0 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC2 -> EC3 [
	label="INPUT Thermostat:sens( t_1 )\l"
]
EC3 [
	label="EC#3<Ev:3 , H:2>
( Thermostat:q1 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC3 -> ED3
ED3 [
	label="PC: (t_1 == 0)\lPtC: ($delta_0 == 1)\l$time=1\l$delta=$delta_0\lt=t_1\lc=$delta_0\l"
	shape=box
]
EC3 -> EC4 [
	label="OUTPUT Thermostat:screen( 1 )\l"
]
EC4 [
	label="EC#4<Ev:4 , H:3>
( Thermostat:q2 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC4 -> ED4
ED4 [
	label="PC: ((t_1 == 0) && (t_1 < 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1))\l$time=2\l$delta=$delta_1\lc=($delta_0 + $delta_1)\l"
	shape=box
]
EC4 -> EC5 [
	label="output Thermostat:dt( ((- t_1) + 20) )\linput Equipment:dt( ((- t_1) + 20) )\l"
]
EC5 [
	label="EC#5<Ev:5 , H:4>
( Thermostat:q3 , Equipment:s1 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC5 -> ED5
ED5 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1))\l$time=3\l$delta=$delta_2\lx=((- t_1) + 20)\lc=0\l"
	shape=box
]
EC5 -> EC6 [
	label="INPUT Thermostat:sens( t_2 )\l"
]
EC5 -> EC7 [
	label=""
]
EC5 -> EC8 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC6 [
	label="EC#6<Ev:6 , H:5>
( Thermostat:q4 , Equipment:s1 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC6 -> ED6
ED6 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1))\l$time=($delta_3 + 3)\l$delta=$delta_3\lt=t_2\lc=$delta_3\l"
	shape=box
]
EC6 -> EC9 [
	label=""
]
EC6 -> EC10 [
	label=""
]
EC6 -> EC11 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC7 [
	label="EC#7<Ev:7 , H:5>
( Thermostat:q3 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC7 -> ED7
ED7 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + 3)\l$delta=$delta_3\lisOn=true\l"
	shape=box
]
EC7 -> EC12 [
	label="INPUT Thermostat:sens( t_3 )\l"
]
EC7 -> EC13 [
	label=""
]
EC7 -> EC14 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC7 -> EC15 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC8 [
	label="EC#8<Ev:8 , H:5>
( Thermostat:q3 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC8 -> ED8
ED8 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 > 2))\l$time=($delta_3 + 3)\l$delta=$delta_3\lz=0\lc=$delta_3\l"
	shape=box
]
EC8 -> EC16 [
	label="INPUT Thermostat:sens( t_4 )\l"
]
EC9 [
	label="EC#9<Ev:0 , H:6>
( Thermostat:q2 , Equipment:s1 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC9 -> ED9
ED9 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_2 < 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1))\l$time=($delta_3 + $delta_4 + 3)\l$delta=$delta_4\lc=($delta_3 + $delta_4)\l"
	shape=box
]
EC10 [
	label="EC#10<Ev:0 , H:6>
( Thermostat:q4 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC10 -> ED10
ED10 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && (($delta_3 + \l$delta_4) <= 2))\l$time=($delta_3 + $delta_4 + 3)\l$delta=$delta_4\lisOn=true\lc=0\l"
	shape=box
]
EC11 [
	label="EC#11<Ev:0 , H:6>
( Thermostat:q4 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC11 -> ED11
ED11 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && (($delta_3 + \l$delta_4) > 2))\l$time=($delta_3 + $delta_4 + 3)\l$delta=$delta_4\lz=0\lc=($delta_3 + $delta_4)\l"
	shape=box
]
EC12 [
	label="EC#12<Ev:9 , H:6>
( Thermostat:q4 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC12 -> ED12
ED12 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + 3)\l$delta=$delta_5\lt=t_3\lc=$delta_5\l"
	shape=box
]
EC12 -> EC17 [
	label=""
]
EC12 -> EC18 [
	label=""
]
EC12 -> EC19 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC12 -> EC20 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC13 [
	label="EC#13<Ev:10 , H:6>
( Thermostat:q3 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC13 -> ED13
ED13 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + 3)\l$delta=$delta_5\lc=$delta_5\l"
	shape=box
]
EC13 -> EC21 [
	label="INPUT Thermostat:sens( t_5 )\l"
]
EC14 [
	label="EC#14<Ev:11 , H:6>
( Thermostat:q3 , Equipment:s2 )
OFFLINE_TEST_PASS"
	color=lawngreen
	shape=tripleoctagon
	style=filled
]
EC14 -> ED14
ED14 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: ((($delta_3 + $delta_5) == 2) && \l($delta_0 == 1) && ($delta_1 == 1) && \l($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 <= 1))\l$time=5\l$delta=$delta_5\ly=4\lx=((- t_1) + 16)\l"
	shape=box
]
EC14 -> EC22 [
	label="INPUT Thermostat:sens( t_6 )\l"
]
EC14 -> EC23 [
	label=""
]
EC14 -> EC24 [
	label="input Thermostat:equip( 4 )\loutput Equipment:equip( 4 )\l"
]
EC14 -> EC25 [
	label="input Thermostat:error( 0 )\loutput Equipment:error( 0 )\l"
]
EC15 [
	label="EC#15<Ev:12 , H:6>
( Thermostat:q3 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC15 -> ED15
ED15 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 > 1))\l$time=($delta_3 + $delta_5 + 3)\l$delta=$delta_5\lz=0\lc=$delta_5\l"
	shape=box
]
EC15 -> EC26 [
	label="INPUT Thermostat:sens( t_7 )\l"
]
EC16 [
	label="EC#16<Ev:13 , H:6>
( Thermostat:q4 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC16 -> ED16
ED16 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 > 2))\l$time=($delta_3 + $delta_6 + 3)\l$delta=$delta_6\lt=t_4\lc=($delta_3 + $delta_6)\l"
	shape=box
]
EC16 -> EC27 [
	label=""
]
EC16 -> EC28 [
	label="output Thermostat:dt( 0 )\linput Equipment:dt( 0 )\l"
]
EC17 [
	label="EC#17<Ev:0 , H:7>
( Thermostat:q2 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC17 -> ED17
ED17 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_3 < 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + $delta_7 + 3)\l$delta=$delta_7\lc=($delta_5 + $delta_7)\l"
	shape=box
]
EC18 [
	label="EC#18<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC18 -> ED18
ED18 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + $delta_7 + 3)\l$delta=$delta_7\lc=($delta_5 + $delta_7)\l"
	shape=box
]
EC19 [
	label="EC#19<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC19 -> ED19
ED19 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && (($delta_5 + \l$delta_7) <= 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + $delta_7 + 3)\l$delta=$delta_7\ly=4\lx=((- t_1) + 16)\lc=0\l"
	shape=box
]
EC20 [
	label="EC#20<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC20 -> ED20
ED20 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2) && \l(($delta_5 + $delta_7) > 1))\l$time=($delta_3 + $delta_5 + $delta_7 + 3)\l$delta=$delta_7\lz=0\lc=($delta_5 + $delta_7)\l"
	shape=box
]
EC21 [
	label="EC#21<Ev:14 , H:7>
( Thermostat:q4 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC21 -> ED21
ED21 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_3 + $delta_5 + $delta_8 + 3)\l$delta=$delta_8\lt=t_5\lc=($delta_5 + $delta_8)\l"
	shape=box
]
EC21 -> EC29 [
	label=""
]
EC21 -> EC30 [
	label="output Thermostat:dt( 0 )\linput Equipment:dt( 0 )\l"
]
EC22 [
	label="EC#22<Ev:0 , H:7>
( Thermostat:q4 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC22 -> ED22
ED22 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: ((($delta_3 + $delta_5) == 2) && \l($delta_0 == 1) && ($delta_1 == 1) && \l($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 <= 1))\l$time=($delta_9 + 5)\l$delta=$delta_9\lt=t_6\lc=$delta_9\l"
	shape=box
]
EC23 [
	label="EC#23<Ev:0 , H:7>
( Thermostat:q3 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC23 -> ED23
ED23 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: ((($delta_3 + $delta_5) == 2) && \l($delta_0 == 1) && ($delta_1 == 1) && \l($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 <= 1))\l$time=($delta_9 + 5)\l$delta=$delta_9\lc=$delta_9\l"
	shape=box
]
EC24 [
	label="EC#24<Ev:0 , H:7>
( Thermostat:q3 , Equipment:s2 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC24 -> ED24
ED24 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)) && (0 > (t_1 + \l-16)))\lPtC: ((($delta_3 + $delta_5) == 2) && \l($delta_0 == 1) && ($delta_1 == 1) && \l($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 <= 1) && ($delta_9 <= 1))\l$time=($delta_9 + 5)\l$delta=$delta_9\lx=((- t_1) + 12)\l"
	shape=box
]
EC25 [
	label="EC#25<Ev:0 , H:7>
( Thermostat:q3 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC25 -> ED25
ED25 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: ((($delta_3 + $delta_5) == 2) && \l($delta_0 == 1) && ($delta_1 == 1) && \l($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 <= 1) && ($delta_9 > 1))\l$time=($delta_9 + 5)\l$delta=$delta_9\lz=0\lc=$delta_9\l"
	shape=box
]
EC26 [
	label="EC#26<Ev:15 , H:7>
( Thermostat:q4 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC26 -> ED26
ED26 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 > 1))\l$time=($delta_10 + $delta_3 + $delta_5 + 3)\l$delta=$delta_10\lt=t_7\lc=($delta_10 + $delta_5)\l"
	shape=box
]
EC26 -> EC31 [
	label=""
]
EC26 -> EC32 [
	label="output Thermostat:dt( 0 )\linput Equipment:dt( 0 )\l"
]
EC27 [
	label="EC#27<Ev:0 , H:7>
( Thermostat:q2 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC27 -> ED27
ED27 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_4 < 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 > 2))\l$time=($delta_11 + $delta_3 + $delta_6 + 3)\l$delta=$delta_11\lc=($delta_11 + $delta_3 + $delta_6)\l"
	shape=box
]
EC28 [
	label="EC#28<Ev:0 , H:7>
( Thermostat:q0 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC28 -> ED28
ED28 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_4 >= 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 > 2))\l$time=($delta_11 + $delta_3 + $delta_6 + 3)\l$delta=$delta_11\lx=0\lc=($delta_11 + $delta_3 + $delta_6)\l"
	shape=box
]
EC29 [
	label="EC#29<Ev:0 , H:8>
( Thermostat:q2 , Equipment:s0 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC29 -> ED29
ED29 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_5 < 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_12 + $delta_3 + $delta_5 + \l$delta_8 + 3)\l$delta=$delta_12\lc=($delta_12 + $delta_5 + $delta_8)\l"
	shape=box
]
EC30 [
	label="EC#30<Ev:0 , H:8>
( Thermostat:q0 , Equipment:s1 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC30 -> ED30
ED30 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)) && (t_5 >= 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2))\l$time=($delta_12 + $delta_3 + $delta_5 + \l$delta_8 + 3)\l$delta=$delta_12\lx=0\lc=0\l"
	shape=box
]
EC31 [
	label="EC#31<Ev:0 , H:8>
( Thermostat:q2 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC31 -> ED31
ED31 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (t_7 < 20) && (0 > (t_1 + -20)))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 > 1))\l$time=($delta_10 + $delta_13 + $delta_3 + \l$delta_5 + 3)\l$delta=$delta_13\lc=($delta_10 + $delta_13 + $delta_5)\l"
	shape=box
]
EC32 [
	label="EC#32<Ev:0 , H:8>
( Thermostat:q0 , Equipment:s4 )"
	color=lightblue
	shape=ellipse
	style=filled
]
EC32 -> ED32
ED32 [
	label="PC: (((- t_1) == 0) && (t_1 == 0) && (t_1 \l< 20) && (0 > (t_1 + -20)) && (t_7 >= 20))\lPtC: (($delta_0 == 1) && ($delta_1 == 1) \l&& ($delta_2 == 1) && ($delta_3 <= 2) && \l($delta_5 > 1))\l$time=($delta_10 + $delta_13 + $delta_3 + \l$delta_5 + 3)\l$delta=$delta_13\lx=0\lc=($delta_10 + $delta_13 + $delta_5)\l"
	shape=box
]
}