Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-PT-S06J04T06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681700517
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-0
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-1
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-10
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-11
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-12
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-13
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-14
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-15
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-2
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-3
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-4
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-5
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-6
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-7
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-8
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1496489786002


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-PT-S06J04T06: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S06J04T06: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
CTLFireability @ S_PolyORBLF-PT-S06J04T06 @ 3540 seconds
Makefile:224: recipe for target 'verify' failed
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 11132/65536 symbol table entries, 6611 collisions
lola: preprocessing...
lola: finding significant places
lola: 632 places, 10500 transitions, 578 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2723 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: A (((A (X ((FIREABLE(T_1729_1_1) OR FIREABLE(T_1729_3_4) OR FIREABLE(T_1729_4_1) OR FIREABLE(T_1729_2_3) OR FIREABLE(T_1729_4_4) OR FIREABLE(T_1729_0_6) OR FIREABLE(T_1729_2_1) OR FIREABLE(T_1729_0_5) OR FIREABLE(T_1729_4_5) OR FIREABLE(T_1729_3_5) OR FIREABLE(T_1729_1_3) OR FIREABLE(T_1729_4_6) OR FIREABLE(T_1729_2_5) OR FIREABLE(T_1729_3_3) OR FIREABLE(T_1729_0_1) OR FIREABLE(T_1729_4_3) OR FIREABLE(T_1729_0_4) OR FIREABLE(T_1729_1_5) OR FIREABLE(T_1729_3_2) OR FIREABLE(T_1729_0_2) OR FIREABLE(T_1729_1_4) OR FIREABLE(T_1729_1_2) OR FIREABLE(T_1729_2_2) OR FIREABLE(T_1729_2_6) OR FIREABLE(T_1729_3_6) OR FIREABLE(T_1729_3_1) OR FIREABLE(T_1729_2_4) OR FIREABLE(T_1729_1_6) OR FIREABLE(T_1729_0_3) OR FIREABLE(T_1729_4_2)))) OR E (G ((FIREABLE(LeaveCSIS_6) OR FIREABLE(LeaveCSIS_1) OR FIREABLE(LeaveCSIS_3) OR FIREABLE(LeaveCSIS_4) OR FIREABLE(LeaveCSIS_2) OR FIREABLE(LeaveCSIS_5))))) U E (F (((FIREABLE(T_1147_4) OR FIREABLE(T_1147_1) OR FIREABLE(T_1147_6) OR FIREABLE(T_1147_2) OR FIREABLE(T_1147_5) OR FIREABLE(T_1147_3)) AND (FIREABLE(T_1125_6_5_4_4) OR FIREABLE(T_1125_6_6_1_4) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_5_6_1_4) OR FIREABLE(T_1125_6_6_2_4) OR FIREABLE(T_1125_5_5_3_5) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T_1125_6_2_3_6) OR FIREABLE(T_1125_3_5_6_3) OR FIREABLE(T_1125_5_3_5_2) OR FIREABLE(T_1125_2_2_5_4) OR FIREABLE(T_1125_5_2_3_6) OR FIREABLE(T_1125_4_5_2_4) OR FIREABLE(T_1125_5_5_2_6) OR FIREABLE(T_1125_4_5_5_5) OR FIREABLE(T_1125_6_6_4_5) OR FIREABLE(T_1125_5_2_1_3) OR FIREABLE(T_1125_5_6_6_1) OR FIREABLE(T_1125_2_4_3_4) OR FIREABLE(T_1125_1_4_3_4) OR FIREABLE(T_1125_5_1_6_3) OR FIREABLE(T_1125_5_2_5_5) OR FIREABLE(T_1125_3_3_5_6) OR FIREABLE(T_1125_6_4_3_5) OR FIREABLE(T_1125_2_4_2_5) OR FIREABLE(T_1125_2_4_2_6) OR FIREABLE(T_1125_2_3_3_5) OR FIREABLE(T_1125_6_4_6_6) OR FIREABLE(T_1125_2_1_3_6) OR FIREABLE(T_1125_2_1_4_4) OR FIREABLE(T_1125_5_2_4_5) OR FIREABLE(T_1125_5_1_3_4) OR FIREABLE(T_1125_3_3_5_1) OR FIREABLE(T_1125_4_2_3_1) OR FIREABLE(T_1125_4_3_6_5) OR FIREABLE(T_1125_2_3_6_2) OR FIREABLE(T_1125_6_5_3_6) OR FIREABLE(T_1125_5_6_1_3) OR FIREABLE(T_1125_2_5_5_4) OR FIREABLE(T_1125_1_4_1_4) OR FIREABLE(T_1125_3_6_6_3) OR FIREABLE(T_1125_5_2_2_6) OR FIREABLE(T_1125_5_5_5_4) OR FIREABLE(T_1125_3_4_2_1) OR FIREABLE(T_1125_2_4_3_2) OR FIREABLE(T_1125_1_4_3_5) OR FIREABLE(T_1125_4_1_5_6) OR FIREABLE(T_1125_3_4_6_4) OR FIREABLE(T_1125_4_4_4_3) OR FIREABLE(T_1125_3_4_4_4) OR FIREABLE(T_1125_5_2_6_4) OR FIREABLE(T_1125_3_1_3_2) OR FIREABLE(T_1125_6_4_2_3) OR FIREABLE(T_1125_6_5_6_3) OR FIREABLE(T_1125_2_2_1_4) OR FIREABLE(T_1125_3_2_2_2) OR FIREABLE(T_1125_6_6_1_6) OR FIREABLE(T_1125_2_5_1_4) OR FIREABLE(T_1125_4_6_6_5) OR FIREABLE(T_1125_6_5_5_1) OR FIREABLE(T_1125_5_1_4_1) OR FIREABLE(T_1125_1_6_3_1) OR FIREABLE(T_1125_2_1_6_3) OR FIREABLE(T_1125_2_4_5_1) OR FIREABLE(T_1125_6_1_4_5) OR FIREABLE(T_1125_1_5_4_2) OR FIREABLE(T_1125_3_5_6_5) OR FIREABLE(T_1125_1_2_6_1) OR FIREABLE(T_1125_3_1_3_1) OR FIREABLE(T_1125_2_5_4_5) OR FIREABLE(T_1125_6_3_2_6) OR FIREABLE(T_1125_6_4_1_3) OR FIREABLE(T_1125_3_5_2_4) OR FIREABLE(T_1125_6_5_3_2) OR FIREABLE(T_1125_5_1_4_2) OR FIREABLE(T_1125_6_3_2_4) OR FIREABLE(T_1125_6_2_4_2) OR FIREABLE(T_1125_4_3_1_2) OR FIREABLE(T_1125_5_3_2_3) OR FIREABLE(T_1125_1_4_5_4) OR FIREABLE(T_1125_5_6_6_6) OR FIREABLE(T_1125_3_6_4_6) OR FIREABLE(T_1125_4_3_2_2) OR FIREABLE(T_1125_6_2_5_3) OR FIREABLE(T_1125_5_1_5_3) OR FIREABLE(T_1125_3_3_4_1) OR FIREABLE(T_1125_1_5_1_2) OR FIREABLE(T_1125_3_3_6_1) OR FIREABLE(T_1125_3_6_3_6) OR FIREABLE(T_1125_6_5_6_4) OR FIREABLE(T_1125_1_3_4_6) OR FIREABLE(T_1125_2_6_5_2) OR FIREABLE(T_1125_6_2_4_4) OR FIREABLE(T_1125_2_2_1_5) OR FIREABLE(T_1125_1_5_6_4) OR FIREABLE(T_1125_5_2_5_1) OR FIREABLE(T_1125_2_2_5_5) OR FIREABLE(T_1125_3_2_3_3) OR FIREABLE(T_1125_4_1_5_1) OR FIREABLE(T_1125_6_3_1_1) OR FIREABLE(T_1125_3_2_6_6) OR FIREABLE(T_1125_2_6_4_2) OR FIREABLE(T_1125_4_2_2_4) OR FIREABLE(T_1125_2_5_5_3) OR FIREABLE(T_1125_1_6_2_4) OR FIREABLE(T_1125_3_6_6_1) OR FIREABLE(T_1125_3_5_3_1) OR FIREABLE(T_1125_4_1_1_3) OR FIREABLE(T_1125_3_4_3_6) OR FIREABLE(T_1125_1_4_1_5) OR FIREABLE(T_1125_6_2_6_4) OR FIREABLE(T_1125_3_4_6_2) OR FIREABLE(T_1125_4_2_2_3) OR FIREABLE(T_1125_2_6_3_1) OR FIREABLE(T_1125_3_1_2_4) OR FIREABLE(T_1125_5_2_2_5) OR FIREABLE(T_1125_1_1_4_4) OR FIREABLE(T_1125_6_6_5_5) OR FIREABLE(T_1125_5_3_4_5) OR FIREABLE(T_1125_4_3_6_3) OR FIREABLE(T_1125_2_1_5_1) OR FIREABLE(T_1125_6_3_6_2) OR FIREABLE(T_1125_6_5_2_5) OR FIREABLE(T_1125_1_1_1_6) OR FIREABLE(T_1125_3_1_4_6) OR FIREABLE(T_1125_2_2_1_6) OR FIREABLE(T_1125_4_6_1_6) OR FIREABLE(T_1125_4_6_1_2) OR FIREABLE(T_1125_4_3_3_4) OR FIREABLE(T_1125_4_1_1_1) OR FIREABLE(T_1125_5_6_4_5) OR FIREABLE(T_1125_1_4_1_6) OR FIREABLE(T_1125_3_5_2_5) OR FIREABLE(T_1125_5_1_4_3) OR FIREABLE(T_1125_2_5_5_5) OR FIREABLE(T_1125_1_3_1_1) OR FIREABLE(T_1125_1_2_4_3) OR FIREABLE(T_1125_5_4_4_1) OR FIREABLE(T_1125_2_1_3_2) OR FIREABLE(T_1125_4_1_4_6) OR FIREABLE(T_1125_5_3_2_5) OR FIREABLE(T_1125_6_6_1_5) OR FIREABLE(T_1125_5_4_4_3) OR FIREABLE(T_1125_4_6_4_3) OR FIREABLE(T_1125_1_3_3_2) OR FIREABLE(T_1125_1_6_3_2) OR FIREABLE(T_1125_3_5_1_6) OR FIREABLE(T_1125_5_3_6_5) OR FIREABLE(T_1125_6_2_5_1) OR FIREABLE(T_1125_3_3_2_2) OR FIREABLE(T_1125_1_1_3_5) OR FIREABLE(T_1125_5_4_4_2) OR FIREABLE(T_1125_3_6_6_2) OR FIREABLE(T_1125_3_5_1_2) OR FIREABLE(T_1125_6_1_1_2) OR FIREABLE(T_1125_4_3_3_3) OR FIREABLE(T_1125_4_2_6_3) OR FIREABLE(T_1125_2_1_6_4) OR FIREABLE(T_1125_2_3_2_5) OR FIREABLE(T_1125_4_4_4_6) OR FIREABLE(T_1125_2_2_3_4) OR FIREABLE(T_1125_3_6_2_5) OR FIREABLE(T_1125_3_3_4_4) OR FIREABLE(T_1125_5_3_1_2) OR FIREABLE(T_1125_6_5_2_6) OR FIREABLE(T_1125_4_4_5_6) OR FIREABLE(T_1125_1_6_5_5) OR FIREABLE(T_1125_3_3_3_6) OR FIREABLE(T_1125_1_5_1_4) OR FIREABLE(T_1125_5_1_2_3) OR FIREABLE(T_1125_5_5_2_2) OR FIREABLE(T_1125_2_3_6_6) OR FIREABLE(T_1125_6_4_4_1) OR FIREABLE(T_1125_6_5_1_5) OR FIREABLE(T_1125_5_2_5_4) OR FIREABLE(T_1125_4_4_1_5) OR FIREABLE(T_1125_4_5_4_5) OR FIREABLE(T_1125_5_6_5_6) OR FIREABLE(T_1125_2_6_1_4) OR FIREABLE(T_1125_5_1_1_1) OR FIREABLE(T_1125_3_2_3_2) OR FIREABLE(T_1125_4_5_3_5) OR FIREABLE(T_1125_1_5_5_2) OR FIREABLE(T_1125_1_6_3_3) OR FIREABLE(T_1125_3_6_6_4) OR FIREABLE(T_1125_4_3_5_4) OR FIREABLE(T_1125_6_1_6_2) OR FIREABLE(T_1125_2_2_3_3) OR FIREABLE(T_1125_2_6_5_3) OR FIREABLE(T_1125_2_4_2_2) OR FIREABLE(T_1125_1_5_2_3) OR FIREABLE(T_1125_2_1_1_4) OR FIREABLE(T_1125_3_5_6_6) OR FIREABLE(T_1125_6_3_3_1) OR FIREABLE(T_1125_1_2_5_2) OR FIREABLE(T_1125_4_4_3_6) OR FIREABLE(T_1125_2_6_5_6) OR FIREABLE(T_1125_4_4_4_4) OR FIREABLE(T_1125_2_3_3_2) OR FIREABLE(T_1125_5_4_2_6) OR FIREABLE(T_1125_5_5_1_6) OR FIREABLE(T_1125_1_3_5_5) OR FIREABLE(T_1125_2_6_6_1) OR FIREABLE(T_1125_5_4_3_4) OR FIREABLE(T_1125_3_5_1_1) OR FIREABLE(T_1125_2_6_1_3) OR FIREABLE(T_1125_5_6_6_5) OR FIREABLE(T_1125_5_3_2_4) OR FIREABLE(T_1125_3_3_4_2) OR FIREABLE(T_1125_1_2_5_3) OR FIREABLE(T_1125_1_6_4_6) OR FIREABLE(T_1125_4_1_6_1) OR FIREABLE(T_1125_2_3_5_2) OR FIREABLE(T_1125_5_4_5_1) OR FIREABLE(T_1125_1_3_1_3) OR FIREABLE(T_1125_6_5_3_4) OR FIREABLE(T_1125_5_2_1_4) OR FIREABLE(T_1125_6_4_2_4) OR FIREABLE(T_1125_3_6_2_4) OR FIREABLE(T_1125_1_4_4_1) OR FIREABLE(T_1125_1_5_1_5) OR FIREABLE(T_1125_3_6_4_1) OR FIREABLE(T_1125_3_1_4_5) OR FIREABLE(T_1125_2_2_4_4) OR FIREABLE(T_1125_3_4_5_4) OR FIREABLE(T_1125_1_2_2_2) OR FIREABLE(T_1125_5_1_5_6) OR FIREABLE(T_1125_3_6_5_3) OR FIREABLE(T_1125_4_6_5_4) OR FIREABLE(T_1125_4_2_2_6) OR FIREABLE(T_1125_6_6_4_4) OR FIREABLE(T_1125_3_4_4_5) OR FIREABLE(T_1125_4_4_6_1) OR FIREABLE(T_1125_1_4_6_4) OR FIREABLE(T_1125_3_3_4_3) OR FIREABLE(T_1125_1_1_3_6) OR FIREABLE(T_1125_5_3_3_4) OR FIREABLE(T_1125_5_3_3_3) OR FIREABLE(T_1125_5_3_5_1) OR FIREABLE(T_1125_5_5_5_3) OR FIREABLE(T_1125_6_4_1_6) OR FIREABLE(T_1125_2_5_6_2) OR FIREABLE(T_1125_6_2_1_1) OR FIREABLE(T_1125_4_5_3_2) OR FIREABLE(T_1125_5_2_1_5) OR FIREABLE(T_1125_4_6_5_5) OR FIREABLE(T_1125_2_2_3_6) OR FIREABLE(T_1125_6_6_6_5) OR FIREABLE(T_1125_4_5_6_1) OR FIREABLE(T_1125_5_4_3_2) OR FIREABLE(T_1125_5_1_1_3) OR FIREABLE(T_1125_4_4_5_1) OR FIREABLE(T_1125_6_5_3_3) OR FIREABLE(T_1125_6_3_1_6) OR FIREABLE(T_1125_2_4_4_3) OR FIREABLE(T_1125_4_5_4_6) OR FIREABLE(T_1125_4_4_2_5) OR FIREABLE(T_1125_3_1_3_3) OR FIREABLE(T_1125_2_5_6_5) OR FIREABLE(T_1125_1_3_5_6) OR FIREABLE(T_1125_2_5_5_2) OR FIREABLE(T_1125_4_4_4_5) OR FIREABLE(T_1125_2_3_4_5) OR FIREABLE(T_1125_6_5_2_4) OR FIREABLE(T_1125_6_1_5_2) OR FIREABLE(T_1125_3_3_5_2) OR FIREABLE(T_1125_2_5_2_1) OR FIREABLE(T_1125_2_1_1_5) OR FIREABLE(T_1125_3_4_2_2) OR FIREABLE(T_1125_3_4_6_3) OR FIREABLE(T_1125_1_4_1_1) OR FIREABLE(T_1125_2_1_2_4) OR FIREABLE(T_1125_6_6_2_2) OR FIREABLE(T_1125_6_3_1_3) OR FIREABLE(T_1125_3_1_5_1) OR FIREABLE(T_1125_4_2_5_1) OR FIREABLE(T_1125_4_6_1_1) OR FIREABLE(T_1125_1_4_6_3) OR FIREABLE(T_1125_1_4_2_6) OR FIREABLE(T_1125_2_6_6_2) OR FIREABLE(T_1125_2_5_1_1) OR FIREABLE(T_1125_1_1_1_2) OR FIREABLE(T_1125_1_3_4_3) OR FIREABLE(T_1125_3_5_1_3) OR FIREABLE(T_1125_1_3_5_3) OR FIREABLE(T_1125_5_2_2_3) OR FIREABLE(T_1125_1_3_4_1) OR FIREABLE(T_1125_3_4_5_2) OR FIREABLE(T_1125_6_6_5_1) OR FIREABLE(T_1125_4_3_1_4) OR FIREABLE(T_1125_4_5_2_2) OR FIREABLE(T_1125_6_3_6_3) OR FIREABLE(T_1125_5_5_4_4) OR FIREABLE(T_1125_5_2_3_5) OR FIREABLE(T_1125_3_4_4_6) OR FIREABLE(T_1125_4_1_3_1) OR FIREABLE(T_1125_3_2_1_6) OR FIREABLE(T_1125_1_2_5_5) OR FIREABLE(T_1125_2_6_6_5) OR FIREABLE(T_1125_3_2_2_5) OR FIREABLE(T_1125_1_1_2_6) OR FIREABLE(T_1125_6_2_2_1) OR FIREABLE(T_1125_3_6_3_1) OR FIREABLE(T_1125_2_2_6_5) OR FIREABLE(T_1125_3_2_5_5) OR FIREABLE(T_1125_6_4_6_3) OR FIREABLE(T_1125_5_2_6_3) OR FIREABLE(T_1125_2_5_6_4) OR FIREABLE(T_1125_1_6_5_1) OR FIREABLE(T_1125_2_1_3_3) OR FIREABLE(T_1125_1_5_3_5) OR FIREABLE(T_1125_5_6_5_2) OR FIREABLE(T_1125_3_2_4_4) OR FIREABLE(T_1125_6_6_2_5) OR FIREABLE(T_1125_5_5_6_6) OR FIREABLE(T_1125_1_5_6_5) OR FIREABLE(T_1125_6_1_1_3) OR FIREABLE(T_1125_4_3_2_3) OR FIREABLE(T_1125_2_4_4_2) OR FIREABLE(T_1125_4_5_6_3) OR FIREABLE(T_1125_1_1_6_6) OR FIREABLE(T_1125_1_1_5_4) OR FIREABLE(T_1125_4_2_1_4) OR FIREABLE(T_1125_4_6_5_6) OR FIREABLE(T_1125_1_6_2_6) OR FIREABLE(T_1125_2_2_3_5) OR FIREABLE(T_1125_4_5_4_2) OR FIREABLE(T_1125_5_4_1_2) OR FIREABLE(T_1125_5_4_5_6) OR FIREABLE(T_1125_1_4_3_1) OR FIREABLE(T_1125_2_3_6_1) OR FIREABLE(T_1125_6_2_6_2) OR FIREABLE(T_1125_6_1_4_2) OR FIREABLE(T_1125_6_6_3_5) OR FIREABLE(T_1125_2_3_2_2) OR FIREABLE(T_1125_4_4_3_4) OR FIREABLE(T_1125_4_5_1_6) OR FIREABLE(T_1125_5_5_4_5) OR FIREABLE(T_1125_3_4_5_3) OR FIREABLE(T_1125_5_3_1_6) OR FIREABLE(T_1125_4_5_3_6) OR FIREABLE(T_1125_1_1_2_2) OR FIREABLE(T_1125_5_2_5_3) OR FIREABLE(T_1125_5_2_2_4) OR FIREABLE(T_1125_5_3_3_5) OR FIREABLE(T_1125_5_4_5_5) OR FIREABLE(T_1125_1_5_4_1) OR FIREABLE(T_1125_1_1_5_2) OR FIREABLE(T_1125_4_4_3_2) OR FIREABLE(T_1125_2_1_3_4) OR FIREABLE(T_1125_1_2_5_6) OR FIREABLE(T_1125_6_1_6_5) OR FIREABLE(T_1125_1_1_3_2) OR FIREABLE(T_1125_5_2_1_1) OR FIREABLE(T_1125_3_2_4_5) OR FIREABLE(T_1125_3_4_3_3) OR FIREABLE(T_1125_3_4_4_3) OR FIREABLE(T_1125_6_3_6_4) OR FIREABLE(T_1125_4_5_1_2) OR FIREABLE(T_1125_1_3_2_1) OR FIREABLE(T_1125_3_3_6_6) OR FIREABLE(T_1125_6_4_1_4) OR FIREABLE(T_1125_5_6_6_2) OR FIREABLE(T_1125_4_2_5_4) OR FIREABLE(T_1125_1_6_3_4) OR FIREABLE(T_1125_1_1_6_5) OR FIREABLE(T_1125_2_5_6_6) OR FIREABLE(T_1125_5_2_3_4) OR FIREABLE(T_1125_2_3_4_2) OR FIREABLE(T_1125_2_1_2_6) OR FIREABLE(T_1125_3_2_1_3) OR FIREABLE(T_1125_6_4_6_4) OR FIREABLE(T_1125_5_3_1_5) OR FIREABLE(T_1125_6_3_3_3) OR FIREABLE(T_1125_4_3_2_4) OR FIREABLE(T_1125_6_6_2_6) OR FIREABLE(T_1125_1_3_5_4) OR FIREABLE(T_1125_6_1_4_3) OR FIREABLE(T_1125_1_3_1_4) OR FIREABLE(T_1125_3_1_1_4) OR FIREABLE(T_1125_2_1_3_5) OR FIREABLE(T_1125_6_6_3_6) OR FIREABLE(T_1125_3_2_1_2) OR FIREABLE(T_1125_5_6_1_1) OR FIREABLE(T_1125_2_3_5_6) OR FIREABLE(T_1125_3_1_2_5) OR FIREABLE(T_1125_1_1_4_2) OR FIREABLE(T_1125_2_3_4_4) OR FIREABLE(T_1125_1_5_2_5) OR FIREABLE(T_1125_5_5_4_3) OR FIREABLE(T_1125_4_1_2_2) OR FIREABLE(T_1125_1_2_6_2) OR FIREABLE(T_1125_4_1_6_6) OR FIREABLE(T_1125_6_6_3_4) OR FIREABLE(T_1125_5_1_3_1) OR FIREABLE(T_1125_4_4_3_5) OR FIREABLE(T_1125_5_4_3_6) OR FIREABLE(T_1125_3_2_6_1) OR FIREABLE(T_1125_2_3_1_2) OR FIREABLE(T_1125_5_4_4_4) OR FIREABLE(T_1125_5_5_3_2) OR FIREABLE(T_1125_6_1_5_5) OR FIREABLE(T_1125_6_4_6_5) OR FIREABLE(T_1125_5_1_6_4) OR FIREABLE(T_1125_3_6_6_5) OR FIREABLE(T_1125_3_5_5_2) OR FIREABLE(T_1125_6_1_1_5) OR FIREABLE(T_1125_4_5_5_1) OR FIREABLE(T_1125_5_1_5_4) OR FIREABLE(T_1125_6_6_3_2) OR FIREABLE(T_1125_1_5_1_6) OR FIREABLE(T_1125_3_6_1_4) OR FIREABLE(T_1125_1_4_2_5) OR FIREABLE(T_1125_5_4_6_1) OR FIREABLE(T_1125_6_3_5_3) OR FIREABLE(T_1125_3_3_3_2) OR FIREABLE(T_1125_5_3_4_1) OR FIREABLE(T_1125_4_5_4_4) OR FIREABLE(T_1125_3_1_1_6) OR FIREABLE(T_1125_1_2_3_4) OR FIREABLE(T_1125_4_3_1_5) OR FIREABLE(T_1125_4_6_2_1) OR FIREABLE(T_1125_1_5_2_4) OR FIREABLE(T_1125_2_6_6_6) OR FIREABLE(T_1125_3_5_1_5) OR FIREABLE(T_1125_4_4_1_6) OR FIREABLE(T_1125_4_1_2_4) OR FIREABLE(T_1125_3_1_6_1) OR FIREABLE(T_1125_1_6_6_1) OR FIREABLE(T_1125_2_5_1_3) OR FIREABLE(T_1125_6_6_5_3) OR FIREABLE(T_1125_5_5_5_6) OR FIREABLE(T_1125_6_1_6_1) OR FIREABLE(T_1125_6_2_5_6) OR FIREABLE(T_1125_2_2_2_5) OR FIREABLE(T_1125_3_5_2_1) OR FIREABLE(T_1125_6_6_4_3) OR FIREABLE(T_1125_4_4_2_4) OR FIREABLE(T_1125_1_4_5_3) OR FIREABLE(T_1125_2_4_5_2) OR FIREABLE(T_1125_1_2_4_2) OR FIREABLE(T_1125_1_3_2_2) OR FIREABLE(T_1125_3_3_2_1) OR FIREABLE(T_1125_6_3_5_4) OR FIREABLE(T_1125_3_5_6_2) OR FIREABLE(T_1125_6_4_5_4) OR FIREABLE(T_1125_1_4_2_3) OR FIREABLE(T_1125_2_4_4_6) OR FIREABLE(T_1125_2_2_3_2) OR FIREABLE(T_1125_2_2_2_3) OR FIREABLE(T_1125_4_6_5_3) OR FIREABLE(T_1125_3_2_3_6) OR FIREABLE(T_1125_3_3_1_2) OR FIREABLE(T_1125_5_2_6_5) OR FIREABLE(T_1125_1_2_3_1) OR FIREABLE(T_1125_4_5_3_3) OR FIREABLE(T_1125_4_6_5_2) OR FIREABLE(T_1125_4_2_4_1) OR FIREABLE(T_1125_6_1_2_1) OR FIREABLE(T_1125_1_1_2_5) OR FIREABLE(T_1125_2_1_1_1) OR FIREABLE(T_1125_6_6_1_3) OR FIREABLE(T_1125_2_4_1_1) OR FIREABLE(T_1125_3_3_2_4) OR FIREABLE(T_1125_2_4_5_6) OR FIREABLE(T_1125_3_3_4_6) OR FIREABLE(T_1125_5_2_3_3) OR FIREABLE(T_1125_1_1_5_3) OR FIREABLE(T_1125_3_2_2_6) OR FIREABLE(T_1125_6_5_1_4) OR FIREABLE(T_1125_1_5_5_1) OR FIREABLE(T_1125_2_4_6_1) OR FIREABLE(T_1125_5_1_1_4) OR FIREABLE(T_1125_2_3_5_1) OR FIREABLE(T_1125_2_3_5_5) OR FIREABLE(T_1125_4_2_1_6) OR FIREABLE(T_1125_4_3_2_6) OR FIREABLE(T_1125_3_6_5_4) OR FIREABLE(T_1125_4_6_6_6) OR FIREABLE(T_1125_5_5_5_5) OR FIREABLE(T_1125_6_3_6_5) OR FIREABLE(T_1125_5_5_1_3) OR FIREABLE(T_1125_5_5_1_2) OR FIREABLE(T_1125_4_6_1_5) OR FIREABLE(T_1125_3_1_3_5) OR FIREABLE(T_1125_5_1_2_4) OR FIREABLE(T_1125_3_5_4_1) OR FIREABLE(T_1125_1_4_4_3) OR FIREABLE(T_1125_6_3_5_2) OR FIREABLE(T_1125_6_6_4_1) OR FIREABLE(T_1125_3_4_4_2) OR FIREABLE(T_1125_1_6_1_6) OR FIREABLE(T_1125_3_6_2_1) OR FIREABLE(T_1125_5_3_6_1) OR FIREABLE(T_1125_4_5_2_5) OR FIREABLE(T_1125_4_6_2_2) OR FIREABLE(T_1125_1_2_6_5) OR FIREABLE(T_1125_1_2_6_6) OR FIREABLE(T_1125_3_2_5_2) OR FIREABLE(T_1125_4_1_6_2) OR FIREABLE(T_1125_4_3_1_6) OR FIREABLE(T_1125_1_3_5_2) OR FIREABLE(T_1125_5_4_4_5) OR FIREABLE(T_1125_2_5_2_3) OR FIREABLE(T_1125_4_4_2_2) OR FIREABLE(T_1125_3_1_2_6) OR FIREABLE(T_1125_2_4_5_3) OR FIREABLE(T_1125_6_4_3_6) OR FIREABLE(T_1125_4_6_6_2) OR FIREABLE(T_1125_5_1_2_1) OR FIREABLE(T_1125_4_5_5_2) OR FIREABLE(T_1125_5_5_2_3) OR FIREABLE(T_1125_1_5_3_1) OR FIREABLE(T_1125_4_2_3_3) OR FIREABLE(T_1125_6_4_2_1) OR FIREABLE(T_1125_5_6_3_2) OR FIREABLE(T_1125_4_2_5_3) OR FIREABLE(T_1125_1_6_4_2) OR FIREABLE(T_1125_4_6_4_2) OR FIREABLE(T_1125_6_2_5_2) OR FIREABLE(T_1125_1_6_6_3) OR FIREABLE(T_1125_6_3_4_1) OR FIREABLE(T_1125_3_4_6_6) OR FIREABLE(T_1125_2_6_1_1) OR FIREABLE(T_1125_3_5_6_4) OR FIREABLE(T_1125_6_4_6_2) OR FIREABLE(T_1125_6_5_3_5) OR FIREABLE(T_1125_6_1_6_6) OR FIREABLE(T_1125_2_2_6_3) OR FIREABLE(T_1125_5_5_4_6) OR FIREABLE(T_1125_2_4_5_5) OR FIREABLE(T_1125_4_6_6_1) OR FIREABLE(T_1125_5_5_3_3) OR FIREABLE(T_1125_3_2_1_5) OR FIREABLE(T_1125_6_3_4_2) OR FIREABLE(T_1125_6_6_2_3) OR FIREABLE(T_1125_4_5_4_3) OR FIREABLE(T_1125_4_6_1_3) OR FIREABLE(T_1125_1_1_6_2) OR FIREABLE(T_1125_5_1_2_2) OR FIREABLE(T_1125_1_3_6_3) OR FIREABLE(T_1125_5_4_1_4) OR FIREABLE(T_1125_1_1_4_6) OR FIREABLE(T_1125_1_1_4_3) OR FIREABLE(T_1125_2_2_4_3) OR FIREABLE(T_1125_1_6_2_2) OR FIREABLE(T_1125_5_6_6_4) OR FIREABLE(T_1125_3_2_4_3) OR FIREABLE(T_1125_3_1_6_3) OR FIREABLE(T_1125_1_4_1_3) OR FIREABLE(T_1125_3_3_5_5) OR FIREABLE(T_1125_3_1_1_1) OR FIREABLE(T_1125_4_4_1_2) OR FIREABLE(T_1125_2_5_4_3) OR FIREABLE(T_1125_4_3_6_2) OR FIREABLE(T_1125_2_2_1_3) OR FIREABLE(T_1125_3_5_5_4) OR FIREABLE(T_1125_1_2_3_2) OR FIREABLE(T_1125_6_3_1_4) OR FIREABLE(T_1125_3_2_5_1) OR FIREABLE(T_1125_6_4_3_4) OR FIREABLE(T_1125_1_2_3_6) OR FIREABLE(T_1125_1_4_6_5) OR FIREABLE(T_1125_6_4_1_5) OR FIREABLE(T_1125_5_6_2_4) OR FIREABLE(T_1125_2_4_3_5) OR FIREABLE(T_1125_6_1_4_4) OR FIREABLE(T_1125_6_2_6_6) OR FIREABLE(T_1125_1_1_4_1) OR FIREABLE(T_1125_2_6_6_4) OR FIREABLE(T_1125_3_2_5_3) OR FIREABLE(T_1125_6_3_2_3) OR FIREABLE(T_1125_5_3_2_6) OR FIREABLE(T_1125_4_3_3_1) OR FIREABLE(T_1125_3_2_3_4) OR FIREABLE(T_1125_6_1_3_1) OR FIREABLE(T_1125_2_3_2_1) OR FIREABLE(T_1125_4_6_3_6) OR FIREABLE(T_1125_3_1_1_2) OR FIREABLE(T_1125_6_4_3_1) OR FIREABLE(T_1125_1_6_5_3) OR FIREABLE(T_1125_6_2_2_2) OR FIREABLE(T_1125_6_6_6_3) OR FIREABLE(T_1125_2_5_3_1) OR FIREABLE(T_1125_6_1_2_5) OR FIREABLE(T_1125_1_5_2_6) OR FIREABLE(T_1125_2_5_3_2) OR FIREABLE(T_1125_5_4_2_4) OR FIREABLE(T_1125_5_2_4_1) OR FIREABLE(T_1125_2_1_4_5) OR FIREABLE(T_1125_2_5_4_2) OR FIREABLE(T_1125_5_6_2_1) OR FIREABLE(T_1125_3_3_5_4) OR FIREABLE(T_1125_3_4_1_3) OR FIREABLE(T_1125_1_2_6_4) OR FIREABLE(T_1125_1_2_1_3) OR FIREABLE(T_1125_2_2_2_6) OR FIREABLE(T_1125_1_6_3_5) OR FIREABLE(T_1125_6_1_5_6) OR FIREABLE(T_1125_1_2_2_1) OR FIREABLE(T_1125_4_5_2_3) OR FIREABLE(T_1125_5_2_1_6) OR FIREABLE(T_1125_4_4_5_5) OR FIREABLE(T_1125_4_4_5_4) OR FIREABLE(T_1125_3_4_1_2) OR FIREABLE(T_1125_4_6_5_1) OR FIREABLE(T_1125_4_3_1_3) OR FIREABLE(T_1125_5_1_6_2) OR FIREABLE(T_1125_2_6_5_5) OR FIREABLE(T_1125_1_4_3_3) OR FIREABLE(T_1125_3_4_1_1) OR FIREABLE(T_1125_5_3_3_6) OR FIREABLE(T_1125_5_5_6_2) OR FIREABLE(T_1125_6_2_1_2) OR FIREABLE(T_1125_4_1_1_4) OR FIREABLE(T_1125_6_6_1_2) OR FIREABLE(T_1125_4_2_3_5) OR FIREABLE(T_1125_4_4_1_4) OR FIREABLE(T_1125_2_2_4_2) OR FIREABLE(T_1125_4_2_6_5) OR FIREABLE(T_1125_2_6_5_4) OR FIREABLE(T_1125_1_6_1_4) OR FIREABLE(T_1125_2_3_3_4) OR FIREABLE(T_1125_5_3_4_2) OR FIREABLE(T_1125_2_2_1_2) OR FIREABLE(T_1125_5_5_5_1) OR FIREABLE(T_1125_2_4_4_5) OR FIREABLE(T_1125_2_6_2_6) OR FIREABLE(T_1125_3_4_6_1) OR FIREABLE(T_1125_1_5_5_5) OR FIREABLE(T_1125_2_4_3_3) OR FIREABLE(T_1125_3_1_2_3) OR FIREABLE(T_1125_1_3_3_5) OR FIREABLE(T_1125_4_3_2_5) OR FIREABLE(T_1125_4_3_5_3) OR FIREABLE(T_1125_1_5_5_4) OR FIREABLE(T_1125_2_5_6_3) OR FIREABLE(T_1125_6_4_5_1) OR FIREABLE(T_1125_4_2_1_1) OR FIREABLE(T_1125_2_3_3_6) OR FIREABLE(T_1125_4_1_5_4) OR FIREABLE(T_1125_1_4_5_1) OR FIREABLE(T_1125_6_5_1_6) OR FIREABLE(T_1125_6_1_6_3) OR FIREABLE(T_1125_5_1_4_5) OR FIREABLE(T_1125_2_1_1_6) OR FIREABLE(T_1125_5_6_3_1) OR FIREABLE(T_1125_3_2_2_3) OR FIREABLE(T_1125_2_3_4_6) OR FIREABLE(T_1125_4_3_6_4) OR FIREABLE(T_1125_2_3_1_5) OR FIREABLE(T_1125_4_2_5_2) OR FIREABLE(T_1125_3_6_1_1) OR FIREABLE(T_1125_3_5_3_3) OR FIREABLE(T_1125_1_5_2_1) OR FIREABLE(T_1125_4_1_2_1) OR FIREABLE(T_1125_2_2_4_1) OR FIREABLE(T_1125_2_1_2_2) OR FIREABLE(T_1125_2_1_5_3) OR FIREABLE(T_1125_3_1_5_2) OR FIREABLE(T_1125_1_6_2_5) OR FIREABLE(T_1125_5_2_1_2) OR FIREABLE(T_1125_6_2_5_5) OR FIREABLE(T_1125_2_2_5_1) OR FIREABLE(T_1125_1_5_6_2) OR FIREABLE(T_1125_6_2_6_3) OR FIREABLE(T_1125_5_3_2_1) OR FIREABLE(T_1125_6_6_5_2) OR FIREABLE(T_1125_5_4_1_6) OR FIREABLE(T_1125_6_6_6_2) OR FIREABLE(T_1125_6_6_3_3) OR FIREABLE(T_1125_3_5_2_3) OR FIREABLE(T_1125_5_6_2_3) OR FIREABLE(T_1125_6_5_2_2) OR FIREABLE(T_1125_1_1_1_5) OR FIREABLE(T_1125_6_2_4_5) OR FIREABLE(T_1125_6_1_3_2) OR FIREABLE(T_1125_4_2_6_6) OR FIREABLE(T_1125_5_4_2_2) OR FIREABLE(T_1125_4_6_4_4) OR FIREABLE(T_1125_2_3_4_3) OR FIREABLE(T_1125_3_2_4_6) OR FIREABLE(T_1125_5_3_1_3) OR FIREABLE(T_1125_3_2_1_1) OR FIREABLE(T_1125_1_2_2_5) OR FIREABLE(T_1125_2_1_5_5) OR FIREABLE(T_1125_3_5_4_6) OR FIREABLE(T_1125_1_6_4_5) OR FIREABLE(T_1125_6_5_1_2) OR FIREABLE(T_1125_5_6_4_4) OR FIREABLE(T_1125_4_3_6_1) OR FIREABLE(T_1125_4_6_3_3) OR FIREABLE(T_1125_4_6_3_1) OR FIREABLE(T_1125_2_5_4_1) OR FIREABLE(T_1125_5_1_5_5) OR FIREABLE(T_1125_5_4_6_3) OR FIREABLE(T_1125_6_5_5_5) OR FIREABLE(T_1125_6_3_4_3) OR FIREABLE(T_1125_2_3_2_3) OR FIREABLE(T_1125_4_6_4_6) OR FIREABLE(T_1125_5_4_5_3) OR FIREABLE(T_1125_5_1_3_5) OR FIREABLE(T_1125_5_6_5_4) OR FIREABLE(T_1125_4_3_4_6) OR FIREABLE(T_1125_3_2_6_4) OR FIREABLE(T_1125_1_4_4_2) OR FIREABLE(T_1125_5_2_6_1) OR FIREABLE(T_1125_3_3_3_4) OR FIREABLE(T_1125_5_2_6_2) OR FIREABLE(T_1125_2_3_1_3) OR FIREABLE(T_1125_6_1_4_6) OR FIREABLE(T_1125_4_3_4_4) OR FIREABLE(T_1125_1_5_3_4) OR FIREABLE(T_1125_5_4_1_1) OR FIREABLE(T_1125_4_3_4_1) OR FIREABLE(T_1125_4_4_6_2) OR FIREABLE(T_1125_5_3_3_2) OR FIREABLE(T_1125_5_3_3_1) OR FIREABLE(T_1125_1_5_3_6) OR FIREABLE(T_1125_2_5_6_1) OR FIREABLE(T_1125_3_5_4_3) OR FIREABLE(T_1125_1_1_3_3) OR FIREABLE(T_1125_3_3_1_4) OR FIREABLE(T_1125_1_2_4_4) OR FIREABLE(T_1125_2_3_1_1) OR FIREABLE(T_1125_4_5_5_6) OR FIREABLE(T_1125_6_1_2_3) OR FIREABLE(T_1125_6_2_1_4) OR FIREABLE(T_1125_4_2_4_5) OR FIREABLE(T_1125_2_6_2_1) OR FIREABLE(T_1125_5_5_1_5) OR FIREABLE(T_1125_5_3_4_4) OR FIREABLE(T_1125_4_3_3_2) OR FIREABLE(T_1125_3_4_1_4) OR FIREABLE(T_1125_4_3_3_6) OR FIREABLE(T_1125_1_4_5_6) OR FIREABLE(T_1125_5_5_5_2) OR FIREABLE(T_1125_1_1_5_6) OR FIREABLE(T_1125_6_6_2_1) OR FIREABLE(T_1125_4_6_2_4) OR FIREABLE(T_1125_6_6_5_6) OR FIREABLE(T_1125_4_1_6_4) OR FIREABLE(T_1125_4_6_3_2) OR FIREABLE(T_1125_5_5_4_2) OR FIREABLE(T_1125_2_4_1_2) OR FIREABLE(T_1125_5_3_5_5) OR FIREABLE(T_1125_3_3_2_6) OR FIREABLE(T_1125_5_4_3_5) OR FIREABLE(T_1125_1_6_4_3) OR FIREABLE(T_1125_1_3_2_4) OR FIREABLE(T_1125_1_1_3_4) OR FIREABLE(T_1125_6_4_2_6) OR FIREABLE(T_1125_3_2_3_1) OR FIREABLE(T_1125_3_2_6_3) OR FIREABLE(T_1125_1_3_6_6) OR FIREABLE(T_1125_3_5_3_4) OR FIREABLE(T_1125_4_5_1_4) OR FIREABLE(T_1125_1_3_2_3) OR FIREABLE(T_1125_4_1_6_5) OR FIREABLE(T_1125_5_5_6_4) OR FIREABLE(T_1125_6_5_5_4) OR FIREABLE(T_1125_3_4_5_6) OR FIREABLE(T_1125_6_2_5_4) OR FIREABLE(T_1125_2_5_3_6) OR FIREABLE(T_1125_1_1_1_1) OR FIREABLE(T_1125_1_1_6_1) OR FIREABLE(T_1125_3_5_3_2) OR FIREABLE(T_1125_2_4_6_6) OR FIREABLE(T_1125_2_5_5_1) OR FIREABLE(T_1125_1_3_6_2) OR FIREABLE(T_1125_6_1_3_6) OR FIREABLE(T_1125_1_2_5_4) OR FIREABLE(T_1125_2_4_2_3) OR FIREABLE(T_1125_2_6_2_4) OR FIREABLE(T_1125_2_1_6_2) OR FIREABLE(T_1125_4_5_5_3) OR FIREABLE(T_1125_4_6_3_4) OR FIREABLE(T_1125_1_1_1_4) OR FIREABLE(T_1125_4_4_2_6) OR FIREABLE(T_1125_2_5_1_5) OR FIREABLE(T_1125_5_4_6_2) OR FIREABLE(T_1125_3_1_6_6) OR FIREABLE(T_1125_4_6_6_3) OR FIREABLE(T_1125_1_6_6_6) OR FIREABLE(T_1125_1_6_5_6) OR FIREABLE(T_1125_6_6_6_1) OR FIREABLE(T_1125_2_4_2_4) OR FIREABLE(T_1125_5_3_5_4) OR FIREABLE(T_1125_2_2_5_6) OR FIREABLE(T_1125_5_6_5_5) OR FIREABLE(T_1125_4_3_5_1) OR FIREABLE(T_1125_1_1_6_3) OR FIREABLE(T_1125_1_4_6_1) OR FIREABLE(T_1125_5_6_2_2) OR FIREABLE(T_1125_1_3_1_2) OR FIREABLE(T_1125_3_1_2_2) OR FIREABLE(T_1125_3_2_4_2) OR FIREABLE(T_1125_3_3_4_5) OR FIREABLE(T_1125_4_5_6_2) OR FIREABLE(T_1125_6_3_6_6) OR FIREABLE(T_1125_1_1_5_1) OR FIREABLE(T_1125_4_4_1_3) OR FIREABLE(T_1125_5_3_4_3) OR FIREABLE(T_1125_6_6_4_2) OR FIREABLE(T_1125_2_2_6_1) OR FIREABLE(T_1125_1_1_6_4) OR FIREABLE(T_1125_6_1_3_3) OR FIREABLE(T_1125_2_6_1_5) OR FIREABLE(T_1125_6_2_6_5) OR FIREABLE(T_1125_6_5_4_5) OR FIREABLE(T_1125_3_3_2_3) OR FIREABLE(T_1125_3_1_5_5) OR FIREABLE(T_1125_6_5_6_2) OR FIREABLE(T_1125_3_1_2_1) OR FIREABLE(T_1125_4_1_2_6) OR FIREABLE(T_1125_6_4_4_3) OR FIREABLE(T_1125_2_1_4_2) OR FIREABLE(T_1125_3_3_1_5) OR FIREABLE(T_1125_5_5_3_6) OR FIREABLE(T_1125_1_3_3_3) OR FIREABLE(T_1125_2_2_5_3) OR FIREABLE(T_1125_2_2_2_1) OR FIREABLE(T_1125_6_3_6_1) OR FIREABLE(T_1125_4_2_6_2) OR FIREABLE(T_1125_4_5_6_6) OR FIREABLE(T_1125_5_5_6_1) OR FIREABLE(T_1125_6_2_2_4) OR FIREABLE(T_1125_2_1_5_2) OR FIREABLE(T_1125_6_3_4_5) OR FIREABLE(T_1125_1_4_4_4) OR FIREABLE(T_1125_2_5_4_6) OR FIREABLE(T_1125_2_3_4_1) OR FIREABLE(T_1125_4_1_1_6) OR FIREABLE(T_1125_6_5_1_1) OR FIREABLE(T_1125_2_2_1_1) OR FIREABLE(T_1125_3_6_3_5) OR FIREABLE(T_1125_2_3_3_1) OR FIREABLE(T_1125_3_2_5_6) OR FIREABLE(T_1125_1_2_2_4) OR FIREABLE(T_1125_1_6_1_3) OR FIREABLE(T_1125_1_6_2_1) OR FIREABLE(T_1125_1_5_4_4) OR FIREABLE(T_1125_2_2_6_4) OR FIREABLE(T_1125_3_6_3_2) OR FIREABLE(T_1125_6_2_3_4) OR FIREABLE(T_1125_5_2_4_3) OR FIREABLE(T_1125_1_1_1_3) OR FIREABLE(T_1125_5_6_4_6) OR FIREABLE(T_1125_4_5_3_1) OR FIREABLE(T_1125_2_2_4_6) OR FIREABLE(T_1125_4_1_1_5) OR FIREABLE(T_1125_3_1_6_2) OR FIREABLE(T_1125_6_4_4_2) OR FIREABLE(T_1125_6_6_3_1) OR FIREABLE(T_1125_5_4_3_1) OR FIREABLE(T_1125_1_2_5_1) OR FIREABLE(T_1125_2_5_3_3) OR FIREABLE(T_1125_3_6_4_2) OR FIREABLE(T_1125_2_3_6_3) OR FIREABLE(T_1125_4_5_6_4) OR FIREABLE(T_1125_3_2_4_1) OR FIREABLE(T_1125_3_4_2_5) OR FIREABLE(T_1125_5_2_4_2) OR FIREABLE(T_1125_3_6_2_6) OR FIREABLE(T_1125_4_1_5_5) OR FIREABLE(T_1125_6_3_2_5) OR FIREABLE(T_1125_1_6_1_2) OR FIREABLE(T_1125_3_3_6_3) OR FIREABLE(T_1125_5_3_4_6) OR FIREABLE(T_1125_2_4_6_3) OR FIREABLE(T_1125_4_1_3_5) OR FIREABLE(T_1125_2_3_2_4) OR FIREABLE(T_1125_5_3_5_3) OR FIREABLE(T_1125_5_3_6_4) OR FIREABLE(T_1125_4_1_3_6) OR FIREABLE(T_1125_3_3_1_1) OR FIREABLE(T_1125_4_4_1_1) OR FIREABLE(T_1125_5_3_6_2) OR FIREABLE(T_1125_1_3_6_5) OR FIREABLE(T_1125_6_5_6_5) OR FIREABLE(T_1125_4_2_3_2) OR FIREABLE(T_1125_1_6_6_5) OR FIREABLE(T_1125_4_1_2_3) OR FIREABLE(T_1125_6_4_3_2) OR FIREABLE(T_1125_3_5_2_6) OR FIREABLE(T_1125_3_4_2_3) OR FIREABLE(T_1125_4_1_5_3) OR FIREABLE(T_1125_3_5_5_5) OR FIREABLE(T_1125_1_5_4_5) OR FIREABLE(T_1125_5_6_1_5) OR FIREABLE(T_1125_5_1_3_2) OR FIREABLE(T_1125_6_5_5_6) OR FIREABLE(T_1125_6_4_1_2) OR FIREABLE(T_1125_4_2_1_2) OR FIREABLE(T_1125_5_1_6_5) OR FIREABLE(T_1125_4_6_4_1) OR FIREABLE(T_1125_2_2_6_6) OR FIREABLE(T_1125_1_1_3_1) OR FIREABLE(T_1125_1_5_4_3) OR FIREABLE(T_1125_5_4_6_6) OR FIREABLE(T_1125_3_1_5_3) OR FIREABLE(T_1125_6_2_1_5) OR FIREABLE(T_1125_2_3_2_6) OR FIREABLE(T_1125_2_5_3_4) OR FIREABLE(T_1125_5_5_2_5) OR FIREABLE(T_1125_4_3_2_1) OR FIREABLE(T_1125_5_2_5_2) OR FIREABLE(T_1125_4_2_2_2) OR FIREABLE(T_1125_5_1_1_6) OR FIREABLE(T_1125_5_2_4_6) OR FIREABLE(T_1125_5_6_3_4) OR FIREABLE(T_1125_6_2_3_3) OR FIREABLE(T_1125_3_6_3_4) OR FIREABLE(T_1125_3_6_1_6) OR FIREABLE(T_1125_3_3_3_5) OR FIREABLE(T_1125_3_6_1_2) OR FIREABLE(T_1125_3_4_3_5) OR FIREABLE(T_1125_5_1_1_2) OR FIREABLE(T_1125_6_3_5_6) OR FIREABLE(T_1125_1_2_4_6) OR FIREABLE(T_1125_3_1_4_3) OR FIREABLE(T_1125_2_6_4_4) OR FIREABLE(T_1125_4_1_4_4) OR FIREABLE(T_1125_4_4_2_1) OR FIREABLE(T_1125_1_2_4_5) OR FIREABLE(T_1125_4_5_1_3) OR FIREABLE(T_1125_5_5_4_1) OR FIREABLE(T_1125_3_2_5_4) OR FIREABLE(T_1125_6_3_4_4) OR FIREABLE(T_1125_2_6_2_2) OR FIREABLE(T_1125_2_4_4_1) OR FIREABLE(T_1125_2_6_3_5) OR FIREABLE(T_1125_3_4_1_5) OR FIREABLE(T_1125_4_3_5_5) OR FIREABLE(T_1125_2_4_6_2) OR FIREABLE(T_1125_4_2_5_6) OR FIREABLE(T_1125_3_6_6_6) OR FIREABLE(T_1125_6_6_4_6) OR FIREABLE(T_1125_6_3_4_6) OR FIREABLE(T_1125_6_4_2_2) OR FIREABLE(T_1125_6_3_3_5) OR FIREABLE(T_1125_6_3_3_6) OR FIREABLE(T_1125_5_6_3_3) OR FIREABLE(T_1125_1_6_6_2) OR FIREABLE(T_1125_1_4_6_6) OR FIREABLE(T_1125_1_4_3_6) OR FIREABLE(T_1125_2_6_3_6) OR FIREABLE(T_1125_6_1_5_4) OR FIREABLE(T_1125_6_1_1_4) OR FIREABLE(T_1125_2_5_2_5) OR FIREABLE(T_1125_6_5_4_3) OR FIREABLE(T_1125_2_4_1_4) OR FIREABLE(T_1125_1_1_2_3) OR FIREABLE(T_1125_3_1_5_6) OR FIREABLE(T_1125_3_4_2_4) OR FIREABLE(T_1125_6_1_3_4) OR FIREABLE(T_1125_4_3_5_2) OR FIREABLE(T_1125_2_5_5_6) OR FIREABLE(T_1125_4_3_4_2) OR FIREABLE(T_1125_3_2_2_1) OR FIREABLE(T_1125_2_5_4_4) OR FIREABLE(T_1125_5_1_6_6) OR FIREABLE(T_1125_2_1_6_5) OR FIREABLE(T_1125_4_2_6_1) OR FIREABLE(T_1125_1_6_1_1) OR FIREABLE(T_1125_1_4_1_2) OR FIREABLE(T_1125_4_1_3_4) OR FIREABLE(T_1125_5_5_6_3) OR FIREABLE(T_1125_4_6_2_6) OR FIREABLE(T_1125_4_3_1_1) OR FIREABLE(T_1125_1_2_1_1) OR FIREABLE(T_1125_6_6_6_6) OR FIREABLE(T_1125_2_4_1_5) OR FIREABLE(T_1125_1_2_3_5) OR FIREABLE(T_1125_6_1_5_1) OR FIREABLE(T_1125_1_6_5_4) OR FIREABLE(T_1125_1_4_4_5) OR FIREABLE(T_1125_6_2_1_3) OR FIREABLE(T_1125_3_3_5_3) OR FIREABLE(T_1125_4_4_6_3) OR FIREABLE(T_1125_5_5_1_4) OR FIREABLE(T_1125_2_4_5_4) OR FIREABLE(T_1125_2_3_1_6) OR FIREABLE(T_1125_1_5_4_6) OR FIREABLE(T_1125_4_5_4_1) OR FIREABLE(T_1125_5_4_2_1) OR FIREABLE(T_1125_1_3_3_4) OR FIREABLE(T_1125_1_5_5_3) OR FIREABLE(T_1125_6_1_6_4) OR FIREABLE(T_1125_5_6_4_1) OR FIREABLE(T_1125_1_3_2_5) OR FIREABLE(T_1125_5_2_2_2) OR FIREABLE(T_1125_2_6_5_1) OR FIREABLE(T_1125_1_2_1_6) OR FIREABLE(T_1125_3_4_6_5) OR FIREABLE(T_1125_1_5_2_2) OR FIREABLE(T_1125_3_5_4_4) OR FIREABLE(T_1125_6_5_4_2) OR FIREABLE(T_1125_3_1_4_2) OR FIREABLE(T_1125_4_6_2_3) OR FIREABLE(T_1125_6_1_4_1) OR FIREABLE(T_1125_5_1_2_6) OR FIREABLE(T_1125_6_1_2_4) OR FIREABLE(T_1125_4_4_3_1) OR FIREABLE(T_1125_2_6_4_5) OR FIREABLE(T_1125_3_3_6_5) OR FIREABLE(T_1125_5_1_2_5) OR FIREABLE(T_1125_3_6_1_3) OR FIREABLE(T_1125_5_1_3_6) OR FIREABLE(T_1125_6_4_4_4) OR FIREABLE(T_1125_1_3_1_5) OR FIREABLE(T_1125_4_4_6_6) OR FIREABLE(T_1125_5_1_4_4) OR FIREABLE(T_1125_6_5_2_1) OR FIREABLE(T_1125_3_6_5_5) OR FIREABLE(T_1125_3_4_4_1) OR FIREABLE(T_1125_3_2_6_2) OR FIREABLE(T_1125_2_6_3_2) OR FIREABLE(T_1125_4_3_4_3) OR FIREABLE(T_1125_1_6_1_5) OR FIREABLE(T_1125_5_1_6_1) OR FIREABLE(T_1125_3_6_5_6) OR FIREABLE(T_1125_3_1_4_1) OR FIREABLE(T_1125_3_6_4_3) OR FIREABLE(T_1125_2_1_2_1) OR FIREABLE(T_1125_2_2_3_1) OR FIREABLE(T_1125_5_3_5_6) OR FIREABLE(T_1125_3_5_3_6) OR FIREABLE(T_1125_3_5_5_6) OR FIREABLE(T_1125_4_2_4_2) OR FIREABLE(T_1125_4_6_6_4) OR FIREABLE(T_1125_2_6_3_4) OR FIREABLE(T_1125_6_5_1_3) OR FIREABLE(T_1125_3_3_3_1) OR FIREABLE(T_1125_6_2_2_6) OR FIREABLE(T_1125_4_4_6_4) OR FIREABLE(T_1125_2_6_4_6) OR FIREABLE(T_1125_1_2_1_5) OR FIREABLE(T_1125_3_5_5_1) OR FIREABLE(T_1125_6_2_2_3) OR FIREABLE(T_1125_4_4_5_3) OR FIREABLE(T_1125_1_4_3_2) OR FIREABLE(T_1125_3_5_2_2) OR FIREABLE(T_1125_1_4_5_2) OR FIREABLE(T_1125_1_3_5_1) OR FIREABLE(T_1125_3_3_6_4) OR FIREABLE(T_1125_5_5_3_1) OR FIREABLE(T_1125_4_4_6_5) OR FIREABLE(T_1125_6_3_5_1) OR FIREABLE(T_1125_4_5_6_5) OR FIREABLE(T_1125_1_2_3_3) OR FIREABLE(T_1125_4_4_5_2) OR FIREABLE(T_1125_5_1_5_2) OR FIREABLE(T_1125_4_1_2_5) OR FIREABLE(T_1125_1_6_5_2) OR FIREABLE(T_1125_5_6_3_5) OR FIREABLE(T_1125_1_3_4_5) OR FIREABLE(T_1125_1_5_6_6) OR FIREABLE(T_1125_4_4_3_3) OR FIREABLE(T_1125_6_3_3_2) OR FIREABLE(T_1125_1_6_6_4) OR FIREABLE(T_1125_2_6_6_3) OR FIREABLE(T_1125_1_4_2_1) OR FIREABLE(T_1125_4_2_1_5) OR FIREABLE(T_1125_6_4_5_3) OR FIREABLE(T_1125_2_3_5_4) OR FIREABLE(T_1125_1_5_6_3) OR FIREABLE(T_1125_4_1_3_3) OR FIREABLE(T_1125_6_4_4_5) OR FIREABLE(T_1125_6_4_5_5) OR FIREABLE(T_1125_2_1_5_6) OR FIREABLE(T_1125_6_2_3_5) OR FIREABLE(T_1125_1_6_4_4) OR FIREABLE(T_1125_4_1_3_2) OR FIREABLE(T_1125_2_1_4_3) OR FIREABLE(T_1125_1_5_3_2) OR FIREABLE(T_1125_5_6_3_6) OR FIREABLE(T_1125_1_3_6_1) OR FIREABLE(T_1125_2_4_1_6) OR FIREABLE(T_1125_6_5_3_1) OR FIREABLE(T_1125_6_5_2_3) OR FIREABLE(T_1125_4_5_1_1) OR FIREABLE(T_1125_5_2_3_2) OR FIREABLE(T_1125_2_6_1_2) OR FIREABLE(T_1125_2_3_1_4) OR FIREABLE(T_1125_1_4_5_5) OR FIREABLE(T_1125_4_2_1_3) OR FIREABLE(T_1125_2_6_3_3) OR FIREABLE(T_1125_5_6_2_6) OR FIREABLE(T_1125_1_2_1_4) OR FIREABLE(T_1125_3_1_1_3) OR FIREABLE(T_1125_3_1_4_4) OR FIREABLE(T_1125_4_1_4_5) OR FIREABLE(T_1125_2_2_5_2) OR FIREABLE(T_1125_3_5_4_2) OR FIREABLE(T_1125_6_1_1_1) OR FIREABLE(T_1125_6_2_4_1) OR FIREABLE(T_1125_1_1_2_1) OR FIREABLE(T_1125_2_5_2_6) OR FIREABLE(T_1125_3_6_2_2) OR FIREABLE(T_1125_5_4_1_3) OR FIREABLE(T_1125_2_5_3_5) OR FIREABLE(T_1125_6_6_5_4) OR FIREABLE(T_1125_4_2_4_4) OR FIREABLE(T_1125_4_2_4_6) OR FIREABLE(T_1125_6_1_2_6) OR FIREABLE(T_1125_5_3_1_4) OR FIREABLE(T_1125_5_4_5_4) OR FIREABLE(T_1125_5_4_2_3) OR FIREABLE(T_1125_6_2_4_3) OR FIREABLE(T_1125_6_3_2_2) OR FIREABLE(T_1125_6_3_3_4) OR FIREABLE(T_1125_1_6_4_1) OR FIREABLE(T_1125_2_5_2_4) OR FIREABLE(T_1125_4_6_2_5) OR FIREABLE(T_1125_4_5_3_4) OR FIREABLE(T_1125_3_6_4_4) OR FIREABLE(T_1125_5_2_6_6) OR FIREABLE(T_1125_1_3_1_6) OR FIREABLE(T_1125_3_6_2_3) OR FIREABLE(T_1125_1_5_1_3) OR FIREABLE(T_1125_1_5_3_3) OR FIREABLE(T_1125_4_4_4_1) OR FIREABLE(T_1125_3_1_1_5) OR FIREABLE(T_1125_2_6_1_6) OR FIREABLE(T_1125_6_3_1_2) OR FIREABLE(T_1125_6_2_3_1) OR FIREABLE(T_1125_5_5_2_1) OR FIREABLE(T_1125_6_4_6_1) OR FIREABLE(T_1125_3_4_3_4) OR FIREABLE(T_1125_1_1_4_5) OR FIREABLE(T_1125_5_4_2_5) OR FIREABLE(T_1125_5_2_3_1) OR FIREABLE(T_1125_6_2_2_5) OR FIREABLE(T_1125_2_1_1_2) OR FIREABLE(T_1125_5_3_1_1) OR FIREABLE(T_1125_5_5_2_4) OR FIREABLE(T_1125_2_3_6_5) OR FIREABLE(T_1125_6_4_4_6) OR FIREABLE(T_1125_4_1_5_2) OR FIREABLE(T_1125_3_5_6_1) OR FIREABLE(T_1125_1_4_4_6) OR FIREABLE(T_1125_4_3_6_6) OR FIREABLE(T_1125_4_2_3_6) OR FIREABLE(T_1125_2_1_2_5) OR FIREABLE(T_1125_3_3_3_3) OR FIREABLE(T_1125_6_5_5_3) OR FIREABLE(T_1125_1_1_2_4) OR FIREABLE(T_1125_5_4_1_5) OR FIREABLE(T_1125_1_2_2_3) OR FIREABLE(T_1125_3_4_2_6) OR FIREABLE(T_1125_2_1_6_1) OR FIREABLE(T_1125_6_4_5_6) OR FIREABLE(T_1125_3_3_1_6) OR FIREABLE(T_1125_3_3_1_3) OR FIREABLE(T_1125_4_2_5_5) OR FIREABLE(T_1125_4_5_5_4) OR FIREABLE(T_1125_3_6_4_5) OR FIREABLE(T_1125_5_3_2_2) OR FIREABLE(T_1125_1_5_1_1) OR FIREABLE(T_1125_4_3_4_5) OR FIREABLE(T_1125_5_6_5_1) OR FIREABLE(T_1125_6_5_5_2) OR FIREABLE(T_1125_1_2_4_1) OR FIREABLE(T_1125_4_1_1_2) OR FIREABLE(T_1125_5_4_6_5) OR FIREABLE(T_1125_3_1_3_4) OR FIREABLE(T_1125_5_5_6_5) OR FIREABLE(T_1125_2_2_2_4) OR FIREABLE(T_1125_1_5_5_6) OR FIREABLE(T_1125_3_4_5_1) OR FIREABLE(T_1125_3_1_3_6) OR FIREABLE(T_1125_4_3_3_5) OR FIREABLE(T_1125_4_2_3_4) OR FIREABLE(T_1125_4_3_5_6) OR FIREABLE(T_1125_5_6_6_3) OR FIREABLE(T_1125_2_3_6_4) OR FIREABLE(T_1125_2_2_6_2) OR FIREABLE(T_1125_3_5_1_4) OR FIREABLE(T_1125_2_2_2_2) OR FIREABLE(T_1125_2_4_1_3) OR FIREABLE(T_1125_1_3_3_6) OR FIREABLE(T_1125_1_3_2_6) OR FIREABLE(T_1125_2_1_2_3) OR FIREABLE(T_1125_2_3_5_3) OR FIREABLE(T_1125_3_2_3_5) OR FIREABLE(T_1125_5_4_6_4) OR FIREABLE(T_1125_4_2_2_1) OR FIREABLE(T_1125_4_1_6_3) OR FIREABLE(T_1125_2_6_4_3) OR FIREABLE(T_1125_2_4_2_1) OR FIREABLE(T_1125_4_6_1_4) OR FIREABLE(T_1125_2_6_2_3) OR FIREABLE(T_1125_4_5_2_6) OR FIREABLE(T_1125_2_1_3_1) OR FIREABLE(T_1125_6_6_6_4) OR FIREABLE(T_1125_4_6_3_5) OR FIREABLE(T_1125_3_5_3_5) OR FIREABLE(T_1125_5_4_5_2) OR FIREABLE(T_1125_1_4_2_4) OR FIREABLE(T_1125_3_6_1_5) OR FIREABLE(T_1125_2_5_1_6) OR FIREABLE(T_1125_4_1_4_2) OR FIREABLE(T_1125_1_4_2_2) OR FIREABLE(T_1125_1_2_6_3) OR FIREABLE(T_1125_2_3_3_3) OR FIREABLE(T_1125_5_4_4_6) OR FIREABLE(T_1125_2_1_6_6) OR FIREABLE(T_1125_3_5_5_3) OR FIREABLE(T_1125_4_4_4_2) OR FIREABLE(T_1125_6_1_1_6) OR FIREABLE(T_1125_5_1_1_5) OR FIREABLE(T_1125_6_4_1_1) OR FIREABLE(T_1125_6_5_6_1) OR FIREABLE(T_1125_6_1_5_3) OR FIREABLE(T_1125_3_3_6_2) OR FIREABLE(T_1125_4_1_4_1) OR FIREABLE(T_1125_1_3_3_1) OR FIREABLE(T_1125_2_5_2_2) OR FIREABLE(T_1125_3_4_5_5) OR FIREABLE(T_1125_5_3_6_3) OR FIREABLE(T_1125_3_1_6_5) OR FIREABLE(T_1125_6_1_3_5) OR FIREABLE(T_1125_2_6_2_5) OR FIREABLE(T_1125_3_2_2_4) OR FIREABLE(T_1125_1_1_5_5) OR FIREABLE(T_1125_2_4_4_4) OR FIREABLE(T_1125_5_5_1_1) OR FIREABLE(T_1125_5_2_4_4) OR FIREABLE(T_1125_6_2_6_1) OR FIREABLE(T_1125_1_6_2_3) OR FIREABLE(T_1125_6_6_1_1) OR FIREABLE(T_1125_3_1_5_4) OR FIREABLE(T_1125_6_2_4_6) OR FIREABLE(T_1125_2_4_6_5) OR FIREABLE(T_1125_6_4_3_3) OR FIREABLE(T_1125_3_6_5_2) OR FIREABLE(T_1125_5_6_1_2) OR FIREABLE(T_1125_5_6_2_5) OR FIREABLE(T_1125_1_3_4_4) OR FIREABLE(T_1125_5_5_3_4) OR FIREABLE(T_1125_5_1_5_1) OR FIREABLE(T_1125_6_2_3_2) OR FIREABLE(T_1125_3_1_6_4) OR FIREABLE(T_1125_6_3_1_5) OR FIREABLE(T_1125_6_1_2_2) OR FIREABLE(T_1125_3_5_4_5) OR FIREABLE(T_1125_5_6_4_3) OR FIREABLE(T_1125_3_4_3_1) OR FIREABLE(T_1125_6_3_5_5) OR FIREABLE(T_1125_6_3_2_1) OR FIREABLE(T_1125_4_5_1_5) OR FIREABLE(T_1125_4_6_4_5) OR FIREABLE(T_1125_4_2_4_3) OR FIREABLE(T_1125_2_4_3_6) OR FIREABLE(T_1125_4_5_2_1) OR FIREABLE(T_1125_1_6_3_6) OR FIREABLE(T_1125_6_2_1_6) OR FIREABLE(T_1125_5_6_4_2) OR FIREABLE(T_1125_6_5_4_6) OR FIREABLE(T_1125_2_4_6_4) OR FIREABLE(T_1125_5_2_5_6) OR FIREABLE(T_1125_3_6_5_1) OR FIREABLE(T_1125_5_6_1_6) OR FIREABLE(T_1125_2_5_1_2) OR FIREABLE(T_1125_5_4_3_3) OR FIREABLE(T_1125_2_1_5_4) OR FIREABLE(T_1125_6_4_5_2) OR FIREABLE(T_1125_6_5_6_6) OR FIREABLE(T_1125_4_2_6_4) OR FIREABLE(T_1125_5_1_4_6) OR FIREABLE(T_1125_3_4_3_2) OR FIREABLE(T_1125_1_4_6_2) OR FIREABLE(T_1125_1_2_1_2) OR FIREABLE(T_1125_5_6_5_3) OR FIREABLE(T_1125_2_2_4_5) OR FIREABLE(T_1125_5_3_6_6) OR FIREABLE(T_1125_3_3_2_5) OR FIREABLE(T_1125_5_1_3_3) OR FIREABLE(T_1125_2_6_4_1) OR FIREABLE(T_1125_2_1_4_1) OR FIREABLE(T_1125_1_3_6_4) OR FIREABLE(T_1125_3_4_1_6) OR FIREABLE(T_1125_4_1_4_3) OR FIREABLE(T_1125_1_2_2_6) OR FIREABLE(T_1125_6_4_2_5) OR FIREABLE(T_1125_4_2_2_5) OR FIREABLE(T_1125_3_6_3_3) OR FIREABLE(T_1125_3_2_6_5) OR FIREABLE(T_1125_4_4_2_3) OR FIREABLE(T_1125_3_2_1_4) OR FIREABLE(T_1125_6_5_4_1) OR FIREABLE(T_1125_1_5_6_1) OR FIREABLE(T_1125_2_1_4_6) OR FIREABLE(T_1125_1_3_4_2))))))) : A (G (NOT(((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_6)) AND A (X ((FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6)))))))) : ((FIREABLE(T_0376_6_6) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_5_5)) AND NOT(E (G ((FIREABLE(T_2311_6) OR FIREABLE(T_2311_4) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_1) OR (NOT FIREABLE(T_2296_5) AND NOT FIREABLE(T_2296_6) AND NOT FIREABLE(T_2296_3) AND NOT FIREABLE(T_2296_4) AND NOT FIREABLE(T_2296_1) AND NOT FIREABLE(T_2296_2))))))) : E (G (((NOT FIREABLE(LeaveCSTCS_5) AND NOT FIREABLE(LeaveCSTCS_2) AND NOT FIREABLE(LeaveCSTCS_6) AND NOT FIREABLE(LeaveCSTCS_1) AND NOT FIREABLE(LeaveCSTCS_4) AND NOT FIREABLE(LeaveCSTCS_3) AND NOT FIREABLE(T_1170_2) AND NOT FIREABLE(T_1170_3) AND NOT FIREABLE(T_1170_5) AND NOT FIREABLE(T_1170_4) AND NOT FIREABLE(T_1170_6) AND NOT FIREABLE(T_1170_1) AND NOT FIREABLE(T_1123_3_1) AND NOT FIREABLE(T_1123_5_3) AND NOT FIREABLE(T_1123_3_6) AND NOT FIREABLE(T_1123_6_4) AND NOT FIREABLE(T_1123_3_2) AND NOT FIREABLE(T_1123_2_1) AND NOT FIREABLE(T_1123_4_3) AND NOT FIREABLE(T_1123_2_6) AND NOT FIREABLE(T_1123_6_5) AND NOT FIREABLE(T_1123_1_5) AND NOT FIREABLE(T_1123_1_4) AND NOT FIREABLE(T_1123_4_2) AND NOT FIREABLE(T_1123_1_1) AND NOT FIREABLE(T_1123_2_2) AND NOT FIREABLE(T_1123_6_3) AND NOT FIREABLE(T_1123_5_2) AND NOT FIREABLE(T_1123_1_2) AND NOT FIREABLE(T_1123_6_2) AND NOT FIREABLE(T_1123_4_5) AND NOT FIREABLE(T_1123_3_4) AND NOT FIREABLE(T_1123_6_1) AND NOT FIREABLE(T_1123_1_6) AND NOT FIREABLE(T_1123_2_4) AND NOT FIREABLE(T_1123_6_6) AND NOT FIREABLE(T_1123_2_3) AND NOT FIREABLE(T_1123_1_3) AND NOT FIREABLE(T_1123_5_4) AND NOT FIREABLE(T_1123_4_4) AND NOT FIREABLE(T_1123_5_1) AND NOT FIREABLE(T_1123_2_5) AND NOT FIREABLE(T_1123_3_3) AND NOT FIREABLE(T_1123_5_6) AND NOT FIREABLE(T_1123_4_1) AND NOT FIREABLE(T_1123_5_5) AND NOT FIREABLE(T_1123_4_6) AND NOT FIREABLE(T_1123_3_5)) OR (NOT FIREABLE(NotifyEventSourceAdded_5) AND NOT FIREABLE(NotifyEventSourceAdded_1) AND NOT FIREABLE(NotifyEventSourceAdded_3) AND NOT FIREABLE(NotifyEventSourceAdded_2) AND NOT FIREABLE(NotifyEventSourceAdded_6) AND NOT FIREABLE(NotifyEventSourceAdded_4))))) : A (G ((NOT FIREABLE(T_1148_3) AND NOT FIREABLE(T_1148_5) AND NOT FIREABLE(T_1148_2) AND NOT FIREABLE(T_1148_4) AND NOT FIREABLE(T_1148_6) AND NOT FIREABLE(T_1148_1) AND NOT FIREABLE(IsAbort_2) AND NOT FIREABLE(IsAbort_3) AND NOT FIREABLE(IsAbort_1) AND NOT FIREABLE(IsAbort_6) AND NOT FIREABLE(IsAbort_4) AND NOT FIREABLE(IsAbort_5) AND ((NOT FIREABLE(T_2577_4_4) AND NOT FIREABLE(T_2577_4_1) AND NOT FIREABLE(T_2577_5_5) AND NOT FIREABLE(T_2577_6_1) AND NOT FIREABLE(T_2577_4_2) AND NOT FIREABLE(T_2577_2_6) AND NOT FIREABLE(T_2577_2_4) AND NOT FIREABLE(T_2577_1_3) AND NOT FIREABLE(T_2577_1_2) AND NOT FIREABLE(T_2577_6_2) AND NOT FIREABLE(T_2577_3_5) AND NOT FIREABLE(T_2577_4_6) AND NOT FIREABLE(T_2577_2_2) AND NOT FIREABLE(T_2577_3_4) AND NOT FIREABLE(T_2577_3_3) AND NOT FIREABLE(T_2577_3_6) AND NOT FIREABLE(T_2577_5_4) AND NOT FIREABLE(T_2577_6_5) AND NOT FIREABLE(T_2577_6_3) AND NOT FIREABLE(T_2577_6_6) AND NOT FIREABLE(T_2577_3_2) AND NOT FIREABLE(T_2577_2_1) AND NOT FIREABLE(T_2577_1_1) AND NOT FIREABLE(T_2577_1_6) AND NOT FIREABLE(T_2577_4_5) AND NOT FIREABLE(T_2577_1_4) AND NOT FIREABLE(T_2577_3_1) AND NOT FIREABLE(T_2577_2_3) AND NOT FIREABLE(T_2577_5_3) AND NOT FIREABLE(T_2577_6_4) AND NOT FIREABLE(T_2577_1_5) AND NOT FIREABLE(T_2577_5_1) AND NOT FIREABLE(T_2577_4_3) AND NOT FIREABLE(T_2577_2_5) AND NOT FIREABLE(T_2577_5_6) AND NOT FIREABLE(T_2577_5_2)) OR (NOT FIREABLE(NeedMonitoring_5) AND NOT FIREABLE(NeedMonitoring_4) AND NOT FIREABLE(NeedMonitoring_1) AND NOT FIREABLE(NeedMonitoring_2) AND NOT FIREABLE(NeedMonitoring_3) AND NOT FIREABLE(NeedMonitoring_6))) AND (FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4) OR FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4))))) : E ((A (G ((NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_6)))) U E (X (((FIREABLE(T_2280_2_5) OR FIREABLE(T_2280_1_6) OR FIREABLE(T_2280_0_4) OR FIREABLE(T_2280_4_1) OR FIREABLE(T_2280_0_6) OR FIREABLE(T_2280_3_5) OR FIREABLE(T_2280_0_2) OR FIREABLE(T_2280_4_3) OR FIREABLE(T_2280_4_5) OR FIREABLE(T_2280_1_4) OR FIREABLE(T_2280_2_1) OR FIREABLE(T_2280_2_4) OR FIREABLE(T_2280_3_1) OR FIREABLE(T_2280_4_4) OR FIREABLE(T_2280_1_1) OR FIREABLE(T_2280_3_2) OR FIREABLE(T_2280_3_4) OR FIREABLE(T_2280_1_3) OR FIREABLE(T_2280_4_2) OR FIREABLE(T_2280_0_1) OR FIREABLE(T_2280_4_6) OR FIREABLE(T_2280_1_2) OR FIREABLE(T_2280_0_3) OR FIREABLE(T_2280_3_3) OR FIREABLE(T_2280_0_5) OR FIREABLE(T_2280_3_6) OR FIREABLE(T_2280_1_5) OR FIREABLE(T_2280_2_2) OR FIREABLE(T_2280_2_3) OR FIREABLE(T_2280_2_6)) AND (FIREABLE(T_2317_4) OR FIREABLE(T_2317_5) OR FIREABLE(T_2317_1) OR FIREABLE(T_2317_2) OR FIREABLE(T_2317_6) OR FIREABLE(T_2317_3))))))) : A (F (A (X ((FIREABLE(Run_1) OR FIREABLE(Run_6) OR FIREABLE(Run_4) OR FIREABLE(Run_2) OR FIREABLE(Run_5) OR FIREABLE(Run_3)))))) : E (G ((NOT FIREABLE(LeaveIdle_5_5) AND NOT FIREABLE(LeaveIdle_6_6) AND NOT FIREABLE(LeaveIdle_1_1) AND NOT FIREABLE(LeaveIdle_3_3) AND NOT FIREABLE(LeaveIdle_2_2) AND NOT FIREABLE(LeaveIdle_4_4)))) : ((FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4)) OR NOT(((A (F ((FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_6_2) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_0383_5_1) OR FIREABLE(T_0383_3_1) OR FIREABLE(T_0383_6_5) OR FIREABLE(T_0383_4_3) OR FIREABLE(T_0383_1_5) OR FIREABLE(T_0383_5_2) OR FIREABLE(T_0383_4_5) OR FIREABLE(T_0383_5_3) OR FIREABLE(T_0383_1_6) OR FIREABLE(T_0383_6_1) OR FIREABLE(T_0383_5_5) OR FIREABLE(T_0383_1_1) OR FIREABLE(T_0383_3_2) OR FIREABLE(T_0383_1_4) OR FIREABLE(T_0383_2_5) OR FIREABLE(T_0383_5_6) OR FIREABLE(T_0383_6_6) OR FIREABLE(T_0383_3_5) OR FIREABLE(T_0383_1_3) OR FIREABLE(T_0383_6_3) OR FIREABLE(T_0383_4_1)))) OR (FIREABLE(GoCheckSource_4) OR FIREABLE(GoCheckSource_6) OR FIREABLE(GoCheckSource_3) OR FIREABLE(GoCheckSource_1) OR FIREABLE(GoCheckSource_2) OR FIREABLE(GoCheckSource_5) OR ((FIREABLE(IsEvt_1_3) OR FIREABLE(IsEvt_4_2) OR FIREABLE(IsEvt_1_4) OR FIREABLE(IsEvt_3_2) OR FIREABLE(IsEvt_6_6) OR FIREABLE(IsEvt_6_3) OR FIREABLE(IsEvt_4_5) OR FIREABLE(IsEvt_5_5) OR FIREABLE(IsEvt_1_1) OR FIREABLE(IsEvt_2_2) OR FIREABLE(IsEvt_5_2) OR FIREABLE(IsEvt_1_5) OR FIREABLE(IsEvt_6_5) OR FIREABLE(IsEvt_2_1) OR FIREABLE(IsEvt_4_3) OR FIREABLE(IsEvt_6_4) OR FIREABLE(IsEvt_5_3) OR FIREABLE(IsEvt_3_1) OR FIREABLE(IsEvt_1_6) OR FIREABLE(IsEvt_5_1) OR FIREABLE(IsEvt_2_3) OR FIREABLE(IsEvt_4_1) OR FIREABLE(IsEvt_2_6) OR FIREABLE(IsEvt_3_3) OR FIREABLE(IsEvt_5_4) OR FIREABLE(IsEvt_3_6) OR FIREABLE(IsEvt_1_2) OR FIREABLE(IsEvt_2_5) OR FIREABLE(IsEvt_5_6) OR FIREABLE(IsEvt_4_4) OR FIREABLE(IsEvt_3_4) OR FIREABLE(IsEvt_6_2) OR FIREABLE(IsEvt_4_6) OR FIREABLE(IsEvt_3_5) OR FIREABLE(IsEvt_6_1) OR FIREABLE(IsEvt_2_4)) AND (FIREABLE(T_1114_6) OR FIREABLE(T_1114_2) OR FIREABLE(T_1114_3) OR FIREABLE(T_1114_5) OR FIREABLE(T_1114_4) OR FIREABLE(T_1114_1))))) OR (NOT FIREABLE(T_2285_2_1) AND NOT FIREABLE(T_2285_6_5) AND NOT FIREABLE(T_2285_6_2) AND NOT FIREABLE(T_2285_1_4) AND NOT FIREABLE(T_2285_3_2) AND NOT FIREABLE(T_2285_5_2) AND NOT FIREABLE(T_2285_5_5) AND NOT FIREABLE(T_2285_1_1) AND NOT FIREABLE(T_2285_2_4) AND NOT FIREABLE(T_2285_5_3) AND NOT FIREABLE(T_2285_4_2) AND NOT FIREABLE(T_2285_3_1) AND NOT FIREABLE(T_2285_1_6) AND NOT FIREABLE(T_2285_6_4) AND NOT FIREABLE(T_2285_4_1) AND NOT FIREABLE(T_2285_2_6) AND NOT FIREABLE(T_2285_6_3) AND NOT FIREABLE(T_2285_4_3) AND NOT FIREABLE(T_2285_5_4) AND NOT FIREABLE(T_2285_5_1) AND NOT FIREABLE(T_2285_2_5) AND NOT FIREABLE(T_2285_3_6) AND NOT FIREABLE(T_2285_3_3) AND NOT FIREABLE(T_2285_1_5) AND NOT FIREABLE(T_2285_4_6) AND NOT FIREABLE(T_2285_6_1) AND NOT FIREABLE(T_2285_5_6) AND NOT FIREABLE(T_2285_3_4) AND NOT FIREABLE(T_2285_4_5) AND NOT FIREABLE(T_2285_2_3) AND NOT FIREABLE(T_2285_1_2) AND NOT FIREABLE(T_2285_4_4) AND NOT FIREABLE(T_2285_6_6) AND NOT FIREABLE(T_2285_1_3) AND NOT FIREABLE(T_2285_2_2) AND NOT FIREABLE(T_2285_3_5) AND (FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_5)) AND (FIREABLE(T_1125_6_5_4_4) OR FIREABLE(T_1125_6_6_1_4) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_5_6_1_4) OR FIREABLE(T_1125_6_6_2_4) OR FIREABLE(T_1125_5_5_3_5) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T_1125_6_2_3_6) OR FIREABLE(T_1125_3_5_6_3) OR FIREABLE(T_1125_5_3_5_2) OR FIREABLE(T_1125_2_2_5_4) OR FIREABLE(T_1125_5_2_3_6) OR FIREABLE(T_1125_4_5_2_4) OR FIREABLE(T_1125_5_5_2_6) OR FIREABLE(T_1125_4_5_5_5) OR FIREABLE(T_1125_6_6_4_5) OR FIREABLE(T_1125_5_2_1_3) OR FIREABLE(T_1125_5_6_6_1) OR FIREABLE(T_1125_2_4_3_4) OR FIREABLE(T_1125_1_4_3_4) OR FIREABLE(T_1125_5_1_6_3) OR FIREABLE(T_1125_5_2_5_5) OR FIREABLE(T_1125_3_3_5_6) OR FIREABLE(T_1125_6_4_3_5) OR FIREABLE(T_1125_2_4_2_5) OR FIREABLE(T_1125_2_4_2_6) OR FIREABLE(T_1125_2_3_3_5) OR FIREABLE(T_1125_6_4_6_6) OR FIREABLE(T_1125_2_1_3_6) OR FIREABLE(T_1125_2_1_4_4) OR FIREABLE(T_1125_5_2_4_5) OR FIREABLE(T_1125_5_1_3_4) OR FIREABLE(T_1125_3_3_5_1) OR FIREABLE(T_1125_4_2_3_1) OR FIREABLE(T_1125_4_3_6_5) OR FIREABLE(T_1125_2_3_6_2) OR FIREABLE(T_1125_6_5_3_6) OR FIREABLE(T_1125_5_6_1_3) OR FIREABLE(T_1125_2_5_5_4) OR FIREABLE(T_1125_1_4_1_4) OR FIREABLE(T_1125_3_6_6_3) OR FIREABLE(T_1125_5_2_2_6) OR FIREABLE(T_1125_5_5_5_4) OR FIREABLE(T_1125_3_4_2_1) OR FIREABLE(T_1125_2_4_3_2) OR FIREABLE(T_1125_1_4_3_5) OR FIREABLE(T_1125_4_1_5_6) OR FIREABLE(T_1125_3_4_6_4) OR FIREABLE(T_1125_4_4_4_3) OR FIREABLE(T_1125_3_4_4_4) OR FIREABLE(T_1125_5_2_6_4) OR FIREABLE(T_1125_3_1_3_2) OR FIREABLE(T_1125_6_4_2_3) OR FIREABLE(T_1125_6_5_6_3) OR FIREABLE(T_1125_2_2_1_4) OR FIREABLE(T_1125_3_2_2_2) OR FIREABLE(T_1125_6_6_1_6) OR FIREABLE(T_1125_2_5_1_4) OR FIREABLE(T_1125_4_6_6_5) OR FIREABLE(T_1125_6_5_5_1) OR FIREABLE(T_1125_5_1_4_1) OR FIREABLE(T_1125_1_6_3_1) OR FIREABLE(T_1125_2_1_6_3) OR FIREABLE(T_1125_2_4_5_1) OR FIREABLE(T_1125_6_1_4_5) OR FIREABLE(T_1125_1_5_4_2) OR FIREABLE(T_1125_3_5_6_5) OR FIREABLE(T_1125_1_2_6_1) OR FIREABLE(T_1125_3_1_3_1) OR FIREABLE(T_1125_2_5_4_5) OR FIREABLE(T_1125_6_3_2_6) OR FIREABLE(T_1125_6_4_1_3) OR FIREABLE(T_1125_3_5_2_4) OR FIREABLE(T_1125_6_5_3_2) OR FIREABLE(T_1125_5_1_4_2) OR FIREABLE(T_1125_6_3_2_4) OR FIREABLE(T_1125_6_2_4_2) OR FIREABLE(T_1125_4_3_1_2) OR FIREABLE(T_1125_5_3_2_3) OR FIREABLE(T_1125_1_4_5_4) OR FIREABLE(T_1125_5_6_6_6) OR FIREABLE(T_1125_3_6_4_6) OR FIREABLE(T_1125_4_3_2_2) OR FIREABLE(T_1125_6_2_5_3) OR FIREABLE(T_1125_5_1_5_3) OR FIREABLE(T_1125_3_3_4_1) OR FIREABLE(T_1125_1_5_1_2) OR FIREABLE(T_1125_3_3_6_1) OR FIREABLE(T_1125_3_6_3_6) OR FIREABLE(T_1125_6_5_6_4) OR FIREABLE(T_1125_1_3_4_6) OR FIREABLE(T_1125_2_6_5_2) OR FIREABLE(T_1125_6_2_4_4) OR FIREABLE(T_1125_2_2_1_5) OR FIREABLE(T_1125_1_5_6_4) OR FIREABLE(T_1125_5_2_5_1) OR FIREABLE(T_1125_2_2_5_5) OR FIREABLE(T_1125_3_2_3_3) OR FIREABLE(T_1125_4_1_5_1) OR FIREABLE(T_1125_6_3_1_1) OR FIREABLE(T_1125_3_2_6_6) OR FIREABLE(T_1125_2_6_4_2) OR FIREABLE(T_1125_4_2_2_4) OR FIREABLE(T_1125_2_5_5_3) OR FIREABLE(T_1125_1_6_2_4) OR FIREABLE(T_1125_3_6_6_1) OR FIREABLE(T_1125_3_5_3_1) OR FIREABLE(T_1125_4_1_1_3) OR FIREABLE(T_1125_3_4_3_6) OR FIREABLE(T_1125_1_4_1_5) OR FIREABLE(T_1125_6_2_6_4) OR FIREABLE(T_1125_3_4_6_2) OR FIREABLE(T_1125_4_2_2_3) OR FIREABLE(T_1125_2_6_3_1) OR FIREABLE(T_1125_3_1_2_4) OR FIREABLE(T_1125_5_2_2_5) OR FIREABLE(T_1125_1_1_4_4) OR FIREABLE(T_1125_6_6_5_5) OR FIREABLE(T_1125_5_3_4_5) OR FIREABLE(T_1125_4_3_6_3) OR FIREABLE(T_1125_2_1_5_1) OR FIREABLE(T_1125_6_3_6_2) OR FIREABLE(T_1125_6_5_2_5) OR FIREABLE(T_1125_1_1_1_6) OR FIREABLE(T_1125_3_1_4_6) OR FIREABLE(T_1125_2_2_1_6) OR FIREABLE(T_1125_4_6_1_6) OR FIREABLE(T_1125_4_6_1_2) OR FIREABLE(T_1125_4_3_3_4) OR FIREABLE(T_1125_4_1_1_1) OR FIREABLE(T_1125_5_6_4_5) OR FIREABLE(T_1125_1_4_1_6) OR FIREABLE(T_1125_3_5_2_5) OR FIREABLE(T_1125_5_1_4_3) OR FIREABLE(T_1125_2_5_5_5) OR FIREABLE(T_1125_1_3_1_1) OR FIREABLE(T_1125_1_2_4_3) OR FIREABLE(T_1125_5_4_4_1) OR FIREABLE(T_1125_2_1_3_2) OR FIREABLE(T_1125_4_1_4_6) OR FIREABLE(T_1125_5_3_2_5) OR FIREABLE(T_1125_6_6_1_5) OR FIREABLE(T_1125_5_4_4_3) OR FIREABLE(T_1125_4_6_4_3) OR FIREABLE(T_1125_1_3_3_2) OR FIREABLE(T_1125_1_6_3_2) OR FIREABLE(T_1125_3_5_1_6) OR FIREABLE(T_1125_5_3_6_5) OR FIREABLE(T_1125_6_2_5_1) OR FIREABLE(T_1125_3_3_2_2) OR FIREABLE(T_1125_1_1_3_5) OR FIREABLE(T_1125_5_4_4_2) OR FIREABLE(T_1125_3_6_6_2) OR FIREABLE(T_1125_3_5_1_2) OR FIREABLE(T_1125_6_1_1_2) OR FIREABLE(T_1125_4_3_3_3) OR FIREABLE(T_1125_4_2_6_3) OR FIREABLE(T_1125_2_1_6_4) OR FIREABLE(T_1125_2_3_2_5) OR FIREABLE(T_1125_4_4_4_6) OR FIREABLE(T_1125_2_2_3_4) OR FIREABLE(T_1125_3_6_2_5) OR FIREABLE(T_1125_3_3_4_4) OR FIREABLE(T_1125_5_3_1_2) OR FIREABLE(T_1125_6_5_2_6) OR FIREABLE(T_1125_4_4_5_6) OR FIREABLE(T_1125_1_6_5_5) OR FIREABLE(T_1125_3_3_3_6) OR FIREABLE(T_1125_1_5_1_4) OR FIREABLE(T_1125_5_1_2_3) OR FIREABLE(T_1125_5_5_2_2) OR FIREABLE(T_1125_2_3_6_6) OR FIREABLE(T_1125_6_4_4_1) OR FIREABLE(T_1125_6_5_1_5) OR FIREABLE(T_1125_5_2_5_4) OR FIREABLE(T_1125_4_4_1_5) OR FIREABLE(T_1125_4_5_4_5) OR FIREABLE(T_1125_5_6_5_6) OR FIREABLE(T_1125_2_6_1_4) OR FIREABLE(T_1125_5_1_1_1) OR FIREABLE(T_1125_3_2_3_2) OR FIREABLE(T_1125_4_5_3_5) OR FIREABLE(T_1125_1_5_5_2) OR FIREABLE(T_1125_1_6_3_3) OR FIREABLE(T_1125_3_6_6_4) OR FIREABLE(T_1125_4_3_5_4) OR FIREABLE(T_1125_6_1_6_2) OR FIREABLE(T_1125_2_2_3_3) OR FIREABLE(T_1125_2_6_5_3) OR FIREABLE(T_1125_2_4_2_2) OR FIREABLE(T_1125_1_5_2_3) OR FIREABLE(T_1125_2_1_1_4) OR FIREABLE(T_1125_3_5_6_6) OR FIREABLE(T_1125_6_3_3_1) OR FIREABLE(T_1125_1_2_5_2) OR FIREABLE(T_1125_4_4_3_6) OR FIREABLE(T_1125_2_6_5_6) OR FIREABLE(T_1125_4_4_4_4) OR FIREABLE(T_1125_2_3_3_2) OR FIREABLE(T_1125_5_4_2_6) OR FIREABLE(T_1125_5_5_1_6) OR FIREABLE(T_1125_1_3_5_5) OR FIREABLE(T_1125_2_6_6_1) OR FIREABLE(T_1125_5_4_3_4) OR FIREABLE(T_1125_3_5_1_1) OR FIREABLE(T_1125_2_6_1_3) OR FIREABLE(T_1125_5_6_6_5) OR FIREABLE(T_1125_5_3_2_4) OR FIREABLE(T_1125_3_3_4_2) OR FIREABLE(T_1125_1_2_5_3) OR FIREABLE(T_1125_1_6_4_6) OR FIREABLE(T_1125_4_1_6_1) OR FIREABLE(T_1125_2_3_5_2) OR FIREABLE(T_1125_5_4_5_1) OR FIREABLE(T_1125_1_3_1_3) OR FIREABLE(T_1125_6_5_3_4) OR FIREABLE(T_1125_5_2_1_4) OR FIREABLE(T_1125_6_4_2_4) OR FIREABLE(T_1125_3_6_2_4) OR FIREABLE(T_1125_1_4_4_1) OR FIREABLE(T_1125_1_5_1_5) OR FIREABLE(T_1125_3_6_4_1) OR FIREABLE(T_1125_3_1_4_5) OR FIREABLE(T_1125_2_2_4_4) OR FIREABLE(T_1125_3_4_5_4) OR FIREABLE(T_1125_1_2_2_2) OR FIREABLE(T_1125_5_1_5_6) OR FIREABLE(T_1125_3_6_5_3) OR FIREABLE(T_1125_4_6_5_4) OR FIREABLE(T_1125_4_2_2_6) OR FIREABLE(T_1125_6_6_4_4) OR FIREABLE(T_1125_3_4_4_5) OR FIREABLE(T_1125_4_4_6_1) OR FIREABLE(T_1125_1_4_6_4) OR FIREABLE(T_1125_3_3_4_3) OR FIREABLE(T_1125_1_1_3_6) OR FIREABLE(T_1125_5_3_3_4) OR FIREABLE(T_1125_5_3_3_3) OR FIREABLE(T_1125_5_3_5_1) OR FIREABLE(T_1125_5_5_5_3) OR FIREABLE(T_1125_6_4_1_6) OR FIREABLE(T_1125_2_5_6_2) OR FIREABLE(T_1125_6_2_1_1) OR FIREABLE(T_1125_4_5_3_2) OR FIREABLE(T_1125_5_2_1_5) OR FIREABLE(T_1125_4_6_5_5) OR FIREABLE(T_1125_2_2_3_6) OR FIREABLE(T_1125_6_6_6_5) OR FIREABLE(T_1125_4_5_6_1) OR FIREABLE(T_1125_5_4_3_2) OR FIREABLE(T_1125_5_1_1_3) OR FIREABLE(T_1125_4_4_5_1) OR FIREABLE(T_1125_6_5_3_3) OR FIREABLE(T_1125_6_3_1_6) OR FIREABLE(T_1125_2_4_4_3) OR FIREABLE(T_1125_4_5_4_6) OR FIREABLE(T_1125_4_4_2_5) OR FIREABLE(T_1125_3_1_3_3) OR FIREABLE(T_1125_2_5_6_5) OR FIREABLE(T_1125_1_3_5_6) OR FIREABLE(T_1125_2_5_5_2) OR FIREABLE(T_1125_4_4_4_5) OR FIREABLE(T_1125_2_3_4_5) OR FIREABLE(T_1125_6_5_2_4) OR FIREABLE(T_1125_6_1_5_2) OR FIREABLE(T_1125_3_3_5_2) OR FIREABLE(T_1125_2_5_2_1) OR FIREABLE(T_1125_2_1_1_5) OR FIREABLE(T_1125_3_4_2_2) OR FIREABLE(T_1125_3_4_6_3) OR FIREABLE(T_1125_1_4_1_1) OR FIREABLE(T_1125_2_1_2_4) OR FIREABLE(T_1125_6_6_2_2) OR FIREABLE(T_1125_6_3_1_3) OR FIREABLE(T_1125_3_1_5_1) OR FIREABLE(T_1125_4_2_5_1) OR FIREABLE(T_1125_4_6_1_1) OR FIREABLE(T_1125_1_4_6_3) OR FIREABLE(T_1125_1_4_2_6) OR FIREABLE(T_1125_2_6_6_2) OR FIREABLE(T_1125_2_5_1_1) OR FIREABLE(T_1125_1_1_1_2) OR FIREABLE(T_1125_1_3_4_3) OR FIREABLE(T_1125_3_5_1_3) OR FIREABLE(T_1125_1_3_5_3) OR FIREABLE(T_1125_5_2_2_3) OR FIREABLE(T_1125_1_3_4_1) OR FIREABLE(T_1125_3_4_5_2) OR FIREABLE(T_1125_6_6_5_1) OR FIREABLE(T_1125_4_3_1_4) OR FIREABLE(T_1125_4_5_2_2) OR FIREABLE(T_1125_6_3_6_3) OR FIREABLE(T_1125_5_5_4_4) OR FIREABLE(T_1125_5_2_3_5) OR FIREABLE(T_1125_3_4_4_6) OR FIREABLE(T_1125_4_1_3_1) OR FIREABLE(T_1125_3_2_1_6) OR FIREABLE(T_1125_1_2_5_5) OR FIREABLE(T_1125_2_6_6_5) OR FIREABLE(T_1125_3_2_2_5) OR FIREABLE(T_1125_1_1_2_6) OR FIREABLE(T_1125_6_2_2_1) OR FIREABLE(T_1125_3_6_3_1) OR FIREABLE(T_1125_2_2_6_5) OR FIREABLE(T_1125_3_2_5_5) OR FIREABLE(T_1125_6_4_6_3) OR FIREABLE(T_1125_5_2_6_3) OR FIREABLE(T_1125_2_5_6_4) OR FIREABLE(T_1125_1_6_5_1) OR FIREABLE(T_1125_2_1_3_3) OR FIREABLE(T_1125_1_5_3_5) OR FIREABLE(T_1125_5_6_5_2) OR FIREABLE(T_1125_3_2_4_4) OR FIREABLE(T_1125_6_6_2_5) OR FIREABLE(T_1125_5_5_6_6) OR FIREABLE(T_1125_1_5_6_5) OR FIREABLE(T_1125_6_1_1_3) OR FIREABLE(T_1125_4_3_2_3) OR FIREABLE(T_1125_2_4_4_2) OR FIREABLE(T_1125_4_5_6_3) OR FIREABLE(T_1125_1_1_6_6) OR FIREABLE(T_1125_1_1_5_4) OR FIREABLE(T_1125_4_2_1_4) OR FIREABLE(T_1125_4_6_5_6) OR FIREABLE(T_1125_1_6_2_6) OR FIREABLE(T_1125_2_2_3_5) OR FIREABLE(T_1125_4_5_4_2) OR FIREABLE(T_1125_5_4_1_2) OR FIREABLE(T_1125_5_4_5_6) OR FIREABLE(T_1125_1_4_3_1) OR FIREABLE(T_1125_2_3_6_1) OR FIREABLE(T_1125_6_2_6_2) OR FIREABLE(T_1125_6_1_4_2) OR FIREABLE(T_1125_6_6_3_5) OR FIREABLE(T_1125_2_3_2_2) OR FIREABLE(T_1125_4_4_3_4) OR FIREABLE(T_1125_4_5_1_6) OR FIREABLE(T_1125_5_5_4_5) OR FIREABLE(T_1125_3_4_5_3) OR FIREABLE(T_1125_5_3_1_6) OR FIREABLE(T_1125_4_5_3_6) OR FIREABLE(T_1125_1_1_2_2) OR FIREABLE(T_1125_5_2_5_3) OR FIREABLE(T_1125_5_2_2_4) OR FIREABLE(T_1125_5_3_3_5) OR FIREABLE(T_1125_5_4_5_5) OR FIREABLE(T_1125_1_5_4_1) OR FIREABLE(T_1125_1_1_5_2) OR FIREABLE(T_1125_4_4_3_2) OR FIREABLE(T_1125_2_1_3_4) OR FIREABLE(T_1125_1_2_5_6) OR FIREABLE(T_1125_6_1_6_5) OR FIREABLE(T_1125_1_1_3_2) OR FIREABLE(T_1125_5_2_1_1) OR FIREABLE(T_1125_3_2_4_5) OR FIREABLE(T_1125_3_4_3_3) OR FIREABLE(T_1125_3_4_4_3) OR FIREABLE(T_1125_6_3_6_4) OR FIREABLE(T_1125_4_5_1_2) OR FIREABLE(T_1125_1_3_2_1) OR FIREABLE(T_1125_3_3_6_6) OR FIREABLE(T_1125_6_4_1_4) OR FIREABLE(T_1125_5_6_6_2) OR FIREABLE(T_1125_4_2_5_4) OR FIREABLE(T_1125_1_6_3_4) OR FIREABLE(T_1125_1_1_6_5) OR FIREABLE(T_1125_2_5_6_6) OR FIREABLE(T_1125_5_2_3_4) OR FIREABLE(T_1125_2_3_4_2) OR FIREABLE(T_1125_2_1_2_6) OR FIREABLE(T_1125_3_2_1_3) OR FIREABLE(T_1125_6_4_6_4) OR FIREABLE(T_1125_5_3_1_5) OR FIREABLE(T_1125_6_3_3_3) OR FIREABLE(T_1125_4_3_2_4) OR FIREABLE(T_1125_6_6_2_6) OR FIREABLE(T_1125_1_3_5_4) OR FIREABLE(T_1125_6_1_4_3) OR FIREABLE(T_1125_1_3_1_4) OR FIREABLE(T_1125_3_1_1_4) OR FIREABLE(T_1125_2_1_3_5) OR FIREABLE(T_1125_6_6_3_6) OR FIREABLE(T_1125_3_2_1_2) OR FIREABLE(T_1125_5_6_1_1) OR FIREABLE(T_1125_2_3_5_6) OR FIREABLE(T_1125_3_1_2_5) OR FIREABLE(T_1125_1_1_4_2) OR FIREABLE(T_1125_2_3_4_4) OR FIREABLE(T_1125_1_5_2_5) OR FIREABLE(T_1125_5_5_4_3) OR FIREABLE(T_1125_4_1_2_2) OR FIREABLE(T_1125_1_2_6_2) OR FIREABLE(T_1125_4_1_6_6) OR FIREABLE(T_1125_6_6_3_4) OR FIREABLE(T_1125_5_1_3_1) OR FIREABLE(T_1125_4_4_3_5) OR FIREABLE(T_1125_5_4_3_6) OR FIREABLE(T_1125_3_2_6_1) OR FIREABLE(T_1125_2_3_1_2) OR FIREABLE(T_1125_5_4_4_4) OR FIREABLE(T_1125_5_5_3_2) OR FIREABLE(T_1125_6_1_5_5) OR FIREABLE(T_1125_6_4_6_5) OR FIREABLE(T_1125_5_1_6_4) OR FIREABLE(T_1125_3_6_6_5) OR FIREABLE(T_1125_3_5_5_2) OR FIREABLE(T_1125_6_1_1_5) OR FIREABLE(T_1125_4_5_5_1) OR FIREABLE(T_1125_5_1_5_4) OR FIREABLE(T_1125_6_6_3_2) OR FIREABLE(T_1125_1_5_1_6) OR FIREABLE(T_1125_3_6_1_4) OR FIREABLE(T_1125_1_4_2_5) OR FIREABLE(T_1125_5_4_6_1) OR FIREABLE(T_1125_6_3_5_3) OR FIREABLE(T_1125_3_3_3_2) OR FIREABLE(T_1125_5_3_4_1) OR FIREABLE(T_1125_4_5_4_4) OR FIREABLE(T_1125_3_1_1_6) OR FIREABLE(T_1125_1_2_3_4) OR FIREABLE(T_1125_4_3_1_5) OR FIREABLE(T_1125_4_6_2_1) OR FIREABLE(T_1125_1_5_2_4) OR FIREABLE(T_1125_2_6_6_6) OR FIREABLE(T_1125_3_5_1_5) OR FIREABLE(T_1125_4_4_1_6) OR FIREABLE(T_1125_4_1_2_4) OR FIREABLE(T_1125_3_1_6_1) OR FIREABLE(T_1125_1_6_6_1) OR FIREABLE(T_1125_2_5_1_3) OR FIREABLE(T_1125_6_6_5_3) OR FIREABLE(T_1125_5_5_5_6) OR FIREABLE(T_1125_6_1_6_1) OR FIREABLE(T_1125_6_2_5_6) OR FIREABLE(T_1125_2_2_2_5) OR FIREABLE(T_1125_3_5_2_1) OR FIREABLE(T_1125_6_6_4_3) OR FIREABLE(T_1125_4_4_2_4) OR FIREABLE(T_1125_1_4_5_3) OR FIREABLE(T_1125_2_4_5_2) OR FIREABLE(T_1125_1_2_4_2) OR FIREABLE(T_1125_1_3_2_2) OR FIREABLE(T_1125_3_3_2_1) OR FIREABLE(T_1125_6_3_5_4) OR FIREABLE(T_1125_3_5_6_2) OR FIREABLE(T_1125_6_4_5_4) OR FIREABLE(T_1125_1_4_2_3) OR FIREABLE(T_1125_2_4_4_6) OR FIREABLE(T_1125_2_2_3_2) OR FIREABLE(T_1125_2_2_2_3) OR FIREABLE(T_1125_4_6_5_3) OR FIREABLE(T_1125_3_2_3_6) OR FIREABLE(T_1125_3_3_1_2) OR FIREABLE(T_1125_5_2_6_5) OR FIREABLE(T_1125_1_2_3_1) OR FIREABLE(T_1125_4_5_3_3) OR FIREABLE(T_1125_4_6_5_2) OR FIREABLE(T_1125_4_2_4_1) OR FIREABLE(T_1125_6_1_2_1) OR FIREABLE(T_1125_1_1_2_5) OR FIREABLE(T_1125_2_1_1_1) OR FIREABLE(T_1125_6_6_1_3) OR FIREABLE(T_1125_2_4_1_1) OR FIREABLE(T_1125_3_3_2_4) OR FIREABLE(T_1125_2_4_5_6) OR FIREABLE(T_1125_3_3_4_6) OR FIREABLE(T_1125_5_2_3_3) OR FIREABLE(T_1125_1_1_5_3) OR FIREABLE(T_1125_3_2_2_6) OR FIREABLE(T_1125_6_5_1_4) OR FIREABLE(T_1125_1_5_5_1) OR FIREABLE(T_1125_2_4_6_1) OR FIREABLE(T_1125_5_1_1_4) OR FIREABLE(T_1125_2_3_5_1) OR FIREABLE(T_1125_2_3_5_5) OR FIREABLE(T_1125_4_2_1_6) OR FIREABLE(T_1125_4_3_2_6) OR FIREABLE(T_1125_3_6_5_4) OR FIREABLE(T_1125_4_6_6_6) OR FIREABLE(T_1125_5_5_5_5) OR FIREABLE(T_1125_6_3_6_5) OR FIREABLE(T_1125_5_5_1_3) OR FIREABLE(T_1125_5_5_1_2) OR FIREABLE(T_1125_4_6_1_5) OR FIREABLE(T_1125_3_1_3_5) OR FIREABLE(T_1125_5_1_2_4) OR FIREABLE(T_1125_3_5_4_1) OR FIREABLE(T_1125_1_4_4_3) OR FIREABLE(T_1125_6_3_5_2) OR FIREABLE(T_1125_6_6_4_1) OR FIREABLE(T_1125_3_4_4_2) OR FIREABLE(T_1125_1_6_1_6) OR FIREABLE(T_1125_3_6_2_1) OR FIREABLE(T_1125_5_3_6_1) OR FIREABLE(T_1125_4_5_2_5) OR FIREABLE(T_1125_4_6_2_2) OR FIREABLE(T_1125_1_2_6_5) OR FIREABLE(T_1125_1_2_6_6) OR FIREABLE(T_1125_3_2_5_2) OR FIREABLE(T_1125_4_1_6_2) OR FIREABLE(T_1125_4_3_1_6) OR FIREABLE(T_1125_1_3_5_2) OR FIREABLE(T_1125_5_4_4_5) OR FIREABLE(T_1125_2_5_2_3) OR FIREABLE(T_1125_4_4_2_2) OR FIREABLE(T_1125_3_1_2_6) OR FIREABLE(T_1125_2_4_5_3) OR FIREABLE(T_1125_6_4_3_6) OR FIREABLE(T_1125_4_6_6_2) OR FIREABLE(T_1125_5_1_2_1) OR FIREABLE(T_1125_4_5_5_2) OR FIREABLE(T_1125_5_5_2_3) OR FIREABLE(T_1125_1_5_3_1) OR FIREABLE(T_1125_4_2_3_3) OR FIREABLE(T_1125_6_4_2_1) OR FIREABLE(T_1125_5_6_3_2) OR FIREABLE(T_1125_4_2_5_3) OR FIREABLE(T_1125_1_6_4_2) OR FIREABLE(T_1125_4_6_4_2) OR FIREABLE(T_1125_6_2_5_2) OR FIREABLE(T_1125_1_6_6_3) OR FIREABLE(T_1125_6_3_4_1) OR FIREABLE(T_1125_3_4_6_6) OR FIREABLE(T_1125_2_6_1_1) OR FIREABLE(T_1125_3_5_6_4) OR FIREABLE(T_1125_6_4_6_2) OR FIREABLE(T_1125_6_5_3_5) OR FIREABLE(T_1125_6_1_6_6) OR FIREABLE(T_1125_2_2_6_3) OR FIREABLE(T_1125_5_5_4_6) OR FIREABLE(T_1125_2_4_5_5) OR FIREABLE(T_1125_4_6_6_1) OR FIREABLE(T_1125_5_5_3_3) OR FIREABLE(T_1125_3_2_1_5) OR FIREABLE(T_1125_6_3_4_2) OR FIREABLE(T_1125_6_6_2_3) OR FIREABLE(T_1125_4_5_4_3) OR FIREABLE(T_1125_4_6_1_3) OR FIREABLE(T_1125_1_1_6_2) OR FIREABLE(T_1125_5_1_2_2) OR FIREABLE(T_1125_1_3_6_3) OR FIREABLE(T_1125_5_4_1_4) OR FIREABLE(T_1125_1_1_4_6) OR FIREABLE(T_1125_1_1_4_3) OR FIREABLE(T_1125_2_2_4_3) OR FIREABLE(T_1125_1_6_2_2) OR FIREABLE(T_1125_5_6_6_4) OR FIREABLE(T_1125_3_2_4_3) OR FIREABLE(T_1125_3_1_6_3) OR FIREABLE(T_1125_1_4_1_3) OR FIREABLE(T_1125_3_3_5_5) OR FIREABLE(T_1125_3_1_1_1) OR FIREABLE(T_1125_4_4_1_2) OR FIREABLE(T_1125_2_5_4_3) OR FIREABLE(T_1125_4_3_6_2) OR FIREABLE(T_1125_2_2_1_3) OR FIREABLE(T_1125_3_5_5_4) OR FIREABLE(T_1125_1_2_3_2) OR FIREABLE(T_1125_6_3_1_4) OR FIREABLE(T_1125_3_2_5_1) OR FIREABLE(T_1125_6_4_3_4) OR FIREABLE(T_1125_1_2_3_6) OR FIREABLE(T_1125_1_4_6_5) OR FIREABLE(T_1125_6_4_1_5) OR FIREABLE(T_1125_5_6_2_4) OR FIREABLE(T_1125_2_4_3_5) OR FIREABLE(T_1125_6_1_4_4) OR FIREABLE(T_1125_6_2_6_6) OR FIREABLE(T_1125_1_1_4_1) OR FIREABLE(T_1125_2_6_6_4) OR FIREABLE(T_1125_3_2_5_3) OR FIREABLE(T_1125_6_3_2_3) OR FIREABLE(T_1125_5_3_2_6) OR FIREABLE(T_1125_4_3_3_1) OR FIREABLE(T_1125_3_2_3_4) OR FIREABLE(T_1125_6_1_3_1) OR FIREABLE(T_1125_2_3_2_1) OR FIREABLE(T_1125_4_6_3_6) OR FIREABLE(T_1125_3_1_1_2) OR FIREABLE(T_1125_6_4_3_1) OR FIREABLE(T_1125_1_6_5_3) OR FIREABLE(T_1125_6_2_2_2) OR FIREABLE(T_1125_6_6_6_3) OR FIREABLE(T_1125_2_5_3_1) OR FIREABLE(T_1125_6_1_2_5) OR FIREABLE(T_1125_1_5_2_6) OR FIREABLE(T_1125_2_5_3_2) OR FIREABLE(T_1125_5_4_2_4) OR FIREABLE(T_1125_5_2_4_1) OR FIREABLE(T_1125_2_1_4_5) OR FIREABLE(T_1125_2_5_4_2) OR FIREABLE(T_1125_5_6_2_1) OR FIREABLE(T_1125_3_3_5_4) OR FIREABLE(T_1125_3_4_1_3) OR FIREABLE(T_1125_1_2_6_4) OR FIREABLE(T_1125_1_2_1_3) OR FIREABLE(T_1125_2_2_2_6) OR FIREABLE(T_1125_1_6_3_5) OR FIREABLE(T_1125_6_1_5_6) OR FIREABLE(T_1125_1_2_2_1) OR FIREABLE(T_1125_4_5_2_3) OR FIREABLE(T_1125_5_2_1_6) OR FIREABLE(T_1125_4_4_5_5) OR FIREABLE(T_1125_4_4_5_4) OR FIREABLE(T_1125_3_4_1_2) OR FIREABLE(T_1125_4_6_5_1) OR FIREABLE(T_1125_4_3_1_3) OR FIREABLE(T_1125_5_1_6_2) OR FIREABLE(T_1125_2_6_5_5) OR FIREABLE(T_1125_1_4_3_3) OR FIREABLE(T_1125_3_4_1_1) OR FIREABLE(T_1125_5_3_3_6) OR FIREABLE(T_1125_5_5_6_2) OR FIREABLE(T_1125_6_2_1_2) OR FIREABLE(T_1125_4_1_1_4) OR FIREABLE(T_1125_6_6_1_2) OR FIREABLE(T_1125_4_2_3_5) OR FIREABLE(T_1125_4_4_1_4) OR FIREABLE(T_1125_2_2_4_2) OR FIREABLE(T_1125_4_2_6_5) OR FIREABLE(T_1125_2_6_5_4) OR FIREABLE(T_1125_1_6_1_4) OR FIREABLE(T_1125_2_3_3_4) OR FIREABLE(T_1125_5_3_4_2) OR FIREABLE(T_1125_2_2_1_2) OR FIREABLE(T_1125_5_5_5_1) OR FIREABLE(T_1125_2_4_4_5) OR FIREABLE(T_1125_2_6_2_6) OR FIREABLE(T_1125_3_4_6_1) OR FIREABLE(T_1125_1_5_5_5) OR FIREABLE(T_1125_2_4_3_3) OR FIREABLE(T_1125_3_1_2_3) OR FIREABLE(T_1125_1_3_3_5) OR FIREABLE(T_1125_4_3_2_5) OR FIREABLE(T_1125_4_3_5_3) OR FIREABLE(T_1125_1_5_5_4) OR FIREABLE(T_1125_2_5_6_3) OR FIREABLE(T_1125_6_4_5_1) OR FIREABLE(T_1125_4_2_1_1) OR FIREABLE(T_1125_2_3_3_6) OR FIREABLE(T_1125_4_1_5_4) OR FIREABLE(T_1125_1_4_5_1) OR FIREABLE(T_1125_6_5_1_6) OR FIREABLE(T_1125_6_1_6_3) OR FIREABLE(T_1125_5_1_4_5) OR FIREABLE(T_1125_2_1_1_6) OR FIREABLE(T_1125_5_6_3_1) OR FIREABLE(T_1125_3_2_2_3) OR FIREABLE(T_1125_2_3_4_6) OR FIREABLE(T_1125_4_3_6_4) OR FIREABLE(T_1125_2_3_1_5) OR FIREABLE(T_1125_4_2_5_2) OR FIREABLE(T_1125_3_6_1_1) OR FIREABLE(T_1125_3_5_3_3) OR FIREABLE(T_1125_1_5_2_1) OR FIREABLE(T_1125_4_1_2_1) OR FIREABLE(T_1125_2_2_4_1) OR FIREABLE(T_1125_2_1_2_2) OR FIREABLE(T_1125_2_1_5_3) OR FIREABLE(T_1125_3_1_5_2) OR FIREABLE(T_1125_1_6_2_5) OR FIREABLE(T_1125_5_2_1_2) OR FIREABLE(T_1125_6_2_5_5) OR FIREABLE(T_1125_2_2_5_1) OR FIREABLE(T_1125_1_5_6_2) OR FIREABLE(T_1125_6_2_6_3) OR FIREABLE(T_1125_5_3_2_1) OR FIREABLE(T_1125_6_6_5_2) OR FIREABLE(T_1125_5_4_1_6) OR FIREABLE(T_1125_6_6_6_2) OR FIREABLE(T_1125_6_6_3_3) OR FIREABLE(T_1125_3_5_2_3) OR FIREABLE(T_1125_5_6_2_3) OR FIREABLE(T_1125_6_5_2_2) OR FIREABLE(T_1125_1_1_1_5) OR FIREABLE(T_1125_6_2_4_5) OR FIREABLE(T_1125_6_1_3_2) OR FIREABLE(T_1125_4_2_6_6) OR FIREABLE(T_1125_5_4_2_2) OR FIREABLE(T_1125_4_6_4_4) OR FIREABLE(T_1125_2_3_4_3) OR FIREABLE(T_1125_3_2_4_6) OR FIREABLE(T_1125_5_3_1_3) OR FIREABLE(T_1125_3_2_1_1) OR FIREABLE(T_1125_1_2_2_5) OR FIREABLE(T_1125_2_1_5_5) OR FIREABLE(T_1125_3_5_4_6) OR FIREABLE(T_1125_1_6_4_5) OR FIREABLE(T_1125_6_5_1_2) OR FIREABLE(T_1125_5_6_4_4) OR FIREABLE(T_1125_4_3_6_1) OR FIREABLE(T_1125_4_6_3_3) OR FIREABLE(T_1125_4_6_3_1) OR FIREABLE(T_1125_2_5_4_1) OR FIREABLE(T_1125_5_1_5_5) OR FIREABLE(T_1125_5_4_6_3) OR FIREABLE(T_1125_6_5_5_5) OR FIREABLE(T_1125_6_3_4_3) OR FIREABLE(T_1125_2_3_2_3) OR FIREABLE(T_1125_4_6_4_6) OR FIREABLE(T_1125_5_4_5_3) OR FIREABLE(T_1125_5_1_3_5) OR FIREABLE(T_1125_5_6_5_4) OR FIREABLE(T_1125_4_3_4_6) OR FIREABLE(T_1125_3_2_6_4) OR FIREABLE(T_1125_1_4_4_2) OR FIREABLE(T_1125_5_2_6_1) OR FIREABLE(T_1125_3_3_3_4) OR FIREABLE(T_1125_5_2_6_2) OR FIREABLE(T_1125_2_3_1_3) OR FIREABLE(T_1125_6_1_4_6) OR FIREABLE(T_1125_4_3_4_4) OR FIREABLE(T_1125_1_5_3_4) OR FIREABLE(T_1125_5_4_1_1) OR FIREABLE(T_1125_4_3_4_1) OR FIREABLE(T_1125_4_4_6_2) OR FIREABLE(T_1125_5_3_3_2) OR FIREABLE(T_1125_5_3_3_1) OR FIREABLE(T_1125_1_5_3_6) OR FIREABLE(T_1125_2_5_6_1) OR FIREABLE(T_1125_3_5_4_3) OR FIREABLE(T_1125_1_1_3_3) OR FIREABLE(T_1125_3_3_1_4) OR FIREABLE(T_1125_1_2_4_4) OR FIREABLE(T_1125_2_3_1_1) OR FIREABLE(T_1125_4_5_5_6) OR FIREABLE(T_1125_6_1_2_3) OR FIREABLE(T_1125_6_2_1_4) OR FIREABLE(T_1125_4_2_4_5) OR FIREABLE(T_1125_2_6_2_1) OR FIREABLE(T_1125_5_5_1_5) OR FIREABLE(T_1125_5_3_4_4) OR FIREABLE(T_1125_4_3_3_2) OR FIREABLE(T_1125_3_4_1_4) OR FIREABLE(T_1125_4_3_3_6) OR FIREABLE(T_1125_1_4_5_6) OR FIREABLE(T_1125_5_5_5_2) OR FIREABLE(T_1125_1_1_5_6) OR FIREABLE(T_1125_6_6_2_1) OR FIREABLE(T_1125_4_6_2_4) OR FIREABLE(T_1125_6_6_5_6) OR FIREABLE(T_1125_4_1_6_4) OR FIREABLE(T_1125_4_6_3_2) OR FIREABLE(T_1125_5_5_4_2) OR FIREABLE(T_1125_2_4_1_2) OR FIREABLE(T_1125_5_3_5_5) OR FIREABLE(T_1125_3_3_2_6) OR FIREABLE(T_1125_5_4_3_5) OR FIREABLE(T_1125_1_6_4_3) OR FIREABLE(T_1125_1_3_2_4) OR FIREABLE(T_1125_1_1_3_4) OR FIREABLE(T_1125_6_4_2_6) OR FIREABLE(T_1125_3_2_3_1) OR FIREABLE(T_1125_3_2_6_3) OR FIREABLE(T_1125_1_3_6_6) OR FIREABLE(T_1125_3_5_3_4) OR FIREABLE(T_1125_4_5_1_4) OR FIREABLE(T_1125_1_3_2_3) OR FIREABLE(T_1125_4_1_6_5) OR FIREABLE(T_1125_5_5_6_4) OR FIREABLE(T_1125_6_5_5_4) OR FIREABLE(T_1125_3_4_5_6) OR FIREABLE(T_1125_6_2_5_4) OR FIREABLE(T_1125_2_5_3_6) OR FIREABLE(T_1125_1_1_1_1) OR FIREABLE(T_1125_1_1_6_1) OR FIREABLE(T_1125_3_5_3_2) OR FIREABLE(T_1125_2_4_6_6) OR FIREABLE(T_1125_2_5_5_1) OR FIREABLE(T_1125_1_3_6_2) OR FIREABLE(T_1125_6_1_3_6) OR FIREABLE(T_1125_1_2_5_4) OR FIREABLE(T_1125_2_4_2_3) OR FIREABLE(T_1125_2_6_2_4) OR FIREABLE(T_1125_2_1_6_2) OR FIREABLE(T_1125_4_5_5_3) OR FIREABLE(T_1125_4_6_3_4) OR FIREABLE(T_1125_1_1_1_4) OR FIREABLE(T_1125_4_4_2_6) OR FIREABLE(T_1125_2_5_1_5) OR FIREABLE(T_1125_5_4_6_2) OR FIREABLE(T_1125_3_1_6_6) OR FIREABLE(T_1125_4_6_6_3) OR FIREABLE(T_1125_1_6_6_6) OR FIREABLE(T_1125_1_6_5_6) OR FIREABLE(T_1125_6_6_6_1) OR FIREABLE(T_1125_2_4_2_4) OR FIREABLE(T_1125_5_3_5_4) OR FIREABLE(T_1125_2_2_5_6) OR FIREABLE(T_1125_5_6_5_5) OR FIREABLE(T_1125_4_3_5_1) OR FIREABLE(T_1125_1_1_6_3) OR FIREABLE(T_1125_1_4_6_1) OR FIREABLE(T_1125_5_6_2_2) OR FIREABLE(T_1125_1_3_1_2) OR FIREABLE(T_1125_3_1_2_2) OR FIREABLE(T_1125_3_2_4_2) OR FIREABLE(T_1125_3_3_4_5) OR FIREABLE(T_1125_4_5_6_2) OR FIREABLE(T_1125_6_3_6_6) OR FIREABLE(T_1125_1_1_5_1) OR FIREABLE(T_1125_4_4_1_3) OR FIREABLE(T_1125_5_3_4_3) OR FIREABLE(T_1125_6_6_4_2) OR FIREABLE(T_1125_2_2_6_1) OR FIREABLE(T_1125_1_1_6_4) OR FIREABLE(T_1125_6_1_3_3) OR FIREABLE(T_1125_2_6_1_5) OR FIREABLE(T_1125_6_2_6_5) OR FIREABLE(T_1125_6_5_4_5) OR FIREABLE(T_1125_3_3_2_3) OR FIREABLE(T_1125_3_1_5_5) OR FIREABLE(T_1125_6_5_6_2) OR FIREABLE(T_1125_3_1_2_1) OR FIREABLE(T_1125_4_1_2_6) OR FIREABLE(T_1125_6_4_4_3) OR FIREABLE(T_1125_2_1_4_2) OR FIREABLE(T_1125_3_3_1_5) OR FIREABLE(T_1125_5_5_3_6) OR FIREABLE(T_1125_1_3_3_3) OR FIREABLE(T_1125_2_2_5_3) OR FIREABLE(T_1125_2_2_2_1) OR FIREABLE(T_1125_6_3_6_1) OR FIREABLE(T_1125_4_2_6_2) OR FIREABLE(T_1125_4_5_6_6) OR FIREABLE(T_1125_5_5_6_1) OR FIREABLE(T_1125_6_2_2_4) OR FIREABLE(T_1125_2_1_5_2) OR FIREABLE(T_1125_6_3_4_5) OR FIREABLE(T_1125_1_4_4_4) OR FIREABLE(T_1125_2_5_4_6) OR FIREABLE(T_1125_2_3_4_1) OR FIREABLE(T_1125_4_1_1_6) OR FIREABLE(T_1125_6_5_1_1) OR FIREABLE(T_1125_2_2_1_1) OR FIREABLE(T_1125_3_6_3_5) OR FIREABLE(T_1125_2_3_3_1) OR FIREABLE(T_1125_3_2_5_6) OR FIREABLE(T_1125_1_2_2_4) OR FIREABLE(T_1125_1_6_1_3) OR FIREABLE(T_1125_1_6_2_1) OR FIREABLE(T_1125_1_5_4_4) OR FIREABLE(T_1125_2_2_6_4) OR FIREABLE(T_1125_3_6_3_2) OR FIREABLE(T_1125_6_2_3_4) OR FIREABLE(T_1125_5_2_4_3) OR FIREABLE(T_1125_1_1_1_3) OR FIREABLE(T_1125_5_6_4_6) OR FIREABLE(T_1125_4_5_3_1) OR FIREABLE(T_1125_2_2_4_6) OR FIREABLE(T_1125_4_1_1_5) OR FIREABLE(T_1125_3_1_6_2) OR FIREABLE(T_1125_6_4_4_2) OR FIREABLE(T_1125_6_6_3_1) OR FIREABLE(T_1125_5_4_3_1) OR FIREABLE(T_1125_1_2_5_1) OR FIREABLE(T_1125_2_5_3_3) OR FIREABLE(T_1125_3_6_4_2) OR FIREABLE(T_1125_2_3_6_3) OR FIREABLE(T_1125_4_5_6_4) OR FIREABLE(T_1125_3_2_4_1) OR FIREABLE(T_1125_3_4_2_5) OR FIREABLE(T_1125_5_2_4_2) OR FIREABLE(T_1125_3_6_2_6) OR FIREABLE(T_1125_4_1_5_5) OR FIREABLE(T_1125_6_3_2_5) OR FIREABLE(T_1125_1_6_1_2) OR FIREABLE(T_1125_3_3_6_3) OR FIREABLE(T_1125_5_3_4_6) OR FIREABLE(T_1125_2_4_6_3) OR FIREABLE(T_1125_4_1_3_5) OR FIREABLE(T_1125_2_3_2_4) OR FIREABLE(T_1125_5_3_5_3) OR FIREABLE(T_1125_5_3_6_4) OR FIREABLE(T_1125_4_1_3_6) OR FIREABLE(T_1125_3_3_1_1) OR FIREABLE(T_1125_4_4_1_1) OR FIREABLE(T_1125_5_3_6_2) OR FIREABLE(T_1125_1_3_6_5) OR FIREABLE(T_1125_6_5_6_5) OR FIREABLE(T_1125_4_2_3_2) OR FIREABLE(T_1125_1_6_6_5) OR FIREABLE(T_1125_4_1_2_3) OR FIREABLE(T_1125_6_4_3_2) OR FIREABLE(T_1125_3_5_2_6) OR FIREABLE(T_1125_3_4_2_3) OR FIREABLE(T_1125_4_1_5_3) OR FIREABLE(T_1125_3_5_5_5) OR FIREABLE(T_1125_1_5_4_5) OR FIREABLE(T_1125_5_6_1_5) OR FIREABLE(T_1125_5_1_3_2) OR FIREABLE(T_1125_6_5_5_6) OR FIREABLE(T_1125_6_4_1_2) OR FIREABLE(T_1125_4_2_1_2) OR FIREABLE(T_1125_5_1_6_5) OR FIREABLE(T_1125_4_6_4_1) OR FIREABLE(T_1125_2_2_6_6) OR FIREABLE(T_1125_1_1_3_1) OR FIREABLE(T_1125_1_5_4_3) OR FIREABLE(T_1125_5_4_6_6) OR FIREABLE(T_1125_3_1_5_3) OR FIREABLE(T_1125_6_2_1_5) OR FIREABLE(T_1125_2_3_2_6) OR FIREABLE(T_1125_2_5_3_4) OR FIREABLE(T_1125_5_5_2_5) OR FIREABLE(T_1125_4_3_2_1) OR FIREABLE(T_1125_5_2_5_2) OR FIREABLE(T_1125_4_2_2_2) OR FIREABLE(T_1125_5_1_1_6) OR FIREABLE(T_1125_5_2_4_6) OR FIREABLE(T_1125_5_6_3_4) OR FIREABLE(T_1125_6_2_3_3) OR FIREABLE(T_1125_3_6_3_4) OR FIREABLE(T_1125_3_6_1_6) OR FIREABLE(T_1125_3_3_3_5) OR FIREABLE(T_1125_3_6_1_2) OR FIREABLE(T_1125_3_4_3_5) OR FIREABLE(T_1125_5_1_1_2) OR FIREABLE(T_1125_6_3_5_6) OR FIREABLE(T_1125_1_2_4_6) OR FIREABLE(T_1125_3_1_4_3) OR FIREABLE(T_1125_2_6_4_4) OR FIREABLE(T_1125_4_1_4_4) OR FIREABLE(T_1125_4_4_2_1) OR FIREABLE(T_1125_1_2_4_5) OR FIREABLE(T_1125_4_5_1_3) OR FIREABLE(T_1125_5_5_4_1) OR FIREABLE(T_1125_3_2_5_4) OR FIREABLE(T_1125_6_3_4_4) OR FIREABLE(T_1125_2_6_2_2) OR FIREABLE(T_1125_2_4_4_1) OR FIREABLE(T_1125_2_6_3_5) OR FIREABLE(T_1125_3_4_1_5) OR FIREABLE(T_1125_4_3_5_5) OR FIREABLE(T_1125_2_4_6_2) OR FIREABLE(T_1125_4_2_5_6) OR FIREABLE(T_1125_3_6_6_6) OR FIREABLE(T_1125_6_6_4_6) OR FIREABLE(T_1125_6_3_4_6) OR FIREABLE(T_1125_6_4_2_2) OR FIREABLE(T_1125_6_3_3_5) OR FIREABLE(T_1125_6_3_3_6) OR FIREABLE(T_1125_5_6_3_3) OR FIREABLE(T_1125_1_6_6_2) OR FIREABLE(T_1125_1_4_6_6) OR FIREABLE(T_1125_1_4_3_6) OR FIREABLE(T_1125_2_6_3_6) OR FIREABLE(T_1125_6_1_5_4) OR FIREABLE(T_1125_6_1_1_4) OR FIREABLE(T_1125_2_5_2_5) OR FIREABLE(T_1125_6_5_4_3) OR FIREABLE(T_1125_2_4_1_4) OR FIREABLE(T_1125_1_1_2_3) OR FIREABLE(T_1125_3_1_5_6) OR FIREABLE(T_1125_3_4_2_4) OR FIREABLE(T_1125_6_1_3_4) OR FIREABLE(T_1125_4_3_5_2) OR FIREABLE(T_1125_2_5_5_6) OR FIREABLE(T_1125_4_3_4_2) OR FIREABLE(T_1125_3_2_2_1) OR FIREABLE(T_1125_2_5_4_4) OR FIREABLE(T_1125_5_1_6_6) OR FIREABLE(T_1125_2_1_6_5) OR FIREABLE(T_1125_4_2_6_1) OR FIREABLE(T_1125_1_6_1_1) OR FIREABLE(T_1125_1_4_1_2) OR FIREABLE(T_1125_4_1_3_4) OR FIREABLE(T_1125_5_5_6_3) OR FIREABLE(T_1125_4_6_2_6) OR FIREABLE(T_1125_4_3_1_1) OR FIREABLE(T_1125_1_2_1_1) OR FIREABLE(T_1125_6_6_6_6) OR FIREABLE(T_1125_2_4_1_5) OR FIREABLE(T_1125_1_2_3_5) OR FIREABLE(T_1125_6_1_5_1) OR FIREABLE(T_1125_1_6_5_4) OR FIREABLE(T_1125_1_4_4_5) OR FIREABLE(T_1125_6_2_1_3) OR FIREABLE(T_1125_3_3_5_3) OR FIREABLE(T_1125_4_4_6_3) OR FIREABLE(T_1125_5_5_1_4) OR FIREABLE(T_1125_2_4_5_4) OR FIREABLE(T_1125_2_3_1_6) OR FIREABLE(T_1125_1_5_4_6) OR FIREABLE(T_1125_4_5_4_1) OR FIREABLE(T_1125_5_4_2_1) OR FIREABLE(T_1125_1_3_3_4) OR FIREABLE(T_1125_1_5_5_3) OR FIREABLE(T_1125_6_1_6_4) OR FIREABLE(T_1125_5_6_4_1) OR FIREABLE(T_1125_1_3_2_5) OR FIREABLE(T_1125_5_2_2_2) OR FIREABLE(T_1125_2_6_5_1) OR FIREABLE(T_1125_1_2_1_6) OR FIREABLE(T_1125_3_4_6_5) OR FIREABLE(T_1125_1_5_2_2) OR FIREABLE(T_1125_3_5_4_4) OR FIREABLE(T_1125_6_5_4_2) OR FIREABLE(T_1125_3_1_4_2) OR FIREABLE(T_1125_4_6_2_3) OR FIREABLE(T_1125_6_1_4_1) OR FIREABLE(T_1125_5_1_2_6) OR FIREABLE(T_1125_6_1_2_4) OR FIREABLE(T_1125_4_4_3_1) OR FIREABLE(T_1125_2_6_4_5) OR FIREABLE(T_1125_3_3_6_5) OR FIREABLE(T_1125_5_1_2_5) OR FIREABLE(T_1125_3_6_1_3) OR FIREABLE(T_1125_5_1_3_6) OR FIREABLE(T_1125_6_4_4_4) OR FIREABLE(T_1125_1_3_1_5) OR FIREABLE(T_1125_4_4_6_6) OR FIREABLE(T_1125_5_1_4_4) OR FIREABLE(T_1125_6_5_2_1) OR FIREABLE(T_1125_3_6_5_5) OR FIREABLE(T_1125_3_4_4_1) OR FIREABLE(T_1125_3_2_6_2) OR FIREABLE(T_1125_2_6_3_2) OR FIREABLE(T_1125_4_3_4_3) OR FIREABLE(T_1125_1_6_1_5) OR FIREABLE(T_1125_5_1_6_1) OR FIREABLE(T_1125_3_6_5_6) OR FIREABLE(T_1125_3_1_4_1) OR FIREABLE(T_1125_3_6_4_3) OR FIREABLE(T_1125_2_1_2_1) OR FIREABLE(T_1125_2_2_3_1) OR FIREABLE(T_1125_5_3_5_6) OR FIREABLE(T_1125_3_5_3_6) OR FIREABLE(T_1125_3_5_5_6) OR FIREABLE(T_1125_4_2_4_2) OR FIREABLE(T_1125_4_6_6_4) OR FIREABLE(T_1125_2_6_3_4) OR FIREABLE(T_1125_6_5_1_3) OR FIREABLE(T_1125_3_3_3_1) OR FIREABLE(T_1125_6_2_2_6) OR FIREABLE(T_1125_4_4_6_4) OR FIREABLE(T_1125_2_6_4_6) OR FIREABLE(T_1125_1_2_1_5) OR FIREABLE(T_1125_3_5_5_1) OR FIREABLE(T_1125_6_2_2_3) OR FIREABLE(T_1125_4_4_5_3) OR FIREABLE(T_1125_1_4_3_2) OR FIREABLE(T_1125_3_5_2_2) OR FIREABLE(T_1125_1_4_5_2) OR FIREABLE(T_1125_1_3_5_1) OR FIREABLE(T_1125_3_3_6_4) OR FIREABLE(T_1125_5_5_3_1) OR FIREABLE(T_1125_4_4_6_5) OR FIREABLE(T_1125_6_3_5_1) OR FIREABLE(T_1125_4_5_6_5) OR FIREABLE(T_1125_1_2_3_3) OR FIREABLE(T_1125_4_4_5_2) OR FIREABLE(T_1125_5_1_5_2) OR FIREABLE(T_1125_4_1_2_5) OR FIREABLE(T_1125_1_6_5_2) OR FIREABLE(T_1125_5_6_3_5) OR FIREABLE(T_1125_1_3_4_5) OR FIREABLE(T_1125_1_5_6_6) OR FIREABLE(T_1125_4_4_3_3) OR FIREABLE(T_1125_6_3_3_2) OR FIREABLE(T_1125_1_6_6_4) OR FIREABLE(T_1125_2_6_6_3) OR FIREABLE(T_1125_1_4_2_1) OR FIREABLE(T_1125_4_2_1_5) OR FIREABLE(T_1125_6_4_5_3) OR FIREABLE(T_1125_2_3_5_4) OR FIREABLE(T_1125_1_5_6_3) OR FIREABLE(T_1125_4_1_3_3) OR FIREABLE(T_1125_6_4_4_5) OR FIREABLE(T_1125_6_4_5_5) OR FIREABLE(T_1125_2_1_5_6) OR FIREABLE(T_1125_6_2_3_5) OR FIREABLE(T_1125_1_6_4_4) OR FIREABLE(T_1125_4_1_3_2) OR FIREABLE(T_1125_2_1_4_3) OR FIREABLE(T_1125_1_5_3_2) OR FIREABLE(T_1125_5_6_3_6) OR FIREABLE(T_1125_1_3_6_1) OR FIREABLE(T_1125_2_4_1_6) OR FIREABLE(T_1125_6_5_3_1) OR FIREABLE(T_1125_6_5_2_3) OR FIREABLE(T_1125_4_5_1_1) OR FIREABLE(T_1125_5_2_3_2) OR FIREABLE(T_1125_2_6_1_2) OR FIREABLE(T_1125_2_3_1_4) OR FIREABLE(T_1125_1_4_5_5) OR FIREABLE(T_1125_4_2_1_3) OR FIREABLE(T_1125_2_6_3_3) OR FIREABLE(T_1125_5_6_2_6) OR FIREABLE(T_1125_1_2_1_4) OR FIREABLE(T_1125_3_1_1_3) OR FIREABLE(T_1125_3_1_4_4) OR FIREABLE(T_1125_4_1_4_5) OR FIREABLE(T_1125_2_2_5_2) OR FIREABLE(T_1125_3_5_4_2) OR FIREABLE(T_1125_6_1_1_1) OR FIREABLE(T_1125_6_2_4_1) OR FIREABLE(T_1125_1_1_2_1) OR FIREABLE(T_1125_2_5_2_6) OR FIREABLE(T_1125_3_6_2_2) OR FIREABLE(T_1125_5_4_1_3) OR FIREABLE(T_1125_2_5_3_5) OR FIREABLE(T_1125_6_6_5_4) OR FIREABLE(T_1125_4_2_4_4) OR FIREABLE(T_1125_4_2_4_6) OR FIREABLE(T_1125_6_1_2_6) OR FIREABLE(T_1125_5_3_1_4) OR FIREABLE(T_1125_5_4_5_4) OR FIREABLE(T_1125_5_4_2_3) OR FIREABLE(T_1125_6_2_4_3) OR FIREABLE(T_1125_6_3_2_2) OR FIREABLE(T_1125_6_3_3_4) OR FIREABLE(T_1125_1_6_4_1) OR FIREABLE(T_1125_2_5_2_4) OR FIREABLE(T_1125_4_6_2_5) OR FIREABLE(T_1125_4_5_3_4) OR FIREABLE(T_1125_3_6_4_4) OR FIREABLE(T_1125_5_2_6_6) OR FIREABLE(T_1125_1_3_1_6) OR FIREABLE(T_1125_3_6_2_3) OR FIREABLE(T_1125_1_5_1_3) OR FIREABLE(T_1125_1_5_3_3) OR FIREABLE(T_1125_4_4_4_1) OR FIREABLE(T_1125_3_1_1_5) OR FIREABLE(T_1125_2_6_1_6) OR FIREABLE(T_1125_6_3_1_2) OR FIREABLE(T_1125_6_2_3_1) OR FIREABLE(T_1125_5_5_2_1) OR FIREABLE(T_1125_6_4_6_1) OR FIREABLE(T_1125_3_4_3_4) OR FIREABLE(T_1125_1_1_4_5) OR FIREABLE(T_1125_5_4_2_5) OR FIREABLE(T_1125_5_2_3_1) OR FIREABLE(T_1125_6_2_2_5) OR FIREABLE(T_1125_2_1_1_2) OR FIREABLE(T_1125_5_3_1_1) OR FIREABLE(T_1125_5_5_2_4) OR FIREABLE(T_1125_2_3_6_5) OR FIREABLE(T_1125_6_4_4_6) OR FIREABLE(T_1125_4_1_5_2) OR FIREABLE(T_1125_3_5_6_1) OR FIREABLE(T_1125_1_4_4_6) OR FIREABLE(T_1125_4_3_6_6) OR FIREABLE(T_1125_4_2_3_6) OR FIREABLE(T_1125_2_1_2_5) OR FIREABLE(T_1125_3_3_3_3) OR FIREABLE(T_1125_6_5_5_3) OR FIREABLE(T_1125_1_1_2_4) OR FIREABLE(T_1125_5_4_1_5) OR FIREABLE(T_1125_1_2_2_3) OR FIREABLE(T_1125_3_4_2_6) OR FIREABLE(T_1125_2_1_6_1) OR FIREABLE(T_1125_6_4_5_6) OR FIREABLE(T_1125_3_3_1_6) OR FIREABLE(T_1125_3_3_1_3) OR FIREABLE(T_1125_4_2_5_5) OR FIREABLE(T_1125_4_5_5_4) OR FIREABLE(T_1125_3_6_4_5) OR FIREABLE(T_1125_5_3_2_2) OR FIREABLE(T_1125_1_5_1_1) OR FIREABLE(T_1125_4_3_4_5) OR FIREABLE(T_1125_5_6_5_1) OR FIREABLE(T_1125_6_5_5_2) OR FIREABLE(T_1125_1_2_4_1) OR FIREABLE(T_1125_4_1_1_2) OR FIREABLE(T_1125_5_4_6_5) OR FIREABLE(T_1125_3_1_3_4) OR FIREABLE(T_1125_5_5_6_5) OR FIREABLE(T_1125_2_2_2_4) OR FIREABLE(T_1125_1_5_5_6) OR FIREABLE(T_1125_3_4_5_1) OR FIREABLE(T_1125_3_1_3_6) OR FIREABLE(T_1125_4_3_3_5) OR FIREABLE(T_1125_4_2_3_4) OR FIREABLE(T_1125_4_3_5_6) OR FIREABLE(T_1125_5_6_6_3) OR FIREABLE(T_1125_2_3_6_4) OR FIREABLE(T_1125_2_2_6_2) OR FIREABLE(T_1125_3_5_1_4) OR FIREABLE(T_1125_2_2_2_2) OR FIREABLE(T_1125_2_4_1_3) OR FIREABLE(T_1125_1_3_3_6) OR FIREABLE(T_1125_1_3_2_6) OR FIREABLE(T_1125_2_1_2_3) OR FIREABLE(T_1125_2_3_5_3) OR FIREABLE(T_1125_3_2_3_5) OR FIREABLE(T_1125_5_4_6_4) OR FIREABLE(T_1125_4_2_2_1) OR FIREABLE(T_1125_4_1_6_3) OR FIREABLE(T_1125_2_6_4_3) OR FIREABLE(T_1125_2_4_2_1) OR FIREABLE(T_1125_4_6_1_4) OR FIREABLE(T_1125_2_6_2_3) OR FIREABLE(T_1125_4_5_2_6) OR FIREABLE(T_1125_2_1_3_1) OR FIREABLE(T_1125_6_6_6_4) OR FIREABLE(T_1125_4_6_3_5) OR FIREABLE(T_1125_3_5_3_5) OR FIREABLE(T_1125_5_4_5_2) OR FIREABLE(T_1125_1_4_2_4) OR FIREABLE(T_1125_3_6_1_5) OR FIREABLE(T_1125_2_5_1_6) OR FIREABLE(T_1125_4_1_4_2) OR FIREABLE(T_1125_1_4_2_2) OR FIREABLE(T_1125_1_2_6_3) OR FIREABLE(T_1125_2_3_3_3) OR FIREABLE(T_1125_5_4_4_6) OR FIREABLE(T_1125_2_1_6_6) OR FIREABLE(T_1125_3_5_5_3) OR FIREABLE(T_1125_4_4_4_2) OR FIREABLE(T_1125_6_1_1_6) OR FIREABLE(T_1125_5_1_1_5) OR FIREABLE(T_1125_6_4_1_1) OR FIREABLE(T_1125_6_5_6_1) OR FIREABLE(T_1125_6_1_5_3) OR FIREABLE(T_1125_3_3_6_2) OR FIREABLE(T_1125_4_1_4_1) OR FIREABLE(T_1125_1_3_3_1) OR FIREABLE(T_1125_2_5_2_2) OR FIREABLE(T_1125_3_4_5_5) OR FIREABLE(T_1125_5_3_6_3) OR FIREABLE(T_1125_3_1_6_5) OR FIREABLE(T_1125_6_1_3_5) OR FIREABLE(T_1125_2_6_2_5) OR FIREABLE(T_1125_3_2_2_4) OR FIREABLE(T_1125_1_1_5_5) OR FIREABLE(T_1125_2_4_4_4) OR FIREABLE(T_1125_5_5_1_1) OR FIREABLE(T_1125_5_2_4_4) OR FIREABLE(T_1125_6_2_6_1) OR FIREABLE(T_1125_1_6_2_3) OR FIREABLE(T_1125_6_6_1_1) OR FIREABLE(T_1125_3_1_5_4) OR FIREABLE(T_1125_6_2_4_6) OR FIREABLE(T_1125_2_4_6_5) OR FIREABLE(T_1125_6_4_3_3) OR FIREABLE(T_1125_3_6_5_2) OR FIREABLE(T_1125_5_6_1_2) OR FIREABLE(T_1125_5_6_2_5) OR FIREABLE(T_1125_1_3_4_4) OR FIREABLE(T_1125_5_5_3_4) OR FIREABLE(T_1125_5_1_5_1) OR FIREABLE(T_1125_6_2_3_2) OR FIREABLE(T_1125_3_1_6_4) OR FIREABLE(T_1125_6_3_1_5) OR FIREABLE(T_1125_6_1_2_2) OR FIREABLE(T_1125_3_5_4_5) OR FIREABLE(T_1125_5_6_4_3) OR FIREABLE(T_1125_3_4_3_1) OR FIREABLE(T_1125_6_3_5_5) OR FIREABLE(T_1125_6_3_2_1) OR FIREABLE(T_1125_4_5_1_5) OR FIREABLE(T_1125_4_6_4_5) OR FIREABLE(T_1125_4_2_4_3) OR FIREABLE(T_1125_2_4_3_6) OR FIREABLE(T_1125_4_5_2_1) OR FIREABLE(T_1125_1_6_3_6) OR FIREABLE(T_1125_6_2_1_6) OR FIREABLE(T_1125_5_6_4_2) OR FIREABLE(T_1125_6_5_4_6) OR FIREABLE(T_1125_2_4_6_4) OR FIREABLE(T_1125_5_2_5_6) OR FIREABLE(T_1125_3_6_5_1) OR FIREABLE(T_1125_5_6_1_6) OR FIREABLE(T_1125_2_5_1_2) OR FIREABLE(T_1125_5_4_3_3) OR FIREABLE(T_1125_2_1_5_4) OR FIREABLE(T_1125_6_4_5_2) OR FIREABLE(T_1125_6_5_6_6) OR FIREABLE(T_1125_4_2_6_4) OR FIREABLE(T_1125_5_1_4_6) OR FIREABLE(T_1125_3_4_3_2) OR FIREABLE(T_1125_1_4_6_2) OR FIREABLE(T_1125_1_2_1_2) OR FIREABLE(T_1125_5_6_5_3) OR FIREABLE(T_1125_2_2_4_5) OR FIREABLE(T_1125_5_3_6_6) OR FIREABLE(T_1125_3_3_2_5) OR FIREABLE(T_1125_5_1_3_3) OR FIREABLE(T_1125_2_6_4_1) OR FIREABLE(T_1125_2_1_4_1) OR FIREABLE(T_1125_1_3_6_4) OR FIREABLE(T_1125_3_4_1_6) OR FIREABLE(T_1125_4_1_4_3) OR FIREABLE(T_1125_1_2_2_6) OR FIREABLE(T_1125_6_4_2_5) OR FIREABLE(T_1125_4_2_2_5) OR FIREABLE(T_1125_3_6_3_3) OR FIREABLE(T_1125_3_2_6_5) OR FIREABLE(T_1125_4_4_2_3) OR FIREABLE(T_1125_3_2_1_4) OR FIREABLE(T_1125_6_5_4_1) OR FIREABLE(T_1125_1_5_6_1) OR FIREABLE(T_1125_2_1_4_6) OR FIREABLE(T_1125_1_3_4_2)) AND (FIREABLE(WaitforBlockedTasks_4_6) OR FIREABLE(WaitforBlockedTasks_1_3) OR FIREABLE(WaitforBlockedTasks_3_3) OR FIREABLE(WaitforBlockedTasks_4_4) OR FIREABLE(WaitforBlockedTasks_4_1) OR FIREABLE(WaitforBlockedTasks_3_6) OR FIREABLE(WaitforBlockedTasks_5_4) OR FIREABLE(WaitforBlockedTasks_6_4) OR FIREABLE(WaitforBlockedTasks_3_1) OR FIREABLE(WaitforBlockedTasks_4_2) OR FIREABLE(WaitforBlockedTasks_2_6) OR FIREABLE(WaitforBlockedTasks_5_3) OR FIREABLE(WaitforBlockedTasks_1_6) OR FIREABLE(WaitforBlockedTasks_5_2) OR FIREABLE(WaitforBlockedTasks_2_1) OR FIREABLE(WaitforBlockedTasks_1_5) OR FIREABLE(WaitforBlockedTasks_6_5) OR FIREABLE(WaitforBlockedTasks_4_3) OR FIREABLE(WaitforBlockedTasks_1_4) OR FIREABLE(WaitforBlockedTasks_2_5) OR FIREABLE(WaitforBlockedTasks_5_5) OR FIREABLE(WaitforBlockedTasks_2_2) OR FIREABLE(WaitforBlockedTasks_1_1) OR FIREABLE(WaitforBlockedTasks_3_5) OR FIREABLE(WaitforBlockedTasks_6_3) OR FIREABLE(WaitforBlockedTasks_3_4) OR FIREABLE(WaitforBlockedTasks_3_2) OR FIREABLE(WaitforBlockedTasks_4_5) OR FIREABLE(WaitforBlockedTasks_2_3) OR FIREABLE(WaitforBlockedTasks_1_2) OR FIREABLE(WaitforBlockedTasks_6_6) OR FIREABLE(WaitforBlockedTasks_6_1) OR FIREABLE(WaitforBlockedTasks_2_4) OR FIREABLE(WaitforBlockedTasks_5_6) OR FIREABLE(WaitforBlockedTasks_5_1) OR FIREABLE(WaitforBlockedTasks_6_2) OR FIREABLE(DummyOR2_1) OR FIREABLE(DummyOR2_6) OR FIREABLE(DummyOR2_4) OR FIREABLE(DummyOR2_2) OR FIREABLE(DummyOR2_5) OR FIREABLE(DummyOR2_3)) AND (FIREABLE(NOPDP_3_1) OR FIREABLE(NOPDP_4_2) OR FIREABLE(NOPDP_2_2) OR FIREABLE(NOPDP_4_4) OR FIREABLE(NOPDP_3_4) OR FIREABLE(NOPDP_1_6) OR FIREABLE(NOPDP_4_5) OR FIREABLE(NOPDP_2_1) OR FIREABLE(NOPDP_6_5) OR FIREABLE(NOPDP_5_2) OR FIREABLE(NOPDP_5_5) OR FIREABLE(NOPDP_1_1) OR FIREABLE(NOPDP_2_4) OR FIREABLE(NOPDP_2_5) OR FIREABLE(NOPDP_3_6) OR FIREABLE(NOPDP_1_4) OR FIREABLE(NOPDP_5_1) OR FIREABLE(NOPDP_6_2) OR FIREABLE(NOPDP_6_3) OR FIREABLE(NOPDP_2_6) OR FIREABLE(NOPDP_1_3) OR FIREABLE(NOPDP_4_1) OR FIREABLE(NOPDP_3_5) OR FIREABLE(NOPDP_5_3) OR FIREABLE(NOPDP_6_4) OR FIREABLE(NOPDP_1_2) OR FIREABLE(NOPDP_1_5) OR FIREABLE(NOPDP_2_3) OR FIREABLE(NOPDP_5_6) OR FIREABLE(NOPDP_6_1) OR FIREABLE(NOPDP_4_3) OR FIREABLE(NOPDP_3_3) OR FIREABLE(NOPDP_4_6) OR FIREABLE(NOPDP_3_2) OR FIREABLE(NOPDP_6_6) OR FIREABLE(NOPDP_5_4)))))) : (A (G (NOT(E (X ((FIREABLE(GoPerformWork_2_4_2) OR FIREABLE(GoPerformWork_1_2_1) OR FIREABLE(GoPerformWork_3_6_1) OR FIREABLE(GoPerformWork_1_3_1) OR FIREABLE(GoPerformWork_0_4_3) OR FIREABLE(GoPerformWork_4_1_5) OR FIREABLE(GoPerformWork_1_5_6) OR FIREABLE(GoPerformWork_0_3_5) OR FIREABLE(GoPerformWork_2_6_3) OR FIREABLE(GoPerformWork_3_5_1) OR FIREABLE(GoPerformWork_4_2_1) OR FIREABLE(GoPerformWork_0_1_1) OR FIREABLE(GoPerformWork_4_5_5) OR FIREABLE(GoPerformWork_2_1_3) OR FIREABLE(GoPerformWork_4_3_3) OR FIREABLE(GoPerformWork_3_2_4) OR FIREABLE(GoPerformWork_0_5_6) OR FIREABLE(GoPerformWork_4_2_4) OR FIREABLE(GoPerformWork_3_1_2) OR FIREABLE(GoPerformWork_3_4_4) OR FIREABLE(GoPerformWork_1_5_5) OR FIREABLE(GoPerformWork_3_1_6) OR FIREABLE(GoPerformWork_1_5_3) OR FIREABLE(GoPerformWork_2_2_2) OR FIREABLE(GoPerformWork_3_1_1) OR FIREABLE(GoPerformWork_0_1_5) OR FIREABLE(GoPerformWork_1_5_2) OR FIREABLE(GoPerformWork_0_2_6) OR FIREABLE(GoPerformWork_1_4_3) OR FIREABLE(GoPerformWork_4_3_1) OR FIREABLE(GoPerformWork_3_6_3) OR FIREABLE(GoPerformWork_3_6_5) OR FIREABLE(GoPerformWork_4_1_4) OR FIREABLE(GoPerformWork_4_1_1) OR FIREABLE(GoPerformWork_2_2_5) OR FIREABLE(GoPerformWork_2_6_2) OR FIREABLE(GoPerformWork_3_4_2) OR FIREABLE(GoPerformWork_4_6_4) OR FIREABLE(GoPerformWork_4_4_6) OR FIREABLE(GoPerformWork_1_6_1) OR FIREABLE(GoPerformWork_3_2_6) OR FIREABLE(GoPerformWork_0_3_4) OR FIREABLE(GoPerformWork_1_2_3) OR FIREABLE(GoPerformWork_2_4_4) OR FIREABLE(GoPerformWork_4_2_2) OR FIREABLE(GoPerformWork_2_5_6) OR FIREABLE(GoPerformWork_3_3_5) OR FIREABLE(GoPerformWork_1_6_5) OR FIREABLE(GoPerformWork_2_4_5) OR FIREABLE(GoPerformWork_0_4_2) OR FIREABLE(GoPerformWork_1_6_3) OR FIREABLE(GoPerformWork_2_6_5) OR FIREABLE(GoPerformWork_1_2_6) OR FIREABLE(GoPerformWork_3_5_6) OR FIREABLE(GoPerformWork_2_3_1) OR FIREABLE(GoPerformWork_3_6_2) OR FIREABLE(GoPerformWork_2_1_1) OR FIREABLE(GoPerformWork_1_6_6) OR FIREABLE(GoPerformWork_2_4_6) OR FIREABLE(GoPerformWork_3_2_3) OR FIREABLE(GoPerformWork_1_2_4) OR FIREABLE(GoPerformWork_0_2_5) OR FIREABLE(GoPerformWork_3_2_5) OR FIREABLE(GoPerformWork_0_3_2) OR FIREABLE(GoPerformWork_1_3_6) OR FIREABLE(GoPerformWork_0_5_4) OR FIREABLE(GoPerformWork_3_5_5) OR FIREABLE(GoPerformWork_2_3_5) OR FIREABLE(GoPerformWork_0_6_3) OR FIREABLE(GoPerformWork_1_3_4) OR FIREABLE(GoPerformWork_2_6_1) OR FIREABLE(GoPerformWork_1_4_2) OR FIREABLE(GoPerformWork_2_2_3) OR FIREABLE(GoPerformWork_0_1_2) OR FIREABLE(GoPerformWork_0_6_2) OR FIREABLE(GoPerformWork_4_3_4) OR FIREABLE(GoPerformWork_0_1_6) OR FIREABLE(GoPerformWork_4_5_1) OR FIREABLE(GoPerformWork_2_1_5) OR FIREABLE(GoPerformWork_2_4_1) OR FIREABLE(GoPerformWork_3_5_3) OR FIREABLE(GoPerformWork_4_1_3) OR FIREABLE(GoPerformWork_3_4_6) OR FIREABLE(GoPerformWork_4_5_6) OR FIREABLE(GoPerformWork_2_3_4) OR FIREABLE(GoPerformWork_3_3_4) OR FIREABLE(GoPerformWork_0_5_5) OR FIREABLE(GoPerformWork_4_4_1) OR FIREABLE(GoPerformWork_1_1_5) OR FIREABLE(GoPerformWork_4_4_4) OR FIREABLE(GoPerformWork_1_1_1) OR FIREABLE(GoPerformWork_2_3_2) OR FIREABLE(GoPerformWork_0_2_3) OR FIREABLE(GoPerformWork_3_3_2) OR FIREABLE(GoPerformWork_1_4_6) OR FIREABLE(GoPerformWork_0_3_3) OR FIREABLE(GoPerformWork_3_1_3) OR FIREABLE(GoPerformWork_3_1_4) OR FIREABLE(GoPerformWork_3_4_1) OR FIREABLE(GoPerformWork_2_3_6) OR FIREABLE(GoPerformWork_0_6_6) OR FIREABLE(GoPerformWork_2_1_2) OR FIREABLE(GoPerformWork_4_2_3) OR FIREABLE(GoPerformWork_4_6_1) OR FIREABLE(GoPerformWork_2_6_4) OR FIREABLE(GoPerformWork_1_1_4) OR FIREABLE(GoPerformWork_3_1_5) OR FIREABLE(GoPerformWork_0_4_5) OR FIREABLE(GoPerformWork_4_5_3) OR FIREABLE(GoPerformWork_1_6_2) OR FIREABLE(GoPerformWork_4_3_2) OR FIREABLE(GoPerformWork_3_4_5) OR FIREABLE(GoPerformWork_1_5_4) OR FIREABLE(GoPerformWork_0_6_5) OR FIREABLE(GoPerformWork_4_6_6) OR FIREABLE(GoPerformWork_2_5_1) OR FIREABLE(GoPerformWork_3_2_1) OR FIREABLE(GoPerformWork_1_5_1) OR FIREABLE(GoPerformWork_1_3_2) OR FIREABLE(GoPerformWork_2_2_4) OR FIREABLE(GoPerformWork_0_4_6) OR FIREABLE(GoPerformWork_3_6_4) OR FIREABLE(GoPerformWork_3_3_1) OR FIREABLE(GoPerformWork_4_6_3) OR FIREABLE(GoPerformWork_2_2_1) OR FIREABLE(GoPerformWork_1_2_5) OR FIREABLE(GoPerformWork_2_1_6) OR FIREABLE(GoPerformWork_0_4_1) OR FIREABLE(GoPerformWork_4_5_2) OR FIREABLE(GoPerformWork_2_4_3) OR FIREABLE(GoPerformWork_2_5_4) OR FIREABLE(GoPerformWork_0_4_4) OR FIREABLE(GoPerformWork_1_3_3) OR FIREABLE(GoPerformWork_1_4_1) OR FIREABLE(GoPerformWork_4_2_6) OR FIREABLE(GoPerformWork_1_2_2) OR FIREABLE(GoPerformWork_4_5_4) OR FIREABLE(GoPerformWork_4_6_2) OR FIREABLE(GoPerformWork_0_5_3) OR FIREABLE(GoPerformWork_0_5_1) OR FIREABLE(GoPerformWork_4_4_5) OR FIREABLE(GoPerformWork_4_1_2) OR FIREABLE(GoPerformWork_0_2_1) OR FIREABLE(GoPerformWork_0_6_1) OR FIREABLE(GoPerformWork_4_4_3) OR FIREABLE(GoPerformWork_2_2_6) OR FIREABLE(GoPerformWork_2_3_3) OR FIREABLE(GoPerformWork_1_1_6) OR FIREABLE(GoPerformWork_0_6_4) OR FIREABLE(GoPerformWork_0_2_2) OR FIREABLE(GoPerformWork_0_3_6) OR FIREABLE(GoPerformWork_3_5_2) OR FIREABLE(GoPerformWork_4_4_2) OR FIREABLE(GoPerformWork_4_3_5) OR FIREABLE(GoPerformWork_0_5_2) OR FIREABLE(GoPerformWork_0_1_3) OR FIREABLE(GoPerformWork_1_4_4) OR FIREABLE(GoPerformWork_1_6_4) OR FIREABLE(GoPerformWork_0_1_4) OR FIREABLE(GoPerformWork_4_3_6) OR FIREABLE(GoPerformWork_2_6_6) OR FIREABLE(GoPerformWork_3_4_3) OR FIREABLE(GoPerformWork_4_2_5) OR FIREABLE(GoPerformWork_2_1_4) OR FIREABLE(GoPerformWork_3_5_4) OR FIREABLE(GoPerformWork_3_3_3) OR FIREABLE(GoPerformWork_1_4_5) OR FIREABLE(GoPerformWork_2_5_3) OR FIREABLE(GoPerformWork_2_5_2) OR FIREABLE(GoPerformWork_0_2_4) OR FIREABLE(GoPerformWork_3_6_6) OR FIREABLE(GoPerformWork_3_3_6) OR FIREABLE(GoPerformWork_1_1_2) OR FIREABLE(GoPerformWork_4_6_5) OR FIREABLE(GoPerformWork_1_3_5) OR FIREABLE(GoPerformWork_4_1_6) OR FIREABLE(GoPerformWork_1_1_3) OR FIREABLE(GoPerformWork_0_3_1) OR FIREABLE(GoPerformWork_2_5_5) OR FIREABLE(GoPerformWork_3_2_2))))))) OR (FIREABLE(LeaveCSIS_6) OR FIREABLE(LeaveCSIS_1) OR FIREABLE(LeaveCSIS_3) OR FIREABLE(LeaveCSIS_4) OR FIREABLE(LeaveCSIS_2) OR FIREABLE(LeaveCSIS_5))) : A (G (NOT(((FIREABLE(T_2541_4) OR FIREABLE(T_2541_3) OR FIREABLE(T_2541_1) OR FIREABLE(T_2541_6) OR FIREABLE(T_2541_2) OR FIREABLE(T_2541_5)) AND E (G ((FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6)))))))) : (E (G (((FIREABLE(T_1145_5) OR FIREABLE(T_1145_3) OR FIREABLE(T_1145_1) OR FIREABLE(T_1145_6) OR FIREABLE(T_1145_4) OR FIREABLE(T_1145_2)) OR E (X ((FIREABLE(T_1148_3) OR FIREABLE(T_1148_5) OR FIREABLE(T_1148_2) OR FIREABLE(T_1148_4) OR FIREABLE(T_1148_6) OR FIREABLE(T_1148_1))))))) OR A (F ((((FIREABLE(T_2285_2_1) OR FIREABLE(T_2285_6_5) OR FIREABLE(T_2285_6_2) OR FIREABLE(T_2285_1_4) OR FIREABLE(T_2285_3_2) OR FIREABLE(T_2285_5_2) OR FIREABLE(T_2285_5_5) OR FIREABLE(T_2285_1_1) OR FIREABLE(T_2285_2_4) OR FIREABLE(T_2285_5_3) OR FIREABLE(T_2285_4_2) OR FIREABLE(T_2285_3_1) OR FIREABLE(T_2285_1_6) OR FIREABLE(T_2285_6_4) OR FIREABLE(T_2285_4_1) OR FIREABLE(T_2285_2_6) OR FIREABLE(T_2285_6_3) OR FIREABLE(T_2285_4_3) OR FIREABLE(T_2285_5_4) OR FIREABLE(T_2285_5_1) OR FIREABLE(T_2285_2_5) OR FIREABLE(T_2285_3_6) OR FIREABLE(T_2285_3_3) OR FIREABLE(T_2285_1_5) OR FIREABLE(T_2285_4_6) OR FIREABLE(T_2285_6_1) OR FIREABLE(T_2285_5_6) OR FIREABLE(T_2285_3_4) OR FIREABLE(T_2285_4_5) OR FIREABLE(T_2285_2_3) OR FIREABLE(T_2285_1_2) OR FIREABLE(T_2285_4_4) OR FIREABLE(T_2285_6_6) OR FIREABLE(T_2285_1_3) OR FIREABLE(T_2285_2_2) OR FIREABLE(T_2285_3_5)) AND (FIREABLE(T_2578_1_4) OR FIREABLE(T_2578_4_1) OR FIREABLE(T_2578_1_3) OR FIREABLE(T_2578_6_4) OR FIREABLE(T_2578_3_5) OR FIREABLE(T_2578_3_4) OR FIREABLE(T_2578_1_1) OR FIREABLE(T_2578_6_3) OR FIREABLE(T_2578_5_6) OR FIREABLE(T_2578_2_4) OR FIREABLE(T_2578_4_2) OR FIREABLE(T_2578_1_5) OR FIREABLE(T_2578_6_5) OR FIREABLE(T_2578_1_2) OR FIREABLE(T_2578_2_1) OR FIREABLE(T_2578_6_2) OR FIREABLE(T_2578_3_6) OR FIREABLE(T_2578_3_3) OR FIREABLE(T_2578_5_1) OR FIREABLE(T_2578_4_4) OR FIREABLE(T_2578_6_6) OR FIREABLE(T_2578_3_1) OR FIREABLE(T_2578_5_4) OR FIREABLE(T_2578_4_5) OR FIREABLE(T_2578_6_1) OR FIREABLE(T_2578_4_3) OR FIREABLE(T_2578_3_2) OR FIREABLE(T_2578_1_6) OR FIREABLE(T_2578_4_6) OR FIREABLE(T_2578_5_5) OR FIREABLE(T_2578_2_2) OR FIREABLE(T_2578_5_3) OR FIREABLE(T_2578_5_2) OR FIREABLE(T_2578_2_6) OR FIREABLE(T_2578_2_5) OR FIREABLE(T_2578_2_3))) OR ((FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_6_2) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_0383_5_1) OR FIREABLE(T_0383_3_1) OR FIREABLE(T_0383_6_5) OR FIREABLE(T_0383_4_3) OR FIREABLE(T_0383_1_5) OR FIREABLE(T_0383_5_2) OR FIREABLE(T_0383_4_5) OR FIREABLE(T_0383_5_3) OR FIREABLE(T_0383_1_6) OR FIREABLE(T_0383_6_1) OR FIREABLE(T_0383_5_5) OR FIREABLE(T_0383_1_1) OR FIREABLE(T_0383_3_2) OR FIREABLE(T_0383_1_4) OR FIREABLE(T_0383_2_5) OR FIREABLE(T_0383_5_6) OR FIREABLE(T_0383_6_6) OR FIREABLE(T_0383_3_5) OR FIREABLE(T_0383_1_3) OR FIREABLE(T_0383_6_3) OR FIREABLE(T_0383_4_1)) AND (FIREABLE(T_2285_2_1) OR FIREABLE(T_2285_6_5) OR FIREABLE(T_2285_6_2) OR FIREABLE(T_2285_1_4) OR FIREABLE(T_2285_3_2) OR FIREABLE(T_2285_5_2) OR FIREABLE(T_2285_5_5) OR FIREABLE(T_2285_1_1) OR FIREABLE(T_2285_2_4) OR FIREABLE(T_2285_5_3) OR FIREABLE(T_2285_4_2) OR FIREABLE(T_2285_3_1) OR FIREABLE(T_2285_1_6) OR FIREABLE(T_2285_6_4) OR FIREABLE(T_2285_4_1) OR FIREABLE(T_2285_2_6) OR FIREABLE(T_2285_6_3) OR FIREABLE(T_2285_4_3) OR FIREABLE(T_2285_5_4) OR FIREABLE(T_2285_5_1) OR FIREABLE(T_2285_2_5) OR FIREABLE(T_2285_3_6) OR FIREABLE(T_2285_3_3) OR FIREABLE(T_2285_1_5) OR FIREABLE(T_2285_4_6) OR FIREABLE(T_2285_6_1) OR FIREABLE(T_2285_5_6) OR FIREABLE(T_2285_3_4) OR FIREABLE(T_2285_4_5) OR FIREABLE(T_2285_2_3) OR FIREABLE(T_2285_1_2) OR FIREABLE(T_2285_4_4) OR FIREABLE(T_2285_6_6) OR FIREABLE(T_2285_1_3) OR FIREABLE(T_2285_2_2) OR FIREABLE(T_2285_3_5))) OR FIREABLE(LeaveCSPW_2) OR FIREABLE(LeaveCSPW_3) OR FIREABLE(LeaveCSPW_5) OR FIREABLE(LeaveCSPW_4) OR FIREABLE(LeaveCSPW_6) OR FIREABLE(LeaveCSPW_1) OR FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6) OR FIREABLE(T_1123_3_1) OR FIREABLE(T_1123_5_3) OR FIREABLE(T_1123_3_6) OR FIREABLE(T_1123_6_4) OR FIREABLE(T_1123_3_2) OR FIREABLE(T_1123_2_1) OR FIREABLE(T_1123_4_3) OR FIREABLE(T_1123_2_6) OR FIREABLE(T_1123_6_5) OR FIREABLE(T_1123_1_5) OR FIREABLE(T_1123_1_4) OR FIREABLE(T_1123_4_2) OR FIREABLE(T_1123_1_1) OR FIREABLE(T_1123_2_2) OR FIREABLE(T_1123_6_3) OR FIREABLE(T_1123_5_2) OR FIREABLE(T_1123_1_2) OR FIREABLE(T_1123_6_2) OR FIREABLE(T_1123_4_5) OR FIREABLE(T_1123_3_4) OR FIREABLE(T_1123_6_1) OR FIREABLE(T_1123_1_6) OR FIREABLE(T_1123_2_4) OR FIREABLE(T_1123_6_6) OR FIREABLE(T_1123_2_3) OR FIREABLE(T_1123_1_3) OR FIREABLE(T_1123_5_4) OR FIREABLE(T_1123_4_4) OR FIREABLE(T_1123_5_1) OR FIREABLE(T_1123_2_5) OR FIREABLE(T_1123_3_3) OR FIREABLE(T_1123_5_6) OR FIREABLE(T_1123_4_1) OR FIREABLE(T_1123_5_5) OR FIREABLE(T_1123_4_6) OR FIREABLE(T_1123_3_5))))) : E (F ((FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_5)))) : (((E (F ((FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_6_2) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_0383_5_1) OR FIREABLE(T_0383_3_1) OR FIREABLE(T_0383_6_5) OR FIREABLE(T_0383_4_3) OR FIREABLE(T_0383_1_5) OR FIREABLE(T_0383_5_2) OR FIREABLE(T_0383_4_5) OR FIREABLE(T_0383_5_3) OR FIREABLE(T_0383_1_6) OR FIREABLE(T_0383_6_1) OR FIREABLE(T_0383_5_5) OR FIREABLE(T_0383_1_1) OR FIREABLE(T_0383_3_2) OR FIREABLE(T_0383_1_4) OR FIREABLE(T_0383_2_5) OR FIREABLE(T_0383_5_6) OR FIREABLE(T_0383_6_6) OR FIREABLE(T_0383_3_5) OR FIREABLE(T_0383_1_3) OR FIREABLE(T_0383_6_3) OR FIREABLE(T_0383_4_1)))) AND ((FIREABLE(T_1729_1_1) OR FIREABLE(T_1729_3_4) OR FIREABLE(T_1729_4_1) OR FIREABLE(T_1729_2_3) OR FIREABLE(T_1729_4_4) OR FIREABLE(T_1729_0_6) OR FIREABLE(T_1729_2_1) OR FIREABLE(T_1729_0_5) OR FIREABLE(T_1729_4_5) OR FIREABLE(T_1729_3_5) OR FIREABLE(T_1729_1_3) OR FIREABLE(T_1729_4_6) OR FIREABLE(T_1729_2_5) OR FIREABLE(T_1729_3_3) OR FIREABLE(T_1729_0_1) OR FIREABLE(T_1729_4_3) OR FIREABLE(T_1729_0_4) OR FIREABLE(T_1729_1_5) OR FIREABLE(T_1729_3_2) OR FIREABLE(T_1729_0_2) OR FIREABLE(T_1729_1_4) OR FIREABLE(T_1729_1_2) OR FIREABLE(T_1729_2_2) OR FIREABLE(T_1729_2_6) OR FIREABLE(T_1729_3_6) OR FIREABLE(T_1729_3_1) OR FIREABLE(T_1729_2_4) OR FIREABLE(T_1729_1_6) OR FIREABLE(T_1729_0_3) OR FIREABLE(T_1729_4_2) OR FIREABLE(EnterCSIS_1_3) OR FIREABLE(EnterCSIS_4_5) OR FIREABLE(EnterCSIS_6_6) OR FIREABLE(EnterCSIS_2_4) OR FIREABLE(EnterCSIS_5_5) OR FIREABLE(EnterCSIS_5_4) OR FIREABLE(EnterCSIS_2_3) OR FIREABLE(EnterCSIS_5_6) OR FIREABLE(EnterCSIS_4_4) OR FIREABLE(EnterCSIS_4_1) OR FIREABLE(EnterCSIS_2_5) OR FIREABLE(EnterCSIS_5_1) OR FIREABLE(EnterCSIS_3_3) OR FIREABLE(EnterCSIS_4_6) OR FIREABLE(EnterCSIS_5_2) OR FIREABLE(EnterCSIS_1_5) OR FIREABLE(EnterCSIS_2_1) OR FIREABLE(EnterCSIS_4_3) OR FIREABLE(EnterCSIS_3_5) OR FIREABLE(EnterCSIS_5_3) OR FIREABLE(EnterCSIS_3_1) OR FIREABLE(EnterCSIS_6_4) OR FIREABLE(EnterCSIS_4_2) OR FIREABLE(EnterCSIS_3_6) OR FIREABLE(EnterCSIS_2_6) OR FIREABLE(EnterCSIS_6_5) OR FIREABLE(EnterCSIS_3_2) OR FIREABLE(EnterCSIS_1_4) OR FIREABLE(EnterCSIS_6_3) OR FIREABLE(EnterCSIS_1_6) OR FIREABLE(EnterCSIS_1_1) OR FIREABLE(EnterCSIS_2_2) OR FIREABLE(EnterCSIS_6_2) OR FIREABLE(EnterCSIS_1_2) OR FIREABLE(EnterCSIS_3_4) OR FIREABLE(EnterCSIS_6_1) OR (NOT FIREABLE(WaitCompleted_1_3) AND NOT FIREABLE(WaitCompleted_2_4) AND NOT FIREABLE(WaitCompleted_5_4) AND NOT FIREABLE(WaitCompleted_2_1) AND NOT FIREABLE(WaitCompleted_6_5) AND NOT FIREABLE(WaitCompleted_6_2) AND NOT FIREABLE(WaitCompleted_3_1) AND NOT FIREABLE(WaitCompleted_3_4) AND NOT FIREABLE(WaitCompleted_4_1) AND NOT FIREABLE(WaitCompleted_1_6) AND NOT FIREABLE(WaitCompleted_5_2) AND NOT FIREABLE(WaitCompleted_2_6) AND NOT FIREABLE(WaitCompleted_1_5) AND NOT FIREABLE(WaitCompleted_6_3) AND NOT FIREABLE(WaitCompleted_1_4) AND NOT FIREABLE(WaitCompleted_3_6) AND NOT FIREABLE(WaitCompleted_6_4) AND NOT FIREABLE(WaitCompleted_4_2) AND NOT FIREABLE(WaitCompleted_5_1) AND NOT FIREABLE(WaitCompleted_4_6) AND NOT FIREABLE(WaitCompleted_3_5) AND NOT FIREABLE(WaitCompleted_6_1) AND NOT FIREABLE(WaitCompleted_3_2) AND NOT FIREABLE(WaitCompleted_4_3) AND NOT FIREABLE(WaitCompleted_2_2) AND NOT FIREABLE(WaitCompleted_2_5) AND NOT FIREABLE(WaitCompleted_5_6) AND NOT FIREABLE(WaitCompleted_1_2) AND NOT FIREABLE(WaitCompleted_5_3) AND NOT FIREABLE(WaitCompleted_3_3) AND NOT FIREABLE(WaitCompleted_6_6) AND NOT FIREABLE(WaitCompleted_5_5) AND NOT FIREABLE(WaitCompleted_4_4) AND NOT FIREABLE(WaitCompleted_2_3) AND NOT FIREABLE(WaitCompleted_4_5) AND NOT FIREABLE(WaitCompleted_1_1))) AND ((NOT FIREABLE(T_1713_0_1) AND NOT FIREABLE(T_1713_0_2) AND NOT FIREABLE(T_1713_4_4) AND NOT FIREABLE(T_1713_0_4) AND NOT FIREABLE(T_1713_3_2) AND NOT FIREABLE(T_1713_4_6) AND NOT FIREABLE(T_1713_1_6) AND NOT FIREABLE(T_1713_0_6) AND NOT FIREABLE(T_1713_2_2) AND NOT FIREABLE(T_1713_3_4) AND NOT FIREABLE(T_1713_2_6) AND NOT FIREABLE(T_1713_2_4) AND NOT FIREABLE(T_1713_4_5) AND NOT FIREABLE(T_1713_4_2) AND NOT FIREABLE(T_1713_2_1) AND NOT FIREABLE(T_1713_1_3) AND NOT FIREABLE(T_1713_1_4) AND NOT FIREABLE(T_1713_0_3) AND NOT FIREABLE(T_1713_2_3) AND NOT FIREABLE(T_1713_2_5) AND NOT FIREABLE(T_1713_1_1) AND NOT FIREABLE(T_1713_4_1) AND NOT FIREABLE(T_1713_1_5) AND NOT FIREABLE(T_1713_3_5) AND NOT FIREABLE(T_1713_3_1) AND NOT FIREABLE(T_1713_3_3) AND NOT FIREABLE(T_1713_0_5) AND NOT FIREABLE(T_1713_1_2) AND NOT FIREABLE(T_1713_3_6) AND NOT FIREABLE(T_1713_4_3)) OR (NOT FIREABLE(T_1713_0_1) AND NOT FIREABLE(T_1713_0_2) AND NOT FIREABLE(T_1713_4_4) AND NOT FIREABLE(T_1713_0_4) AND NOT FIREABLE(T_1713_3_2) AND NOT FIREABLE(T_1713_4_6) AND NOT FIREABLE(T_1713_1_6) AND NOT FIREABLE(T_1713_0_6) AND NOT FIREABLE(T_1713_2_2) AND NOT FIREABLE(T_1713_3_4) AND NOT FIREABLE(T_1713_2_6) AND NOT FIREABLE(T_1713_2_4) AND NOT FIREABLE(T_1713_4_5) AND NOT FIREABLE(T_1713_4_2) AND NOT FIREABLE(T_1713_2_1) AND NOT FIREABLE(T_1713_1_3) AND NOT FIREABLE(T_1713_1_4) AND NOT FIREABLE(T_1713_0_3) AND NOT FIREABLE(T_1713_2_3) AND NOT FIREABLE(T_1713_2_5) AND NOT FIREABLE(T_1713_1_1) AND NOT FIREABLE(T_1713_4_1) AND NOT FIREABLE(T_1713_1_5) AND NOT FIREABLE(T_1713_3_5) AND NOT FIREABLE(T_1713_3_1) AND NOT FIREABLE(T_1713_3_3) AND NOT FIREABLE(T_1713_0_5) AND NOT FIREABLE(T_1713_1_2) AND NOT FIREABLE(T_1713_3_6) AND NOT FIREABLE(T_1713_4_3))))) OR ((FIREABLE(T_1171_6) OR FIREABLE(T_1171_4) OR FIREABLE(T_1171_5) OR FIREABLE(T_1171_1) OR FIREABLE(T_1171_2) OR FIREABLE(T_1171_3)) OR E (X ((FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_6_2) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_0383_5_1) OR FIREABLE(T_0383_3_1) OR FIREABLE(T_0383_6_5) OR FIREABLE(T_0383_4_3) OR FIREABLE(T_0383_1_5) OR FIREABLE(T_0383_5_2) OR FIREABLE(T_0383_4_5) OR FIREABLE(T_0383_5_3) OR FIREABLE(T_0383_1_6) OR FIREABLE(T_0383_6_1) OR FIREABLE(T_0383_5_5) OR FIREABLE(T_0383_1_1) OR FIREABLE(T_0383_3_2) OR FIREABLE(T_0383_1_4) OR FIREABLE(T_0383_2_5) OR FIREABLE(T_0383_5_6) OR FIREABLE(T_0383_6_6) OR FIREABLE(T_0383_3_5) OR FIREABLE(T_0383_1_3) OR FIREABLE(T_0383_6_3) OR FIREABLE(T_0383_4_1) OR FIREABLE(IsAbort_2) OR FIREABLE(IsAbort_3) OR FIREABLE(IsAbort_1) OR FIREABLE(IsAbort_6) OR FIREABLE(IsAbort_4) OR FIREABLE(IsAbort_5)))))) AND ((NOT(A (G ((FIREABLE(T_1722_3_4) OR FIREABLE(T_1722_4_1) OR FIREABLE(T_1722_2_5) OR FIREABLE(T_1722_4_2) OR FIREABLE(T_1722_1_1) OR FIREABLE(T_1722_4_6) OR FIREABLE(T_1722_1_5) OR FIREABLE(T_1722_2_3) OR FIREABLE(T_1722_1_3) OR FIREABLE(T_1722_2_1) OR FIREABLE(T_1722_1_2) OR FIREABLE(T_1722_0_5) OR FIREABLE(T_1722_2_6) OR FIREABLE(T_1722_0_1) OR FIREABLE(T_1722_3_3) OR FIREABLE(T_1722_4_4) OR FIREABLE(T_1722_0_2) OR FIREABLE(T_1722_3_2) OR FIREABLE(T_1722_0_4) OR FIREABLE(T_1722_3_6) OR FIREABLE(T_1722_4_3) OR FIREABLE(T_1722_2_2) OR FIREABLE(T_1722_0_6) OR FIREABLE(T_1722_1_4) OR FIREABLE(T_1722_1_6) OR FIREABLE(T_1722_3_1) OR FIREABLE(T_1722_4_5) OR FIREABLE(T_1722_2_4) OR FIREABLE(T_1722_0_3) OR FIREABLE(T_1722_3_5))))) OR ((NOT FIREABLE(T_2294_2) AND NOT FIREABLE(T_2294_4) AND NOT FIREABLE(T_2294_3) AND NOT FIREABLE(T_2294_1) AND NOT FIREABLE(T_2294_6) AND NOT FIREABLE(T_2294_5) AND NOT FIREABLE(T_1170_2) AND NOT FIREABLE(T_1170_3) AND NOT FIREABLE(T_1170_5) AND NOT FIREABLE(T_1170_4) AND NOT FIREABLE(T_1170_6) AND NOT FIREABLE(T_1170_1)) AND E (X ((FIREABLE(Run_1) OR FIREABLE(Run_6) OR FIREABLE(Run_4) OR FIREABLE(Run_2) OR FIREABLE(Run_5) OR FIREABLE(Run_3)))))) OR NOT(E (G ((NOT FIREABLE(NoCheck_4) AND NOT FIREABLE(NoCheck_2) AND NOT FIREABLE(NoCheck_5) AND NOT FIREABLE(NoCheck_3) AND NOT FIREABLE(NoCheck_1) AND NOT FIREABLE(NoCheck_6))))))) : A (F ((FIREABLE(GoCheckSource_4) OR FIREABLE(GoCheckSource_6) OR FIREABLE(GoCheckSource_3) OR FIREABLE(GoCheckSource_1) OR FIREABLE(GoCheckSource_2) OR FIREABLE(GoCheckSource_5)))) : E (F (((FIREABLE(LeaveCSPW_2) OR FIREABLE(LeaveCSPW_3) OR FIREABLE(LeaveCSPW_5) OR FIREABLE(LeaveCSPW_4) OR FIREABLE(LeaveCSPW_6) OR FIREABLE(LeaveCSPW_1)) AND ((NOT FIREABLE(T_2317_4) AND NOT FIREABLE(T_2317_5) AND NOT FIREABLE(T_2317_1) AND NOT FIREABLE(T_2317_2) AND NOT FIREABLE(T_2317_6) AND NOT FIREABLE(T_2317_3)) OR (NOT FIREABLE(LeaveCSIS_6) AND NOT FIREABLE(LeaveCSIS_1) AND NOT FIREABLE(LeaveCSIS_3) AND NOT FIREABLE(LeaveCSIS_4) AND NOT FIREABLE(LeaveCSIS_2) AND NOT FIREABLE(LeaveCSIS_5))) AND (((FIREABLE(T_1170_2) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_4) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_1)) AND (FIREABLE(NeedMonitoring_5) OR FIREABLE(NeedMonitoring_4) OR FIREABLE(NeedMonitoring_1) OR FIREABLE(NeedMonitoring_2) OR FIREABLE(NeedMonitoring_3) OR FIREABLE(NeedMonitoring_6)) AND (FIREABLE(T_1713_0_1) OR FIREABLE(T_1713_0_2) OR FIREABLE(T_1713_4_4) OR FIREABLE(T_1713_0_4) OR FIREABLE(T_1713_3_2) OR FIREABLE(T_1713_4_6) OR FIREABLE(T_1713_1_6) OR FIREABLE(T_1713_0_6) OR FIREABLE(T_1713_2_2) OR FIREABLE(T_1713_3_4) OR FIREABLE(T_1713_2_6) OR FIREABLE(T_1713_2_4) OR FIREABLE(T_1713_4_5) OR FIREABLE(T_1713_4_2) OR FIREABLE(T_1713_2_1) OR FIREABLE(T_1713_1_3) OR FIREABLE(T_1713_1_4) OR FIREABLE(T_1713_0_3) OR FIREABLE(T_1713_2_3) OR FIREABLE(T_1713_2_5) OR FIREABLE(T_1713_1_1) OR FIREABLE(T_1713_4_1) OR FIREABLE(T_1713_1_5) OR FIREABLE(T_1713_3_5) OR FIREABLE(T_1713_3_1) OR FIREABLE(T_1713_3_3) OR FIREABLE(T_1713_0_5) OR FIREABLE(T_1713_1_2) OR FIREABLE(T_1713_3_6) OR FIREABLE(T_1713_4_3))) OR (NOT FIREABLE(T_1098_5) AND NOT FIREABLE(T_1098_4) AND NOT FIREABLE(T_1098_3) AND NOT FIREABLE(T_1098_2) AND NOT FIREABLE(T_1098_1) AND NOT FIREABLE(T_1098_6) AND (FIREABLE(GoIdle_2) OR FIREABLE(GoIdle_6) OR FIREABLE(GoIdle_1) OR FIREABLE(GoIdle_4) OR FIREABLE(GoIdle_3) OR FIREABLE(GoIdle_5) OR FIREABLE(T_1713_0_1) OR FIREABLE(T_1713_0_2) OR FIREABLE(T_1713_4_4) OR FIREABLE(T_1713_0_4) OR FIREABLE(T_1713_3_2) OR FIREABLE(T_1713_4_6) OR FIREABLE(T_1713_1_6) OR FIREABLE(T_1713_0_6) OR FIREABLE(T_1713_2_2) OR FIREABLE(T_1713_3_4) OR FIREABLE(T_1713_2_6) OR FIREABLE(T_1713_2_4) OR FIREABLE(T_1713_4_5) OR FIREABLE(T_1713_4_2) OR FIREABLE(T_1713_2_1) OR FIREABLE(T_1713_1_3) OR FIREABLE(T_1713_1_4) OR FIREABLE(T_1713_0_3) OR FIREABLE(T_1713_2_3) OR FIREABLE(T_1713_2_5) OR FIREABLE(T_1713_1_1) OR FIREABLE(T_1713_4_1) OR FIREABLE(T_1713_1_5) OR FIREABLE(T_1713_3_5) OR FIREABLE(T_1713_3_1) OR FIREABLE(T_1713_3_3) OR FIREABLE(T_1713_0_5) OR FIREABLE(T_1713_1_2) OR FIREABLE(T_1713_3_6) OR FIREABLE(T_1713_4_3)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((A (X ((FIREABLE(T_1729_1_1) OR FIREABLE(T_1729_3_4) OR FIREABLE(T_1729_4_1) OR FIREABLE(T_1729_2_3) OR FIREABLE(T_1729_4_4) OR FIREABLE(T_1729_0_6) OR FIREABLE(T_1729_2_1) OR FIREABLE(T_1729_0_5) OR FIREABLE(T_1729_4_5) OR FIREABLE(T_1729_3_5) OR FIREABLE(T_1729_1_3) OR FIREABLE(T_1729_4_6) OR FIREABLE(T_1729_2_5) OR FIREABLE(T_1729_3_3) OR FIREABLE(T_1729_0_1) OR FIREABLE(T_17... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A((AX((FIREABLE(T_1729_1_1) OR FIREABLE(T_1729_3_4) OR FIREABLE(T_1729_4_1) OR FIREABLE(T_1729_2_3) OR FIREABLE(T_1729_4_4) OR FIREABLE(T_1729_0_6) OR FIREABLE(T_1729_2_1) OR FIREABLE(T_1729_0_5) OR FIREABLE(T_1729_4_5) OR FIREABLE(T_1729_3_5) OR FIREABLE(T_1729_1_3) OR FIREABLE(T_1729_4_6) OR FIREABLE(T_1729_2_5) OR FIREABLE(T_1729_3_3) OR FIREABLE(T_1729_0_1) OR FIREABLE(T_1729_4_... (shortened)
lola: processed formula length: 38688
lola: 5 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 256354 markings, 846710 edges, 3689348869717491712 markings/sec, 0 secs
lola: 463809 markings, 1679178 edges, 41491 markings/sec, 5 secs
lola: 664340 markings, 2506861 edges, 40106 markings/sec, 10 secs
lola: 867824 markings, 3323188 edges, 40697 markings/sec, 15 secs
lola: 1069447 markings, 4127642 edges, 40325 markings/sec, 20 secs
lola: 1263658 markings, 4926810 edges, 38842 markings/sec, 25 secs
lola: 1450593 markings, 5753044 edges, 37387 markings/sec, 30 secs
lola: 1636126 markings, 6548037 edges, 37107 markings/sec, 35 secs
lola: 1839263 markings, 7284082 edges, 40627 markings/sec, 40 secs
lola: 2020321 markings, 8069747 edges, 36212 markings/sec, 45 secs
lola: 2207844 markings, 8823377 edges, 37505 markings/sec, 50 secs
lola: 2379491 markings, 9552220 edges, 34329 markings/sec, 55 secs
lola: 2564216 markings, 10218122 edges, 36945 markings/sec, 60 secs
lola: 2748417 markings, 10893020 edges, 36840 markings/sec, 65 secs
lola: 2946233 markings, 11560198 edges, 39563 markings/sec, 70 secs
lola: 3151620 markings, 12207128 edges, 41077 markings/sec, 75 secs
lola: 3353144 markings, 12898402 edges, 40305 markings/sec, 80 secs
lola: 3547091 markings, 13647592 edges, 38789 markings/sec, 85 secs
lola: 3745393 markings, 14350828 edges, 39660 markings/sec, 90 secs
lola: 3955457 markings, 15036907 edges, 42013 markings/sec, 95 secs
lola: 4159978 markings, 15737044 edges, 40904 markings/sec, 100 secs
lola: 4374876 markings, 16406297 edges, 42980 markings/sec, 105 secs
lola: 4577329 markings, 17048301 edges, 40491 markings/sec, 110 secs
lola: 4802630 markings, 17694922 edges, 45060 markings/sec, 115 secs
lola: 5017174 markings, 18368733 edges, 42909 markings/sec, 120 secs
lola: 5238439 markings, 19022851 edges, 44253 markings/sec, 125 secs
lola: 5454130 markings, 19689063 edges, 43138 markings/sec, 130 secs
lola: 5660278 markings, 20347369 edges, 41230 markings/sec, 135 secs
lola: 5921494 markings, 21037650 edges, 52243 markings/sec, 140 secs
lola: 6128253 markings, 21748692 edges, 41352 markings/sec, 145 secs
lola: 6350659 markings, 22388501 edges, 44481 markings/sec, 150 secs
lola: 6578052 markings, 22999520 edges, 45479 markings/sec, 155 secs
lola: 6802348 markings, 23581747 edges, 44859 markings/sec, 160 secs
lola: 7007977 markings, 24273083 edges, 41126 markings/sec, 165 secs
lola: 7222273 markings, 24952605 edges, 42859 markings/sec, 170 secs
lola: 7448514 markings, 25614567 edges, 45248 markings/sec, 175 secs
lola: 7667349 markings, 26219578 edges, 43767 markings/sec, 180 secs
lola: 7915166 markings, 26866693 edges, 49563 markings/sec, 185 secs
lola: 8147616 markings, 27501532 edges, 46490 markings/sec, 190 secs
lola: 8389777 markings, 28154044 edges, 48432 markings/sec, 195 secs
lola: 8634260 markings, 28828242 edges, 48897 markings/sec, 200 secs
lola: 8866396 markings, 29519332 edges, 46427 markings/sec, 205 secs
lola: 9121473 markings, 30223624 edges, 51015 markings/sec, 210 secs
lola: 9380839 markings, 30899188 edges, 51873 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_6)) AND A (X ((FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U ((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_6)) AND NOT(EX((NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_6)))))))
lola: processed formula length: 331
lola: 9 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 231163 markings, 748691 edges, 3689348869717491712 markings/sec, 0 secs
lola: 395990 markings, 1424984 edges, 32965 markings/sec, 5 secs
lola: 553993 markings, 2052187 edges, 31601 markings/sec, 10 secs
lola: 717286 markings, 2723558 edges, 32659 markings/sec, 15 secs
lola: 882312 markings, 3388981 edges, 33005 markings/sec, 20 secs
lola: 1046677 markings, 4040622 edges, 32873 markings/sec, 25 secs
lola: 1206054 markings, 4678371 edges, 31875 markings/sec, 30 secs
lola: 1361032 markings, 5355748 edges, 30996 markings/sec, 35 secs
lola: 1513303 markings, 6027054 edges, 30454 markings/sec, 40 secs
lola: 1675301 markings, 6696685 edges, 32400 markings/sec, 45 secs
lola: 1845821 markings, 7314298 edges, 34104 markings/sec, 50 secs
lola: 2001075 markings, 7985801 edges, 31051 markings/sec, 55 secs
lola: 2164482 markings, 8644990 edges, 32681 markings/sec, 60 secs
lola: 2329894 markings, 9329153 edges, 33082 markings/sec, 65 secs
lola: 2499722 markings, 9976982 edges, 33966 markings/sec, 70 secs
lola: 2662605 markings, 10619994 edges, 32577 markings/sec, 75 secs
lola: 2852056 markings, 11226125 edges, 37890 markings/sec, 80 secs
lola: 3040680 markings, 11837850 edges, 37725 markings/sec, 85 secs
lola: 3218867 markings, 12441859 edges, 35637 markings/sec, 90 secs
lola: 3402916 markings, 13084464 edges, 36810 markings/sec, 95 secs
lola: 3570125 markings, 13706893 edges, 33442 markings/sec, 100 secs
lola: 3749944 markings, 14371759 edges, 35964 markings/sec, 105 secs
lola: 3940150 markings, 14978108 edges, 38041 markings/sec, 110 secs
lola: 4119699 markings, 15585820 edges, 35910 markings/sec, 115 secs
lola: 4310610 markings, 16194931 edges, 38182 markings/sec, 120 secs
lola: 4499087 markings, 16827001 edges, 37695 markings/sec, 125 secs
lola: 4703923 markings, 17404763 edges, 40967 markings/sec, 130 secs
lola: 4901454 markings, 18007868 edges, 39506 markings/sec, 135 secs
lola: 5112617 markings, 18644487 edges, 42233 markings/sec, 140 secs
lola: 5323673 markings, 19256470 edges, 42211 markings/sec, 145 secs
lola: 5492135 markings, 19856546 edges, 33692 markings/sec, 150 secs
lola: 5707012 markings, 20469233 edges, 42975 markings/sec, 155 secs
lola: 5948256 markings, 21119908 edges, 48249 markings/sec, 160 secs
lola: 6127279 markings, 21743911 edges, 35805 markings/sec, 165 secs
lola: 6342919 markings, 22358689 edges, 43128 markings/sec, 170 secs
lola: 6543774 markings, 22914019 edges, 40171 markings/sec, 175 secs
lola: 6753347 markings, 23447652 edges, 41915 markings/sec, 180 secs
lola: 6921272 markings, 24013671 edges, 33585 markings/sec, 185 secs
lola: 7107314 markings, 24563201 edges, 37208 markings/sec, 190 secs
lola: 7293414 markings, 25135523 edges, 37220 markings/sec, 195 secs
lola: 7485286 markings, 25735448 edges, 38374 markings/sec, 200 secs
lola: 7692533 markings, 26298667 edges, 41449 markings/sec, 205 secs
lola: 7921287 markings, 26882946 edges, 45751 markings/sec, 210 secs
lola: 8134811 markings, 27457528 edges, 42705 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(T_0376_6_6) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_5_5)) AND NOT(E (G ((FIREABLE(T_2311_6) OR FIREABLE(T_2311_4) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_1) OR (NOT FIREABLE(T_2296_5) AND NOT FIREABLE(T_2296_6) AND NOT FIREABLE(T_2296_3) AND NOT FIREABLE(T_2... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(T_0376_6_6) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_5_5))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(T_0376_6_6) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_5_5))
lola: processed formula length: 147
lola: 3 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((NOT FIREABLE(T_2311_6) AND NOT FIREABLE(T_2311_4) AND NOT FIREABLE(T_2311_5) AND NOT FIREABLE(T_2311_2) AND NOT FIREABLE(T_2311_3) AND NOT FIREABLE(T_2311_1) AND (FIREABLE(T_2296_5) OR FIREABLE(T_2296_6) OR FIREABLE(T_2296_3) OR FIREABLE(T_2296_4) OR FIREABLE(T_2296_1) OR FIREABLE(T_2296_2)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (NOT FIREABLE(T_2311_6) AND NOT FIREABLE(T_2311_4) AND NOT FIREABLE(T_2311_5) AND NOT FIREABLE(T_2311_2) AND NOT FIREABLE(T_2311_3) AND NOT FIREABLE(T_2311_1) AND (FIREABLE(T_2296_5) OR FIREABLE(T_2296_6) OR FIREABLE(T_2296_3) OR FIREABLE(T_2296_4) OR FIREABLE(T_2296_1) OR FIREABLE(T_2296_2))))
lola: processed formula length: 309
lola: 4 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((NOT FIREABLE(LeaveCSTCS_5) AND NOT FIREABLE(LeaveCSTCS_2) AND NOT FIREABLE(LeaveCSTCS_6) AND NOT FIREABLE(LeaveCSTCS_1) AND NOT FIREABLE(LeaveCSTCS_4) AND NOT FIREABLE(LeaveCSTCS_3) AND NOT FIREABLE(T_1170_2) AND NOT FIREABLE(T_1170_3) AND NOT FIREABLE(T_1170_5) AND NOT FIREABLE(T_1170_4) AND NOT FIREABLE(T_1170_6) AND NOT FIREABLE(T_1170_1) AND NOT FIREABLE(T_1123_3_1) AND NOT FIREABLE(T_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((FIREABLE(LeaveCSTCS_5) OR FIREABLE(LeaveCSTCS_2) OR FIREABLE(LeaveCSTCS_6) OR FIREABLE(LeaveCSTCS_1) OR FIREABLE(LeaveCSTCS_4) OR FIREABLE(LeaveCSTCS_3) OR FIREABLE(T_1170_2) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_4) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_1) OR FIREABLE(T_1123_3_1) OR FIREABLE(T_1123_5_3) OR FIREABLE(T_1123_3_6) OR FIREABLE(T... (shortened)
lola: processed formula length: 1450
lola: 2 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: ========================================
lola: subprocess 4 will run for 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(T_1148_3) AND NOT FIREABLE(T_1148_5) AND NOT FIREABLE(T_1148_2) AND NOT FIREABLE(T_1148_4) AND NOT FIREABLE(T_1148_6) AND NOT FIREABLE(T_1148_1) AND NOT FIREABLE(IsAbort_2) AND NOT FIREABLE(IsAbort_3) AND NOT FIREABLE(IsAbort_1) AND NOT FIREABLE(IsAbort_6) AND NOT FIREABLE(IsAbort_4) AND NOT FIREABLE(IsAbort_5) AND ((NOT FIREABLE(T_2577_4_4) AND NOT FIREABLE(T_2577_4_1) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 5 will run for 281 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((A (G ((NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_6)))) U E (X (((FIREABLE(T_2280_2_5) OR FIREABLE(T_2280_1_6) OR FIREABLE(T_2280_0_4) OR FIREABLE(T_2280_4_1) OR FIREABLE(T_2280_0_6) OR FIREABLE(T_2280_3_5) OR FIREABLE(T_2280_0_2) OR FIREABLE(T_2280_4_3) OR FIREABLE(T_2280_4_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(NOT(E(TRUE U (FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6)))) U EX(((FIREABLE(T_2280_2_5) OR FIREABLE(T_2280_1_6) OR FIREABLE(T_2280_0_4) OR FIREABLE(T_2280_4_1) OR FIREABLE(T_2280_0_6) OR FIREABLE(T_2280_3_5) OR FIREABLE(T_2280_0_2) OR FIREABLE(T_2280_4_3) OR FIREABLE(T_2280_4_5) OR FIREABLE(T_2280... (shortened)
lola: processed formula length: 1049
lola: 4 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: subprocess 6 will run for 309 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (A (X ((FIREABLE(Run_1) OR FIREABLE(Run_6) OR FIREABLE(Run_4) OR FIREABLE(Run_2) OR FIREABLE(Run_5) OR FIREABLE(Run_3))))))
lola: lola: ========================================
lola: ========================================
SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U AX((FIREABLE(Run_1) OR FIREABLE(Run_6) OR FIREABLE(Run_4) OR FIREABLE(Run_2) OR FIREABLE(Run_5) OR FIREABLE(Run_3))))
lola: processed formula length: 131
lola: 2 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 158010 markings, 443533 edges, 2934590487220191232 markings/sec, 0 secs
lola: 200630 markings, 612213 edges, 8524 markings/sec, 5 secs
lola: 242483 markings, 773594 edges, 8371 markings/sec, 10 secs
lola: 283919 markings, 935701 edges, 8287 markings/sec, 15 secs
lola: 326645 markings, 1099900 edges, 8545 markings/sec, 20 secs
lola: 371513 markings, 1264301 edges, 8974 markings/sec, 25 secs
lola: 414880 markings, 1432685 edges, 8673 markings/sec, 30 secs
lola: 457548 markings, 1594463 edges, 8534 markings/sec, 35 secs
lola: 495978 markings, 1749808 edges, 7686 markings/sec, 40 secs
lola: 538448 markings, 1912501 edges, 8494 markings/sec, 45 secs
lola: 580658 markings, 2076776 edges, 8442 markings/sec, 50 secs
lola: 622329 markings, 2233533 edges, 8334 markings/sec, 55 secs
lola: 652215 markings, 2345641 edges, 5977 markings/sec, 60 secs
lola: 684708 markings, 2470481 edges, 6499 markings/sec, 65 secs
lola: 716517 markings, 2597284 edges, 6362 markings/sec, 70 secs
lola: 752492 markings, 2729455 edges, 7195 markings/sec, 75 secs
lola: 785135 markings, 2853750 edges, 6529 markings/sec, 80 secs
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: ========================================
lola: subprocess 7 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(LeaveIdle_5_5) AND NOT FIREABLE(LeaveIdle_6_6) AND NOT FIREABLE(LeaveIdle_1_1) AND NOT FIREABLE(LeaveIdle_3_3) AND NOT FIREABLE(LeaveIdle_2_2) AND NOT FIREABLE(LeaveIdle_4_4))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(LeaveIdle_5_5) OR FIREABLE(LeaveIdle_6_6) OR FIREABLE(LeaveIdle_1_1) OR FIREABLE(LeaveIdle_3_3) OR FIREABLE(LeaveIdle_2_2) OR FIREABLE(LeaveIdle_4_4))))
lola: processed formula length: 180
lola: 2 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 75879 markings, 174042 edges, 3223546815924142080 markings/sec, 0 secs
lola: 199433 markings, 436528 edges, 24711 markings/sec, 5 secs
lola: 323812 markings, 704149 edges, 24876 markings/sec, 10 secs
lola: 448841 markings, 973516 edges, 25006 markings/sec, 15 secs
lola: 572788 markings, 1239803 edges, 24789 markings/sec, 20 secs
lola: 696110 markings, 1502741 edges, 24664 markings/sec, 25 secs
lola: 819589 markings, 1768973 edges, 24696 markings/sec, 30 secs
lola: 944528 markings, 2041107 edges, 24988 markings/sec, 35 secs
lola: 1069025 markings, 2314957 edges, 24899 markings/sec, 40 secs
lola: 1296672 markings, 2962621 edges, 45529 markings/sec, 45 secs
lola: 1528652 markings, 3633079 edges, 46396 markings/sec, 50 secs
lola: 1762620 markings, 4326993 edges, 46794 markings/sec, 55 secs
lola: 1998061 markings, 5005857 edges, 47088 markings/sec, 60 secs
lola: 2228327 markings, 5676251 edges, 46053 markings/sec, 65 secs
lola: 2462828 markings, 6372600 edges, 46900 markings/sec, 70 secs
lola: 2693156 markings, 7039119 edges, 46066 markings/sec, 75 secs
lola: 2922556 markings, 7725499 edges, 45880 markings/sec, 80 secs
lola: 3153878 markings, 8416479 edges, 46264 markings/sec, 85 secs
lola: 3381483 markings, 9097255 edges, 45521 markings/sec, 90 secs
lola: 3611142 markings, 9838990 edges, 45932 markings/sec, 95 secs
lola: 3848322 markings, 10519117 edges, 47436 markings/sec, 100 secs
lola: 4084267 markings, 11210369 edges, 47189 markings/sec, 105 secs
lola: 4320405 markings, 11906178 edges, 47228 markings/sec, 110 secs
lola: 4554528 markings, 12583427 edges, 46825 markings/sec, 115 secs
lola: 4789763 markings, 13290735 edges, 47047 markings/sec, 120 secs
lola: 5020192 markings, 13949098 edges, 46086 markings/sec, 125 secs
lola: 5248452 markings, 14608485 edges, 45652 markings/sec, 130 secs
lola: 5481628 markings, 15310868 edges, 46635 markings/sec, 135 secs
lola: 5715465 markings, 16010224 edges, 46767 markings/sec, 140 secs
lola: 5944848 markings, 16714724 edges, 45877 markings/sec, 145 secs
lola: 6174867 markings, 17439462 edges, 46004 markings/sec, 150 secs
lola: 6412321 markings, 18151078 edges, 47491 markings/sec, 155 secs
lola: 6642285 markings, 18819834 edges, 45993 markings/sec, 160 secs
lola: 6874018 markings, 19520822 edges, 46347 markings/sec, 165 secs
lola: 7102605 markings, 20195012 edges, 45717 markings/sec, 170 secs
lola: 7334486 markings, 20906042 edges, 46376 markings/sec, 175 secs
lola: 7568289 markings, 21620423 edges, 46761 markings/sec, 180 secs
lola: 7800144 markings, 22312662 edges, 46371 markings/sec, 185 secs
lola: 8025093 markings, 22977254 edges, 44990 markings/sec, 190 secs
lola: 8254157 markings, 23651141 edges, 45813 markings/sec, 195 secs
lola: 8484906 markings, 24354084 edges, 46150 markings/sec, 200 secs
lola: 8715745 markings, 25076012 edges, 46168 markings/sec, 205 secs
lola: 8940070 markings, 25724361 edges, 44865 markings/sec, 210 secs
lola: 9172566 markings, 26417095 edges, 46499 markings/sec, 215 secs
lola: 9399909 markings, 27075655 edges, 45469 markings/sec, 220 secs
lola: 9630132 markings, 27754352 edges, 46045 markings/sec, 225 secs
lola: 9861661 markings, 28447276 edges, 46306 markings/sec, 230 secs
lola: 10089354 markings, 29119198 edges, 45539 markings/sec, 235 secs
lola: 10315275 markings, 29797112 edges, 45184 markings/sec, 240 secs
lola: 10548338 markings, 30499831 edges, 46613 markings/sec, 245 secs
lola: 10784599 markings, 31219212 edges, 47252 markings/sec, 250 secs
lola: 11029711 markings, 31953452 edges, 49022 markings/sec, 255 secs
lola: 11266364 markings, 32635152 edges, 47331 markings/sec, 260 secs
lola: 11505168 markings, 33343124 edges, 47761 markings/sec, 265 secs
lola: 11745354 markings, 34062257 edges, 48037 markings/sec, 270 secs
lola: 11979055 markings, 34735293 edges, 46740 markings/sec, 275 secs
lola: 12216962 markings, 35460575 edges, 47581 markings/sec, 280 secs
lola: 12458705 markings, 36191326 edges, 48349 markings/sec, 285 secs
lola: 12697957 markings, 36976338 edges, 47850 markings/sec, 290 secs
lola: 12940641 markings, 37752686 edges, 48537 markings/sec, 295 secs
lola: 13177910 markings, 38491393 edges, 47454 markings/sec, 300 secs
lola: 13414123 markings, 39234382 edges, 47243 markings/sec, 305 secs
lola: 13652152 markings, 39988691 edges, 47606 markings/sec, 310 secs
lola: 13880757 markings, 40690831 edges, 45721 markings/sec, 315 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: ========================================
lola: subprocess 8 will run for 334 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4)) OR NOT(((A (F ((FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 334 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(T_1444_1) OR FIREABLE(T_1444_6) OR FIREABLE(T_1444_2) OR FIREABLE(T_1444_5) OR FIREABLE(T_1444_3) OR FIREABLE(T_1444_4))
lola: processed formula length: 135
lola: 8 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: ========================================
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((NOT FIREABLE(T_0383_1_2) AND NOT FIREABLE(T_0383_4_2) AND NOT FIREABLE(T_0383_2_4) AND NOT FIREABLE(T_0383_4_6) AND NOT FIREABLE(T_0383_3_4) AND NOT FIREABLE(T_0383_3_6) AND NOT FIREABLE(T_0383_6_4) AND NOT FIREABLE(T_0383_2_1) AND NOT FIREABLE(T_0383_2_3) AND NOT FIREABLE(T_0383_5_4) AND NOT FIREABLE(T_0383_2_6) AND NOT FIREABLE(T_0383_6_2) AND NOT FIREABLE(T_0383_3_3) AND NOT FIREABLE(T_0... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_6_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_5_4) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_6_2) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_... (shortened)
lola: processed formula length: 912
lola: 10 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: ========================================
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(GoCheckSource_4) AND NOT FIREABLE(GoCheckSource_6) AND NOT FIREABLE(GoCheckSource_3) AND NOT FIREABLE(GoCheckSource_1) AND NOT FIREABLE(GoCheckSource_2) AND NOT FIREABLE(GoCheckSource_5) AND ((NOT FIREABLE(IsEvt_1_3) AND NOT FIREABLE(IsEvt_4_2) AND NOT FIREABLE(IsEvt_1_4) AND NOT FIREABLE(IsEvt_3_2) AND NOT FIREABLE(IsEvt_6_6) AND NOT FIREABLE(IsEvt_6_3) AND NOT FIREABLE(IsEvt_4_5) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(GoCheckSource_4) AND NOT FIREABLE(GoCheckSource_6) AND NOT FIREABLE(GoCheckSource_3) AND NOT FIREABLE(GoCheckSource_1) AND NOT FIREABLE(GoCheckSource_2) AND NOT FIREABLE(GoCheckSource_5) AND ((NOT FIREABLE(IsEvt_1_3) AND NOT FIREABLE(IsEvt_4_2) AND NOT FIREABLE(IsEvt_1_4) AND NOT FIREABLE(IsEvt_3_2) AND NOT FIREABLE(IsEvt_6_6) AND NOT FIREABLE(IsEvt_6_3) AND NOT FIREABLE(IsEvt_4_5) ... (shortened)
lola: processed formula length: 48015
lola: 9 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT(E (X ((FIREABLE(GoPerformWork_2_4_2) OR FIREABLE(GoPerformWork_1_2_1) OR FIREABLE(GoPerformWork_3_6_1) OR FIREABLE(GoPerformWork_1_3_1) OR FIREABLE(GoPerformWork_0_4_3) OR FIREABLE(GoPerformWork_4_1_5) OR FIREABLE(GoPerformWork_1_5_6) OR FIREABLE(GoPerformWork_0_3_5) OR FIREABLE(GoPerformWork_2_6_3) OR FIREABLE(GoPerformWork_3_5_1) OR FIREABLE(GoPerformWork_4_2_1) OR FIREABLE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 382 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X ((NOT FIREABLE(GoPerformWork_2_4_2) AND NOT FIREABLE(GoPerformWork_1_2_1) AND NOT FIREABLE(GoPerformWork_3_6_1) AND NOT FIREABLE(GoPerformWork_1_3_1) AND NOT FIREABLE(GoPerformWork_0_4_3) AND NOT FIREABLE(GoPerformWork_4_1_5) AND NOT FIREABLE(GoPerformWork_1_5_6) AND NOT FIREABLE(GoPerformWork_0_3_5) AND NOT FIREABLE(GoPerformWork_2_6_3) AND NOT FIREABLE(GoPerformWork_3_5_1) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX((NOT FIREABLE(GoPerformWork_2_4_2) AND NOT FIREABLE(GoPerformWork_1_2_1) AND NOT FIREABLE(GoPerformWork_3_6_1) AND NOT FIREABLE(GoPerformWork_1_3_1) AND NOT FIREABLE(GoPerformWork_0_4_3) AND NOT FIREABLE(GoPerformWork_4_1_5) AND NOT FIREABLE(GoPerformWork_1_5_6) AND NOT FIREABLE(GoPerformWork_0_3_5) AND NOT FIREABLE(GoPerformWork_2_6_3) AND NOT FIREABLE(GoPerformWork_3_5_1) AND... (shortened)
lola: processed formula length: 6861
lola: 5 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: ========================================
lola: subprocess 10 will run for 445 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(LeaveCSIS_6) OR FIREABLE(LeaveCSIS_1) OR FIREABLE(LeaveCSIS_3) OR FIREABLE(LeaveCSIS_4) OR FIREABLE(LeaveCSIS_2) OR FIREABLE(LeaveCSIS_5))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(LeaveCSIS_6) OR FIREABLE(LeaveCSIS_1) OR FIREABLE(LeaveCSIS_3) OR FIREABLE(LeaveCSIS_4) OR FIREABLE(LeaveCSIS_2) OR FIREABLE(LeaveCSIS_5))
lola: processed formula length: 153
lola: 3 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 10 will run for 445 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(((FIREABLE(T_2541_4) OR FIREABLE(T_2541_3) OR FIREABLE(T_2541_1) OR FIREABLE(T_2541_6) OR FIREABLE(T_2541_2) OR FIREABLE(T_2541_5)) AND E (G ((FIREABLE(T_1618_2) OR FIREABLE(T_1618_3) OR FIREABLE(T_1618_5) OR FIREABLE(T_1618_1) OR FIREABLE(T_1618_4) OR FIREABLE(T_1618_6))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U ((FIREABLE(T_2541_4) OR FIREABLE(T_2541_3) OR FIREABLE(T_2541_1) OR FIREABLE(T_2541_6) OR FIREABLE(T_2541_2) OR FIREABLE(T_2541_5)) AND NOT(A(TRUE U (NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_6)))))))
lola: processed formula length: 331
lola: 9 rewrites
lola: formula mentions 0 of 632 places; total mentions: 0
lola: closed formula file PolyORBLF-COL-S06J04T06-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2312 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 244383 markings, 627409 edges, 3689348869717491712 markings/sec, 0 secs
lola: 472758 markings, 1264794 edges, 45675 markings/sec, 5 secs
lola: 715165 markings, 1965267 edges, 48481 markings/sec, 10 secs
lola: 939780 markings, 2659512 edges, 44923 markings/sec, 15 secs
lola: 1178731 markings, 3357121 edges, 47790 markings/sec, 20 secs
lola: 1415017 markings, 4043497 edges, 47257 markings/sec, 25 secs
lola: 1652015 markings, 4755238 edges, 47400 markings/sec, 30 secs
lola: 1889598 markings, 5467095 edges, 47517 markings/sec, 35 secs
lola: 2131705 markings, 6117140 edges, 48421 markings/sec, 40 secs
lola: 2363264 markings, 6794316 edges, 46312 markings/sec, 45 secs
lola: 2613424 markings, 7455623 edges, 50032 markings/sec, 50 secs
lola: 2843498 markings, 8136985 edges, 46015 markings/sec, 55 secs
lola: 3079932 markings, 8795357 edges, 47287 markings/sec, 60 secs
lola: 3321783 markings, 9444673 edges, 48370 markings/sec, 65 secs
lola: 3576953 markings, 10095666 edges, 51034 markings/sec, 70 secs
lola: 3829406 markings, 10730053 edges, 50491 markings/sec, 75 secs
lola: 4105578 markings, 11417692 edges, 55234 markings/sec, 80 secs
lola: 4380879 markings, 12085001 edges, 55060 markings/sec, 85 secs
lola: 4635824 markings, 12740124 edges, 50989 markings/sec, 90 secs
lola: 4911489 markings, 13380610 edges, 55133 markings/sec, 95 secs
lola: 5183312 markings, 14067124 edges, 54365 markings/sec, 100 secs
lola: 5453189 markings, 14679334 edges, 53975 markings/sec, 105 secs
lola: 5739131 markings, 15298865 edges, 57188 markings/sec, 110 secs
lola: 6023618 markings, 15917465 edges, 56897 markings/sec, 115 secs
lola: 6320524 markings, 16545595 edges, 59381 markings/sec, 120 secs
lola: 6600619 markings, 17215915 edges, 56019 markings/sec, 125 secs
lola: 6860820 markings, 17858493 edges, 52040 markings/sec, 130 secs
lola: 7141322 markings, 18467021 edges, 56100 markings/sec, 135 secs
lola: 7436384 markings, 19077719 edges, 59012 markings/sec, 140 secs
lola: 7731578 markings, 19687424 edges, 59039 markings/sec, 145 secs
lola: 8029471 markings, 20389513 edges, 59579 markings/sec, 150 secs
lola: 8308120 markings, 21011036 edges, 55730 markings/sec, 155 secs
lola: 8610524 markings, 21615190 edges, 60481 markings/sec, 160 secs
lola: 8910078 markings, 22207129 edges, 59911 markings/sec, 165 secs
lola: 9191852 markings, 22863347 edges, 56355 markings/sec, 170 secs
lola: 9493929 markings, 23543795 edges, 60415 markings/sec, 175 secs
lola: 9806677 markings, 24260993 edges, 62550 markings/sec, 180 secs
lola: 10103161 markings, 24848371 edges, 59297 markings/sec, 185 secs
lola: 10413249 markings, 25523355 edges, 62018 markings/sec, 190 secs
lola: 10722765 markings, 26131470 edges, 61903 markings/sec, 195 secs
lola: 10993024 markings, 26753401 edges, 54052 markings/sec, 200 secs
lola: 11293301 markings, 27357746 edges, 60055 markings/sec, 205 secs
lola: 11587372 markings, 28004061 edges, 58814 markings/sec, 210 secs
lola: 11896723 markings, 28740086 edges, 61870 markings/sec, 215 secs
lola: 12214992 markings, 29445992 edges, 63654 markings/sec, 220 secs
lola: 12501919 markings, 30075586 edges, 57385 markings/sec, 225 secs
lola: 12795206 markings, 30697100 edges, 58657 markings/sec, 230 secs
lola: 13098045 markings, 31344562 edges, 60568 markings/sec, 235 secs
lola: 13390213 markings, 31934141 edges, 58434 markings/sec, 240 secs
lola: 13677528 markings, 32517186 edges, 57463 markings/sec, 245 secs
lola: 13980552 markings, 33192443 edges, 60605 markings/sec, 250 secs
lola: 14279022 markings, 33810842 edges, 59694 markings/sec, 255 secs
lola: 14571973 markings, 34394302 edges, 58590 markings/sec, 260 secs
lola: 14869805 markings, 34986379 edges, 59566 markings/sec, 265 secs
lola: 15165736 markings, 35617283 edges, 59186 markings/sec, 270 secs
lola: 15472758 markings, 36287258 edges, 61404 markings/sec, 275 secs
lola: 15768417 markings, 36881776 edges, 59132 markings/sec, 280 secs
lola: 16053134 markings, 37455489 edges, 56943 markings/sec, 285 secs
lola: 16330666 markings, 38060178 edges, 55506 markings/sec, 290 secs
Killed
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S06J04T06-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496490951096

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-PT-S06J04T06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBLF-PT-S06J04T06.tgz
mv S_PolyORBLF-PT-S06J04T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBLF-PT-S06J04T06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-149441681700517"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;