TraceFilter:> filter { or
 tpid#1 com:input#env [*]
}
flag [ 
 Condition  : [ 0 , decision:0 ]
 Trace_cond : [ path:0 , node:0 ]
 Timed_cond : [ path:0 , node:0 ]
 Leaf_cond  : [ path:0 , timed:0 ]
 Variable   : [ time:0 , assign:0 , newfresh:0 ]
 Input      : [ 1 , env:1 , rdv:0 ]
 Output     : [ 0 , env:0 , rdv:0 ]
 Machine    : [ 0 , state:0 , statemachine:0 ]
 Routine    : [ 0 , transition:0 ]
 Abstract   : [ com:1 , io#trace:1 , runnable:0 , exec#info:0 ]
 Meta:Step  : [ header:0 , begin:0 , end:0 ]
]

step:100 , context:+oo , height:+oo , width:+ooE[   1] Id:1 PE:ROOT H:0 W:1 Q:0 ( pid#3:q0 , pid#12:s0 )
==> ctx:2 ( pid#3:q0 , pid#12:s0 )
|=> fired nothing in run::pid#1:ThermostatSystem
--------------------------------------------------------------------------------
E[   2] Id:2 PE:1 H:1 W:1 Q:0 ( pid#3:q0 , pid#12:s0 )
==> ctx:3 ( pid#4:q1 , pid#12:s0 )
|=> fired { |;| (:pid#2 , run) (:pid#3 , run) (:pid#3 , t3) }
--------------------------------------------------------------------------------
E[   3] Id:3 PE:2 H:2 W:1 Q:0 ( pid#4:q1 , pid#12:s0 )
==> ctx:4 ( pid#5:q2 , pid#12:s0 )
|=> fired { |;| (:pid#2 , run) (:pid#4 , run) (:pid#4 , t11) }
--------------------------------------------------------------------------------
E[   4] Id:4 PE:3 H:3 W:1 Q:0 ( pid#5:q2 , pid#12:s0 )
==> ctx:5 ( pid#6:q3 , pid#13:s1 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#5 , run) (:pid#5 , t22) } { |;| 
	(:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
--------------------------------------------------------------------------------
E[   5] Id:5 PE:4 H:4 W:1 Q:0 ( pid#6:q3 , pid#13:s1 )
==> ctx:6 ( pid#7:q4 , pid#13:s1 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
==> ctx:7 ( pid#6:q3 , pid#14:s2 )
|=> fired { |;| (:pid#11 , run) (:pid#13 , run) (:pid#13 , e12) }
==> ctx:8 ( pid#6:q3 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t32) } { |;| 
	(:pid#11 , run) (:pid#13 , run) (:pid#13 , e13) } }
--------------------------------------------------------------------------------
E[   6] Id:6 PE:5 H:5 W:1 Q:0 ( pid#7:q4 , pid#13:s1 )
==> ctx:9 ( pid#5:q2 , pid#13:s1 )
|=> fired { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t44) }
==> ctx:10 ( pid#7:q4 , pid#14:s2 )
|=> fired { |;| (:pid#11 , run) (:pid#13 , run) (:pid#13 , e12) }
==> ctx:11 ( pid#7:q4 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t42) } { |;| 
	(:pid#11 , run) (:pid#13 , run) (:pid#13 , e13) } }
--------------------------------------------------------------------------------
E[   7] Id:7 PE:5 H:5 W:2 Q:0 ( pid#6:q3 , pid#14:s2 )
==> ctx:12 ( pid#7:q4 , pid#14:s2 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
==> ctx:13 ( pid#6:q3 , pid#12:s0 )
|=> fired { |;| (:pid#11 , run) (:pid#14 , run) (:pid#14 , e21) }
==> ctx:14 ( pid#6:q3 , pid#14:s2 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t31) } { |;| 
	(:pid#11 , run) (:pid#14 , run) (:pid#14 , e22) } }
==> ctx:15 ( pid#6:q3 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t32) } { |;| 
	(:pid#11 , run) (:pid#14 , run) (:pid#14 , e23) } }
--------------------------------------------------------------------------------
E[   8] Id:8 PE:5 H:5 W:3 Q:0 ( pid#6:q3 , pid#16:s4 )
==> ctx:16 ( pid#7:q4 , pid#16:s4 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
--------------------------------------------------------------------------------
E[   9] Id:12 PE:7 H:6 W:2 Q:0 ( pid#7:q4 , pid#14:s2 )
==> ctx:17 ( pid#5:q2 , pid#14:s2 )
|=> fired { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t44) }
==> ctx:18 ( pid#7:q4 , pid#12:s0 )
|=> fired { |;| (:pid#11 , run) (:pid#14 , run) (:pid#14 , e21) }
==> ctx:19 ( pid#7:q4 , pid#14:s2 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t41) } { |;| 
	(:pid#11 , run) (:pid#14 , run) (:pid#14 , e22) } }
==> ctx:20 ( pid#7:q4 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t42) } { |;| 
	(:pid#11 , run) (:pid#14 , run) (:pid#14 , e23) } }
--------------------------------------------------------------------------------
E[  10] Id:13 PE:7 H:6 W:6 Q:0 ( pid#6:q3 , pid#12:s0 )
==> ctx:21 ( pid#7:q4 , pid#12:s0 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
--------------------------------------------------------------------------------
E[  11] Id:14 PE:7 H:6 W:7 Q:0 ( pid#6:q3 , pid#14:s2 )
==> ctx:22 ( pid#7:q4 , pid#14:s2 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
==> ctx:23 ( pid#6:q3 , pid#12:s0 )
|=> fired { |;| (:pid#11 , run) (:pid#14 , run) (:pid#14 , e21) }
==> ctx:24 ( pid#6:q3 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t32) } { |;| 
	(:pid#11 , run) (:pid#14 , run) (:pid#14 , e23) } }
--------------------------------------------------------------------------------
E[  12] Id:15 PE:7 H:6 W:8 Q:0 ( pid#6:q3 , pid#16:s4 )
==> ctx:25 ( pid#7:q4 , pid#16:s4 )
|=> fired { |;| (:pid#2 , run) (:pid#6 , run) (:pid#6 , t33) }
--------------------------------------------------------------------------------
E[  13] Id:16 PE:8 H:6 W:3 Q:0 ( pid#7:q4 , pid#16:s4 )
==> ctx:26 ( pid#5:q2 , pid#16:s4 )
|=> fired { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t44) }
==> ctx:27 ( pid#3:q0 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t43) } { |;| 
	(:pid#11 , run) (:pid#16 , run) (:pid#16 , e41) } }
--------------------------------------------------------------------------------
E[  14] Id:21 PE:10 H:7 W:6 Q:0 ( pid#7:q4 , pid#12:s0 )
==> ctx:28 ( pid#5:q2 , pid#12:s0 )
|=> fired { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t44) }
==> ctx:29 ( pid#3:q0 , pid#13:s1 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t43) } { |;| 
	(:pid#11 , run) (:pid#12 , run) (:pid#12 , e1) } }
--------------------------------------------------------------------------------
E[  15] Id:25 PE:12 H:7 W:8 Q:0 ( pid#7:q4 , pid#16:s4 )
==> ctx:30 ( pid#5:q2 , pid#16:s4 )
|=> fired { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t44) }
==> ctx:31 ( pid#3:q0 , pid#16:s4 )
|=> fired { |,| { |;| (:pid#2 , run) (:pid#7 , run) (:pid#7 , t43) } { |;| 
	(:pid#11 , run) (:pid#16 , run) (:pid#16 , e41) } }
--------------------------------------------------------------------------------

stop: 15 , context: 32 , height:  7 , width:  8