TRACE NUMBER 1
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	fired transition q3:t33
	delta = $delta_3
	INPUT  sens( t_2 )
#step#header 6
	PC: ((t_1 < 20) && (t_2 < 20))
	fired transition q4:t44
	delta = $delta_4
#step#header 7
	PC: ((t_1 < 20) && (t_2 < 20))
	PtC: (($delta_12 + $delta_3 + $delta_4) > 2)
	fired transition q2:t21
	fired transition s1:e13
	delta = $delta_12
	output error( 0 )

TRACE NUMBER 2
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	fired transition q3:t33
	delta = $delta_3
	INPUT  sens( t_2 )
#step#header 6
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: (($delta_3 + $delta_4) <= 2)
	fired transition s1:e12
	delta = $delta_4
#step#header 7
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: (($delta_3 + $delta_4) <= 2)
	fired transition s2:e21
	delta = $delta_5
#step#header 8
	PC: ((t_1 < 20) && (0 > (t_1 + -20)) && (t_2 >= 20))
	PtC: (($delta_3 + $delta_4) <= 2)
	fired transition q4:t43
	fired transition s0:e1
	delta = $delta_6
	output dt( 0 )

TRACE NUMBER 3
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	fired transition q3:t33
	delta = $delta_3
	INPUT  sens( t_2 )
#step#header 6
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: (($delta_3 + $delta_4) <= 2)
	fired transition s1:e12
	delta = $delta_4
#step#header 7
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: ((($delta_3 + $delta_4) <= 2) && ($delta_5 <= 1))
	fired transition q4:t41
	fired transition s2:e22
	delta = $delta_5
	output equip( 4 )

TRACE NUMBER 4
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	fired transition q3:t33
	delta = $delta_3
	INPUT  sens( t_2 )
#step#header 6
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: (($delta_3 + $delta_4) <= 2)
	fired transition s1:e12
	delta = $delta_4
#step#header 7
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: ((($delta_3 + $delta_4) <= 2) && ($delta_5 > 1))
	fired transition q4:t42
	fired transition s2:e23
	delta = $delta_5
	output error( 0 )

TRACE NUMBER 5
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	fired transition q3:t33
	delta = $delta_3
	INPUT  sens( t_2 )
#step#header 6
	PC: (t_1 < 20)
	PtC: (($delta_3 + $delta_4) > 2)
	fired transition q4:t42
	fired transition s1:e13
	delta = $delta_4
	output error( 0 )

TRACE NUMBER 6
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: ($delta_3 <= 2)
	fired transition s1:e12
	delta = $delta_3
#step#header 6
	PC: ((t_1 < 20) && (0 > (t_1 + -20)))
	PtC: (($delta_16 <= 1) && ($delta_3 <= 2))
	fired transition q3:t31
	fired transition s2:e22
	delta = $delta_16
	output equip( 4 )

TRACE NUMBER 7
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 < 20)
	fired transition q1:t11
	delta = $delta_1
	OUTPUT screen( 1 )
#step#header 4
	PC: (t_1 < 20)
	fired transition q2:t22
	fired transition s0:e1
	delta = $delta_2
	output dt( ((- t_1) + 20) )
#step#header 5
	PC: (t_1 < 20)
	PtC: ($delta_3 > 2)
	fired transition q3:t32
	fired transition s1:e13
	delta = $delta_3
	output error( 0 )

TRACE NUMBER 8
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	fired transition q6:t63
	delta = $delta_8
	INPUT  sens( t_3 )
#step#header 6
	PC: ((t_1 > 25) && (t_3 > 25))
	fired transition q7:t74
	delta = $delta_9
#step#header 7
	PC: ((t_1 > 25) && (t_3 > 25))
	PtC: (($delta_13 + $delta_8 + $delta_9) > 2)
	fired transition q5:t51
	fired transition s1:e13
	delta = $delta_13
	output error( 0 )
#step#header 8
	PC: ((t_1 > 25) && (t_3 > 25))
	PtC: (($delta_13 + $delta_8 + $delta_9) > 2)
	fired transition q5:t52
	fired transition s4:e41
	delta = $delta_14
	output dt( ((- t_3) + 25) )

TRACE NUMBER 9
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	fired transition q6:t63
	delta = $delta_8
	INPUT  sens( t_3 )
#step#header 6
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: (($delta_8 + $delta_9) <= 2)
	fired transition s1:e14
	delta = $delta_9
#step#header 7
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: (($delta_8 + $delta_9) <= 2)
	fired transition s3:e31
	delta = $delta_10
#step#header 8
	PC: ((0 < (t_1 + -25)) && (t_3 <= 25) && (t_1 > 25))
	PtC: (($delta_8 + $delta_9) <= 2)
	fired transition q7:t73
	fired transition s0:e1
	delta = $delta_11
	output dt( 0 )

TRACE NUMBER 10
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	fired transition q6:t63
	delta = $delta_8
	INPUT  sens( t_3 )
#step#header 6
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: (($delta_8 + $delta_9) <= 2)
	fired transition s1:e14
	delta = $delta_9
#step#header 7
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: ((($delta_8 + $delta_9) <= 2) && ($delta_10 <= 1))
	fired transition q7:t71
	fired transition s3:e32
	delta = $delta_10
	output equip( -4 )

TRACE NUMBER 11
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	fired transition q6:t63
	delta = $delta_8
	INPUT  sens( t_3 )
#step#header 6
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: (($delta_8 + $delta_9) <= 2)
	fired transition s1:e14
	delta = $delta_9
#step#header 7
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: ((($delta_8 + $delta_9) <= 2) && ($delta_10 > 1))
	fired transition q7:t72
	fired transition s3:e33
	delta = $delta_10
	output error( 0 )

TRACE NUMBER 12
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	fired transition q6:t63
	delta = $delta_8
	INPUT  sens( t_3 )
#step#header 6
	PC: (t_1 > 25)
	PtC: (($delta_8 + $delta_9) > 2)
	fired transition q7:t72
	fired transition s1:e13
	delta = $delta_9
	output error( 0 )

TRACE NUMBER 13
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: ($delta_8 <= 2)
	fired transition s1:e14
	delta = $delta_8
#step#header 6
	PC: ((0 < (t_1 + -25)) && (t_1 > 25))
	PtC: (($delta_18 <= 1) && ($delta_8 <= 2))
	fired transition q6:t61
	fired transition s3:e32
	delta = $delta_18
	output equip( -4 )

TRACE NUMBER 14
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: (t_1 > 25)
	fired transition q1:t12
	delta = $delta_1
	OUTPUT screen( 2 )
#step#header 4
	PC: (t_1 > 25)
	fired transition q5:t52
	fired transition s0:e1
	delta = $delta_7
	output dt( ((- t_1) + 25) )
#step#header 5
	PC: (t_1 > 25)
	PtC: ($delta_8 > 2)
	fired transition q6:t62
	fired transition s1:e13
	delta = $delta_8
	output error( 0 )

TRACE NUMBER 15
#step#header 0
#step#header 1
#step#header 2
	fired transition q0:t3
	delta = $delta_0
	INPUT  sens( t_1 )
#step#header 3
	PC: ((t_1 <= 25) && (t_1 >= 20))
	fired transition q1:t13
	delta = $delta_1
	OUTPUT screen( 0 )

