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-S04J04T06, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681600459
=====================================================================

--------------------
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-S04J04T06-ReachabilityFireability-0
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-1
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-10
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-11
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-12
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-13
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-14
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-15
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-2
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-3
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-4
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-5
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-6
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-7
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-8
FORMULA_NAME PolyORBLF-COL-S04J04T06-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1496458458863


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S04J04T06: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
ReachabilityFireability @ S_PolyORBLF-PT-S04J04T06 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3552/65536 symbol table entries, 872 collisions
lola: preprocessing...
lola: finding significant places
lola: 554 places, 2998 transitions, 504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1821 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T06-ReachabilityFireability.task
lola: E (F ((NOT FIREABLE(EnterCSPW_2) AND NOT FIREABLE(EnterCSPW_6) AND NOT FIREABLE(EnterCSPW_1) AND NOT FIREABLE(EnterCSPW_4) AND NOT FIREABLE(EnterCSPW_5) AND NOT FIREABLE(EnterCSPW_3) AND (FIREABLE(T_2311_6) OR FIREABLE(T_2311_1) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_4) OR FIREABLE(T_1100_4) OR FIREABLE(T_1100_5) OR FIREABLE(T_1100_2) OR FIREABLE(T_1100_3) OR FIREABLE(T_1100_1) OR FIREABLE(T_1100_6) OR FIREABLE(GoCheckSource_2) OR FIREABLE(GoCheckSource_1) OR FIREABLE(GoCheckSource_5) OR FIREABLE(GoCheckSource_6) OR FIREABLE(GoCheckSource_4) OR FIREABLE(GoCheckSource_3) OR FIREABLE(LeaveCSPW_1) OR FIREABLE(LeaveCSPW_3) OR FIREABLE(LeaveCSPW_5) OR FIREABLE(LeaveCSPW_2) OR FIREABLE(LeaveCSPW_4) OR FIREABLE(LeaveCSPW_6))))) : E (F ((FIREABLE(T_2541_1) OR FIREABLE(T_2541_2) OR FIREABLE(T_2541_6) OR FIREABLE(T_2541_5) OR FIREABLE(T_2541_4) OR FIREABLE(T_2541_3)))) : E (F ((NOT FIREABLE(T_1713_0_6) AND NOT FIREABLE(T_1713_4_3) AND NOT FIREABLE(T_1713_3_6) AND NOT FIREABLE(T_1713_3_4) AND NOT FIREABLE(T_1713_0_4) AND NOT FIREABLE(T_1713_1_6) AND NOT FIREABLE(T_1713_2_4) AND NOT FIREABLE(T_1713_3_2) AND NOT FIREABLE(T_1713_2_2) AND NOT FIREABLE(T_1713_1_4) AND NOT FIREABLE(T_1713_4_2) AND NOT FIREABLE(T_1713_2_1) AND NOT FIREABLE(T_1713_0_3) AND NOT FIREABLE(T_1713_3_5) AND NOT FIREABLE(T_1713_4_5) AND NOT FIREABLE(T_1713_2_5) AND NOT FIREABLE(T_1713_1_3) AND NOT FIREABLE(T_1713_4_1) AND NOT FIREABLE(T_1713_4_6) AND NOT FIREABLE(T_1713_2_3) AND NOT FIREABLE(T_1713_1_1) AND NOT FIREABLE(T_1713_3_1) AND NOT FIREABLE(T_1713_1_5) AND NOT FIREABLE(T_1713_2_6) AND NOT FIREABLE(T_1713_1_2) AND NOT FIREABLE(T_1713_0_5) AND NOT FIREABLE(T_1713_3_3) AND NOT FIREABLE(T_1713_0_2) AND NOT FIREABLE(T_1713_4_4) AND NOT FIREABLE(T_1713_0_1) AND (FIREABLE(DummyOR2_6) OR FIREABLE(DummyOR2_1) OR FIREABLE(DummyOR2_2) OR FIREABLE(DummyOR2_3) OR FIREABLE(DummyOR2_5) OR FIREABLE(DummyOR2_4)) AND (FIREABLE(T_1115_0_4_6) OR FIREABLE(T_1115_0_3_6) OR FIREABLE(T_1115_1_2_5) OR FIREABLE(T_1115_2_3_4) OR FIREABLE(T_1115_4_2_1) OR FIREABLE(T_1115_4_1_3) OR FIREABLE(T_1115_1_1_6) OR FIREABLE(T_1115_3_1_2) OR FIREABLE(T_1115_0_3_1) OR FIREABLE(T_1115_2_1_2) OR FIREABLE(T_1115_3_2_4) OR FIREABLE(T_1115_1_1_3) OR FIREABLE(T_1115_4_2_6) OR FIREABLE(T_1115_3_3_1) OR FIREABLE(T_1115_0_3_3) OR FIREABLE(T_1115_3_3_5) OR FIREABLE(T_1115_0_1_3) OR FIREABLE(T_1115_1_4_6) OR FIREABLE(T_1115_1_3_2) OR FIREABLE(T_1115_2_1_6) OR FIREABLE(T_1115_3_1_1) OR FIREABLE(T_1115_2_2_4) OR FIREABLE(T_1115_2_3_1) OR FIREABLE(T_1115_1_4_5) OR FIREABLE(T_1115_2_4_6) OR FIREABLE(T_1115_2_2_5) OR FIREABLE(T_1115_4_2_3) OR FIREABLE(T_1115_3_2_6) OR FIREABLE(T_1115_4_4_3) OR FIREABLE(T_1115_1_1_2) OR FIREABLE(T_1115_0_4_5) OR FIREABLE(T_1115_0_1_4) OR FIREABLE(T_1115_1_1_1) OR FIREABLE(T_1115_2_4_4) OR FIREABLE(T_1115_4_4_5) OR FIREABLE(T_1115_3_4_4) OR FIREABLE(T_1115_3_4_6) OR FIREABLE(T_1115_4_1_1) OR FIREABLE(T_1115_2_3_2) OR FIREABLE(T_1115_1_3_1) OR FIREABLE(T_1115_3_2_5) OR FIREABLE(T_1115_4_4_2) OR FIREABLE(T_1115_0_3_4) OR FIREABLE(T_1115_2_2_6) OR FIREABLE(T_1115_4_1_5) OR FIREABLE(T_1115_4_4_1) OR FIREABLE(T_1115_3_4_5) OR FIREABLE(T_1115_0_4_4) OR FIREABLE(T_1115_4_2_5) OR FIREABLE(T_1115_2_1_3) OR FIREABLE(T_1115_0_1_6) OR FIREABLE(T_1115_1_4_3) OR FIREABLE(T_1115_1_1_4) OR FIREABLE(T_1115_0_2_1) OR FIREABLE(T_1115_4_3_1) OR FIREABLE(T_1115_0_1_1) OR FIREABLE(T_1115_2_4_1) OR FIREABLE(T_1115_3_3_2) OR FIREABLE(T_1115_3_2_2) OR FIREABLE(T_1115_2_2_3) OR FIREABLE(T_1115_0_3_5) OR FIREABLE(T_1115_1_4_4) OR FIREABLE(T_1115_1_2_1) OR FIREABLE(T_1115_4_2_4) OR FIREABLE(T_1115_0_4_3) OR FIREABLE(T_1115_2_4_5) OR FIREABLE(T_1115_3_1_5) OR FIREABLE(T_1115_3_2_3) OR FIREABLE(T_1115_4_3_2) OR FIREABLE(T_1115_2_1_4) OR FIREABLE(T_1115_0_1_2) OR FIREABLE(T_1115_2_2_2) OR FIREABLE(T_1115_3_3_4) OR FIREABLE(T_1115_1_4_2) OR FIREABLE(T_1115_4_4_6) OR FIREABLE(T_1115_1_2_6) OR FIREABLE(T_1115_3_4_1) OR FIREABLE(T_1115_1_2_2) OR FIREABLE(T_1115_0_2_3) OR FIREABLE(T_1115_2_3_6) OR FIREABLE(T_1115_0_2_6) OR FIREABLE(T_1115_0_4_2) OR FIREABLE(T_1115_3_1_4) OR FIREABLE(T_1115_3_1_6) OR FIREABLE(T_1115_2_1_5) OR FIREABLE(T_1115_1_2_3) OR FIREABLE(T_1115_4_3_3) OR FIREABLE(T_1115_3_3_6) OR FIREABLE(T_1115_2_3_5) OR FIREABLE(T_1115_1_3_5) OR FIREABLE(T_1115_3_2_1) OR FIREABLE(T_1115_0_4_1) OR FIREABLE(T_1115_4_1_4) OR FIREABLE(T_1115_4_1_6) OR FIREABLE(T_1115_4_1_2) OR FIREABLE(T_1115_3_4_2) OR FIREABLE(T_1115_0_2_2) OR FIREABLE(T_1115_4_3_4) OR FIREABLE(T_1115_2_4_3) OR FIREABLE(T_1115_1_2_4) OR FIREABLE(T_1115_3_3_3) OR FIREABLE(T_1115_1_1_5) OR FIREABLE(T_1115_4_2_2) OR FIREABLE(T_1115_1_3_6) OR FIREABLE(T_1115_2_3_3) OR FIREABLE(T_1115_3_1_3) OR FIREABLE(T_1115_0_2_5) OR FIREABLE(T_1115_1_4_1) OR FIREABLE(T_1115_2_1_1) OR FIREABLE(T_1115_0_1_5) OR FIREABLE(T_1115_4_3_5) OR FIREABLE(T_1115_4_3_6) OR FIREABLE(T_1115_2_2_1) OR FIREABLE(T_1115_1_3_4) OR FIREABLE(T_1115_4_4_4) OR FIREABLE(T_1115_0_2_4) OR FIREABLE(T_1115_3_4_3) OR FIREABLE(T_1115_2_4_2) OR FIREABLE(T_1115_0_3_2) OR FIREABLE(T_1115_1_3_3)) AND (FIREABLE(T_1126_2_1_1_3_4) OR FIREABLE(T_1126_3_2_2_4_4) OR FIREABLE(T_1126_2_1_4_4_2) OR FIREABLE(T_1126_6_1_1_4_4) OR FIREABLE(T_1126_2_4_3_3_2) OR FIREABLE(T_1126_4_1_3_1_1) OR FIREABLE(T_1126_1_2_1_1_1) OR FIREABLE(T_1126_4_2_3_3_4) OR FIREABLE(T_1126_1_4_3_3_2) OR FIREABLE(T_1126_2_2_1_4_2) OR FIREABLE(T_1126_2_3_1_2_4) OR FIREABLE(T_1126_1_3_3_2_3) OR FIREABLE(T_1126_4_2_1_1_2) OR FIREABLE(T_1126_2_4_3_4_3) OR FIREABLE(T_1126_3_3_1_4_4) OR FIREABLE(T_1126_5_4_1_3_2) OR FIREABLE(T_1126_1_1_3_4_1) OR FIREABLE(T_1126_4_3_4_4_2) OR FIREABLE(T_1126_1_4_3_4_3) OR FIREABLE(T_1126_6_4_4_3_2) OR FIREABLE(T_1126_1_1_3_4_3) OR FIREABLE(T_1126_6_2_2_3_3) OR FIREABLE(T_1126_2_2_1_3_3) OR FIREABLE(T_1126_1_4_1_1_2) OR FIREABLE(T_1126_1_2_4_2_1) OR FIREABLE(T_1126_4_1_2_4_2) OR FIREABLE(T_1126_6_4_2_2_4) OR FIREABLE(T_1126_3_1_2_4_2) OR FIREABLE(T_1126_1_1_1_3_2) OR FIREABLE(T_1126_1_4_1_3_3) OR FIREABLE(T_1126_5_4_2_1_4) OR FIREABLE(T_1126_2_2_3_2_3) OR FIREABLE(T_1126_4_3_1_2_3) OR FIREABLE(T_1126_4_3_2_4_3) OR FIREABLE(T_1126_4_4_2_2_3) OR FIREABLE(T_1126_6_1_3_4_4) OR FIREABLE(T_1126_2_4_4_1_4) OR FIREABLE(T_1126_4_2_3_4_3) OR FIREABLE(T_1126_4_4_2_4_2) OR FIREABLE(T_1126_1_2_4_2_3) OR FIREABLE(T_1126_1_3_1_4_2) OR FIREABLE(T_1126_5_4_1_2_1) OR FIREABLE(T_1126_6_3_2_1_1) OR FIREABLE(T_1126_6_2_3_3_3) OR FIREABLE(T_1126_4_2_4_4_1) OR FIREABLE(T_1126_2_3_4_4_3) OR FIREABLE(T_1126_1_4_2_1_2) OR FIREABLE(T_1126_4_2_1_1_3) OR FIREABLE(T_1126_3_1_3_3_2) OR FIREABLE(T_1126_5_1_2_3_2) OR FIREABLE(T_1126_1_2_2_4_3) OR FIREABLE(T_1126_1_3_1_1_3) OR FIREABLE(T_1126_5_3_1_1_1) OR FIREABLE(T_1126_4_1_4_3_1) OR FIREABLE(T_1126_3_1_3_2_3) OR FIREABLE(T_1126_6_2_2_1_4) OR FIREABLE(T_1126_5_3_2_1_3) OR FIREABLE(T_1126_6_3_2_2_2) OR FIREABLE(T_1126_5_3_3_4_2) OR FIREABLE(T_1126_1_2_2_1_3) OR FIREABLE(T_1126_5_2_3_3_1) OR FIREABLE(T_1126_2_4_3_1_2) OR FIREABLE(T_1126_2_1_2_3_2) OR FIREABLE(T_1126_4_3_2_3_2) OR FIREABLE(T_1126_5_1_2_3_1) OR FIREABLE(T_1126_5_1_2_2_4) OR FIREABLE(T_1126_2_4_1_4_3) OR FIREABLE(T_1126_4_2_3_3_2) OR FIREABLE(T_1126_6_1_4_3_3) OR FIREABLE(T_1126_2_3_2_2_1) OR FIREABLE(T_1126_1_1_4_1_1) OR FIREABLE(T_1126_3_3_3_1_1) OR FIREABLE(T_1126_4_4_4_2_2) OR FIREABLE(T_1126_4_1_2_2_1) OR FIREABLE(T_1126_5_1_4_2_4) OR FIREABLE(T_1126_2_1_4_2_3) OR FIREABLE(T_1126_3_4_1_4_1) OR FIREABLE(T_1126_5_4_3_3_3) OR FIREABLE(T_1126_5_4_3_2_4) OR FIREABLE(T_1126_3_1_3_2_1) OR FIREABLE(T_1126_2_4_1_2_4) OR FIREABLE(T_1126_5_2_2_1_1) OR FIREABLE(T_1126_4_4_4_2_3) OR FIREABLE(T_1126_2_3_2_4_3) OR FIREABLE(T_1126_2_2_2_1_2) OR FIREABLE(T_1126_5_3_1_2_4) OR FIREABLE(T_1126_2_3_4_4_4) OR FIREABLE(T_1126_2_2_1_3_4) OR FIREABLE(T_1126_5_4_4_3_2) OR FIREABLE(T_1126_2_3_4_3_1) OR FIREABLE(T_1126_1_1_1_4_1) OR FIREABLE(T_1126_2_3_4_3_2) OR FIREABLE(T_1126_2_2_1_4_1) OR FIREABLE(T_1126_6_4_4_2_1) OR FIREABLE(T_1126_3_4_4_4_4) OR FIREABLE(T_1126_1_3_3_1_2) OR FIREABLE(T_1126_3_1_1_1_3) OR FIREABLE(T_1126_1_2_1_2_4) OR FIREABLE(T_1126_5_1_2_1_4) OR FIREABLE(T_1126_6_2_2_3_1) OR FIREABLE(T_1126_2_4_3_2_2) OR FIREABLE(T_1126_1_3_3_2_2) OR FIREABLE(T_1126_5_2_4_1_1) OR FIREABLE(T_1126_3_2_1_3_1) OR FIREABLE(T_1126_2_3_3_2_4) OR FIREABLE(T_1126_5_2_3_2_1) OR FIREABLE(T_1126_5_3_4_4_3) OR FIREABLE(T_1126_2_1_3_1_3) OR FIREABLE(T_1126_3_2_1_1_4) OR FIREABLE(T_1126_4_3_3_4_1) OR FIREABLE(T_1126_2_2_3_4_2) OR FIREABLE(T_1126_4_3_3_1_3) OR FIREABLE(T_1126_2_1_4_3_4) OR FIREABLE(T_1126_3_4_2_1_3) OR FIREABLE(T_1126_1_4_1_2_1) OR FIREABLE(T_1126_4_3_1_3_3) OR FIREABLE(T_1126_5_2_2_4_4) OR FIREABLE(T_1126_5_3_4_1_2) OR FIREABLE(T_1126_6_2_1_2_1) OR FIREABLE(T_1126_3_3_3_4_4) OR FIREABLE(T_1126_1_3_4_2_4) OR FIREABLE(T_1126_5_1_4_1_4) OR FIREABLE(T_1126_4_1_2_4_1) OR FIREABLE(T_1126_6_1_4_3_2) OR FIREABLE(T_1126_5_2_3_2_4) OR FIREABLE(T_1126_4_2_4_2_2) OR FIREABLE(T_1126_3_1_1_4_2) OR FIREABLE(T_1126_5_1_4_2_1) OR FIREABLE(T_1126_5_2_3_1_1) OR FIREABLE(T_1126_2_3_4_2_4) OR FIREABLE(T_1126_6_2_1_1_2) OR FIREABLE(T_1126_5_1_4_4_3) OR FIREABLE(T_1126_6_2_4_3_4) OR FIREABLE(T_1126_3_1_4_1_3) OR FIREABLE(T_1126_3_4_3_2_4) OR FIREABLE(T_1126_5_2_4_3_4) OR FIREABLE(T_1126_2_2_2_1_3) OR FIREABLE(T_1126_5_3_4_4_1) OR FIREABLE(T_1126_6_1_3_1_2) OR FIREABLE(T_1126_4_3_3_1_1) OR FIREABLE(T_1126_5_4_3_3_2) OR FIREABLE(T_1126_1_2_1_2_3) OR FIREABLE(T_1126_3_4_2_4_2) OR FIREABLE(T_1126_2_4_2_3_3) OR FIREABLE(T_1126_1_3_4_2_3) OR FIREABLE(T_1126_6_2_1_3_2) OR FIREABLE(T_1126_3_4_2_4_4) OR FIREABLE(T_1126_4_2_1_2_1) OR FIREABLE(T_1126_2_3_4_4_1) OR FIREABLE(T_1126_2_1_2_2_3) OR FIREABLE(T_1126_2_3_2_2_4) OR FIREABLE(T_1126_3_4_4_3_4) OR FIREABLE(T_1126_6_2_2_4_4) OR FIREABLE(T_1126_3_2_4_3_3) OR FIREABLE(T_1126_6_3_3_2_4) OR FIREABLE(T_1126_5_4_4_4_3) OR FIREABLE(T_1126_4_3_4_3_3) OR FIREABLE(T_1126_6_3_1_4_3) OR FIREABLE(T_1126_6_3_1_3_1) OR FIREABLE(T_1126_4_3_3_4_4) OR FIREABLE(T_1126_6_4_1_4_2) OR FIREABLE(T_1126_3_2_1_2_4) OR FIREABLE(T_1126_1_2_1_3_3) OR FIREABLE(T_1126_3_1_1_4_3) OR FIREABLE(T_1126_5_4_1_2_3) OR FIREABLE(T_1126_1_1_2_2_2) OR FIREABLE(T_1126_4_2_2_3_3) OR FIREABLE(T_1126_2_1_2_4_4) OR FIREABLE(T_1126_3_1_2_2_2) OR FIREABLE(T_1126_1_4_4_1_1) OR FIREABLE(T_1126_4_2_3_3_1) OR FIREABLE(T_1126_6_4_4_4_3) OR FIREABLE(T_1126_1_3_1_2_3) OR FIREABLE(T_1126_2_4_4_1_3) OR FIREABLE(T_1126_4_4_2_3_4) OR FIREABLE(T_1126_1_4_2_2_2) OR FIREABLE(T_1126_6_1_3_2_2) OR FIREABLE(T_1126_3_4_3_3_1) OR FIREABLE(T_1126_3_3_4_3_1) OR FIREABLE(T_1126_5_2_1_4_3) OR FIREABLE(T_1126_1_3_3_3_3) OR FIREABLE(T_1126_2_4_1_2_1) OR FIREABLE(T_1126_5_2_2_3_1) OR FIREABLE(T_1126_3_2_2_2_3) OR FIREABLE(T_1126_1_4_1_4_1) OR FIREABLE(T_1126_5_3_2_2_4) OR FIREABLE(T_1126_5_1_1_1_2) OR FIREABLE(T_1126_5_2_1_3_1) OR FIREABLE(T_1126_2_3_4_2_1) OR FIREABLE(T_1126_6_4_4_1_2) OR FIREABLE(T_1126_6_1_1_3_2) OR FIREABLE(T_1126_4_3_1_4_4) OR FIREABLE(T_1126_4_4_1_1_3) OR FIREABLE(T_1126_4_2_1_2_3) OR FIREABLE(T_1126_6_3_1_1_4) OR FIREABLE(T_1126_4_3_1_4_2) OR FIREABLE(T_1126_5_1_2_2_3) OR FIREABLE(T_1126_5_2_3_4_2) OR FIREABLE(T_1126_5_3_1_4_4) OR FIREABLE(T_1126_1_1_1_3_1) OR FIREABLE(T_1126_2_1_3_4_3) OR FIREABLE(T_1126_6_1_3_1_4) OR FIREABLE(T_1126_5_4_3_4_4) OR FIREABLE(T_1126_3_3_2_3_3) OR FIREABLE(T_1126_5_4_3_4_3) OR FIREABLE(T_1126_3_2_3_3_2) OR FIREABLE(T_1126_1_1_3_1_2) OR FIREABLE(T_1126_3_3_4_4_4) OR FIREABLE(T_1126_1_1_3_3_1) OR FIREABLE(T_1126_4_2_4_1_4) OR FIREABLE(T_1126_1_4_2_4_4) OR FIREABLE(T_1126_2_4_4_1_1) OR FIREABLE(T_1126_2_3_4_1_3) OR FIREABLE(T_1126_1_4_4_4_2) OR FIREABLE(T_1126_6_1_4_1_3) OR FIREABLE(T_1126_6_4_4_2_3) OR FIREABLE(T_1126_1_4_3_1_4) OR FIREABLE(T_1126_4_3_3_3_2) OR FIREABLE(T_1126_3_2_4_4_4) OR FIREABLE(T_1126_5_3_3_3_1) OR FIREABLE(T_1126_6_2_3_2_3) OR FIREABLE(T_1126_3_2_3_4_1) OR FIREABLE(T_1126_1_3_4_3_4) OR FIREABLE(T_1126_4_3_4_4_4) OR FIREABLE(T_1126_3_3_1_2_2) OR FIREABLE(T_1126_5_1_3_1_3) OR FIREABLE(T_1126_6_4_4_4_2) OR FIREABLE(T_1126_2_1_4_4_1) OR FIREABLE(T_1126_4_3_4_1_2) OR FIREABLE(T_1126_4_3_4_2_2) OR FIREABLE(T_1126_4_3_2_3_1) OR FIREABLE(T_1126_3_4_3_1_2) OR FIREABLE(T_1126_4_2_2_3_2) OR FIREABLE(T_1126_5_4_4_1_4) OR FIREABLE(T_1126_6_4_4_2_4) OR FIREABLE(T_1126_2_1_3_1_1) OR FIREABLE(T_1126_3_3_2_4_1) OR FIREABLE(T_1126_6_1_4_4_3) OR FIREABLE(T_1126_4_3_3_1_4) OR FIREABLE(T_1126_6_3_3_4_2) OR FIREABLE(T_1126_4_4_3_3_1) OR FIREABLE(T_1126_1_4_2_4_3) OR FIREABLE(T_1126_6_3_1_3_4) OR FIREABLE(T_1126_1_3_1_4_3) OR FIREABLE(T_1126_3_4_1_3_3) OR FIREABLE(T_1126_4_1_4_2_1) OR FIREABLE(T_1126_3_2_2_2_4) OR FIREABLE(T_1126_1_2_2_4_2) OR FIREABLE(T_1126_4_3_2_1_2) OR FIREABLE(T_1126_5_1_3_4_4) OR FIREABLE(T_1126_5_2_1_3_4) OR FIREABLE(T_1126_5_4_2_3_4) OR FIREABLE(T_1126_1_2_4_3_3) OR FIREABLE(T_1126_1_3_4_3_2) OR FIREABLE(T_1126_5_2_1_4_1) OR FIREABLE(T_1126_4_1_4_2_4) OR FIREABLE(T_1126_3_3_3_2_2) OR FIREABLE(T_1126_3_1_2_1_4) OR FIREABLE(T_1126_5_2_3_3_4) OR FIREABLE(T_1126_6_3_3_3_4) OR FIREABLE(T_1126_6_4_2_2_1) OR FIREABLE(T_1126_3_4_1_3_4) OR FIREABLE(T_1126_4_4_2_4_1) OR FIREABLE(T_1126_1_2_2_2_1) OR FIREABLE(T_1126_3_4_1_1_2) OR FIREABLE(T_1126_4_1_2_3_4) OR FIREABLE(T_1126_2_3_2_4_2) OR FIREABLE(T_1126_1_4_2_3_2) OR FIREABLE(T_1126_6_4_3_4_4) OR FIREABLE(T_1126_2_4_4_3_2) OR FIREABLE(T_1126_5_1_1_4_2) OR FIREABLE(T_1126_3_3_4_1_1) OR FIREABLE(T_1126_3_2_4_1_3) OR FIREABLE(T_1126_5_1_1_2_1) OR FIREABLE(T_1126_5_4_3_2_3) OR FIREABLE(T_1126_4_1_3_4_2) OR FIREABLE(T_1126_5_1_1_1_3) OR FIREABLE(T_1126_3_1_2_3_1) OR FIREABLE(T_1126_1_3_2_1_4) OR FIREABLE(T_1126_5_3_4_2_2) OR FIREABLE(T_1126_6_3_1_1_3) OR FIREABLE(T_1126_6_1_2_4_3) OR FIREABLE(T_1126_2_2_4_4_2) OR FIREABLE(T_1126_5_3_4_2_3) OR FIREABLE(T_1126_5_4_1_2_4) OR FIREABLE(T_1126_5_3_4_2_4) OR FIREABLE(T_1126_6_3_3_2_1) OR FIREABLE(T_1126_1_3_3_2_4) OR FIREABLE(T_1126_3_3_2_1_3) OR FIREABLE(T_1126_5_2_2_2_2) OR FIREABLE(T_1126_3_2_3_4_3) OR FIREABLE(T_1126_1_1_2_4_2) OR FIREABLE(T_1126_1_1_1_2_2) OR FIREABLE(T_1126_1_1_2_2_1) OR FIREABLE(T_1126_1_1_2_4_4) OR FIREABLE(T_1126_1_3_4_2_2) OR FIREABLE(T_1126_2_2_1_4_3) OR FIREABLE(T_1126_5_3_2_3_4) OR FIREABLE(T_1126_4_4_4_4_1) OR FIREABLE(T_1126_6_2_4_3_1) OR FIREABLE(T_1126_1_4_3_1_3) OR FIREABLE(T_1126_6_3_2_3_3) OR FIREABLE(T_1126_4_3_3_4_3) OR FIREABLE(T_1126_2_2_4_3_3) OR FIREABLE(T_1126_6_4_3_2_1) OR FIREABLE(T_1126_1_2_4_3_1) OR FIREABLE(T_1126_1_3_1_1_2) OR FIREABLE(T_1126_6_1_2_2_1) OR FIREABLE(T_1126_2_3_1_2_2) OR FIREABLE(T_1126_2_1_1_4_3) OR FIREABLE(T_1126_4_3_2_2_2) OR FIREABLE(T_1126_6_4_1_1_4) OR FIREABLE(T_1126_6_3_1_2_3) OR FIREABLE(T_1126_5_2_4_1_2) OR FIREABLE(T_1126_3_1_4_3_4) OR FIREABLE(T_1126_4_4_3_3_3) OR FIREABLE(T_1126_3_4_2_1_4) OR FIREABLE(T_1126_4_2_3_4_1) OR FIREABLE(T_1126_6_3_4_2_3) OR FIREABLE(T_1126_4_2_4_2_3) OR FIREABLE(T_1126_2_1_1_4_2) OR FIREABLE(T_1126_2_3_2_4_1) OR FIREABLE(T_1126_5_4_2_4_1) OR FIREABLE(T_1126_4_4_1_1_1) OR FIREABLE(T_1126_4_2_3_1_3) OR FIREABLE(T_1126_5_3_2_3_1) OR FIREABLE(T_1126_5_3_1_3_2) OR FIREABLE(T_1126_4_4_3_3_2) OR FIREABLE(T_1126_2_2_3_3_1) OR FIREABLE(T_1126_2_1_2_1_2) OR FIREABLE(T_1126_5_2_1_2_1) OR FIREABLE(T_1126_6_3_1_2_1) OR FIREABLE(T_1126_3_3_1_3_2) OR FIREABLE(T_1126_1_1_4_4_4) OR FIREABLE(T_1126_3_3_2_4_3) OR FIREABLE(T_1126_4_1_1_1_2) OR FIREABLE(T_1126_3_2_4_2_1) OR FIREABLE(T_1126_3_2_2_2_2) OR FIREABLE(T_1126_5_2_2_1_2) OR FIREABLE(T_1126_3_4_3_2_2) OR FIREABLE(T_1126_1_2_3_1_2) OR FIREABLE(T_1126_3_2_4_1_1) OR FIREABLE(T_1126_5_1_3_4_1) OR FIREABLE(T_1126_2_4_2_2_1) OR FIREABLE(T_1126_4_1_2_4_4) OR FIREABLE(T_1126_6_4_2_3_2) OR FIREABLE(T_1126_6_4_2_3_1) OR FIREABLE(T_1126_3_1_3_2_4) OR FIREABLE(T_1126_2_3_1_3_2) OR FIREABLE(T_1126_1_1_4_4_2) OR FIREABLE(T_1126_1_4_2_2_3) OR FIREABLE(T_1126_5_3_1_1_4) OR FIREABLE(T_1126_6_2_2_1_1) OR FIREABLE(T_1126_5_3_4_3_3) OR FIREABLE(T_1126_3_3_1_3_3) OR FIREABLE(T_1126_4_1_4_3_3) OR FIREABLE(T_1126_2_2_3_2_4) OR FIREABLE(T_1126_5_1_1_2_3) OR FIREABLE(T_1126_3_4_1_4_3) OR FIREABLE(T_1126_2_2_1_1_1) OR FIREABLE(T_1126_5_3_3_1_1) OR FIREABLE(T_1126_1_2_1_4_4) OR FIREABLE(T_1126_4_1_3_3_3) OR FIREABLE(T_1126_2_1_4_2_4) OR FIREABLE(T_1126_5_3_1_3_3) OR FIREABLE(T_1126_2_4_1_3_2) OR FIREABLE(T_1126_1_2_1_3_2) OR FIREABLE(T_1126_4_4_2_1_3) OR FIREABLE(T_1126_6_1_2_2_4) OR FIREABLE(T_1126_4_4_2_4_4) OR FIREABLE(T_1126_3_3_2_2_1) OR FIREABLE(T_1126_4_2_4_1_2) OR FIREABLE(T_1126_3_2_3_2_3) OR FIREABLE(T_1126_1_4_3_4_1) OR FIREABLE(T_1126_5_1_3_4_2) OR FIREABLE(T_1126_2_2_2_2_3) OR FIREABLE(T_1126_1_1_1_2_4) OR FIREABLE(T_1126_3_4_3_3_3) OR FIREABLE(T_1126_2_3_1_1_2) OR FIREABLE(T_1126_5_4_4_4_4) OR FIREABLE(T_1126_6_2_3_1_2) OR FIREABLE(T_1126_4_3_1_4_1) OR FIREABLE(T_1126_6_4_1_3_2) OR FIREABLE(T_1126_3_4_3_1_4) OR FIREABLE(T_1126_3_2_4_4_2) OR FIREABLE(T_1126_6_3_2_3_2) OR FIREABLE(T_1126_6_3_3_1_4) OR FIREABLE(T_1126_3_1_3_4_3) OR FIREABLE(T_1126_4_3_2_2_3) OR FIREABLE(T_1126_6_4_1_4_1) OR FIREABLE(T_1126_1_2_1_3_1) OR FIREABLE(T_1126_1_2_3_1_4) OR FIREABLE(T_1126_3_1_3_1_1) OR FIREABLE(T_1126_1_2_4_2_4) OR FIREABLE(T_1126_4_2_3_2_1) OR FIREABLE(T_1126_2_2_4_4_1) OR FIREABLE(T_1126_2_1_1_4_1) OR FIREABLE(T_1126_2_4_3_2_3) OR FIREABLE(T_1126_4_2_2_3_1) OR FIREABLE(T_1126_6_1_2_4_2) OR FIREABLE(T_1126_6_2_1_4_3) OR FIREABLE(T_1126_5_1_2_3_4) OR FIREABLE(T_1126_2_2_2_2_4) OR FIREABLE(T_1126_4_2_4_3_4) OR FIREABLE(T_1126_1_1_1_3_3) OR FIREABLE(T_1126_1_2_2_2_4) OR FIREABLE(T_1126_5_1_4_2_2) OR FIREABLE(T_1126_1_1_1_4_3) OR FIREABLE(T_1126_6_2_4_4_3) OR FIREABLE(T_1126_3_4_1_3_1) OR FIREABLE(T_1126_1_4_3_2_2) OR FIREABLE(T_1126_2_2_3_3_4) OR FIREABLE(T_1126_1_2_4_3_2) OR FIREABLE(T_1126_1_1_3_2_3) OR FIREABLE(T_1126_3_3_4_2_4) OR FIREABLE(T_1126_1_2_2_3_3) OR FIREABLE(T_1126_3_4_4_1_1) OR FIREABLE(T_1126_3_2_2_4_1) OR FIREABLE(T_1126_6_1_4_3_1) OR FIREABLE(T_1126_4_2_1_4_2) OR FIREABLE(T_1126_3_3_2_1_4) OR FIREABLE(T_1126_1_4_1_3_4) OR FIREABLE(T_1126_2_1_3_3_3) OR FIREABLE(T_1126_3_2_3_3_1) OR FIREABLE(T_1126_5_1_4_2_3) OR FIREABLE(T_1126_5_1_1_2_2) OR FIREABLE(T_1126_1_1_1_3_4) OR FIREABLE(T_1126_5_3_2_2_2) OR FIREABLE(T_1126_2_3_2_1_3) OR FIREABLE(T_1126_6_2_1_3_1) OR FIREABLE(T_1126_3_2_1_1_1) OR FIREABLE(T_1126_5_2_4_1_4) OR FIREABLE(T_1126_2_2_3_3_2) OR FIREABLE(T_1126_3_2_1_4_4) OR FIREABLE(T_1126_1_2_1_1_2) OR FIREABLE(T_1126_6_3_4_4_2) OR FIREABLE(T_1126_3_3_2_4_2) OR FIREABLE(T_1126_4_4_3_4_4) OR FIREABLE(T_1126_2_2_4_4_4) OR FIREABLE(T_1126_3_4_2_3_3) OR FIREABLE(T_1126_4_4_4_1_4) OR FIREABLE(T_1126_1_4_1_4_2) OR FIREABLE(T_1126_4_2_1_4_1) OR FIREABLE(T_1126_4_4_1_4_3) OR FIREABLE(T_1126_5_3_1_1_2) OR FIREABLE(T_1126_2_4_2_1_3) OR FIREABLE(T_1126_1_1_4_1_3) OR FIREABLE(T_1126_2_1_1_2_2) OR FIREABLE(T_1126_6_2_4_3_2) OR FIREABLE(T_1126_2_2_3_4_3) OR FIREABLE(T_1126_3_4_4_4_2) OR FIREABLE(T_1126_2_1_2_2_2) OR FIREABLE(T_1126_3_4_2_3_2) OR FIREABLE(T_1126_5_2_2_3_2) OR FIREABLE(T_1126_4_2_2_2_3) OR FIREABLE(T_1126_4_1_3_4_4) OR FIREABLE(T_1126_2_4_4_4_3) OR FIREABLE(T_1126_5_3_4_2_1) OR FIREABLE(T_1126_4_4_2_1_4) OR FIREABLE(T_1126_5_4_4_1_3) OR FIREABLE(T_1126_3_4_4_3_1) OR FIREABLE(T_1126_4_2_3_4_2) OR FIREABLE(T_1126_3_4_1_2_3) OR FIREABLE(T_1126_1_1_3_2_2) OR FIREABLE(T_1126_6_4_1_3_1) OR FIREABLE(T_1126_3_1_4_4_1) OR FIREABLE(T_1126_6_4_3_1_4) OR FIREABLE(T_1126_2_4_2_4_2) OR FIREABLE(T_1126_1_3_2_1_1) OR FIREABLE(T_1126_6_1_3_2_3) OR FIREABLE(T_1126_1_2_4_4_3) OR FIREABLE(T_1126_4_4_1_2_4) OR FIREABLE(T_1126_6_4_2_3_4) OR FIREABLE(T_1126_5_1_3_2_1) OR FIREABLE(T_1126_4_4_4_2_1) OR FIREABLE(T_1126_1_4_3_4_2) OR FIREABLE(T_1126_1_3_4_3_1) OR FIREABLE(T_1126_2_3_1_3_3) OR FIREABLE(T_1126_2_4_3_3_3) OR FIREABLE(T_1126_1_1_2_1_3) OR FIREABLE(T_1126_5_1_4_3_3) OR FIREABLE(T_1126_5_2_3_4_1) OR FIREABLE(T_1126_2_3_3_1_3) OR FIREABLE(T_1126_6_2_2_2_1) OR FIREABLE(T_1126_1_3_4_4_2) OR FIREABLE(T_1126_2_4_4_3_1) OR FIREABLE(T_1126_3_2_1_4_3) OR FIREABLE(T_1126_5_3_3_3_2) OR FIREABLE(T_1126_3_3_1_2_3) OR FIREABLE(T_1126_5_4_4_2_4) OR FIREABLE(T_1126_1_4_3_2_1) OR FIREABLE(T_1126_3_2_3_3_4) OR FIREABLE(T_1126_2_1_4_2_2) OR FIREABLE(T_1126_5_4_3_3_1) OR FIREABLE(T_1126_1_3_4_1_1) OR FIREABLE(T_1126_6_4_3_4_2) OR FIREABLE(T_1126_5_2_4_3_3) OR FIREABLE(T_1126_3_3_1_4_2) OR FIREABLE(T_1126_6_4_3_1_3) OR FIREABLE(T_1126_6_1_2_1_1) OR FIREABLE(T_1126_3_4_4_3_2) OR FIREABLE(T_1126_6_3_3_4_4) OR FIREABLE(T_1126_4_1_1_2_4) OR FIREABLE(T_1126_5_2_4_1_3) OR FIREABLE(T_1126_6_1_1_4_3) OR FIREABLE(T_1126_6_4_3_3_2) OR FIREABLE(T_1126_5_4_2_2_1) OR FIREABLE(T_1126_3_1_4_2_1) OR FIREABLE(T_1126_4_2_2_1_2) OR FIREABLE(T_1126_2_4_4_2_2) OR FIREABLE(T_1126_1_3_3_1_4) OR FIREABLE(T_1126_2_1_3_2_1) OR FIREABLE(T_1126_2_1_3_2_4) OR FIREABLE(T_1126_2_4_2_1_4) OR FIREABLE(T_1126_4_1_1_2_3) OR FIREABLE(T_1126_5_4_1_1_1) OR FIREABLE(T_1126_2_2_3_2_2) OR FIREABLE(T_1126_6_3_4_3_2) OR FIREABLE(T_1126_3_1_4_2_2) OR FIREABLE(T_1126_4_1_3_4_1) OR FIREABLE(T_1126_3_1_1_4_1) OR FIREABLE(T_1126_2_2_3_4_4) OR FIREABLE(T_1126_3_2_2_3_1) OR FIREABLE(T_1126_5_2_1_1_1) OR FIREABLE(T_1126_2_1_1_1_3) OR FIREABLE(T_1126_5_4_4_4_1) OR FIREABLE(T_1126_2_2_1_1_3) OR FIREABLE(T_1126_3_3_3_1_2) OR FIREABLE(T_1126_4_3_1_1_4) OR FIREABLE(T_1126_3_3_1_2_4) OR FIREABLE(T_1126_4_3_3_3_1) OR FIREABLE(T_1126_4_1_3_1_2) OR FIREABLE(T_1126_6_3_4_2_2) OR FIREABLE(T_1126_5_3_3_4_3) OR FIREABLE(T_1126_5_4_4_2_1) OR FIREABLE(T_1126_1_2_3_3_3) OR FIREABLE(T_1126_6_1_1_3_4) OR FIREABLE(T_1126_3_3_2_1_1) OR FIREABLE(T_1126_5_1_3_2_4) OR FIREABLE(T_1126_6_2_1_2_2) OR FIREABLE(T_1126_6_3_3_4_1) OR FIREABLE(T_1126_6_1_4_1_1) OR FIREABLE(T_1126_2_1_1_1_1) OR FIREABLE(T_1126_1_4_4_3_4) OR FIREABLE(T_1126_3_4_4_1_3) OR FIREABLE(T_1126_3_2_3_4_4) OR FIREABLE(T_1126_2_4_2_1_2) OR FIREABLE(T_1126_5_2_4_3_2) OR FIREABLE(T_1126_4_1_3_1_4) OR FIREABLE(T_1126_5_2_1_1_4) OR FIREABLE(T_1126_1_4_4_1_2) OR FIREABLE(T_1126_3_2_3_2_2) OR FIREABLE(T_1126_5_1_2_4_3) OR FIREABLE(T_1126_1_1_3_3_4) OR FIREABLE(T_1126_2_3_3_3_2) OR FIREABLE(T_1126_3_2_2_2_1) OR FIREABLE(T_1126_2_3_1_4_4) OR FIREABLE(T_1126_4_3_3_2_1) OR FIREABLE(T_1126_1_3_2_3_2) OR FIREABLE(T_1126_3_1_3_4_4) OR FIREABLE(T_1126_4_4_1_2_1) OR FIREABLE(T_1126_4_4_1_3_3) OR FIREABLE(T_1126_6_3_4_3_3) OR FIREABLE(T_1126_6_2_2_4_3) OR FIREABLE(T_1126_5_3_1_1_3) OR FIREABLE(T_1126_6_1_1_2_4) OR FIREABLE(T_1126_1_3_2_3_3) OR FIREABLE(T_1126_2_3_3_3_3) OR FIREABLE(T_1126_1_3_2_1_2) OR FIREABLE(T_1126_1_3_1_3_1) OR FIREABLE(T_1126_6_3_4_1_3) OR FIREABLE(T_1126_5_2_2_2_3) OR FIREABLE(T_1126_1_1_4_3_2) OR FIREABLE(T_1126_5_4_4_1_1) OR FIREABLE(T_1126_3_3_2_2_2) OR FIREABLE(T_1126_2_1_3_4_1) OR FIREABLE(T_1126_2_2_1_2_1) OR FIREABLE(T_1126_5_3_1_4_1) OR FIREABLE(T_1126_3_3_1_4_3) OR FIREABLE(T_1126_4_4_2_2_4) OR FIREABLE(T_1126_1_3_1_3_4) OR FIREABLE(T_1126_5_1_2_1_1) OR FIREABLE(T_1126_1_3_3_2_1) OR FIREABLE(T_1126_6_4_1_2_3) OR FIREABLE(T_1126_6_1_3_3_1) OR FIREABLE(T_1126_3_1_3_3_3) OR FIREABLE(T_1126_3_1_4_1_4) OR FIREABLE(T_1126_5_3_2_4_1) OR FIREABLE(T_1126_6_4_3_4_1) OR FIREABLE(T_1126_6_4_4_3_4) OR FIREABLE(T_1126_6_4_4_3_3) OR FIREABLE(T_1126_3_4_2_4_1) OR FIREABLE(T_1126_1_4_4_2_3) OR FIREABLE(T_1126_2_4_3_3_4) OR FIREABLE(T_1126_4_4_3_1_2) OR FIREABLE(T_1126_4_3_3_2_4) OR FIREABLE(T_1126_6_1_4_4_4) OR FIREABLE(T_1126_3_3_3_3_4) OR FIREABLE(T_1126_4_2_2_3_4) OR FIREABLE(T_1126_5_1_4_3_4) OR FIREABLE(T_1126_6_3_2_3_1) OR FIREABLE(T_1126_5_4_1_4_3) OR FIREABLE(T_1126_4_1_4_2_2) OR FIREABLE(T_1126_2_2_4_4_3) OR FIREABLE(T_1126_6_1_1_1_2) OR FIREABLE(T_1126_1_1_1_1_1) OR FIREABLE(T_1126_6_2_3_4_1) OR FIREABLE(T_1126_1_1_4_1_2) OR FIREABLE(T_1126_3_2_3_1_1) OR FIREABLE(T_1126_6_3_4_1_2) OR FIREABLE(T_1126_2_4_1_1_1) OR FIREABLE(T_1126_1_4_4_3_1) OR FIREABLE(T_1126_6_3_3_2_2) OR FIREABLE(T_1126_3_1_2_4_1) OR FIREABLE(T_1126_6_1_2_4_1) OR FIREABLE(T_1126_2_3_2_4_4) OR FIREABLE(T_1126_2_4_2_4_1) OR FIREABLE(T_1126_3_1_2_3_2) OR FIREABLE(T_1126_2_3_4_1_1) OR FIREABLE(T_1126_4_3_4_2_4) OR FIREABLE(T_1126_5_3_4_1_4) OR FIREABLE(T_1126_5_4_2_1_3) OR FIREABLE(T_1126_6_2_2_2_4) OR FIREABLE(T_1126_2_4_4_4_1) OR FIREABLE(T_1126_2_3_3_2_3) OR FIREABLE(T_1126_2_1_4_1_4) OR FIREABLE(T_1126_5_1_2_4_4) OR FIREABLE(T_1126_4_1_1_3_2) OR FIREABLE(T_1126_1_1_2_1_4) OR FIREABLE(T_1126_4_1_2_3_3) OR FIREABLE(T_1126_6_1_4_2_1) OR FIREABLE(T_1126_1_3_1_2_2) OR FIREABLE(T_1126_5_3_3_1_3) OR FIREABLE(T_1126_2_3_1_4_1) OR FIREABLE(T_1126_2_2_4_1_2) OR FIREABLE(T_1126_6_4_2_2_2) OR FIREABLE(T_1126_6_3_2_1_2) OR FIREABLE(T_1126_3_4_3_4_1) OR FIREABLE(T_1126_1_1_2_3_1) OR FIREABLE(T_1126_4_3_2_3_4) OR FIREABLE(T_1126_3_2_1_3_2) OR FIREABLE(T_1126_1_2_3_3_2) OR FIREABLE(T_1126_3_4_4_4_3) OR FIREABLE(T_1126_3_4_1_2_2) OR FIREABLE(T_1126_4_1_2_2_2) OR FIREABLE(T_1126_3_1_3_3_1) OR FIREABLE(T_1126_1_2_3_1_3) OR FIREABLE(T_1126_5_1_2_2_2) OR FIREABLE(T_1126_5_4_4_2_2) OR FIREABLE(T_1126_3_1_2_1_2) OR FIREABLE(T_1126_5_4_1_3_3) OR FIREABLE(T_1126_2_4_2_4_4) OR FIREABLE(T_1126_6_1_1_3_1) OR FIREABLE(T_1126_4_4_2_2_2) OR FIREABLE(T_1126_6_2_4_4_1) OR FIREABLE(T_1126_2_4_1_3_4) OR FIREABLE(T_1126_4_3_1_1_2) OR FIREABLE(T_1126_5_2_1_1_3) OR FIREABLE(T_1126_3_3_3_3_1) OR FIREABLE(T_1126_2_1_3_3_2) OR FIREABLE(T_1126_5_3_1_2_1) OR FIREABLE(T_1126_3_1_4_2_4) OR FIREABLE(T_1126_2_2_2_4_2) OR FIREABLE(T_1126_3_3_3_4_3) OR FIREABLE(T_1126_3_3_3_3_3) OR FIREABLE(T_1126_2_2_4_1_3) OR FIREABLE(T_1126_1_2_1_4_2) OR FIREABLE(T_1126_4_1_3_2_3) OR FIREABLE(T_1126_6_2_1_2_4) OR FIREABLE(T_1126_2_1_3_4_2) OR FIREABLE(T_1126_2_2_4_1_4) OR FIREABLE(T_1126_3_4_3_1_1) OR FIREABLE(T_1126_4_1_3_1_3) OR FIREABLE(T_1126_5_3_3_2_2) OR FIREABLE(T_1126_2_3_3_1_2) OR FIREABLE(T_1126_1_3_2_4_3) OR FIREABLE(T_1126_2_2_1_4_4) OR FIREABLE(T_1126_6_4_2_1_1) OR FIREABLE(T_1126_5_3_1_4_2) OR FIREABLE(T_1126_2_3_2_1_1) OR FIREABLE(T_1126_1_3_2_4_4) OR FIREABLE(T_1126_4_2_1_1_1) OR FIREABLE(T_1126_6_3_4_4_3) OR FIREABLE(T_1126_5_2_4_2_1) OR FIREABLE(T_1126_4_1_4_3_4) OR FIREABLE(T_1126_2_2_3_1_1) OR FIREABLE(T_1126_3_3_4_2_2) OR FIREABLE(T_1126_2_2_2_3_1) OR FIREABLE(T_1126_2_2_2_3_2) OR FIREABLE(T_1126_4_2_3_1_1) OR FIREABLE(T_1126_2_1_1_2_3) OR FIREABLE(T_1126_3_4_2_4_3) OR FIREABLE(T_1126_4_2_4_3_1) OR FIREABLE(T_1126_1_4_4_3_2) OR FIREABLE(T_1126_1_2_4_1_1) OR FIREABLE(T_1126_5_3_3_4_4) OR FIREABLE(T_1126_5_3_4_4_4) OR FIREABLE(T_1126_4_4_3_2_3) OR FIREABLE(T_1126_4_4_1_4_1) OR FIREABLE(T_1126_1_2_2_1_1) OR FIREABLE(T_1126_5_4_4_4_2) OR FIREABLE(T_1126_1_2_1_3_4) OR FIREABLE(T_1126_5_1_2_1_2) OR FIREABLE(T_1126_3_1_2_1_3) OR FIREABLE(T_1126_5_4_2_2_4) OR FIREABLE(T_1126_3_3_1_1_2) OR FIREABLE(T_1126_4_1_2_4_3) OR FIREABLE(T_1126_3_1_2_3_4) OR FIREABLE(T_1126_3_3_3_2_3) OR FIREABLE(T_1126_2_3_2_1_4) OR FIREABLE(T_1126_3_1_1_1_1) OR FIREABLE(T_1126_6_4_3_1_2) OR FIREABLE(T_1126_1_4_4_3_3) OR FIREABLE(T_1126_6_1_2_3_3) OR FIREABLE(T_1126_6_1_1_1_3) OR FIREABLE(T_1126_5_1_1_3_1) OR FIREABLE(T_1126_6_3_2_2_1) OR FIREABLE(T_1126_6_4_1_1_2) OR FIREABLE(T_1126_1_1_4_4_1) OR FIREABLE(T_1126_4_3_2_3_3) OR FIREABLE(T_1126_3_1_1_2_2) OR FIREABLE(T_1126_1_4_3_2_4) OR FIREABLE(T_1126_1_1_4_4_3) OR FIREABLE(T_1126_1_1_1_1_2) OR FIREABLE(T_1126_2_4_4_2_1) OR FIREABLE(T_1126_6_2_2_3_2) OR FIREABLE(T_1126_2_4_1_3_1) OR FIREABLE(T_1126_6_3_2_2_3) OR FIREABLE(T_1126_6_3_4_3_4) OR FIREABLE(T_1126_6_1_3_3_2) OR FIREABLE(T_1126_4_1_1_4_1) OR FIREABLE(T_1126_1_4_2_3_4) OR FIREABLE(T_1126_6_1_3_3_3) OR FIREABLE(T_1126_4_3_1_1_3) OR FIREABLE(T_1126_3_3_3_3_2) OR FIREABLE(T_1126_4_4_1_4_2) OR FIREABLE(T_1126_3_3_2_2_4) OR FIREABLE(T_1126_1_3_1_4_1) OR FIREABLE(T_1126_4_3_4_2_1) OR FIREABLE(T_1126_1_3_2_2_1) OR FIREABLE(T_1126_4_3_4_2_3) OR FIREABLE(T_1126_4_1_3_4_3) OR FIREABLE(T_1126_5_3_3_2_1) OR FIREABLE(T_1126_3_2_2_3_3) OR FIREABLE(T_1126_4_1_1_2_2) OR FIREABLE(T_1126_5_4_2_1_2) OR FIREABLE(T_1126_4_2_3_2_4) OR FIREABLE(T_1126_3_4_2_2_3) OR FIREABLE(T_1126_6_2_1_2_3) OR FIREABLE(T_1126_6_4_3_2_2) OR FIREABLE(T_1126_3_2_1_1_3) OR FIREABLE(T_1126_4_4_1_3_2) OR FIREABLE(T_1126_6_1_3_3_4) OR FIREABLE(T_1126_5_4_1_4_4) OR FIREABLE(T_1126_2_2_2_2_1) OR FIREABLE(T_1126_4_4_3_4_3) OR FIREABLE(T_1126_6_2_4_4_2) OR FIREABLE(T_1126_2_1_3_3_4) OR FIREABLE(T_1126_3_1_2_2_1) OR FIREABLE(T_1126_2_3_1_4_3) OR FIREABLE(T_1126_6_4_1_2_4) OR FIREABLE(T_1126_2_1_1_3_2) OR FIREABLE(T_1126_1_1_4_2_3) OR FIREABLE(T_1126_4_2_4_3_3) OR FIREABLE(T_1126_1_4_3_1_1) OR FIREABLE(T_1126_5_1_3_1_2) OR FIREABLE(T_1126_4_2_1_1_4) OR FIREABLE(T_1126_6_2_2_1_3) OR FIREABLE(T_1126_4_4_3_1_3) OR FIREABLE(T_1126_6_2_1_3_4) OR FIREABLE(T_1126_6_3_2_4_1) OR FIREABLE(T_1126_5_2_1_2_2) OR FIREABLE(T_1126_3_4_1_1_1) OR FIREABLE(T_1126_4_1_4_1_1) OR FIREABLE(T_1126_4_4_1_3_1) OR FIREABLE(T_1126_4_2_3_2_2) OR FIREABLE(T_1126_5_2_2_4_1) OR FIREABLE(T_1126_3_1_2_2_3) OR FIREABLE(T_1126_1_4_4_2_1) OR FIREABLE(T_1126_3_2_4_2_4) OR FIREABLE(T_1126_2_4_1_3_3) OR FIREABLE(T_1126_6_3_4_4_4) OR FIREABLE(T_1126_4_3_1_2_1) OR FIREABLE(T_1126_3_4_4_4_1) OR FIREABLE(T_1126_2_2_1_3_2) OR FIREABLE(T_1126_1_3_1_1_1) OR FIREABLE(T_1126_2_4_3_4_1) OR FIREABLE(T_1126_1_2_1_4_3) OR FIREABLE(T_1126_2_2_1_1_2) OR FIREABLE(T_1126_2_4_1_2_2) OR FIREABLE(T_1126_5_4_3_1_2) OR FIREABLE(T_1126_1_3_1_2_4) OR FIREABLE(T_1126_1_2_4_1_2) OR FIREABLE(T_1126_2_1_3_3_1) OR FIREABLE(T_1126_3_2_3_1_3) OR FIREABLE(T_1126_2_2_4_2_3) OR FIREABLE(T_1126_2_3_3_3_1) OR FIREABLE(T_1126_6_1_4_1_4) OR FIREABLE(T_1126_3_4_3_3_4) OR FIREABLE(T_1126_1_4_2_3_1) OR FIREABLE(T_1126_6_1_4_4_2) OR FIREABLE(T_1126_1_1_1_4_4) OR FIREABLE(T_1126_4_2_2_2_2) OR FIREABLE(T_1126_5_1_1_1_4) OR FIREABLE(T_1126_1_1_2_1_2) OR FIREABLE(T_1126_3_1_1_2_3) OR FIREABLE(T_1126_4_2_1_3_3) OR FIREABLE(T_1126_5_4_1_1_4) OR FIREABLE(T_1126_3_1_1_3_3) OR FIREABLE(T_1126_2_2_4_3_4) OR FIREABLE(T_1126_1_2_4_3_4) OR FIREABLE(T_1126_2_3_1_3_1) OR FIREABLE(T_1126_6_4_4_4_4) OR FIREABLE(T_1126_1_2_4_4_2) OR FIREABLE(T_1126_6_2_3_2_1) OR FIREABLE(T_1126_6_3_1_2_2) OR FIREABLE(T_1126_2_4_3_4_4) OR FIREABLE(T_1126_6_3_3_1_1) OR FIREABLE(T_1126_4_4_4_1_1) OR FIREABLE(T_1126_2_1_1_4_4) OR FIREABLE(T_1126_1_3_1_3_3) OR FIREABLE(T_1126_5_1_4_4_4) OR FIREABLE(T_1126_1_4_1_3_2) OR FIREABLE(T_1126_2_1_2_3_4) OR FIREABLE(T_1126_2_3_2_3_3) OR FIREABLE(T_1126_2_3_2_2_2) OR FIREABLE(T_1126_4_2_3_1_2) OR FIREABLE(T_1126_6_1_2_1_4) OR FIREABLE(T_1126_1_2_4_2_2) OR FIREABLE(T_1126_1_3_2_2_3) OR FIREABLE(T_1126_1_4_1_1_3) OR FIREABLE(T_1126_4_2_3_4_4) OR FIREABLE(T_1126_1_2_4_4_4) OR FIREABLE(T_1126_6_2_1_1_4) OR FIREABLE(T_1126_5_1_2_1_3) OR FIREABLE(T_1126_3_3_1_4_1) OR FIREABLE(T_1126_1_2_3_2_1) OR FIREABLE(T_1126_5_4_1_4_2) OR FIREABLE(T_1126_1_2_4_4_1) OR FIREABLE(T_1126_4_4_1_1_2) OR FIREABLE(T_1126_2_1_1_1_4) OR FIREABLE(T_1126_4_4_3_3_4) OR FIREABLE(T_1126_6_2_3_4_2) OR FIREABLE(T_1126_3_2_2_4_2) OR FIREABLE(T_1126_6_2_4_1_1) OR FIREABLE(T_1126_6_3_4_4_1) OR FIREABLE(T_1126_1_1_4_3_1) OR FIREABLE(T_1126_1_1_3_1_1) OR FIREABLE(T_1126_6_1_2_4_4) OR FIREABLE(T_1126_3_2_4_4_3) OR FIREABLE(T_1126_4_4_3_2_1) OR FIREABLE(T_1126_6_4_3_2_4) OR FIREABLE(T_1126_5_4_2_2_2) OR FIREABLE(T_1126_3_2_4_1_2) OR FIREABLE(T_1126_4_4_4_2_4) OR FIREABLE(T_1126_5_4_2_3_2) OR FIREABLE(T_1126_3_1_3_4_2) OR FIREABLE(T_1126_6_2_3_1_4) OR FIREABLE(T_1126_2_1_3_1_2) OR FIREABLE(T_1126_2_4_2_3_2) OR FIREABLE(T_1126_6_1_4_2_3) OR FIREABLE(T_1126_4_1_2_1_1) OR FIREABLE(T_1126_1_3_4_1_3) OR FIREABLE(T_1126_1_3_3_4_2) OR FIREABLE(T_1126_2_4_2_2_4) OR FIREABLE(T_1126_6_4_3_3_1) OR FIREABLE(T_1126_5_1_3_3_2) OR FIREABLE(T_1126_1_2_3_3_4) OR FIREABLE(T_1126_6_4_3_4_3) OR FIREABLE(T_1126_3_1_3_1_4) OR FIREABLE(T_1126_1_3_3_4_1) OR FIREABLE(T_1126_2_3_3_3_4) OR FIREABLE(T_1126_3_2_2_1_4) OR FIREABLE(T_1126_2_2_2_1_1) OR FIREABLE(T_1126_4_4_3_2_4) OR FIREABLE(T_1126_6_1_1_4_2) OR FIREABLE(T_1126_2_4_3_1_4) OR FIREABLE(T_1126_6_4_1_1_3) OR FIREABLE(T_1126_6_3_4_3_1) OR FIREABLE(T_1126_1_1_2_4_1) OR FIREABLE(T_1126_3_1_2_2_4) OR FIREABLE(T_1126_4_1_1_3_1) OR FIREABLE(T_1126_1_1_2_3_3) OR FIREABLE(T_1126_5_2_2_4_3) OR FIREABLE(T_1126_3_1_3_3_4) OR FIREABLE(T_1126_1_2_3_2_3) OR FIREABLE(T_1126_2_2_2_4_4) OR FIREABLE(T_1126_3_1_3_2_2) OR FIREABLE(T_1126_3_2_4_3_2) OR FIREABLE(T_1126_3_2_1_4_2) OR FIREABLE(T_1126_2_4_2_4_3) OR FIREABLE(T_1126_5_3_2_1_1) OR FIREABLE(T_1126_5_1_1_3_2) OR FIREABLE(T_1126_3_2_4_1_4) OR FIREABLE(T_1126_5_2_2_4_2) OR FIREABLE(T_1126_6_2_3_3_2) OR FIREABLE(T_1126_2_2_2_3_4) OR FIREABLE(T_1126_3_2_3_1_2) OR FIREABLE(T_1126_6_4_2_3_3) OR FIREABLE(T_1126_1_1_3_1_3) OR FIREABLE(T_1126_2_3_1_1_3) OR FIREABLE(T_1126_5_2_2_3_4) OR FIREABLE(T_1126_1_1_2_2_4) OR FIREABLE(T_1126_5_1_3_1_4) OR FIREABLE(T_1126_2_4_4_4_2) OR FIREABLE(T_1126_4_2_4_4_3) OR FIREABLE(T_1126_3_4_2_2_1) OR FIREABLE(T_1126_5_2_4_3_1) OR FIREABLE(T_1126_4_3_4_1_4) OR FIREABLE(T_1126_4_2_2_2_1) OR FIREABLE(T_1126_3_2_4_4_1) OR FIREABLE(T_1126_2_3_3_4_3) OR FIREABLE(T_1126_3_3_4_4_2) OR FIREABLE(T_1126_4_3_3_1_2) OR FIREABLE(T_1126_4_1_1_4_2) OR FIREABLE(T_1126_4_4_3_4_1) OR FIREABLE(T_1126_6_2_4_2_2) OR FIREABLE(T_1126_6_3_2_4_2) OR FIREABLE(T_1126_1_1_2_3_4) OR FIREABLE(T_1126_3_2_2_3_2) OR FIREABLE(T_1126_6_3_2_4_3) OR FIREABLE(T_1126_4_2_4_1_3) OR FIREABLE(T_1126_1_4_4_4_1) OR FIREABLE(T_1126_5_4_3_1_4) OR FIREABLE(T_1126_6_1_2_3_2) OR FIREABLE(T_1126_3_1_1_2_4) OR FIREABLE(T_1126_3_3_3_1_4) OR FIREABLE(T_1126_2_2_4_2_1) OR FIREABLE(T_1126_4_3_4_3_2) OR FIREABLE(T_1126_1_1_1_1_3) OR FIREABLE(T_1126_4_3_2_1_4) OR FIREABLE(T_1126_1_4_2_3_3) OR FIREABLE(T_1126_1_2_2_4_4) OR FIREABLE(T_1126_6_4_1_2_1) OR FIREABLE(T_1126_3_4_4_2_2) OR FIREABLE(T_1126_3_3_3_2_1) OR FIREABLE(T_1126_1_2_3_3_1) OR FIREABLE(T_1126_4_2_1_2_4) OR FIREABLE(T_1126_3_4_4_2_1) OR FIREABLE(T_1126_5_4_1_3_1) OR FIREABLE(T_1126_5_1_1_4_1) OR FIREABLE(T_1126_5_2_4_2_3) OR FIREABLE(T_1126_4_2_2_2_4) OR FIREABLE(T_1126_6_4_4_4_1) OR FIREABLE(T_1126_2_3_4_1_4) OR FIREABLE(T_1126_3_2_1_2_1) OR FIREABLE(T_1126_4_4_1_3_4) OR FIREABLE(T_1126_6_1_2_1_2) OR FIREABLE(T_1126_3_1_1_4_4) OR FIREABLE(T_1126_1_3_2_2_2) OR FIREABLE(T_1126_4_1_3_3_4) OR FIREABLE(T_1126_2_2_2_4_1) OR FIREABLE(T_1126_4_1_3_2_1) OR FIREABLE(T_1126_3_4_1_1_3) OR FIREABLE(T_1126_2_3_4_1_2) OR FIREABLE(T_1126_2_2_4_2_4) OR FIREABLE(T_1126_4_3_4_1_3) OR FIREABLE(T_1126_2_2_3_3_3) OR FIREABLE(T_1126_5_3_4_3_4) OR FIREABLE(T_1126_2_1_1_3_3) OR FIREABLE(T_1126_5_2_3_1_2) OR FIREABLE(T_1126_2_1_3_4_4) OR FIREABLE(T_1126_5_2_1_3_3) OR FIREABLE(T_1126_2_1_1_1_2) OR FIREABLE(T_1126_6_4_1_4_3) OR FIREABLE(T_1126_2_4_2_2_2) OR FIREABLE(T_1126_5_2_3_4_4) OR FIREABLE(T_1126_4_4_4_3_1) OR FIREABLE(T_1126_5_4_3_1_3) OR FIREABLE(T_1126_1_3_4_4_3) OR FIREABLE(T_1126_6_2_3_4_4) OR FIREABLE(T_1126_3_4_4_1_2) OR FIREABLE(T_1126_4_3_3_2_2) OR FIREABLE(T_1126_4_3_4_3_4) OR FIREABLE(T_1126_4_1_1_1_1) OR FIREABLE(T_1126_2_3_3_2_1) OR FIREABLE(T_1126_6_1_4_4_1) OR FIREABLE(T_1126_5_2_1_4_4) OR FIREABLE(T_1126_6_4_4_1_4) OR FIREABLE(T_1126_1_1_4_2_1) OR FIREABLE(T_1126_2_2_4_3_2) OR FIREABLE(T_1126_4_2_2_4_1) OR FIREABLE(T_1126_2_3_4_2_3) OR FIREABLE(T_1126_3_3_3_4_2) OR FIREABLE(T_1126_6_2_1_4_4) OR FIREABLE(T_1126_5_4_3_3_4) OR FIREABLE(T_1126_4_4_1_1_4) OR FIREABLE(T_1126_4_2_4_1_1) OR FIREABLE(T_1126_6_2_4_3_3) OR FIREABLE(T_1126_3_2_4_3_4) OR FIREABLE(T_1126_5_3_3_2_3) OR FIREABLE(T_1126_4_4_2_1_1) OR FIREABLE(T_1126_6_3_1_2_4) OR FIREABLE(T_1126_5_3_2_1_4) OR FIREABLE(T_1126_3_1_4_3_2) OR FIREABLE(T_1126_3_3_2_1_2) OR FIREABLE(T_1126_3_1_2_1_1) OR FIREABLE(T_1126_3_4_3_4_2) OR FIREABLE(T_1126_4_1_3_2_4) OR FIREABLE(T_1126_4_1_2_1_3) OR FIREABLE(T_1126_5_3_4_3_1) OR FIREABLE(T_1126_2_4_1_4_2) OR FIREABLE(T_1126_1_2_2_2_2) OR FIREABLE(T_1126_3_2_1_1_2) OR FIREABLE(T_1126_1_2_2_1_4) OR FIREABLE(T_1126_6_2_3_1_1) OR FIREABLE(T_1126_4_1_1_1_4) OR FIREABLE(T_1126_6_2_3_1_3) OR FIREABLE(T_1126_5_4_3_4_1) OR FIREABLE(T_1126_2_4_1_4_1) OR FIREABLE(T_1126_2_4_3_1_1) OR FIREABLE(T_1126_1_2_3_1_1) OR FIREABLE(T_1126_3_3_1_2_1) OR FIREABLE(T_1126_5_3_2_4_4) OR FIREABLE(T_1126_4_4_1_4_4) OR FIREABLE(T_1126_4_2_1_2_2) OR FIREABLE(T_1126_5_1_2_4_1) OR FIREABLE(T_1126_4_2_1_3_2) OR FIREABLE(T_1126_1_1_4_2_4) OR FIREABLE(T_1126_6_4_2_1_3) OR FIREABLE(T_1126_5_1_4_1_1) OR FIREABLE(T_1126_5_3_1_2_3) OR FIREABLE(T_1126_1_2_1_4_1) OR FIREABLE(T_1126_5_1_3_4_3) OR FIREABLE(T_1126_6_2_1_3_3) OR FIREABLE(T_1126_6_3_2_3_4) OR FIREABLE(T_1126_2_3_1_2_3) OR FIREABLE(T_1126_3_3_1_3_1) OR FIREABLE(T_1126_5_2_1_3_2) OR FIREABLE(T_1126_1_3_1_1_4) OR FIREABLE(T_1126_4_3_1_3_2) OR FIREABLE(T_1126_6_2_2_2_3) OR FIREABLE(T_1126_3_3_3_2_4) OR FIREABLE(T_1126_4_2_4_3_2) OR FIREABLE(T_1126_1_1_4_2_2) OR FIREABLE(T_1126_1_3_2_1_3) OR FIREABLE(T_1126_6_2_3_4_3) OR FIREABLE(T_1126_1_3_4_4_1) OR FIREABLE(T_1126_3_2_3_3_3) OR FIREABLE(T_1126_6_3_2_2_4) OR FIREABLE(T_1126_2_1_4_3_3) OR FIREABLE(T_1126_6_3_3_3_1) OR FIREABLE(T_1126_3_1_4_3_3) OR FIREABLE(T_1126_6_4_2_1_2) OR FIREABLE(T_1126_2_2_4_3_1) OR FIREABLE(T_1126_5_4_2_4_3) OR FIREABLE(T_1126_5_3_3_1_2) OR FIREABLE(T_1126_6_2_3_2_2) OR FIREABLE(T_1126_1_3_3_3_4) OR FIREABLE(T_1126_4_1_1_3_4) OR FIREABLE(T_1126_3_4_3_4_4) OR FIREABLE(T_1126_5_2_2_3_3) OR FIREABLE(T_1126_3_4_4_2_3) OR FIREABLE(T_1126_1_4_4_1_3) OR FIREABLE(T_1126_6_3_4_2_4) OR FIREABLE(T_1126_2_3_1_3_4) OR FIREABLE(T_1126_1_3_3_3_1) OR FIREABLE(T_1126_3_2_2_3_4) OR FIREABLE(T_1126_2_3_3_1_4) OR FIREABLE(T_1126_2_2_1_3_1) OR FIREABLE(T_1126_6_3_4_2_1) OR FIREABLE(T_1126_1_1_3_3_3) OR FIREABLE(T_1126_6_1_1_2_1) OR FIREABLE(T_1126_4_1_4_1_4) OR FIREABLE(T_1126_3_2_2_1_1) OR FIREABLE(T_1126_3_4_2_2_2) OR FIREABLE(T_1126_1_4_4_1_4) OR FIREABLE(T_1126_5_2_3_2_2) OR FIREABLE(T_1126_2_4_3_1_3) OR FIREABLE(T_1126_4_2_2_4_3) OR FIREABLE(T_1126_4_2_2_4_2) OR FIREABLE(T_1126_1_1_2_2_3) OR FIREABLE(T_1126_6_2_1_1_1) OR FIREABLE(T_1126_1_4_2_4_1) OR FIREABLE(T_1126_6_1_2_3_1) OR FIREABLE(T_1126_1_3_4_3_3) OR FIREABLE(T_1126_1_2_1_1_4) OR FIREABLE(T_1126_1_4_2_4_2) OR FIREABLE(T_1126_2_4_4_1_2) OR FIREABLE(T_1126_5_3_2_4_2) OR FIREABLE(T_1126_5_3_1_4_3) OR FIREABLE(T_1126_5_4_2_2_3) OR FIREABLE(T_1126_5_3_1_3_1) OR FIREABLE(T_1126_2_4_4_4_4) OR FIREABLE(T_1126_5_1_3_2_3) OR FIREABLE(T_1126_1_3_4_2_1) OR FIREABLE(T_1126_2_1_3_1_4) OR FIREABLE(T_1126_3_1_1_1_4) OR FIREABLE(T_1126_5_4_1_2_2) OR FIREABLE(T_1126_4_1_4_4_2) OR FIREABLE(T_1126_6_4_2_4_2) OR FIREABLE(T_1126_1_1_3_4_4) OR FIREABLE(T_1126_6_3_1_1_1) OR FIREABLE(T_1126_3_1_4_2_3) OR FIREABLE(T_1126_6_2_2_1_2) OR FIREABLE(T_1126_1_4_4_4_4) OR FIREABLE(T_1126_4_2_1_4_4) OR FIREABLE(T_1126_1_1_1_2_1) OR FIREABLE(T_1126_5_3_4_4_2) OR FIREABLE(T_1126_2_3_3_4_2) OR FIREABLE(T_1126_3_3_1_3_4) OR FIREABLE(T_1126_4_1_3_3_1) OR FIREABLE(T_1126_4_3_4_1_1) OR FIREABLE(T_1126_4_3_3_2_3) OR FIREABLE(T_1126_5_1_4_1_3) OR FIREABLE(T_1126_4_1_4_4_4) OR FIREABLE(T_1126_3_4_4_2_4) OR FIREABLE(T_1126_6_4_1_3_3) OR FIREABLE(T_1126_5_2_2_2_4) OR FIREABLE(T_1126_4_3_4_4_1) OR FIREABLE(T_1126_6_3_2_1_4) OR FIREABLE(T_1126_5_1_1_2_4) OR FIREABLE(T_1126_2_2_2_1_4) OR FIREABLE(T_1126_2_3_1_1_4) OR FIREABLE(T_1126_2_4_2_3_1) OR FIREABLE(T_1126_2_1_3_2_3) OR FIREABLE(T_1126_2_1_4_4_3) OR FIREABLE(T_1126_1_4_1_2_2) OR FIREABLE(T_1126_3_1_1_1_2) OR FIREABLE(T_1126_3_4_2_2_4) OR FIREABLE(T_1126_3_3_4_1_4) OR FIREABLE(T_1126_3_1_4_4_3) OR FIREABLE(T_1126_4_3_4_4_3) OR FIREABLE(T_1126_2_1_2_2_4) OR FIREABLE(T_1126_2_3_4_4_2) OR FIREABLE(T_1126_2_3_2_3_2) OR FIREABLE(T_1126_4_4_1_2_3) OR FIREABLE(T_1126_2_1_3_2_2) OR FIREABLE(T_1126_4_1_3_3_2) OR FIREABLE(T_1126_3_4_2_1_2) OR FIREABLE(T_1126_5_2_2_1_4) OR FIREABLE(T_1126_5_3_4_3_2) OR FIREABLE(T_1126_2_3_1_4_2) OR FIREABLE(T_1126_6_4_2_4_1) OR FIREABLE(T_1126_4_2_3_1_4) OR FIREABLE(T_1126_6_2_1_4_1) OR FIREABLE(T_1126_5_1_1_1_1) OR FIREABLE(T_1126_4_4_3_4_2) OR FIREABLE(T_1126_1_1_4_1_4) OR FIREABLE(T_1126_4_4_2_3_3) OR FIREABLE(T_1126_1_3_1_4_4) OR FIREABLE(T_1126_6_1_3_2_1) OR FIREABLE(T_1126_3_1_1_3_1) OR FIREABLE(T_1126_6_2_1_4_2) OR FIREABLE(T_1126_1_1_2_3_2) OR FIREABLE(T_1126_6_1_3_4_3) OR FIREABLE(T_1126_5_4_1_3_4) OR FIREABLE(T_1126_2_2_1_2_4) OR FIREABLE(T_1126_4_1_4_1_3) OR FIREABLE(T_1126_3_3_2_2_3) OR FIREABLE(T_1126_6_2_3_2_4) OR FIREABLE(T_1126_2_3_1_2_1) OR FIREABLE(T_1126_3_3_1_1_3) OR FIREABLE(T_1126_3_3_4_2_3) OR FIREABLE(T_1126_2_4_1_1_2) OR FIREABLE(T_1126_1_3_2_3_4) OR FIREABLE(T_1126_5_4_3_2_2) OR FIREABLE(T_1126_6_3_1_3_2) OR FIREABLE(T_1126_1_3_3_3_2) OR FIREABLE(T_1126_4_1_1_1_3) OR FIREABLE(T_1126_4_4_4_3_3) OR FIREABLE(T_1126_3_4_1_1_4) OR FIREABLE(T_1126_6_4_4_1_1) OR FIREABLE(T_1126_1_4_1_1_1) OR FIREABLE(T_1126_3_4_1_4_2) OR FIREABLE(T_1126_3_2_4_2_2) OR FIREABLE(T_1126_2_1_2_1_3) OR FIREABLE(T_1126_1_2_1_2_1) OR FIREABLE(T_1126_3_2_1_2_3) OR FIREABLE(T_1126_1_2_2_3_1) OR FIREABLE(T_1126_4_3_2_2_1) OR FIREABLE(T_1126_3_3_4_3_3) OR FIREABLE(T_1126_5_3_3_3_3) OR FIREABLE(T_1126_2_3_4_3_4) OR FIREABLE(T_1126_6_4_1_4_4) OR FIREABLE(T_1126_1_4_1_2_4) OR FIREABLE(T_1126_3_4_2_3_1) OR FIREABLE(T_1126_5_4_3_4_2) OR FIREABLE(T_1126_3_3_2_4_4) OR FIREABLE(T_1126_5_3_3_2_4) OR FIREABLE(T_1126_2_1_2_4_1) OR FIREABLE(T_1126_5_4_4_3_1) OR FIREABLE(T_1126_6_1_4_1_2) OR FIREABLE(T_1126_2_1_4_1_1) OR FIREABLE(T_1126_1_1_2_4_3) OR FIREABLE(T_1126_2_1_4_3_2) OR FIREABLE(T_1126_6_1_3_1_1) OR FIREABLE(T_1126_4_1_1_3_3) OR FIREABLE(T_1126_5_2_3_3_3) OR FIREABLE(T_1126_6_3_1_4_4) OR FIREABLE(T_1126_1_1_1_2_3) OR FIREABLE(T_1126_6_1_4_3_4) OR FIREABLE(T_1126_6_3_2_4_4) OR FIREABLE(T_1126_5_3_2_1_2) OR FIREABLE(T_1126_2_4_4_2_4) OR FIREABLE(T_1126_1_3_3_4_3) OR FIREABLE(T_1126_2_4_3_4_2) OR FIREABLE(T_1126_1_4_3_4_4) OR FIREABLE(T_1126_1_3_3_4_4) OR FIREABLE(T_1126_3_4_3_1_3) OR FIREABLE(T_1126_6_3_4_1_4) OR FIREABLE(T_1126_6_2_4_4_4) OR FIREABLE(T_1126_1_1_3_4_2) OR FIREABLE(T_1126_2_1_2_1_1) OR FIREABLE(T_1126_5_3_2_3_3) OR FIREABLE(T_1126_5_3_4_1_1) OR FIREABLE(T_1126_5_1_4_4_1) OR FIREABLE(T_1126_4_3_4_3_1) OR FIREABLE(T_1126_6_2_2_2_2) OR FIREABLE(T_1126_3_3_4_1_3) OR FIREABLE(T_1126_1_1_3_2_1) OR FIREABLE(T_1126_5_3_3_1_4) OR FIREABLE(T_1126_5_4_3_1_1) OR FIREABLE(T_1126_6_4_1_3_4) OR FIREABLE(T_1126_5_1_3_2_2) OR FIREABLE(T_1126_4_3_3_3_4) OR FIREABLE(T_1126_4_3_2_1_1) OR FIREABLE(T_1126_1_1_3_1_4) OR FIREABLE(T_1126_1_2_3_2_4) OR FIREABLE(T_1126_5_2_4_4_3) OR FIREABLE(T_1126_5_2_3_1_4) OR FIREABLE(T_1126_6_1_1_4_1) OR FIREABLE(T_1126_6_1_3_1_3) OR FIREABLE(T_1126_4_3_2_4_2) OR FIREABLE(T_1126_3_4_1_4_4) OR FIREABLE(T_1126_5_4_4_3_4) OR FIREABLE(T_1126_2_3_2_1_2) OR FIREABLE(T_1126_5_4_2_1_1) OR FIREABLE(T_1126_2_2_2_4_3) OR FIREABLE(T_1126_6_3_2_1_3) OR FIREABLE(T_1126_4_1_2_1_4) OR FIREABLE(T_1126_3_3_3_1_3) OR FIREABLE(T_1126_5_2_2_2_1) OR FIREABLE(T_1126_2_2_3_1_2) OR FIREABLE(T_1126_1_3_2_2_4) OR FIREABLE(T_1126_5_1_1_3_4) OR FIREABLE(T_1126_6_1_4_2_2) OR FIREABLE(T_1126_3_1_4_3_1) OR FIREABLE(T_1126_5_4_2_3_1) OR FIREABLE(T_1126_3_1_3_4_1) OR FIREABLE(T_1126_3_4_1_2_1) OR FIREABLE(T_1126_5_2_2_1_3) OR FIREABLE(T_1126_1_3_3_1_1) OR FIREABLE(T_1126_6_3_3_3_3) OR FIREABLE(T_1126_2_1_2_2_1) OR FIREABLE(T_1126_6_4_3_3_3) OR FIREABLE(T_1126_3_3_4_1_2) OR FIREABLE(T_1126_6_1_3_4_1) OR FIREABLE(T_1126_1_3_2_4_1) OR FIREABLE(T_1126_1_4_4_2_4) OR FIREABLE(T_1126_5_1_3_3_4) OR FIREABLE(T_1126_6_4_4_1_3) OR FIREABLE(T_1126_3_3_3_4_1) OR FIREABLE(T_1126_6_1_4_2_4) OR FIREABLE(T_1126_1_4_3_2_3) OR FIREABLE(T_1126_3_2_4_2_3) OR FIREABLE(T_1126_3_4_4_1_4) OR FIREABLE(T_1126_6_1_1_2_2) OR FIREABLE(T_1126_5_2_4_2_4) OR FIREABLE(T_1126_2_1_4_3_1) OR FIREABLE(T_1126_3_1_3_1_3) OR FIREABLE(T_1126_4_1_2_3_2) OR FIREABLE(T_1126_3_3_1_1_1) OR FIREABLE(T_1126_5_2_4_4_4) OR FIREABLE(T_1126_6_2_4_2_4) OR FIREABLE(T_1126_6_3_3_1_3) OR FIREABLE(T_1126_2_2_4_2_2) OR FIREABLE(T_1126_4_4_4_4_2) OR FIREABLE(T_1126_3_4_1_3_2) OR FIREABLE(T_1126_6_2_4_1_2) OR FIREABLE(T_1126_2_4_4_2_3) OR FIREABLE(T_1126_2_2_2_3_3) OR FIREABLE(T_1126_2_4_1_4_4) OR FIREABLE(T_1126_4_2_2_1_4) OR FIREABLE(T_1126_2_4_2_2_3) OR FIREABLE(T_1126_3_1_4_4_2) OR FIREABLE(T_1126_6_2_3_3_1) OR FIREABLE(T_1126_4_4_1_2_2) OR FIREABLE(T_1126_2_4_2_3_4) OR FIREABLE(T_1126_3_2_4_3_1) OR FIREABLE(T_1126_1_4_4_4_3) OR FIREABLE(T_1126_3_2_3_2_1) OR FIREABLE(T_1126_4_1_1_4_3) OR FIREABLE(T_1126_2_3_3_1_1) OR FIREABLE(T_1126_2_1_4_1_2) OR FIREABLE(T_1126_1_4_3_3_1) OR FIREABLE(T_1126_4_3_1_3_1) OR FIREABLE(T_1126_4_4_2_3_2) OR FIREABLE(T_1126_1_1_4_3_4) OR FIREABLE(T_1126_3_1_2_3_3) OR FIREABLE(T_1126_6_3_1_1_2) OR FIREABLE(T_1126_4_3_1_2_2) OR FIREABLE(T_1126_2_4_4_3_4) OR FIREABLE(T_1126_1_2_3_4_3) OR FIREABLE(T_1126_4_1_2_2_4) OR FIREABLE(T_1126_2_1_4_4_4) OR FIREABLE(T_1126_3_3_2_3_2) OR FIREABLE(T_1126_5_2_1_1_2) OR FIREABLE(T_1126_5_4_2_4_2) OR FIREABLE(T_1126_5_1_1_4_4) OR FIREABLE(T_1126_6_4_3_2_3) OR FIREABLE(T_1126_4_3_2_4_1) OR FIREABLE(T_1126_5_4_1_4_1) OR FIREABLE(T_1126_2_2_4_1_1) OR FIREABLE(T_1126_1_2_2_3_4) OR FIREABLE(T_1126_4_4_2_4_3) OR FIREABLE(T_1126_5_1_3_3_1) OR FIREABLE(T_1126_2_3_2_3_4) OR FIREABLE(T_1126_1_2_2_1_2) OR FIREABLE(T_1126_4_2_3_2_3) OR FIREABLE(T_1126_2_4_1_1_3) OR FIREABLE(T_1126_6_1_3_4_2) OR FIREABLE(T_1126_1_4_2_2_4) OR FIREABLE(T_1126_6_1_1_1_4) OR FIREABLE(T_1126_2_1_2_4_3) OR FIREABLE(T_1126_1_2_3_4_4) OR FIREABLE(T_1126_1_1_3_3_2) OR FIREABLE(T_1126_1_2_1_1_3) OR FIREABLE(T_1126_1_4_3_1_2) OR FIREABLE(T_1126_2_2_2_2_2) OR FIREABLE(T_1126_2_3_2_3_1) OR FIREABLE(T_1126_2_1_2_4_2) OR FIREABLE(T_1126_3_1_1_2_1) OR FIREABLE(T_1126_4_4_4_3_2) OR FIREABLE(T_1126_6_1_2_2_3) OR FIREABLE(T_1126_6_2_2_4_2) OR FIREABLE(T_1126_5_1_4_4_2) OR FIREABLE(T_1126_1_2_4_1_4) OR FIREABLE(T_1126_3_4_4_3_3) OR FIREABLE(T_1126_5_1_4_1_2) OR FIREABLE(T_1126_3_2_2_1_2) OR FIREABLE(T_1126_3_2_1_2_2) OR FIREABLE(T_1126_6_3_4_1_1) OR FIREABLE(T_1126_5_2_3_1_3) OR FIREABLE(T_1126_3_4_1_2_4) OR FIREABLE(T_1126_6_2_3_3_4) OR FIREABLE(T_1126_4_3_1_4_3) OR FIREABLE(T_1126_4_3_1_3_4) OR FIREABLE(T_1126_2_1_1_3_1) OR FIREABLE(T_1126_2_4_2_1_1) OR FIREABLE(T_1126_1_1_2_1_1) OR FIREABLE(T_1126_2_4_3_2_1) OR FIREABLE(T_1126_5_1_2_4_2) OR FIREABLE(T_1126_3_4_3_2_3) OR FIREABLE(T_1126_1_4_1_2_3) OR FIREABLE(T_1126_1_4_2_1_1) OR FIREABLE(T_1126_3_1_1_3_4) OR FIREABLE(T_1126_2_2_1_2_3) OR FIREABLE(T_1126_4_2_4_2_1) OR FIREABLE(T_1126_1_1_1_4_2) OR FIREABLE(T_1126_4_2_3_3_3) OR FIREABLE(T_1126_2_4_1_1_4) OR FIREABLE(T_1126_6_2_2_4_1) OR FIREABLE(T_1126_5_4_3_2_1) OR FIREABLE(T_1126_3_3_1_1_4) OR FIREABLE(T_1126_6_2_4_1_4) OR FIREABLE(T_1126_6_3_3_4_3) OR FIREABLE(T_1126_4_4_4_1_3) OR FIREABLE(T_1126_5_4_4_1_2) OR FIREABLE(T_1126_2_3_4_2_2) OR FIREABLE(T_1126_3_4_3_3_2) OR FIREABLE(T_1126_3_2_3_2_4) OR FIREABLE(T_1126_1_2_4_1_3) OR FIREABLE(T_1126_3_1_3_1_2) OR FIREABLE(T_1126_5_3_2_4_3) OR FIREABLE(T_1126_4_4_2_2_1) OR FIREABLE(T_1126_2_2_3_1_4) OR FIREABLE(T_1126_5_4_4_3_3) OR FIREABLE(T_1126_4_4_4_4_4) OR FIREABLE(T_1126_5_4_1_1_2) OR FIREABLE(T_1126_5_4_2_4_4) OR FIREABLE(T_1126_3_1_2_4_4) OR FIREABLE(T_1126_3_4_2_3_4) OR FIREABLE(T_1126_6_1_3_2_4) OR FIREABLE(T_1126_6_3_1_3_3) OR FIREABLE(T_1126_6_2_1_1_3) OR FIREABLE(T_1126_5_1_1_3_3) OR FIREABLE(T_1126_4_2_1_3_4) OR FIREABLE(T_1126_1_3_2_3_1) OR FIREABLE(T_1126_3_3_4_3_4) OR FIREABLE(T_1126_6_2_4_2_3) OR FIREABLE(T_1126_1_4_2_2_1) OR FIREABLE(T_1126_5_2_1_2_4) OR FIREABLE(T_1126_2_3_3_4_1) OR FIREABLE(T_1126_3_1_4_1_1) OR FIREABLE(T_1126_6_2_4_2_1) OR FIREABLE(T_1126_1_4_3_3_3) OR FIREABLE(T_1126_1_3_4_4_4) OR FIREABLE(T_1126_5_2_1_4_2) OR FIREABLE(T_1126_1_1_4_3_3) OR FIREABLE(T_1126_2_3_3_4_4) OR FIREABLE(T_1126_4_1_4_3_2) OR FIREABLE(T_1126_3_2_3_1_4) OR FIREABLE(T_1126_5_1_2_2_1) OR FIREABLE(T_1126_5_2_3_4_3) OR FIREABLE(T_1126_6_4_2_2_3) OR FIREABLE(T_1126_6_3_1_4_2) OR FIREABLE(T_1126_6_4_2_1_4) OR FIREABLE(T_1126_1_2_2_3_2) OR FIREABLE(T_1126_6_4_2_4_4) OR FIREABLE(T_1126_4_4_4_3_4) OR FIREABLE(T_1126_4_2_2_1_3) OR FIREABLE(T_1126_4_1_4_4_1) OR FIREABLE(T_1126_5_2_3_3_2) OR FIREABLE(T_1126_4_1_2_3_1) OR FIREABLE(T_1126_4_1_2_1_2) OR FIREABLE(T_1126_4_3_1_2_4) OR FIREABLE(T_1126_3_4_3_4_3) OR FIREABLE(T_1126_3_2_2_4_3) OR FIREABLE(T_1126_5_3_3_3_4) OR FIREABLE(T_1126_3_2_1_3_4) OR FIREABLE(T_1126_4_4_2_1_2) OR FIREABLE(T_1126_4_4_3_2_2) OR FIREABLE(T_1126_5_3_2_2_3) OR FIREABLE(T_1126_1_4_2_1_3) OR FIREABLE(T_1126_6_1_1_1_1) OR FIREABLE(T_1126_6_4_4_2_2) OR FIREABLE(T_1126_4_1_3_2_2) OR FIREABLE(T_1126_4_3_1_1_1) OR FIREABLE(T_1126_6_3_3_3_2) OR FIREABLE(T_1126_4_1_4_1_2) OR FIREABLE(T_1126_6_4_2_4_3) OR FIREABLE(T_1126_4_2_2_1_1) OR FIREABLE(T_1126_2_2_3_1_3) OR FIREABLE(T_1126_6_4_3_3_4) OR FIREABLE(T_1126_6_3_3_2_3) OR FIREABLE(T_1126_5_2_3_2_3) OR FIREABLE(T_1126_1_2_3_4_1) OR FIREABLE(T_1126_3_3_4_3_2) OR FIREABLE(T_1126_5_3_4_1_3) OR FIREABLE(T_1126_4_2_1_4_3) OR FIREABLE(T_1126_6_4_4_3_1) OR FIREABLE(T_1126_3_3_2_3_1) OR FIREABLE(T_1126_3_1_1_3_2) OR FIREABLE(T_1126_4_4_4_1_2) OR FIREABLE(T_1126_6_1_2_3_4) OR FIREABLE(T_1126_1_4_1_1_4) OR FIREABLE(T_1126_4_3_2_2_4) OR FIREABLE(T_1126_4_4_3_1_4) OR FIREABLE(T_1126_5_2_4_2_2) OR FIREABLE(T_1126_6_3_1_4_1) OR FIREABLE(T_1126_2_3_4_3_3) OR FIREABLE(T_1126_1_3_3_1_3) OR FIREABLE(T_1126_2_1_4_2_1) OR FIREABLE(T_1126_2_3_3_2_2) OR FIREABLE(T_1126_5_2_4_4_1) OR FIREABLE(T_1126_6_4_3_1_1) OR FIREABLE(T_1126_3_4_2_1_1) OR FIREABLE(T_1126_4_4_2_3_1) OR FIREABLE(T_1126_1_4_3_3_4) OR FIREABLE(T_1126_5_1_2_3_3) OR FIREABLE(T_1126_1_3_1_3_2) OR FIREABLE(T_1126_5_4_2_3_3) OR FIREABLE(T_1126_2_3_2_2_3) OR FIREABLE(T_1126_4_1_2_2_3) OR FIREABLE(T_1126_5_1_4_3_2) OR FIREABLE(T_1126_3_2_1_3_3) OR FIREABLE(T_1126_4_3_3_4_2) OR FIREABLE(T_1126_1_2_3_4_2) OR FIREABLE(T_1126_6_2_2_3_4) OR FIREABLE(T_1126_1_1_3_2_4) OR FIREABLE(T_1126_4_2_2_4_4) OR FIREABLE(T_1126_2_2_3_2_1) OR FIREABLE(T_1126_3_1_4_1_2) OR FIREABLE(T_1126_5_2_4_4_2) OR FIREABLE(T_1126_4_2_4_2_4) OR FIREABLE(T_1126_2_2_1_1_4) OR FIREABLE(T_1126_4_3_3_3_3) OR FIREABLE(T_1126_2_2_1_2_2) OR FIREABLE(T_1126_5_3_3_4_1) OR FIREABLE(T_1126_1_4_1_3_1) OR FIREABLE(T_1126_1_2_2_2_3) OR FIREABLE(T_1126_3_2_3_4_2) OR FIREABLE(T_1126_1_3_2_4_2) OR FIREABLE(T_1126_1_3_1_2_1) OR FIREABLE(T_1126_2_4_3_3_1) OR FIREABLE(T_1126_5_4_1_1_3) OR FIREABLE(T_1126_3_1_4_4_4) OR FIREABLE(T_1126_2_1_4_1_3) OR FIREABLE(T_1126_2_1_2_3_1) OR FIREABLE(T_1126_5_4_4_2_3) OR FIREABLE(T_1126_1_2_3_2_2) OR FIREABLE(T_1126_5_1_3_1_1) OR FIREABLE(T_1126_2_1_2_3_3) OR FIREABLE(T_1126_2_3_1_1_1) OR FIREABLE(T_1126_6_2_4_1_3) OR FIREABLE(T_1126_6_1_1_3_3) OR FIREABLE(T_1126_6_1_2_2_2) OR FIREABLE(T_1126_4_1_4_4_3) OR FIREABLE(T_1126_6_4_1_1_1) OR FIREABLE(T_1126_2_4_3_2_4) OR FIREABLE(T_1126_3_3_4_4_3) OR FIREABLE(T_1126_1_4_1_4_4) OR FIREABLE(T_1126_3_3_2_3_4) OR FIREABLE(T_1126_2_4_4_3_3) OR FIREABLE(T_1126_4_2_4_4_4) OR FIREABLE(T_1126_1_2_2_4_1) OR FIREABLE(T_1126_2_1_2_1_4) OR FIREABLE(T_1126_4_3_2_1_3) OR FIREABLE(T_1126_1_4_2_1_4) OR FIREABLE(T_1126_5_3_2_2_1) OR FIREABLE(T_1126_1_4_1_4_3) OR FIREABLE(T_1126_4_2_1_3_1) OR FIREABLE(T_1126_1_2_1_2_2) OR FIREABLE(T_1126_4_2_4_4_2) OR FIREABLE(T_1126_2_2_3_4_1) OR FIREABLE(T_1126_5_3_1_3_4) OR FIREABLE(T_1126_4_3_2_4_4) OR FIREABLE(T_1126_2_1_1_2_4) OR FIREABLE(T_1126_6_1_2_1_3) OR FIREABLE(T_1126_1_1_1_1_4) OR FIREABLE(T_1126_5_1_4_3_1) OR FIREABLE(T_1126_3_3_4_4_1) OR FIREABLE(T_1126_3_3_4_2_1) OR FIREABLE(T_1126_1_4_4_2_2) OR FIREABLE(T_1126_4_1_4_2_3) OR FIREABLE(T_1126_1_3_4_1_4) OR FIREABLE(T_1126_5_2_1_2_3) OR FIREABLE(T_1126_1_3_4_1_2) OR FIREABLE(T_1126_4_1_1_2_1) OR FIREABLE(T_1126_4_4_3_1_1) OR FIREABLE(T_1126_3_2_2_1_3) OR FIREABLE(T_1126_5_1_1_4_3) OR FIREABLE(T_1126_6_4_1_2_2) OR FIREABLE(T_1126_3_1_2_4_3) OR FIREABLE(T_1126_2_4_1_2_3) OR FIREABLE(T_1126_6_1_1_2_3) OR FIREABLE(T_1126_5_3_1_2_2) OR FIREABLE(T_1126_5_1_3_3_3) OR FIREABLE(T_1126_4_1_1_4_4) OR FIREABLE(T_1126_6_3_3_1_2) OR FIREABLE(T_1126_5_3_2_3_2) OR FIREABLE(T_1126_2_1_1_2_1) OR FIREABLE(T_1126_3_4_3_2_1) OR FIREABLE(T_1126_4_4_4_4_3) OR FIREABLE(T_1126_3_2_1_4_1)) AND (FIREABLE(T_1094_5) OR FIREABLE(T_1094_2) OR FIREABLE(T_1094_4) OR FIREABLE(T_1094_1) OR FIREABLE(T_1094_6) OR FIREABLE(T_1094_3)) AND (FIREABLE(T_1148_2) OR FIREABLE(T_1148_5) OR FIREABLE(T_1148_6) OR FIREABLE(T_1148_3) OR FIREABLE(T_1148_1) OR FIREABLE(T_1148_4)) AND (FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(T_1730_2_6) OR FIREABLE(T_1730_1_2) OR FIREABLE(T_1730_3_2) OR FIREABLE(T_1730_0_4) OR FIREABLE(T_1730_1_6) OR FIREABLE(T_1730_1_4) OR FIREABLE(T_1730_2_4) OR FIREABLE(T_1730_3_1) OR FIREABLE(T_1730_0_6) OR FIREABLE(T_1730_0_3) OR FIREABLE(T_1730_4_5) OR FIREABLE(T_1730_4_1) OR FIREABLE(T_1730_3_4) OR FIREABLE(T_1730_3_5) OR FIREABLE(T_1730_4_2) OR FIREABLE(T_1730_2_3) OR FIREABLE(T_1730_4_4) OR FIREABLE(T_1730_2_5) OR FIREABLE(T_1730_1_1) OR FIREABLE(T_1730_0_5) OR FIREABLE(T_1730_1_3) OR FIREABLE(T_1730_4_3) OR FIREABLE(T_1730_2_1) OR FIREABLE(T_1730_1_5) OR FIREABLE(T_1730_2_2) OR FIREABLE(T_1730_0_1) OR FIREABLE(T_1730_4_6) OR FIREABLE(T_1730_3_3) OR FIREABLE(T_1730_3_6) OR FIREABLE(T_1730_0_2) OR ((FIREABLE(T_2311_6) OR FIREABLE(T_2311_1) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_4)) AND (FIREABLE(T_1170_1) OR FIREABLE(T_1170_2) OR FIREABLE(T_1170_6) OR FIREABLE(T_1170_5) OR FIREABLE(T_1170_3) OR FIREABLE(T_1170_4))) OR FIREABLE(Run_6) OR FIREABLE(Run_5) OR FIREABLE(Run_4) OR FIREABLE(Run_3) OR FIREABLE(Run_2) OR FIREABLE(Run_1) OR FIREABLE(T_1125_4_4_3_2) OR FIREABLE(T_1125_1_1_2_4) OR FIREABLE(T_1125_5_3_3_2) OR FIREABLE(T_1125_1_2_4_2) OR FIREABLE(T_1125_2_2_3_2) OR FIREABLE(T_1125_4_2_4_3) OR FIREABLE(T_1125_3_4_4_3) OR FIREABLE(T_1125_4_3_1_3) OR FIREABLE(T_1125_5_3_3_3) OR FIREABLE(T_1125_3_4_4_2) OR FIREABLE(T_1125_1_1_3_3) OR FIREABLE(T_1125_2_3_2_1) OR FIREABLE(T_1125_2_3_1_4) OR FIREABLE(T_1125_2_1_1_1) OR FIREABLE(T_1125_5_4_2_4) OR FIREABLE(T_1125_5_4_4_1) OR FIREABLE(T_1125_2_1_1_3) OR FIREABLE(T_1125_5_2_1_3) OR FIREABLE(T_1125_2_2_4_1) OR FIREABLE(T_1125_6_2_4_2) OR FIREABLE(T_1125_1_3_1_2) OR FIREABLE(T_1125_2_1_4_4) OR FIREABLE(T_1125_4_2_2_2) OR FIREABLE(T_1125_1_2_3_4) OR FIREABLE(T_1125_5_1_2_2) OR FIREABLE(T_1125_2_4_1_2) OR FIREABLE(T_1125_3_3_2_3) OR FIREABLE(T_1125_1_4_2_2) OR FIREABLE(T_1125_6_1_3_3) OR FIREABLE(T_1125_6_4_2_2) OR FIREABLE(T_1125_4_1_3_1) OR FIREABLE(T_1125_3_2_4_1) OR FIREABLE(T_1125_1_1_2_3) OR FIREABLE(T_1125_6_2_3_4) OR FIREABLE(T_1125_1_2_1_4) OR FIREABLE(T_1125_3_4_3_4) OR FIREABLE(T_1125_2_4_2_3) OR FIREABLE(T_1125_1_4_3_1) OR FIREABLE(T_1125_5_3_2_4) OR FIREABLE(T_1125_1_1_2_1) OR FIREABLE(T_1125_6_1_2_3) OR FIREABLE(T_1125_2_4_2_4) OR FIREABLE(T_1125_4_1_4_2) OR FIREABLE(T_1125_5_1_1_4) OR FIREABLE(T_1125_1_1_4_2) OR FIREABLE(T_1125_2_2_1_1) OR FIREABLE(T_1125_5_1_1_2) OR FIREABLE(T_1125_4_2_1_4) OR FIREABLE(T_1125_5_2_3_2) OR FIREABLE(T_1125_6_4_1_4) OR FIREABLE(T_1125_5_1_1_3) OR FIREABLE(T_1125_4_3_3_3) OR FIREABLE(T_1125_1_3_3_4) OR FIREABLE(T_1125_2_3_3_2) OR FIREABLE(T_1125_4_4_4_1) OR FIREABLE(T_1125_6_3_3_1) OR FIREABLE(T_1125_6_1_2_4) OR FIREABLE(T_1125_3_3_4_3) OR FIREABLE(T_1125_5_2_4_4) OR FIREABLE(T_1125_5_2_3_3) OR FIREABLE(T_1125_2_4_4_3) OR FIREABLE(T_1125_4_4_2_1) OR FIREABLE(T_1125_6_2_1_2) OR FIREABLE(T_1125_1_4_1_3) OR FIREABLE(T_1125_1_1_4_1) OR FIREABLE(T_1125_6_3_4_2) OR FIREABLE(T_1125_1_1_4_3) OR FIREABLE(T_1125_2_4_3_4) OR FIREABLE(T_1125_2_1_4_1) OR FIREABLE(T_1125_6_1_4_3) OR FIREABLE(T_1125_5_2_2_2) OR FIREABLE(T_1125_4_1_2_2) OR FIREABLE(T_1125_2_1_2_2) OR FIREABLE(T_1125_6_3_2_2) OR FIREABLE(T_1125_6_2_2_1) OR FIREABLE(T_1125_3_1_4_4) OR FIREABLE(T_1125_6_3_4_4) OR FIREABLE(T_1125_5_4_2_3) OR FIREABLE(T_1125_2_4_4_1) OR FIREABLE(T_1125_4_2_4_4) OR FIREABLE(T_1125_3_4_1_2) OR FIREABLE(T_1125_5_2_4_1) OR FIREABLE(T_1125_3_4_2_1) OR FIREABLE(T_1125_6_4_1_1) OR FIREABLE(T_1125_1_4_1_4) OR FIREABLE(T_1125_4_3_3_1) OR FIREABLE(T_1125_3_3_4_2) OR FIREABLE(T_1125_1_2_2_4) OR FIREABLE(T_1125_3_3_1_2) OR FIREABLE(T_1125_6_2_2_4) OR FIREABLE(T_1125_1_2_3_1) OR FIREABLE(T_1125_6_4_3_2) OR FIREABLE(T_1125_3_2_2_3) OR FIREABLE(T_1125_4_1_1_3) OR FIREABLE(T_1125_1_4_3_2) OR FIREABLE(T_1125_1_4_3_4) OR FIREABLE(T_1125_2_2_3_3) OR FIREABLE(T_1125_5_2_1_1) OR FIREABLE(T_1125_3_1_2_4) OR FIREABLE(T_1125_5_3_3_1) OR FIREABLE(T_1125_1_4_4_4) OR FIREABLE(T_1125_4_4_1_3) OR FIREABLE(T_1125_6_2_4_3) OR FIREABLE(T_1125_6_1_1_2) OR FIREABLE(T_1125_3_1_2_1) OR FIREABLE(T_1125_2_1_1_4) OR FIREABLE(T_1125_5_4_4_2) OR FIREABLE(T_1125_4_4_3_3) OR FIREABLE(T_1125_3_1_4_1) OR FIREABLE(T_1125_3_1_2_3) OR FIREABLE(T_1125_2_1_3_3) OR FIREABLE(T_1125_3_4_2_2) OR FIREABLE(T_1125_5_4_2_1) OR FIREABLE(T_1125_5_3_1_3) OR FIREABLE(T_1125_3_4_2_3) OR FIREABLE(T_1125_6_1_3_1) OR FIREABLE(T_1125_4_2_3_4) OR FIREABLE(T_1125_4_1_4_4) OR FIREABLE(T_1125_6_2_2_2) OR FIREABLE(T_1125_3_4_4_1) OR FIREABLE(T_1125_4_3_1_4) OR FIREABLE(T_1125_2_2_2_3) OR FIREABLE(T_1125_6_4_3_1) OR FIREABLE(T_1125_3_2_1_1) OR FIREABLE(T_1125_4_1_1_2) OR FIREABLE(T_1125_2_3_1_2) OR FIREABLE(T_1125_1_3_1_4) OR FIREABLE(T_1125_5_3_1_1) OR FIREABLE(T_1125_5_1_3_3) OR FIREABLE(T_1125_4_2_4_1) OR FIREABLE(T_1125_1_3_2_1) OR FIREABLE(T_1125_4_4_2_4) OR FIREABLE(T_1125_4_2_3_3) OR FIREABLE(T_1125_4_1_2_4) OR FIREABLE(T_1125_2_1_2_1) OR FIREABLE(T_1125_3_2_3_1) OR FIREABLE(T_1125_4_3_4_4) OR FIREABLE(T_1125_3_1_1_4) OR FIREABLE(T_1125_1_2_1_2) OR FIREABLE(T_1125_4_3_3_2) OR FIREABLE(T_1125_1_4_1_1) OR FIREABLE(T_1125_4_1_4_1) OR FIREABLE(T_1125_2_3_3_1) OR FIREABLE(T_1125_3_3_2_4) OR FIREABLE(T_1125_2_4_2_2) OR FIREABLE(T_1125_1_1_3_4) OR FIREABLE(T_1125_3_2_4_3) OR FIREABLE(T_1125_2_4_4_2) OR FIREABLE(T_1125_5_2_3_4) OR FIREABLE(T_1125_3_2_3_2) OR FIREABLE(T_1125_4_1_4_3) OR FIREABLE(T_1125_3_1_4_2) OR FIREABLE(T_1125_6_3_2_3) OR FIREABLE(T_1125_1_3_2_2) OR FIREABLE(T_1125_3_1_1_2) OR FIREABLE(T_1125_2_3_1_3) OR FIREABLE(T_1125_6_1_1_1) OR FIREABLE(T_1125_2_3_4_3) OR FIREABLE(T_1125_1_3_4_2) OR FIREABLE(T_1125_6_1_3_2) OR FIREABLE(T_1125_2_2_1_2) OR FIREABLE(T_1125_5_4_3_3) OR FIREABLE(T_1125_1_3_4_1) OR FIREABLE(T_1125_5_2_2_3) OR FIREABLE(T_1125_5_1_4_4) OR FIREABLE(T_1125_1_2_1_3) OR FIREABLE(T_1125_6_4_2_1) OR FIREABLE(T_1125_6_3_4_1) OR FIREABLE(T_1125_1_4_2_1) OR FIREABLE(T_1125_2_2_1_4) OR FIREABLE(T_1125_6_3_3_4) OR FIREABLE(T_1125_5_3_4_4) OR FIREABLE(T_1125_6_4_4_4) OR FIREABLE(T_1125_5_2_2_1) OR FIREABLE(T_1125_4_2_4_2) OR FIREABLE(T_1125_6_4_1_3) OR FIREABLE(T_1125_6_4_1_2) OR FIREABLE(T_1125_1_1_1_3) OR FIREABLE(T_1125_6_4_2_3) OR FIREABLE(T_1125_4_2_2_1) OR FIREABLE(T_1125_5_4_3_1) OR FIREABLE(T_1125_5_3_3_4) OR FIREABLE(T_1125_6_4_2_4) OR FIREABLE(T_1125_5_3_1_2) OR FIREABLE(T_1125_2_3_2_2) OR FIREABLE(T_1125_4_3_4_2) OR FIREABLE(T_1125_4_3_1_1) OR FIREABLE(T_1125_1_3_3_3) OR FIREABLE(T_1125_5_4_2_2) OR FIREABLE(T_1125_2_2_3_1) OR FIREABLE(T_1125_1_4_2_3) OR FIREABLE(T_1125_1_1_3_1) OR FIREABLE(T_1125_2_2_3_4) OR FIREABLE(T_1125_1_2_4_4) OR FIREABLE(T_1125_5_2_1_4) OR FIREABLE(T_1125_3_2_2_2) OR FIREABLE(T_1125_4_4_3_4) OR FIREABLE(T_1125_5_1_2_3) OR FIREABLE(T_1125_6_2_3_2) OR FIREABLE(T_1125_2_1_1_2) OR FIREABLE(T_1125_6_2_4_1) OR FIREABLE(T_1125_6_3_2_1) OR FIREABLE(T_1125_6_3_1_4) OR FIREABLE(T_1125_3_4_3_2) OR FIREABLE(T_1125_1_4_4_1) OR FIREABLE(T_1125_6_2_1_1) OR FIREABLE(T_1125_3_1_2_2) OR FIREABLE(T_1125_3_4_1_4) OR FIREABLE(T_1125_1_2_4_3) OR FIREABLE(T_1125_6_1_1_3) OR FIREABLE(T_1125_5_2_4_2) OR FIREABLE(T_1125_1_2_3_3) OR FIREABLE(T_1125_3_2_3_4) OR FIREABLE(T_1125_5_1_2_4) OR FIREABLE(T_1125_2_1_4_2) OR FIREABLE(T_1125_4_2_2_3) OR FIREABLE(T_1125_1_2_1_1) OR FIREABLE(T_1125_2_4_1_3) OR FIREABLE(T_1125_4_3_1_2) OR FIREABLE(T_1125_5_3_4_3) OR FIREABLE(T_1125_4_4_2_2) OR FIREABLE(T_1125_1_4_2_4) OR FIREABLE(T_1125_1_2_3_2) OR FIREABLE(T_1125_6_2_3_3) OR FIREABLE(T_1125_1_1_1_1) OR FIREABLE(T_1125_2_4_3_3) OR FIREABLE(T_1125_4_2_2_4) OR FIREABLE(T_1125_6_4_4_3) OR FIREABLE(T_1125_1_3_2_4) OR FIREABLE(T_1125_2_2_2_2) OR FIREABLE(T_1125_6_1_4_1) OR FIREABLE(T_1125_3_4_3_3) OR FIREABLE(T_1125_5_4_4_4) OR FIREABLE(T_1125_3_3_3_1) OR FIREABLE(T_1125_3_3_1_3) OR FIREABLE(T_1125_3_3_4_1) OR FIREABLE(T_1125_3_3_1_1) OR FIREABLE(T_1125_3_3_2_2) OR FIREABLE(T_1125_5_2_4_3) OR FIREABLE(T_1125_3_3_1_4) OR FIREABLE(T_1125_2_3_4_4) OR FIREABLE(T_1125_4_3_3_4) OR FIREABLE(T_1125_5_1_2_1) OR FIREABLE(T_1125_5_2_3_1) OR FIREABLE(T_1125_4_2_1_2) OR FIREABLE(T_1125_5_4_1_3) OR FIREABLE(T_1125_2_2_2_1) OR FIREABLE(T_1125_5_1_4_1) OR FIREABLE(T_1125_3_1_3_3) OR FIREABLE(T_1125_1_4_4_2) OR FIREABLE(T_1125_3_2_1_2) OR FIREABLE(T_1125_4_4_3_1) OR FIREABLE(T_1125_2_1_4_3) OR FIREABLE(T_1125_5_4_3_4) OR FIREABLE(T_1125_6_1_4_4) OR FIREABLE(T_1125_2_4_1_1) OR FIREABLE(T_1125_5_3_2_1) OR FIREABLE(T_1125_6_3_1_1) OR FIREABLE(T_1125_1_3_2_3) OR FIREABLE(T_1125_5_1_4_2) OR FIREABLE(T_1125_4_4_4_2) OR FIREABLE(T_1125_4_1_3_2) OR FIREABLE(T_1125_2_1_2_3) OR FIREABLE(T_1125_6_1_1_4) OR FIREABLE(T_1125_4_3_2_4) OR FIREABLE(T_1125_6_3_3_2) OR FIREABLE(T_1125_3_1_3_4) OR FIREABLE(T_1125_4_1_3_3) OR FIREABLE(T_1125_2_1_2_4) OR FIREABLE(T_1125_1_1_1_4) OR FIREABLE(T_1125_2_2_4_3) OR FIREABLE(T_1125_2_4_1_4) OR FIREABLE(T_1125_3_3_3_2) OR FIREABLE(T_1125_2_1_3_1) OR FIREABLE(T_1125_3_2_1_3) OR FIREABLE(T_1125_4_1_2_1) OR FIREABLE(T_1125_4_1_1_1) OR FIREABLE(T_1125_1_4_1_2) OR FIREABLE(T_1125_4_3_4_3) OR FIREABLE(T_1125_3_3_4_4) OR FIREABLE(T_1125_2_2_4_2) OR FIREABLE(T_1125_6_4_3_4) OR FIREABLE(T_1125_3_3_3_4) OR FIREABLE(T_1125_4_3_2_3) OR FIREABLE(T_1125_5_1_3_4) OR FIREABLE(T_1125_6_3_1_2) OR FIREABLE(T_1125_6_3_3_3) OR FIREABLE(T_1125_4_3_4_1) OR FIREABLE(T_1125_1_3_1_3) OR FIREABLE(T_1125_1_1_1_2) OR FIREABLE(T_1125_3_4_3_1) OR FIREABLE(T_1125_1_2_2_3) OR FIREABLE(T_1125_4_4_1_2) OR FIREABLE(T_1125_3_2_1_4) OR FIREABLE(T_1125_3_4_1_1) OR FIREABLE(T_1125_6_2_1_3) OR FIREABLE(T_1125_6_2_2_3) OR FIREABLE(T_1125_6_2_1_4) OR FIREABLE(T_1125_4_3_2_2) OR FIREABLE(T_1125_4_4_4_4) OR FIREABLE(T_1125_5_2_1_2) OR FIREABLE(T_1125_6_2_3_1) OR FIREABLE(T_1125_5_1_4_3) OR FIREABLE(T_1125_6_1_3_4) OR FIREABLE(T_1125_1_2_4_1) OR FIREABLE(T_1125_2_4_3_1) OR FIREABLE(T_1125_1_1_3_2) OR FIREABLE(T_1125_2_3_4_1) OR FIREABLE(T_1125_2_3_1_1) OR FIREABLE(T_1125_6_3_1_3) OR FIREABLE(T_1125_3_1_1_3) OR FIREABLE(T_1125_2_2_1_3) OR FIREABLE(T_1125_5_4_1_4) OR FIREABLE(T_1125_4_2_3_1) OR FIREABLE(T_1125_1_4_4_3) OR FIREABLE(T_1125_3_2_4_2) OR FIREABLE(T_1125_1_2_2_2) OR FIREABLE(T_1125_6_4_4_1) OR FIREABLE(T_1125_4_2_3_2) OR FIREABLE(T_1125_6_2_4_4) OR FIREABLE(T_1125_4_3_2_1) OR FIREABLE(T_1125_2_1_3_4) OR FIREABLE(T_1125_1_1_2_2) OR FIREABLE(T_1125_2_1_3_2) OR FIREABLE(T_1125_3_2_2_1) OR FIREABLE(T_1125_3_3_3_3) OR FIREABLE(T_1125_5_3_2_2) OR FIREABLE(T_1125_2_3_3_4) OR FIREABLE(T_1125_2_2_2_4) OR FIREABLE(T_1125_3_4_4_4) OR FIREABLE(T_1125_4_4_4_3) OR FIREABLE(T_1125_1_2_2_1) OR FIREABLE(T_1125_4_2_1_1) OR FIREABLE(T_1125_5_1_3_2) OR FIREABLE(T_1125_3_4_2_4) OR FIREABLE(T_1125_1_3_3_1) OR FIREABLE(T_1125_6_3_2_4) OR FIREABLE(T_1125_1_1_4_4) OR FIREABLE(T_1125_6_1_2_2) OR FIREABLE(T_1125_2_4_2_1) OR FIREABLE(T_1125_5_1_1_1) OR FIREABLE(T_1125_4_1_3_4) OR FIREABLE(T_1125_5_3_4_2) OR FIREABLE(T_1125_4_1_1_4) OR FIREABLE(T_1125_3_2_4_4) OR FIREABLE(T_1125_6_3_4_3) OR FIREABLE(T_1125_2_3_4_2) OR FIREABLE(T_1125_3_1_1_1) OR FIREABLE(T_1125_6_1_4_2) OR FIREABLE(T_1125_5_3_4_1) OR FIREABLE(T_1125_4_1_2_3) OR FIREABLE(T_1125_6_4_4_2) OR FIREABLE(T_1125_1_4_3_3) OR FIREABLE(T_1125_6_4_3_3) OR FIREABLE(T_1125_4_4_1_1) OR FIREABLE(T_1125_1_3_4_3) OR FIREABLE(T_1125_3_3_2_1) OR FIREABLE(T_1125_4_4_1_4) OR FIREABLE(T_1125_3_1_3_1) OR FIREABLE(T_1125_4_4_2_3) OR FIREABLE(T_1125_5_3_2_3) OR FIREABLE(T_1125_4_2_1_3) OR FIREABLE(T_1125_5_4_3_2) OR FIREABLE(T_1125_3_2_3_3) OR FIREABLE(T_1125_5_2_2_4) OR FIREABLE(T_1125_3_4_1_3) OR FIREABLE(T_1125_1_3_3_2) OR FIREABLE(T_1125_3_1_3_2) OR FIREABLE(T_1125_2_2_4_4) OR FIREABLE(T_1125_5_4_1_2) OR FIREABLE(T_1125_2_4_3_2) OR FIREABLE(T_1125_1_3_4_4) OR FIREABLE(T_1125_2_4_4_4) OR FIREABLE(T_1125_2_3_2_3) OR FIREABLE(T_1125_5_4_4_3) OR FIREABLE(T_1125_5_4_1_1) OR FIREABLE(T_1125_3_2_2_4) OR FIREABLE(T_1125_5_1_3_1) OR FIREABLE(T_1125_3_1_4_3) OR FIREABLE(T_1125_6_1_2_1) OR FIREABLE(T_1125_5_3_1_4) OR FIREABLE(T_1125_2_3_2_4) OR FIREABLE(T_1125_1_3_1_1) OR FIREABLE(T_1125_2_3_3_3))))) : A (G (((NOT FIREABLE(WaitCompleted_2_6) AND NOT FIREABLE(WaitCompleted_3_4) AND NOT FIREABLE(WaitCompleted_4_3) AND NOT FIREABLE(WaitCompleted_1_2) AND NOT FIREABLE(WaitCompleted_2_4) AND NOT FIREABLE(WaitCompleted_3_6) AND NOT FIREABLE(WaitCompleted_4_1) AND NOT FIREABLE(WaitCompleted_2_2) AND NOT FIREABLE(WaitCompleted_1_4) AND NOT FIREABLE(WaitCompleted_4_5) AND NOT FIREABLE(WaitCompleted_1_6) AND NOT FIREABLE(WaitCompleted_3_2) AND NOT FIREABLE(WaitCompleted_1_1) AND NOT FIREABLE(WaitCompleted_4_2) AND NOT FIREABLE(WaitCompleted_3_5) AND NOT FIREABLE(WaitCompleted_1_3) AND NOT FIREABLE(WaitCompleted_2_5) AND NOT FIREABLE(WaitCompleted_4_6) AND NOT FIREABLE(WaitCompleted_1_5) AND NOT FIREABLE(WaitCompleted_2_3) AND NOT FIREABLE(WaitCompleted_3_1) AND NOT FIREABLE(WaitCompleted_4_4) AND NOT FIREABLE(WaitCompleted_2_1) AND NOT FIREABLE(WaitCompleted_3_3)) OR (NOT FIREABLE(T_1713_0_6) AND NOT FIREABLE(T_1713_4_3) AND NOT FIREABLE(T_1713_3_6) AND NOT FIREABLE(T_1713_3_4) AND NOT FIREABLE(T_1713_0_4) AND NOT FIREABLE(T_1713_1_6) AND NOT FIREABLE(T_1713_2_4) AND NOT FIREABLE(T_1713_3_2) AND NOT FIREABLE(T_1713_2_2) AND NOT FIREABLE(T_1713_1_4) AND NOT FIREABLE(T_1713_4_2) AND NOT FIREABLE(T_1713_2_1) AND NOT FIREABLE(T_1713_0_3) AND NOT FIREABLE(T_1713_3_5) AND NOT FIREABLE(T_1713_4_5) AND NOT FIREABLE(T_1713_2_5) AND NOT FIREABLE(T_1713_1_3) AND NOT FIREABLE(T_1713_4_1) AND NOT FIREABLE(T_1713_4_6) AND NOT FIREABLE(T_1713_2_3) AND NOT FIREABLE(T_1713_1_1) AND NOT FIREABLE(T_1713_3_1) AND NOT FIREABLE(T_1713_1_5) AND NOT FIREABLE(T_1713_2_6) AND NOT FIREABLE(T_1713_1_2) AND NOT FIREABLE(T_1713_0_5) AND NOT FIREABLE(T_1713_3_3) AND NOT FIREABLE(T_1713_0_2) AND NOT FIREABLE(T_1713_4_4) AND NOT FIREABLE(T_1713_0_1)) OR (NOT FIREABLE(T_1444_1) AND NOT FIREABLE(T_1444_2) AND NOT FIREABLE(T_1444_3) AND NOT FIREABLE(T_1444_4) AND NOT FIREABLE(T_1444_5) AND NOT FIREABLE(T_1444_6) AND (FIREABLE(T_1094_5) OR FIREABLE(T_1094_2) OR FIREABLE(T_1094_4) OR FIREABLE(T_1094_1) OR FIREABLE(T_1094_6) OR FIREABLE(T_1094_3)))))) : A (G (((NOT FIREABLE(T_1148_2) AND NOT FIREABLE(T_1148_5) AND NOT FIREABLE(T_1148_6) AND NOT FIREABLE(T_1148_3) AND NOT FIREABLE(T_1148_1) AND NOT FIREABLE(T_1148_4)) OR (NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_6) AND NOT FIREABLE(EnterCSPW_2) AND NOT FIREABLE(EnterCSPW_6) AND NOT FIREABLE(EnterCSPW_1) AND NOT FIREABLE(EnterCSPW_4) AND NOT FIREABLE(EnterCSPW_5) AND NOT FIREABLE(EnterCSPW_3))))) : A (G ((NOT FIREABLE(T_1171_5) AND NOT FIREABLE(T_1171_4) AND NOT FIREABLE(T_1171_6) AND NOT FIREABLE(T_1171_1) AND NOT FIREABLE(T_1171_2) AND NOT FIREABLE(T_1171_3) AND NOT FIREABLE(T_1721_1_4) AND NOT FIREABLE(T_1721_0_5) AND NOT FIREABLE(T_1721_4_2) AND NOT FIREABLE(T_1721_2_6) AND NOT FIREABLE(T_1721_4_4) AND NOT FIREABLE(T_1721_3_6) AND NOT FIREABLE(T_1721_2_4) AND NOT FIREABLE(T_1721_3_2) AND NOT FIREABLE(T_1721_0_6) AND NOT FIREABLE(T_1721_3_4) AND NOT FIREABLE(T_1721_0_3) AND NOT FIREABLE(T_1721_1_6) AND NOT FIREABLE(T_1721_1_3) AND NOT FIREABLE(T_1721_3_3) AND NOT FIREABLE(T_1721_2_1) AND NOT FIREABLE(T_1721_2_3) AND NOT FIREABLE(T_1721_0_2) AND NOT FIREABLE(T_1721_4_5) AND NOT FIREABLE(T_1721_3_1) AND NOT FIREABLE(T_1721_3_5) AND NOT FIREABLE(T_1721_0_1) AND NOT FIREABLE(T_1721_4_1) AND NOT FIREABLE(T_1721_2_2) AND NOT FIREABLE(T_1721_4_3) AND NOT FIREABLE(T_1721_4_6) AND NOT FIREABLE(T_1721_2_5) AND NOT FIREABLE(T_1721_0_4) AND NOT FIREABLE(T_1721_1_1) AND NOT FIREABLE(T_1721_1_2) AND NOT FIREABLE(T_1721_1_5)))) : A (G ((NOT FIREABLE(T_1721_1_4) AND NOT FIREABLE(T_1721_0_5) AND NOT FIREABLE(T_1721_4_2) AND NOT FIREABLE(T_1721_2_6) AND NOT FIREABLE(T_1721_4_4) AND NOT FIREABLE(T_1721_3_6) AND NOT FIREABLE(T_1721_2_4) AND NOT FIREABLE(T_1721_3_2) AND NOT FIREABLE(T_1721_0_6) AND NOT FIREABLE(T_1721_3_4) AND NOT FIREABLE(T_1721_0_3) AND NOT FIREABLE(T_1721_1_6) AND NOT FIREABLE(T_1721_1_3) AND NOT FIREABLE(T_1721_3_3) AND NOT FIREABLE(T_1721_2_1) AND NOT FIREABLE(T_1721_2_3) AND NOT FIREABLE(T_1721_0_2) AND NOT FIREABLE(T_1721_4_5) AND NOT FIREABLE(T_1721_3_1) AND NOT FIREABLE(T_1721_3_5) AND NOT FIREABLE(T_1721_0_1) AND NOT FIREABLE(T_1721_4_1) AND NOT FIREABLE(T_1721_2_2) AND NOT FIREABLE(T_1721_4_3) AND NOT FIREABLE(T_1721_4_6) AND NOT FIREABLE(T_1721_2_5) AND NOT FIREABLE(T_1721_0_4) AND NOT FIREABLE(T_1721_1_1) AND NOT FIREABLE(T_1721_1_2) AND NOT FIREABLE(T_1721_1_5) AND ((NOT FIREABLE(T_1147_1) AND NOT FIREABLE(T_1147_3) AND NOT FIREABLE(T_1147_6) AND NOT FIREABLE(T_1147_5) AND NOT FIREABLE(T_1147_4) AND NOT FIREABLE(T_1147_2)) OR (NOT FIREABLE(T_1115_0_4_6) AND NOT FIREABLE(T_1115_0_3_6) AND NOT FIREABLE(T_1115_1_2_5) AND NOT FIREABLE(T_1115_2_3_4) AND NOT FIREABLE(T_1115_4_2_1) AND NOT FIREABLE(T_1115_4_1_3) AND NOT FIREABLE(T_1115_1_1_6) AND NOT FIREABLE(T_1115_3_1_2) AND NOT FIREABLE(T_1115_0_3_1) AND NOT FIREABLE(T_1115_2_1_2) AND NOT FIREABLE(T_1115_3_2_4) AND NOT FIREABLE(T_1115_1_1_3) AND NOT FIREABLE(T_1115_4_2_6) AND NOT FIREABLE(T_1115_3_3_1) AND NOT FIREABLE(T_1115_0_3_3) AND NOT FIREABLE(T_1115_3_3_5) AND NOT FIREABLE(T_1115_0_1_3) AND NOT FIREABLE(T_1115_1_4_6) AND NOT FIREABLE(T_1115_1_3_2) AND NOT FIREABLE(T_1115_2_1_6) AND NOT FIREABLE(T_1115_3_1_1) AND NOT FIREABLE(T_1115_2_2_4) AND NOT FIREABLE(T_1115_2_3_1) AND NOT FIREABLE(T_1115_1_4_5) AND NOT FIREABLE(T_1115_2_4_6) AND NOT FIREABLE(T_1115_2_2_5) AND NOT FIREABLE(T_1115_4_2_3) AND NOT FIREABLE(T_1115_3_2_6) AND NOT FIREABLE(T_1115_4_4_3) AND NOT FIREABLE(T_1115_1_1_2) AND NOT FIREABLE(T_1115_0_4_5) AND NOT FIREABLE(T_1115_0_1_4) AND NOT FIREABLE(T_1115_1_1_1) AND NOT FIREABLE(T_1115_2_4_4) AND NOT FIREABLE(T_1115_4_4_5) AND NOT FIREABLE(T_1115_3_4_4) AND NOT FIREABLE(T_1115_3_4_6) AND NOT FIREABLE(T_1115_4_1_1) AND NOT FIREABLE(T_1115_2_3_2) AND NOT FIREABLE(T_1115_1_3_1) AND NOT FIREABLE(T_1115_3_2_5) AND NOT FIREABLE(T_1115_4_4_2) AND NOT FIREABLE(T_1115_0_3_4) AND NOT FIREABLE(T_1115_2_2_6) AND NOT FIREABLE(T_1115_4_1_5) AND NOT FIREABLE(T_1115_4_4_1) AND NOT FIREABLE(T_1115_3_4_5) AND NOT FIREABLE(T_1115_0_4_4) AND NOT FIREABLE(T_1115_4_2_5) AND NOT FIREABLE(T_1115_2_1_3) AND NOT FIREABLE(T_1115_0_1_6) AND NOT FIREABLE(T_1115_1_4_3) AND NOT FIREABLE(T_1115_1_1_4) AND NOT FIREABLE(T_1115_0_2_1) AND NOT FIREABLE(T_1115_4_3_1) AND NOT FIREABLE(T_1115_0_1_1) AND NOT FIREABLE(T_1115_2_4_1) AND NOT FIREABLE(T_1115_3_3_2) AND NOT FIREABLE(T_1115_3_2_2) AND NOT FIREABLE(T_1115_2_2_3) AND NOT FIREABLE(T_1115_0_3_5) AND NOT FIREABLE(T_1115_1_4_4) AND NOT FIREABLE(T_1115_1_2_1) AND NOT FIREABLE(T_1115_4_2_4) AND NOT FIREABLE(T_1115_0_4_3) AND NOT FIREABLE(T_1115_2_4_5) AND NOT FIREABLE(T_1115_3_1_5) AND NOT FIREABLE(T_1115_3_2_3) AND NOT FIREABLE(T_1115_4_3_2) AND NOT FIREABLE(T_1115_2_1_4) AND NOT FIREABLE(T_1115_0_1_2) AND NOT FIREABLE(T_1115_2_2_2) AND NOT FIREABLE(T_1115_3_3_4) AND NOT FIREABLE(T_1115_1_4_2) AND NOT FIREABLE(T_1115_4_4_6) AND NOT FIREABLE(T_1115_1_2_6) AND NOT FIREABLE(T_1115_3_4_1) AND NOT FIREABLE(T_1115_1_2_2) AND NOT FIREABLE(T_1115_0_2_3) AND NOT FIREABLE(T_1115_2_3_6) AND NOT FIREABLE(T_1115_0_2_6) AND NOT FIREABLE(T_1115_0_4_2) AND NOT FIREABLE(T_1115_3_1_4) AND NOT FIREABLE(T_1115_3_1_6) AND NOT FIREABLE(T_1115_2_1_5) AND NOT FIREABLE(T_1115_1_2_3) AND NOT FIREABLE(T_1115_4_3_3) AND NOT FIREABLE(T_1115_3_3_6) AND NOT FIREABLE(T_1115_2_3_5) AND NOT FIREABLE(T_1115_1_3_5) AND NOT FIREABLE(T_1115_3_2_1) AND NOT FIREABLE(T_1115_0_4_1) AND NOT FIREABLE(T_1115_4_1_4) AND NOT FIREABLE(T_1115_4_1_6) AND NOT FIREABLE(T_1115_4_1_2) AND NOT FIREABLE(T_1115_3_4_2) AND NOT FIREABLE(T_1115_0_2_2) AND NOT FIREABLE(T_1115_4_3_4) AND NOT FIREABLE(T_1115_2_4_3) AND NOT FIREABLE(T_1115_1_2_4) AND NOT FIREABLE(T_1115_3_3_3) AND NOT FIREABLE(T_1115_1_1_5) AND NOT FIREABLE(T_1115_4_2_2) AND NOT FIREABLE(T_1115_1_3_6) AND NOT FIREABLE(T_1115_2_3_3) AND NOT FIREABLE(T_1115_3_1_3) AND NOT FIREABLE(T_1115_0_2_5) AND NOT FIREABLE(T_1115_1_4_1) AND NOT FIREABLE(T_1115_2_1_1) AND NOT FIREABLE(T_1115_0_1_5) AND NOT FIREABLE(T_1115_4_3_5) AND NOT FIREABLE(T_1115_4_3_6) AND NOT FIREABLE(T_1115_2_2_1) AND NOT FIREABLE(T_1115_1_3_4) AND NOT FIREABLE(T_1115_4_4_4) AND NOT FIREABLE(T_1115_0_2_4) AND NOT FIREABLE(T_1115_3_4_3) AND NOT FIREABLE(T_1115_2_4_2) AND NOT FIREABLE(T_1115_0_3_2) AND NOT FIREABLE(T_1115_1_3_3))) AND ((NOT FIREABLE(T_1146_1) AND NOT FIREABLE(T_1146_2) AND NOT FIREABLE(T_1146_3) AND NOT FIREABLE(T_1146_4) AND NOT FIREABLE(T_1146_5) AND NOT FIREABLE(T_1146_6)) OR (NOT FIREABLE(WillPerformWork_2_4) AND NOT FIREABLE(WillPerformWork_3_5) AND NOT FIREABLE(WillPerformWork_3_2) AND NOT FIREABLE(WillPerformWork_4_2) AND NOT FIREABLE(WillPerformWork_2_1) AND NOT FIREABLE(WillPerformWork_4_5) AND NOT FIREABLE(WillPerformWork_0_2) AND NOT FIREABLE(WillPerformWork_1_4) AND NOT FIREABLE(WillPerformWork_4_3) AND NOT FIREABLE(WillPerformWork_0_4) AND NOT FIREABLE(WillPerformWork_2_5) AND NOT FIREABLE(WillPerformWork_4_1) AND NOT FIREABLE(WillPerformWork_2_2) AND NOT FIREABLE(WillPerformWork_0_6) AND NOT FIREABLE(WillPerformWork_1_6) AND NOT FIREABLE(WillPerformWork_2_6) AND NOT FIREABLE(WillPerformWork_4_4) AND NOT FIREABLE(WillPerformWork_1_2) AND NOT FIREABLE(WillPerformWork_3_3) AND NOT FIREABLE(WillPerformWork_2_3) AND NOT FIREABLE(WillPerformWork_0_3) AND NOT FIREABLE(WillPerformWork_1_3) AND NOT FIREABLE(WillPerformWork_1_1) AND NOT FIREABLE(WillPerformWork_0_5) AND NOT FIREABLE(WillPerformWork_4_6) AND NOT FIREABLE(WillPerformWork_0_1) AND NOT FIREABLE(WillPerformWork_3_4) AND NOT FIREABLE(WillPerformWork_1_5) AND NOT FIREABLE(WillPerformWork_3_1) AND NOT FIREABLE(WillPerformWork_3_6)))))) : A (G ((FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR (NOT FIREABLE(SetSigAbort_4) AND NOT FIREABLE(SetSigAbort_6) AND NOT FIREABLE(SetSigAbort_1) AND NOT FIREABLE(SetSigAbort_3) AND NOT FIREABLE(SetSigAbort_2) AND NOT FIREABLE(SetSigAbort_5)) OR (NOT FIREABLE(T_0383_3_6) AND NOT FIREABLE(T_0383_1_3) AND NOT FIREABLE(T_0383_1_5) AND NOT FIREABLE(T_0383_4_6) AND NOT FIREABLE(T_0383_2_2) AND NOT FIREABLE(T_0383_3_2) AND NOT FIREABLE(T_0383_4_4) AND NOT FIREABLE(T_0383_3_3) AND NOT FIREABLE(T_0383_2_5) AND NOT FIREABLE(T_0383_4_1) AND NOT FIREABLE(T_0383_3_5) AND NOT FIREABLE(T_0383_2_3) AND NOT FIREABLE(T_0383_1_2) AND NOT FIREABLE(T_0383_1_4) AND NOT FIREABLE(T_0383_4_5) AND NOT FIREABLE(T_0383_1_6) AND NOT FIREABLE(T_0383_2_1) AND NOT FIREABLE(T_0383_4_3) AND NOT FIREABLE(T_0383_3_1) AND NOT FIREABLE(T_0383_4_2) AND NOT FIREABLE(T_0383_2_6) AND NOT FIREABLE(T_0383_1_1) AND NOT FIREABLE(T_0383_3_4) AND NOT FIREABLE(T_0383_2_4)) OR FIREABLE(NotifyEventSourceAdded_4) OR FIREABLE(NotifyEventSourceAdded_3) OR FIREABLE(NotifyEventSourceAdded_2) OR FIREABLE(NotifyEventSourceAdded_1) OR FIREABLE(NotifyEventSourceAdded_6) OR FIREABLE(NotifyEventSourceAdded_5)))) : E (F (((FIREABLE(T_2285_4_1) OR FIREABLE(T_2285_2_1) OR FIREABLE(T_2285_4_3) OR FIREABLE(T_2285_3_3) OR FIREABLE(T_2285_1_5) OR FIREABLE(T_2285_2_6) OR FIREABLE(T_2285_4_4) OR FIREABLE(T_2285_6_4) OR FIREABLE(T_2285_5_1) OR FIREABLE(T_2285_3_6) OR FIREABLE(T_2285_5_4) OR FIREABLE(T_2285_2_3) OR FIREABLE(T_2285_4_6) OR FIREABLE(T_2285_2_4) OR FIREABLE(T_2285_3_5) OR FIREABLE(T_2285_1_3) OR FIREABLE(T_2285_6_1) OR FIREABLE(T_2285_6_2) OR FIREABLE(T_2285_2_5) OR FIREABLE(T_2285_1_2) OR FIREABLE(T_2285_5_6) OR FIREABLE(T_2285_3_4) OR FIREABLE(T_2285_5_2) OR FIREABLE(T_2285_6_3) OR FIREABLE(T_2285_6_6) OR FIREABLE(T_2285_1_1) OR FIREABLE(T_2285_1_4) OR FIREABLE(T_2285_2_2) OR FIREABLE(T_2285_5_5) OR FIREABLE(T_2285_4_2) OR FIREABLE(T_2285_3_2) OR FIREABLE(T_2285_4_5) OR FIREABLE(T_2285_3_1) OR FIREABLE(T_2285_6_5) OR FIREABLE(T_2285_5_3) OR FIREABLE(T_2285_1_6)) AND (FIREABLE(WillPerformWork_2_4) OR FIREABLE(WillPerformWork_3_5) OR FIREABLE(WillPerformWork_3_2) OR FIREABLE(WillPerformWork_4_2) OR FIREABLE(WillPerformWork_2_1) OR FIREABLE(WillPerformWork_4_5) OR FIREABLE(WillPerformWork_0_2) OR FIREABLE(WillPerformWork_1_4) OR FIREABLE(WillPerformWork_4_3) OR FIREABLE(WillPerformWork_0_4) OR FIREABLE(WillPerformWork_2_5) OR FIREABLE(WillPerformWork_4_1) OR FIREABLE(WillPerformWork_2_2) OR FIREABLE(WillPerformWork_0_6) OR FIREABLE(WillPerformWork_1_6) OR FIREABLE(WillPerformWork_2_6) OR FIREABLE(WillPerformWork_4_4) OR FIREABLE(WillPerformWork_1_2) OR FIREABLE(WillPerformWork_3_3) OR FIREABLE(WillPerformWork_2_3) OR FIREABLE(WillPerformWork_0_3) OR FIREABLE(WillPerformWork_1_3) OR FIREABLE(WillPerformWork_1_1) OR FIREABLE(WillPerformWork_0_5) OR FIREABLE(WillPerformWork_4_6) OR FIREABLE(WillPerformWork_0_1) OR FIREABLE(WillPerformWork_3_4) OR FIREABLE(WillPerformWork_1_5) OR FIREABLE(WillPerformWork_3_1) OR FIREABLE(WillPerformWork_3_6) OR FIREABLE(T_2317_1) OR FIREABLE(T_2317_6) OR FIREABLE(T_2317_4) OR FIREABLE(T_2317_5) OR FIREABLE(T_2317_3) OR FIREABLE(T_2317_2))))) : E (F ((NOT FIREABLE(T_1729_4_1) AND NOT FIREABLE(T_1729_3_3) AND NOT FIREABLE(T_1729_3_5) AND NOT FIREABLE(T_1729_0_5) AND NOT FIREABLE(T_1729_0_2) AND NOT FIREABLE(T_1729_2_5) AND NOT FIREABLE(T_1729_2_3) AND NOT FIREABLE(T_1729_2_1) AND NOT FIREABLE(T_1729_2_2) AND NOT FIREABLE(T_1729_3_6) AND NOT FIREABLE(T_1729_1_5) AND NOT FIREABLE(T_1729_4_3) AND NOT FIREABLE(T_1729_3_1) AND NOT FIREABLE(T_1729_0_4) AND NOT FIREABLE(T_1729_0_1) AND NOT FIREABLE(T_1729_4_6) AND NOT FIREABLE(T_1729_4_2) AND NOT FIREABLE(T_1729_2_6) AND NOT FIREABLE(T_1729_1_4) AND NOT FIREABLE(T_1729_1_1) AND NOT FIREABLE(T_1729_3_2) AND NOT FIREABLE(T_1729_1_6) AND NOT FIREABLE(T_1729_2_4) AND NOT FIREABLE(T_1729_1_2) AND NOT FIREABLE(T_1729_0_6) AND NOT FIREABLE(T_1729_3_4) AND NOT FIREABLE(T_1729_1_3) AND NOT FIREABLE(T_1729_4_5) AND NOT FIREABLE(T_1729_0_3) AND NOT FIREABLE(T_1729_4_4) AND (FIREABLE(T_1721_1_4) OR FIREABLE(T_1721_0_5) OR FIREABLE(T_1721_4_2) OR FIREABLE(T_1721_2_6) OR FIREABLE(T_1721_4_4) OR FIREABLE(T_1721_3_6) OR FIREABLE(T_1721_2_4) OR FIREABLE(T_1721_3_2) OR FIREABLE(T_1721_0_6) OR FIREABLE(T_1721_3_4) OR FIREABLE(T_1721_0_3) OR FIREABLE(T_1721_1_6) OR FIREABLE(T_1721_1_3) OR FIREABLE(T_1721_3_3) OR FIREABLE(T_1721_2_1) OR FIREABLE(T_1721_2_3) OR FIREABLE(T_1721_0_2) OR FIREABLE(T_1721_4_5) OR FIREABLE(T_1721_3_1) OR FIREABLE(T_1721_3_5) OR FIREABLE(T_1721_0_1) OR FIREABLE(T_1721_4_1) OR FIREABLE(T_1721_2_2) OR FIREABLE(T_1721_4_3) OR FIREABLE(T_1721_4_6) OR FIREABLE(T_1721_2_5) OR FIREABLE(T_1721_0_4) OR FIREABLE(T_1721_1_1) OR FIREABLE(T_1721_1_2) OR FIREABLE(T_1721_1_5) OR ((FIREABLE(T_1098_4) OR FIREABLE(T_1098_1) OR FIREABLE(T_1098_5) OR FIREABLE(T_1098_3) OR FIREABLE(T_1098_2) OR FIREABLE(T_1098_6)) AND (FIREABLE(LeaveCSIS_2) OR FIREABLE(LeaveCSIS_1) OR FIREABLE(LeaveCSIS_6) OR FIREABLE(LeaveCSIS_5) OR FIREABLE(LeaveCSIS_4) OR FIREABLE(LeaveCSIS_3)) AND (FIREABLE(EnterCSTCS_4) OR FIREABLE(EnterCSTCS_3) OR FIREABLE(EnterCSTCS_2) OR FIREABLE(EnterCSTCS_1) OR FIREABLE(EnterCSTCS_6) OR FIREABLE(EnterCSTCS_5))))))) : E (F ((FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_6)))) : A (G ((FIREABLE(T_1124_2_3_1) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_3_2_1) OR FIREABLE(T_1124_1_4_4) OR FIREABLE(T_1124_6_2_4) OR FIREABLE(T_1124_5_1_3) OR FIREABLE(T_1124_6_3_2) OR FIREABLE(T_1124_4_3_3) OR FIREABLE(T_1124_4_1_2) OR FIREABLE(T_1124_2_2_1) OR FIREABLE(T_1124_3_2_4) OR FIREABLE(T_1124_5_2_3) OR FIREABLE(T_1124_1_4_3) OR FIREABLE(T_1124_1_1_2) OR FIREABLE(T_1124_3_3_1) OR FIREABLE(T_1124_2_2_3) OR FIREABLE(T_1124_4_4_3) OR FIREABLE(T_1124_3_3_2) OR FIREABLE(T_1124_1_3_4) OR FIREABLE(T_1124_1_4_2) OR FIREABLE(T_1124_2_4_1) OR FIREABLE(T_1124_2_4_4) OR FIREABLE(T_1124_6_4_2) OR FIREABLE(T_1124_1_3_3) OR FIREABLE(T_1124_5_2_1) OR FIREABLE(T_1124_6_3_3) OR FIREABLE(T_1124_5_4_3) OR FIREABLE(T_1124_2_3_2) OR FIREABLE(T_1124_4_1_4) OR FIREABLE(T_1124_3_2_2) OR FIREABLE(T_1124_6_2_1) OR FIREABLE(T_1124_4_2_3) OR FIREABLE(T_1124_5_4_1) OR FIREABLE(T_1124_4_2_1) OR FIREABLE(T_1124_5_4_4) OR FIREABLE(T_1124_4_3_2) OR FIREABLE(T_1124_2_3_4) OR FIREABLE(T_1124_2_1_1) OR FIREABLE(T_1124_3_1_3) OR FIREABLE(T_1124_1_2_4) OR FIREABLE(T_1124_6_1_2) OR FIREABLE(T_1124_3_4_3) OR FIREABLE(T_1124_4_4_4) OR FIREABLE(T_1124_3_3_4) OR FIREABLE(T_1124_5_3_2) OR FIREABLE(T_1124_1_3_1) OR FIREABLE(T_1124_6_3_1) OR FIREABLE(T_1124_4_1_1) OR FIREABLE(T_1124_5_1_4) OR FIREABLE(T_1124_3_3_3) OR FIREABLE(T_1124_4_2_4) OR FIREABLE(T_1124_6_1_3) OR FIREABLE(T_1124_2_4_3) OR FIREABLE(T_1124_1_1_3) OR FIREABLE(T_1124_5_2_2) OR FIREABLE(T_1124_1_4_1) OR FIREABLE(T_1124_5_1_1) OR FIREABLE(T_1124_4_3_4) OR FIREABLE(T_1124_6_2_3) OR FIREABLE(T_1124_3_4_1) OR FIREABLE(T_1124_2_2_2) OR FIREABLE(T_1124_2_1_4) OR FIREABLE(T_1124_5_3_4) OR FIREABLE(T_1124_5_1_2) OR FIREABLE(T_1124_4_3_1) OR FIREABLE(T_1124_6_4_4) OR FIREABLE(T_1124_4_4_2) OR FIREABLE(T_1124_4_1_3) OR FIREABLE(T_1124_4_2_2) OR FIREABLE(T_1124_1_1_1) OR FIREABLE(T_1124_3_2_3) OR FIREABLE(T_1124_6_4_1) OR FIREABLE(T_1124_3_1_4) OR FIREABLE(T_1124_5_4_2) OR FIREABLE(T_1124_1_2_1) OR FIREABLE(T_1124_2_3_3) OR FIREABLE(T_1124_2_1_2) OR FIREABLE(T_1124_5_3_1) OR FIREABLE(T_1124_2_2_4) OR FIREABLE(T_1124_1_3_2) OR FIREABLE(T_1124_3_1_2) OR FIREABLE(T_1124_5_3_3) OR FIREABLE(T_1124_6_3_4) OR FIREABLE(T_1124_2_4_2) OR FIREABLE(T_1124_6_1_1) OR FIREABLE(T_1124_5_2_4) OR FIREABLE(T_1124_1_2_3) OR FIREABLE(T_1124_2_1_3) OR FIREABLE(T_1124_6_2_2) OR FIREABLE(T_1124_6_1_4) OR FIREABLE(T_1124_1_2_2) OR FIREABLE(T_1124_3_1_1) OR FIREABLE(T_1124_4_4_1) OR FIREABLE(T_1124_6_4_3) OR FIREABLE(T_1124_1_1_4) OR FIREABLE(T_1124_3_4_2) OR (NOT FIREABLE(LeaveCSPW_1) AND NOT FIREABLE(LeaveCSPW_3) AND NOT FIREABLE(LeaveCSPW_5) AND NOT FIREABLE(LeaveCSPW_2) AND NOT FIREABLE(LeaveCSPW_4) AND NOT FIREABLE(LeaveCSPW_6))))) : E (F (((FIREABLE(NoMonitoring_2) OR FIREABLE(NoMonitoring_1) OR FIREABLE(NoMonitoring_6) OR FIREABLE(NoMonitoring_4) OR FIREABLE(NoMonitoring_5) OR FIREABLE(NoMonitoring_3)) AND (FIREABLE(EnterCSIS_1_4) OR FIREABLE(EnterCSIS_2_6) OR FIREABLE(EnterCSIS_4_2) OR FIREABLE(EnterCSIS_1_2) OR FIREABLE(EnterCSIS_4_4) OR FIREABLE(EnterCSIS_3_6) OR FIREABLE(EnterCSIS_4_1) OR FIREABLE(EnterCSIS_4_6) OR FIREABLE(EnterCSIS_3_4) OR FIREABLE(EnterCSIS_2_2) OR FIREABLE(EnterCSIS_2_3) OR FIREABLE(EnterCSIS_3_1) OR FIREABLE(EnterCSIS_1_5) OR FIREABLE(EnterCSIS_2_5) OR FIREABLE(EnterCSIS_1_3) OR FIREABLE(EnterCSIS_4_3) OR FIREABLE(EnterCSIS_1_1) OR FIREABLE(EnterCSIS_3_5) OR FIREABLE(EnterCSIS_2_1) OR FIREABLE(EnterCSIS_3_3) OR FIREABLE(EnterCSIS_4_5) OR FIREABLE(EnterCSIS_1_6) OR FIREABLE(EnterCSIS_3_2) OR FIREABLE(EnterCSIS_2_4)) AND (FIREABLE(T_1098_4) OR FIREABLE(T_1098_1) OR FIREABLE(T_1098_5) OR FIREABLE(T_1098_3) OR FIREABLE(T_1098_2) OR FIREABLE(T_1098_6)) AND (FIREABLE(LeaveIdle_3_3) OR FIREABLE(LeaveIdle_6_6) OR FIREABLE(LeaveIdle_5_5) OR FIREABLE(LeaveIdle_1_1) OR FIREABLE(LeaveIdle_4_4) OR FIREABLE(LeaveIdle_2_2)) AND (FIREABLE(DummyIS_3) OR FIREABLE(DummyIS_4) OR FIREABLE(DummyIS_1) OR FIREABLE(DummyIS_2) OR FIREABLE(DummyIS_5) OR FIREABLE(DummyIS_6))))) : A (G ((FIREABLE(NopAbort_1) OR FIREABLE(NopAbort_2) OR FIREABLE(NopAbort_4) OR FIREABLE(NopAbort_3) OR FIREABLE(NopAbort_5) OR FIREABLE(NopAbort_6) OR FIREABLE(T_1115_0_4_6) OR FIREABLE(T_1115_0_3_6) OR FIREABLE(T_1115_1_2_5) OR FIREABLE(T_1115_2_3_4) OR FIREABLE(T_1115_4_2_1) OR FIREABLE(T_1115_4_1_3) OR FIREABLE(T_1115_1_1_6) OR FIREABLE(T_1115_3_1_2) OR FIREABLE(T_1115_0_3_1) OR FIREABLE(T_1115_2_1_2) OR FIREABLE(T_1115_3_2_4) OR FIREABLE(T_1115_1_1_3) OR FIREABLE(T_1115_4_2_6) OR FIREABLE(T_1115_3_3_1) OR FIREABLE(T_1115_0_3_3) OR FIREABLE(T_1115_3_3_5) OR FIREABLE(T_1115_0_1_3) OR FIREABLE(T_1115_1_4_6) OR FIREABLE(T_1115_1_3_2) OR FIREABLE(T_1115_2_1_6) OR FIREABLE(T_1115_3_1_1) OR FIREABLE(T_1115_2_2_4) OR FIREABLE(T_1115_2_3_1) OR FIREABLE(T_1115_1_4_5) OR FIREABLE(T_1115_2_4_6) OR FIREABLE(T_1115_2_2_5) OR FIREABLE(T_1115_4_2_3) OR FIREABLE(T_1115_3_2_6) OR FIREABLE(T_1115_4_4_3) OR FIREABLE(T_1115_1_1_2) OR FIREABLE(T_1115_0_4_5) OR FIREABLE(T_1115_0_1_4) OR FIREABLE(T_1115_1_1_1) OR FIREABLE(T_1115_2_4_4) OR FIREABLE(T_1115_4_4_5) OR FIREABLE(T_1115_3_4_4) OR FIREABLE(T_1115_3_4_6) OR FIREABLE(T_1115_4_1_1) OR FIREABLE(T_1115_2_3_2) OR FIREABLE(T_1115_1_3_1) OR FIREABLE(T_1115_3_2_5) OR FIREABLE(T_1115_4_4_2) OR FIREABLE(T_1115_0_3_4) OR FIREABLE(T_1115_2_2_6) OR FIREABLE(T_1115_4_1_5) OR FIREABLE(T_1115_4_4_1) OR FIREABLE(T_1115_3_4_5) OR FIREABLE(T_1115_0_4_4) OR FIREABLE(T_1115_4_2_5) OR FIREABLE(T_1115_2_1_3) OR FIREABLE(T_1115_0_1_6) OR FIREABLE(T_1115_1_4_3) OR FIREABLE(T_1115_1_1_4) OR FIREABLE(T_1115_0_2_1) OR FIREABLE(T_1115_4_3_1) OR FIREABLE(T_1115_0_1_1) OR FIREABLE(T_1115_2_4_1) OR FIREABLE(T_1115_3_3_2) OR FIREABLE(T_1115_3_2_2) OR FIREABLE(T_1115_2_2_3) OR FIREABLE(T_1115_0_3_5) OR FIREABLE(T_1115_1_4_4) OR FIREABLE(T_1115_1_2_1) OR FIREABLE(T_1115_4_2_4) OR FIREABLE(T_1115_0_4_3) OR FIREABLE(T_1115_2_4_5) OR FIREABLE(T_1115_3_1_5) OR FIREABLE(T_1115_3_2_3) OR FIREABLE(T_1115_4_3_2) OR FIREABLE(T_1115_2_1_4) OR FIREABLE(T_1115_0_1_2) OR FIREABLE(T_1115_2_2_2) OR FIREABLE(T_1115_3_3_4) OR FIREABLE(T_1115_1_4_2) OR FIREABLE(T_1115_4_4_6) OR FIREABLE(T_1115_1_2_6) OR FIREABLE(T_1115_3_4_1) OR FIREABLE(T_1115_1_2_2) OR FIREABLE(T_1115_0_2_3) OR FIREABLE(T_1115_2_3_6) OR FIREABLE(T_1115_0_2_6) OR FIREABLE(T_1115_0_4_2) OR FIREABLE(T_1115_3_1_4) OR FIREABLE(T_1115_3_1_6) OR FIREABLE(T_1115_2_1_5) OR FIREABLE(T_1115_1_2_3) OR FIREABLE(T_1115_4_3_3) OR FIREABLE(T_1115_3_3_6) OR FIREABLE(T_1115_2_3_5) OR FIREABLE(T_1115_1_3_5) OR FIREABLE(T_1115_3_2_1) OR FIREABLE(T_1115_0_4_1) OR FIREABLE(T_1115_4_1_4) OR FIREABLE(T_1115_4_1_6) OR FIREABLE(T_1115_4_1_2) OR FIREABLE(T_1115_3_4_2) OR FIREABLE(T_1115_0_2_2) OR FIREABLE(T_1115_4_3_4) OR FIREABLE(T_1115_2_4_3) OR FIREABLE(T_1115_1_2_4) OR FIREABLE(T_1115_3_3_3) OR FIREABLE(T_1115_1_1_5) OR FIREABLE(T_1115_4_2_2) OR FIREABLE(T_1115_1_3_6) OR FIREABLE(T_1115_2_3_3) OR FIREABLE(T_1115_3_1_3) OR FIREABLE(T_1115_0_2_5) OR FIREABLE(T_1115_1_4_1) OR FIREABLE(T_1115_2_1_1) OR FIREABLE(T_1115_0_1_5) OR FIREABLE(T_1115_4_3_5) OR FIREABLE(T_1115_4_3_6) OR FIREABLE(T_1115_2_2_1) OR FIREABLE(T_1115_1_3_4) OR FIREABLE(T_1115_4_4_4) OR FIREABLE(T_1115_0_2_4) OR FIREABLE(T_1115_3_4_3) OR FIREABLE(T_1115_2_4_2) OR FIREABLE(T_1115_0_3_2) OR FIREABLE(T_1115_1_3_3) OR FIREABLE(EnterCSPW_2) OR FIREABLE(EnterCSPW_6) OR FIREABLE(EnterCSPW_1) OR FIREABLE(EnterCSPW_4) OR FIREABLE(EnterCSPW_5) OR FIREABLE(EnterCSPW_3) OR FIREABLE(T_2577_4_1) OR FIREABLE(T_2577_4_6) OR FIREABLE(T_2577_3_1) OR FIREABLE(T_2577_2_3) OR FIREABLE(T_2577_3_3) OR FIREABLE(T_2577_2_1) OR FIREABLE(T_2577_1_1) OR FIREABLE(T_2577_2_6) OR FIREABLE(T_2577_1_3) OR FIREABLE(T_2577_4_5) OR FIREABLE(T_2577_3_6) OR FIREABLE(T_2577_4_3) OR FIREABLE(T_2577_3_5) OR FIREABLE(T_2577_3_4) OR FIREABLE(T_2577_1_4) OR FIREABLE(T_2577_1_6) OR FIREABLE(T_2577_2_4) OR FIREABLE(T_2577_2_2) OR FIREABLE(T_2577_3_2) OR FIREABLE(T_2577_1_5) OR FIREABLE(T_2577_2_5) OR FIREABLE(T_2577_1_2) OR FIREABLE(T_2577_4_2) OR FIREABLE(T_2577_4_4) OR FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(NotifyEventSourceAdded_4) OR FIREABLE(NotifyEventSourceAdded_3) OR FIREABLE(NotifyEventSourceAdded_2) OR FIREABLE(NotifyEventSourceAdded_1) OR FIREABLE(NotifyEventSourceAdded_6) OR FIREABLE(NotifyEventSourceAdded_5) OR (NOT FIREABLE(GoCheckSource_2) AND NOT FIREABLE(GoCheckSource_1) AND NOT FIREABLE(GoCheckSource_5) AND NOT FIREABLE(GoCheckSource_6) AND NOT FIREABLE(GoCheckSource_4) AND NOT FIREABLE(GoCheckSource_3))))) : A (G ((NOT FIREABLE(NOPDP_4_2) AND NOT FIREABLE(NOPDP_2_3) AND NOT FIREABLE(NOPDP_3_5) AND NOT FIREABLE(NOPDP_1_3) AND NOT FIREABLE(NOPDP_2_1) AND NOT FIREABLE(NOPDP_3_6) AND NOT FIREABLE(NOPDP_4_4) AND NOT FIREABLE(NOPDP_1_5) AND NOT FIREABLE(NOPDP_3_1) AND NOT FIREABLE(NOPDP_3_4) AND NOT FIREABLE(NOPDP_4_1) AND NOT FIREABLE(NOPDP_2_6) AND NOT FIREABLE(NOPDP_1_2) AND NOT FIREABLE(NOPDP_2_4) AND NOT FIREABLE(NOPDP_4_6) AND NOT FIREABLE(NOPDP_2_2) AND NOT FIREABLE(NOPDP_1_4) AND NOT FIREABLE(NOPDP_4_5) AND NOT FIREABLE(NOPDP_3_2) AND NOT FIREABLE(NOPDP_1_6) AND NOT FIREABLE(NOPDP_4_3) AND NOT FIREABLE(NOPDP_2_5) AND NOT FIREABLE(NOPDP_3_3) AND NOT FIREABLE(NOPDP_1_1)))) : E (F ((FIREABLE(T_2577_4_1) OR FIREABLE(T_2577_4_6) OR FIREABLE(T_2577_3_1) OR FIREABLE(T_2577_2_3) OR FIREABLE(T_2577_3_3) OR FIREABLE(T_2577_2_1) OR FIREABLE(T_2577_1_1) OR FIREABLE(T_2577_2_6) OR FIREABLE(T_2577_1_3) OR FIREABLE(T_2577_4_5) OR FIREABLE(T_2577_3_6) OR FIREABLE(T_2577_4_3) OR FIREABLE(T_2577_3_5) OR FIREABLE(T_2577_3_4) OR FIREABLE(T_2577_1_4) OR FIREABLE(T_2577_1_6) OR FIREABLE(T_2577_2_4) OR FIREABLE(T_2577_2_2) OR FIREABLE(T_2577_3_2) OR FIREABLE(T_2577_1_5) OR FIREABLE(T_2577_2_5) OR FIREABLE(T_2577_1_2) OR FIREABLE(T_2577_4_2) OR FIREABLE(T_2577_4_4))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(EnterCSPW_2) AND NOT FIREABLE(EnterCSPW_6) AND NOT FIREABLE(EnterCSPW_1) AND NOT FIREABLE(EnterCSPW_4) AND NOT FIREABLE(EnterCSPW_5) AND NOT FIREABLE(EnterCSPW_3) AND (FIREABLE(T_2311_6) OR FIREABLE(T_2311_1) OR FIREABLE(T_2311_3) OR FIREABLE(T_2311_2) OR FIREABLE(T_2311_5) OR FIREABLE(T_2311_4) OR FIREABLE(T_1100_4) OR FIREABLE(T_1100_5) OR FIREABLE(T_1100_2) OR FIREA... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: lola: ======================================== ...considering subproblem: E (F ((FIREABLE(T_2541_1) OR FIREABLE(T_2541_2) OR FIREABLE(T_2541_6) OR FIREABLE(T_2541_5) OR FIREABLE(T_2541_4) OR FIREABLE(T_2541_3))))
lola: ========================================
lola: SUBTASK
lola:
checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 12 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(T_1713_0_6) AND NOT FIREABLE(T_1713_4_3) AND NOT FIREABLE(T_1713_3_6) AND NOT FIREABLE(T_1713_3_4) AND NOT FIREABLE(T_1713_0_4) AND NOT FIREABLE(T_1713_1_6) AND NOT FIREABLE(T_1713_2_4) AND NOT FIREABLE(T_1713_3_2) AND NOT FIREABLE(T_1713_2_2) AND NOT FIREABLE(T_1713_1_4) AND NOT FIREABLE(T_1713_4_2) AND NOT FIREABLE(T_1713_2_1) AND NOT FIREABLE(T_1713_0_3) AND NOT FIREABLE(T_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: sara not yet started (preprocessing) || 34913 markings, 36211 edges, 6983 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 71086 markings, 74750 edges, 7235 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 107401 markings, 113974 edges, 7263 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 143906 markings, 153378 edges, 7301 markings/sec, 15 secs
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 180947 markings, 193483 edges, 7408 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 218281 markings, 234247 edges, 7467 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 255051 markings, 274292 edges, 7354 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 292279 markings, 315011 edges, 7446 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 328905 markings, 355168 edges, 7325 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 366013 markings, 395972 edges, 7422 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 402866 markings, 436575 edges, 7371 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 440002 markings, 477592 edges, 7427 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 476856 markings, 518736 edges, 7371 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 514261 markings, 559927 edges, 7481 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 551016 markings, 600854 edges, 7351 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 588174 markings, 642730 edges, 7432 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 625367 markings, 684474 edges, 7439 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 662727 markings, 726680 edges, 7472 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 699840 markings, 768551 edges, 7423 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 736848 markings, 810407 edges, 7402 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 773561 markings, 851202 edges, 7343 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 810724 markings, 893361 edges, 7433 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 847998 markings, 935252 edges, 7455 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 885115 markings, 977275 edges, 7423 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 922121 markings, 1019176 edges, 7401 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 959177 markings, 1061062 edges, 7411 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 996348 markings, 1103261 edges, 7434 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 1032982 markings, 1145347 edges, 7327 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 1069511 markings, 1187433 edges, 7306 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 1106419 markings, 1229914 edges, 7382 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 1143698 markings, 1272745 edges, 7456 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 1180844 markings, 1315132 edges, 7429 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 1217790 markings, 1358101 edges, 7389 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 1254694 markings, 1400103 edges, 7381 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1291909 markings, 1442703 edges, 7443 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1328649 markings, 1484673 edges, 7348 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1365425 markings, 1526836 edges, 7355 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1402319 markings, 1568767 edges, 7379 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1439774 markings, 1611683 edges, 7491 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1476691 markings, 1653677 edges, 7383 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1513828 markings, 1697181 edges, 7427 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1551313 markings, 1739826 edges, 7497 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1588570 markings, 1783141 edges, 7451 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1625075 markings, 1825137 edges, 7301 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1662225 markings, 1868282 edges, 7430 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1698860 markings, 1910594 edges, 7327 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1735539 markings, 1953309 edges, 7336 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1771770 markings, 1995703 edges, 7246 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1808469 markings, 2037630 edges, 7340 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1845213 markings, 2080251 edges, 7349 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(WaitCompleted_2_6) AND NOT FIREABLE(WaitCompleted_3_4) AND NOT FIREABLE(WaitCompleted_4_3) AND NOT FIREABLE(WaitCompleted_1_2) AND NOT FIREABLE(WaitCompleted_2_4) AND NOT FIREABLE(WaitCompleted_3_6) AND NOT FIREABLE(WaitCompleted_4_1) AND NOT FIREABLE(WaitCompleted_2_2) AND NOT FIREABLE(WaitCompleted_1_4) AND NOT FIREABLE(WaitCompleted_4_5) AND NOT FIREABLE(WaitCompleted_1_6) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: sara not yet started (preprocessing) || 56945 markings, 60905 edges, 11389 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 112088 markings, 121162 edges, 11029 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 165902 markings, 180162 edges, 10763 markings/sec, 10 secs
lola: state equation: Generated DNF with 684000 literals and 50400 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-3.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-3.sara.
lola: sara is running 15 secs || 219705 markings, 239054 edges, 10761 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 20 secs || 273164 markings, 297282 edges, 10692 markings/sec, 20 secs
lola: sara is running 25 secs || 326509 markings, 356047 edges, 10669 markings/sec, 25 secs
lola: sara is running 30 secs || 380175 markings, 414850 edges, 10733 markings/sec, 30 secs
lola: sara is running 35 secs || 432808 markings, 473498 edges, 10527 markings/sec, 35 secs
lola: sara is running 40 secs || 487732 markings, 534062 edges, 10985 markings/sec, 40 secs
lola: sara is running 45 secs || 541169 markings, 592998 edges, 10687 markings/sec, 45 secs
lola: sara is running 50 secs || 591644 markings, 648777 edges, 10095 markings/sec, 50 secs
lola: sara is running 55 secs || 643204 markings, 705696 edges, 10312 markings/sec, 55 secs
lola: sara is running 60 secs || 697747 markings, 765520 edges, 10909 markings/sec, 60 secs
lola: sara is running 65 secs || 753183 markings, 826910 edges, 11087 markings/sec, 65 secs
lola: sara is running 70 secs || 807862 markings, 888137 edges, 10936 markings/sec, 70 secs
lola: sara is running 75 secs || 861560 markings, 947615 edges, 10740 markings/sec, 75 secs
lola: sara is running 80 secs || 916722 markings, 1008895 edges, 11032 markings/sec, 80 secs
lola: sara is running 85 secs || 972308 markings, 1070490 edges, 11117 markings/sec, 85 secs
lola: sara is running 90 secs || 1026567 markings, 1130475 edges, 10852 markings/sec, 90 secs
lola: sara is running 95 secs || 1081993 markings, 1191780 edges, 11085 markings/sec, 95 secs
lola: sara is running 100 secs || 1137946 markings, 1254084 edges, 11191 markings/sec, 100 secs
lola: sara is running 105 secs || 1192382 markings, 1314027 edges, 10887 markings/sec, 105 secs
lola: sara is running 110 secs || 1247386 markings, 1375162 edges, 11001 markings/sec, 110 secs
lola: sara is running 115 secs || 1302951 markings, 1436333 edges, 11113 markings/sec, 115 secs
lola: sara is running 120 secs || 1358024 markings, 1498128 edges, 11015 markings/sec, 120 secs
lola: sara is running 125 secs || 1412611 markings, 1558521 edges, 10917 markings/sec, 125 secs
lola: sara is running 130 secs || 1467999 markings, 1619714 edges, 11078 markings/sec, 130 secs
lola: sara is running 135 secs || 1522053 markings, 1680007 edges, 10811 markings/sec, 135 secs
lola: sara is running 140 secs || 1577919 markings, 1742213 edges, 11173 markings/sec, 140 secs
lola: sara is running 145 secs || 1633152 markings, 1803897 edges, 11047 markings/sec, 145 secs
lola: sara is running 150 secs || 1687288 markings, 1863873 edges, 10827 markings/sec, 150 secs
lola: sara is running 155 secs || 1742098 markings, 1925102 edges, 10962 markings/sec, 155 secs
lola: sara is running 160 secs || 1797448 markings, 1986854 edges, 11070 markings/sec, 160 secs
lola: sara is running 165 secs || 1851952 markings, 2047448 edges, 10901 markings/sec, 165 secs
lola: sara is running 170 secs || 1906705 markings, 2109379 edges, 10951 markings/sec, 170 secs
lola: sara is running 175 secs || 1960906 markings, 2170016 edges, 10840 markings/sec, 175 secs
lola: sara is running 180 secs || 2015392 markings, 2231206 edges, 10897 markings/sec, 180 secs
lola: sara is running 185 secs || 2069557 markings, 2291240 edges, 10833 markings/sec, 185 secs
lola: sara is running 190 secs || 2124552 markings, 2352265 edges, 10999 markings/sec, 190 secs
lola: sara is running 195 secs || 2178411 markings, 2411367 edges, 10772 markings/sec, 195 secs
lola: sara is running 200 secs || 2233425 markings, 2472508 edges, 11003 markings/sec, 200 secs
lola: sara is running 205 secs || 2288033 markings, 2533630 edges, 10922 markings/sec, 205 secs
lola: sara is running 210 secs || 2342107 markings, 2593387 edges, 10815 markings/sec, 210 secs
lola: sara is running 215 secs || 2395846 markings, 2653433 edges, 10748 markings/sec, 215 secs
lola: sara is running 220 secs || 2450069 markings, 2713668 edges, 10845 markings/sec, 220 secs
lola: sara is running 225 secs || 2503664 markings, 2773512 edges, 10719 markings/sec, 225 secs
lola: sara is running 230 secs || 2557866 markings, 2833875 edges, 10840 markings/sec, 230 secs
lola: sara is running 235 secs || 2611233 markings, 2893558 edges, 10673 markings/sec, 235 secs
lola: sara is running 240 secs || 2665871 markings, 2954847 edges, 10928 markings/sec, 240 secs
lola: sara is running 245 secs || 2719485 markings, 3014104 edges, 10723 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(T_1148_2) AND NOT FIREABLE(T_1148_5) AND NOT FIREABLE(T_1148_6) AND NOT FIREABLE(T_1148_3) AND NOT FIREABLE(T_1148_1) AND NOT FIREABLE(T_1148_4)) OR (NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_6) AND NOT FIREABLE(EnterCSPW_2) AND NOT FIREABLE(EnterCSPW_6) AND NOT FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 216 literals and 72 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-4.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 53792 markings, 55286 edges, 10758 markings/sec, 0 secs
lola: sara is running 5 secs || 106049 markings, 110292 edges, 10451 markings/sec, 5 secs
lola: sara is running 10 secs || 157233 markings, 164547 edges, 10237 markings/sec, 10 secs
lola: sara is running 15 secs || 207633 markings, 218140 edges, 10080 markings/sec, 15 secs
lola: sara is running 20 secs || 257650 markings, 272080 edges, 10003 markings/sec, 20 secs
lola: sara is running 25 secs || 307444 markings, 326217 edges, 9959 markings/sec, 25 secs
lola: sara is running 30 secs || 357821 markings, 380596 edges, 10075 markings/sec, 30 secs
lola: sara is running 35 secs || 407239 markings, 434254 edges, 9884 markings/sec, 35 secs
lola: sara is running 40 secs || 456476 markings, 488177 edges, 9847 markings/sec, 40 secs
lola: sara is running 45 secs || 506276 markings, 542201 edges, 9960 markings/sec, 45 secs
lola: sara is running 50 secs || 555151 markings, 595666 edges, 9775 markings/sec, 50 secs
lola: sara is running 55 secs || 604366 markings, 649514 edges, 9843 markings/sec, 55 secs
lola: sara is running 60 secs || 654386 markings, 704077 edges, 10004 markings/sec, 60 secs
lola: sara is running 65 secs || 704292 markings, 758566 edges, 9981 markings/sec, 65 secs
lola: sara is running 70 secs || 753554 markings, 813121 edges, 9852 markings/sec, 70 secs
lola: sara is running 75 secs || 802573 markings, 866866 edges, 9804 markings/sec, 75 secs
lola: sara is running 80 secs || 851523 markings, 920973 edges, 9790 markings/sec, 80 secs
lola: sara is running 85 secs || 900300 markings, 975391 edges, 9755 markings/sec, 85 secs
lola: sara is running 90 secs || 949596 markings, 1029920 edges, 9859 markings/sec, 90 secs
lola: sara is running 95 secs || 998202 markings, 1084229 edges, 9721 markings/sec, 95 secs
lola: sara is running 100 secs || 1046884 markings, 1138362 edges, 9736 markings/sec, 100 secs
lola: sara is running 105 secs || 1094922 markings, 1192184 edges, 9608 markings/sec, 105 secs
lola: sara is running 110 secs || 1143607 markings, 1246303 edges, 9737 markings/sec, 110 secs
lola: sara is running 115 secs || 1191985 markings, 1300228 edges, 9676 markings/sec, 115 secs
lola: sara is running 120 secs || 1240498 markings, 1354242 edges, 9703 markings/sec, 120 secs
lola: sara is running 125 secs || 1289493 markings, 1408809 edges, 9799 markings/sec, 125 secs
lola: sara is running 130 secs || 1337395 markings, 1462710 edges, 9580 markings/sec, 130 secs
lola: sara is running 135 secs || 1385391 markings, 1516327 edges, 9599 markings/sec, 135 secs
lola: sara is running 140 secs || 1433242 markings, 1570065 edges, 9570 markings/sec, 140 secs
lola: sara is running 145 secs || 1481686 markings, 1624621 edges, 9689 markings/sec, 145 secs
lola: sara is running 150 secs || 1530388 markings, 1678985 edges, 9740 markings/sec, 150 secs
lola: sara is running 155 secs || 1577910 markings, 1732511 edges, 9504 markings/sec, 155 secs
lola: sara is running 160 secs || 1625469 markings, 1786098 edges, 9512 markings/sec, 160 secs
lola: sara is running 165 secs || 1674040 markings, 1840532 edges, 9714 markings/sec, 165 secs
lola: sara is running 170 secs || 1720961 markings, 1893451 edges, 9384 markings/sec, 170 secs
lola: sara is running 175 secs || 1768246 markings, 1946476 edges, 9457 markings/sec, 175 secs
lola: sara is running 180 secs || 1816216 markings, 2000453 edges, 9594 markings/sec, 180 secs
lola: sara is running 185 secs || 1864520 markings, 2055566 edges, 9661 markings/sec, 185 secs
lola: sara is running 190 secs || 1911642 markings, 2108325 edges, 9424 markings/sec, 190 secs
lola: sara is running 195 secs || 1959269 markings, 2162273 edges, 9525 markings/sec, 195 secs
lola: sara is running 200 secs || 2007304 markings, 2215965 edges, 9607 markings/sec, 200 secs
lola: sara is running 205 secs || 2054957 markings, 2270318 edges, 9531 markings/sec, 205 secs
lola: sara is running 210 secs || 2102521 markings, 2324816 edges, 9513 markings/sec, 210 secs
lola: sara is running 215 secs || 2150100 markings, 2378678 edges, 9516 markings/sec, 215 secs
lola: sara is running 220 secs || 2197558 markings, 2432728 edges, 9492 markings/sec, 220 secs
lola: sara is running 225 secs || 2245193 markings, 2486815 edges, 9527 markings/sec, 225 secs
lola: sara is running 230 secs || 2292216 markings, 2540554 edges, 9405 markings/sec, 230 secs
lola: sara is running 235 secs || 2339693 markings, 2594384 edges, 9495 markings/sec, 235 secs
lola: sara is running 240 secs || 2386319 markings, 2647056 edges, 9325 markings/sec, 240 secs
lola: sara is running 245 secs || 2433036 markings, 2700078 edges, 9343 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(T_1171_5) AND NOT FIREABLE(T_1171_4) AND NOT FIREABLE(T_1171_6) AND NOT FIREABLE(T_1171_1) AND NOT FIREABLE(T_1171_2) AND NOT FIREABLE(T_1171_3) AND NOT FIREABLE(T_1721_1_4) AND NOT FIREABLE(T_1721_0_5) AND NOT FIREABLE(T_1721_4_2) AND NOT FIREABLE(T_1721_2_6) AND NOT FIREABLE(T_1721_4_4) AND NOT FIREABLE(T_1721_3_6) AND NOT FIREABLE(T_1721_2_4) AND NOT FIREABLE(T_1721_3_2) AND... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 96 literals and 36 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-5.sara
lola: lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(T_1721_1_4) AND NOT FIREABLE(T_1721_0_5) AND NOT FIREABLE(T_1721_4_2) AND NOT FIREABLE(T_1721_2_6) AND NOT FIREABLE(T_1721_4_4) AND NOT FIREABLE(T_1721_3_6) AND NOT FIREABLE(T_1721_2_4) AND NOT FIREABLE(T_1721_3_2) AND NOT FIREABLE(T_1721_0_6) AND NOT FIREABLE(T_1721_3_4) AND NOT FIREABLE(T_1721_0_3) AND NOT FIREABLE(T_1721_1_6) AND NOT FIREABLE(T_1721_1_3) AND NOT FIREABLE(T_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 2610 literals and 930 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-6.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 7 will run for 309 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(T_0376_4_4) OR FIREABLE(T_0376_3_3) OR FIREABLE(T_0376_2_2) OR FIREABLE(T_0376_1_1) OR (NOT FIREABLE(SetSigAbort_4) AND NOT FIREABLE(SetSigAbort_6) AND NOT FIREABLE(SetSigAbort_1) AND NOT FIREABLE(SetSigAbort_3) AND NOT FIREABLE(SetSigAbort_2) AND NOT FIREABLE(SetSigAbort_5)) OR (NOT FIREABLE(T_0383_3_6) AND NOT FIREABLE(T_0383_1_3) AND NOT FIREABLE(T_0383_1_5) AND NOT FIREABL... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: sara not yet started (preprocessing) || 53254 markings, 56200 edges, 10651 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 105384 markings, 113161 edges, 10426 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 158428 markings, 171937 edges, 10609 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 213794 markings, 232852 edges, 11073 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 268473 markings, 294282 edges, 10936 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 323755 markings, 356525 edges, 11056 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 378853 markings, 418383 edges, 11020 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 433210 markings, 480990 edges, 10871 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 488857 markings, 543223 edges, 11129 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 543201 markings, 604411 edges, 10869 markings/sec, 45 secs
lola: state equation: Generated DNF with 479232 literals and 36864 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-7.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-7.sara.
lola: sara is running 50 secs || 597928 markings, 666268 edges, 10945 markings/sec, 50 secs
lola: sara is running 55 secs || 653188 markings, 727787 edges, 11052 markings/sec, 55 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 60 secs || 707595 markings, 788470 edges, 10881 markings/sec, 60 secs
lola: sara is running 65 secs || 762627 markings, 850359 edges, 11006 markings/sec, 65 secs
lola: sara is running 70 secs || 817362 markings, 912345 edges, 10947 markings/sec, 70 secs
lola: sara is running 75 secs || 872031 markings, 973427 edges, 10934 markings/sec, 75 secs
lola: sara is running 80 secs || 926330 markings, 1034778 edges, 10860 markings/sec, 80 secs
lola: sara is running 85 secs || 981032 markings, 1096455 edges, 10940 markings/sec, 85 secs
lola: sara is running 90 secs || 1035576 markings, 1157478 edges, 10909 markings/sec, 90 secs
lola: sara is running 95 secs || 1089703 markings, 1219474 edges, 10825 markings/sec, 95 secs
lola: sara is running 100 secs || 1144499 markings, 1281267 edges, 10959 markings/sec, 100 secs
lola: sara is running 105 secs || 1196865 markings, 1340561 edges, 10473 markings/sec, 105 secs
lola: sara is running 110 secs || 1250070 markings, 1400281 edges, 10641 markings/sec, 110 secs
lola: sara is running 115 secs || 1303207 markings, 1460131 edges, 10627 markings/sec, 115 secs
lola: sara is running 120 secs || 1356290 markings, 1520477 edges, 10617 markings/sec, 120 secs
lola: sara is running 125 secs || 1409299 markings, 1580609 edges, 10602 markings/sec, 125 secs
lola: sara is running 130 secs || 1462623 markings, 1641135 edges, 10665 markings/sec, 130 secs
lola: sara is running 135 secs || 1515342 markings, 1701198 edges, 10544 markings/sec, 135 secs
lola: sara is running 140 secs || 1568097 markings, 1761173 edges, 10551 markings/sec, 140 secs
lola: sara is running 145 secs || 1621428 markings, 1821827 edges, 10666 markings/sec, 145 secs
lola: sara is running 150 secs || 1674802 markings, 1882426 edges, 10675 markings/sec, 150 secs
lola: sara is running 155 secs || 1727066 markings, 1941978 edges, 10453 markings/sec, 155 secs
lola: sara is running 160 secs || 1780022 markings, 2002584 edges, 10591 markings/sec, 160 secs
lola: sara is running 165 secs || 1833020 markings, 2062964 edges, 10600 markings/sec, 165 secs
lola: sara is running 170 secs || 1885742 markings, 2122921 edges, 10544 markings/sec, 170 secs
lola: sara is running 175 secs || 1938262 markings, 2183224 edges, 10504 markings/sec, 175 secs
lola: sara is running 180 secs || 1991743 markings, 2243751 edges, 10696 markings/sec, 180 secs
lola: sara is running 185 secs || 2044175 markings, 2302945 edges, 10486 markings/sec, 185 secs
lola: sara is running 190 secs || 2097283 markings, 2363242 edges, 10622 markings/sec, 190 secs
lola: sara is running 195 secs || 2149916 markings, 2422995 edges, 10527 markings/sec, 195 secs
lola: sara is running 200 secs || 2203202 markings, 2482624 edges, 10657 markings/sec, 200 secs
lola: sara is running 205 secs || 2256491 markings, 2543269 edges, 10658 markings/sec, 205 secs
lola: sara is running 210 secs || 2309164 markings, 2603752 edges, 10535 markings/sec, 210 secs
lola: sara is running 215 secs || 2362188 markings, 2664584 edges, 10605 markings/sec, 215 secs
lola: sara is running 220 secs || 2416120 markings, 2725514 edges, 10786 markings/sec, 220 secs
lola: sara is running 225 secs || 2468549 markings, 2785215 edges, 10486 markings/sec, 225 secs
lola: sara is running 230 secs || 2521215 markings, 2845471 edges, 10533 markings/sec, 230 secs
lola: sara is running 235 secs || 2573937 markings, 2906495 edges, 10544 markings/sec, 235 secs
lola: sara is running 240 secs || 2627251 markings, 2967161 edges, 10663 markings/sec, 240 secs
lola: sara is running 245 secs || 2679638 markings, 3026791 edges, 10477 markings/sec, 245 secs
lola: sara is running 250 secs || 2732386 markings, 3087455 edges, 10550 markings/sec, 250 secs
lola: sara is running 255 secs || 2784969 markings, 3147534 edges, 10517 markings/sec, 255 secs
lola: sara is running 260 secs || 2837600 markings, 3207099 edges, 10526 markings/sec, 260 secs
lola: sara is running 265 secs || 2890244 markings, 3266904 edges, 10529 markings/sec, 265 secs
lola: sara is running 270 secs || 2943545 markings, 3327658 edges, 10660 markings/sec, 270 secs
lola: sara is running 275 secs || 2996408 markings, 3388109 edges, 10573 markings/sec, 275 secs
lola: sara is running 280 secs || 3049842 markings, 3449202 edges, 10687 markings/sec, 280 secs
lola: sara is running 285 secs || 3103253 markings, 3509929 edges, 10682 markings/sec, 285 secs
lola: sara is running 290 secs || 3155802 markings, 3570434 edges, 10510 markings/sec, 290 secs
lola: sara is running 295 secs || 3208955 markings, 3630869 edges, 10631 markings/sec, 295 secs
lola: sara is running 300 secs || 3262859 markings, 3691909 edges, 10781 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 309 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(T_2285_4_1) OR FIREABLE(T_2285_2_1) OR FIREABLE(T_2285_4_3) OR FIREABLE(T_2285_3_3) OR FIREABLE(T_2285_1_5) OR FIREABLE(T_2285_2_6) OR FIREABLE(T_2285_4_4) OR FIREABLE(T_2285_6_4) OR FIREABLE(T_2285_5_1) OR FIREABLE(T_2285_3_6) OR FIREABLE(T_2285_5_4) OR FIREABLE(T_2285_2_3) OR FIREABLE(T_2285_4_6) OR FIREABLE(T_2285_2_4) OR FIREABLE(T_2285_3_5) OR FIREABLE(T_2285_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 4104 literals and 1296 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-8.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 48315 markings, 54185 edges, 9663 markings/sec, 0 secs
lola: sara is running 5 secs || 96226 markings, 111463 edges, 9582 markings/sec, 5 secs
lola: sara is running 10 secs || 145257 markings, 168314 edges, 9806 markings/sec, 10 secs
lola: sara is running 15 secs || 192912 markings, 224867 edges, 9531 markings/sec, 15 secs
lola: sara is running 20 secs || 241244 markings, 282278 edges, 9666 markings/sec, 20 secs
lola: sara is running 25 secs || 289190 markings, 339140 edges, 9589 markings/sec, 25 secs
lola: sara is running 30 secs || 335594 markings, 396087 edges, 9281 markings/sec, 30 secs
lola: sara is running 35 secs || 382248 markings, 453318 edges, 9331 markings/sec, 35 secs
lola: sara is running 40 secs || 430085 markings, 510257 edges, 9567 markings/sec, 40 secs
lola: sara is running 45 secs || 476887 markings, 566931 edges, 9360 markings/sec, 45 secs
lola: sara is running 50 secs || 523672 markings, 623578 edges, 9357 markings/sec, 50 secs
lola: sara is running 55 secs || 570030 markings, 680321 edges, 9272 markings/sec, 55 secs
lola: sara is running 60 secs || 615253 markings, 736500 edges, 9045 markings/sec, 60 secs
lola: sara is running 65 secs || 660428 markings, 792370 edges, 9035 markings/sec, 65 secs
lola: sara is running 70 secs || 707463 markings, 849407 edges, 9407 markings/sec, 70 secs
lola: sara is running 75 secs || 752624 markings, 905161 edges, 9032 markings/sec, 75 secs
lola: sara is running 80 secs || 798090 markings, 961861 edges, 9093 markings/sec, 80 secs
lola: sara is running 85 secs || 845669 markings, 1021545 edges, 9516 markings/sec, 85 secs
lola: sara is running 90 secs || 893214 markings, 1079769 edges, 9509 markings/sec, 90 secs
lola: sara is running 95 secs || 940604 markings, 1137958 edges, 9478 markings/sec, 95 secs
lola: sara is running 100 secs || 987629 markings, 1195410 edges, 9405 markings/sec, 100 secs
lola: sara is running 105 secs || 1033802 markings, 1253847 edges, 9235 markings/sec, 105 secs
lola: sara is running 110 secs || 1080440 markings, 1311783 edges, 9328 markings/sec, 110 secs
lola: sara is running 115 secs || 1127448 markings, 1368960 edges, 9402 markings/sec, 115 secs
lola: sara is running 120 secs || 1174348 markings, 1426392 edges, 9380 markings/sec, 120 secs
lola: sara is running 125 secs || 1220533 markings, 1483619 edges, 9237 markings/sec, 125 secs
lola: sara is running 130 secs || 1267560 markings, 1543149 edges, 9405 markings/sec, 130 secs
lola: sara is running 135 secs || 1314079 markings, 1601861 edges, 9304 markings/sec, 135 secs
lola: sara is running 140 secs || 1361661 markings, 1661005 edges, 9516 markings/sec, 140 secs
lola: sara is running 145 secs || 1407627 markings, 1719327 edges, 9193 markings/sec, 145 secs
lola: sara is running 150 secs || 1453551 markings, 1776048 edges, 9185 markings/sec, 150 secs
lola: sara is running 155 secs || 1500343 markings, 1834324 edges, 9358 markings/sec, 155 secs
lola: sara is running 160 secs || 1546954 markings, 1892470 edges, 9322 markings/sec, 160 secs
lola: sara is running 165 secs || 1592799 markings, 1951359 edges, 9169 markings/sec, 165 secs
lola: sara is running 170 secs || 1640190 markings, 2010258 edges, 9478 markings/sec, 170 secs
lola: sara is running 175 secs || 1686814 markings, 2068359 edges, 9325 markings/sec, 175 secs
lola: sara is running 180 secs || 1733665 markings, 2127218 edges, 9370 markings/sec, 180 secs
lola: sara is running 185 secs || 1778917 markings, 2184951 edges, 9050 markings/sec, 185 secs
lola: sara is running 190 secs || 1824091 markings, 2244018 edges, 9035 markings/sec, 190 secs
lola: sara is running 195 secs || 1869189 markings, 2300380 edges, 9020 markings/sec, 195 secs
lola: sara is running 200 secs || 1915155 markings, 2357391 edges, 9193 markings/sec, 200 secs
lola: sara is running 205 secs || 1960457 markings, 2414305 edges, 9060 markings/sec, 205 secs
lola: sara is running 210 secs || 2006477 markings, 2471346 edges, 9204 markings/sec, 210 secs
lola: sara is running 215 secs || 2051013 markings, 2527404 edges, 8907 markings/sec, 215 secs
lola: sara is running 220 secs || 2097066 markings, 2585048 edges, 9211 markings/sec, 220 secs
lola: sara is running 225 secs || 2142798 markings, 2642996 edges, 9146 markings/sec, 225 secs
lola: sara is running 230 secs || 2188308 markings, 2700853 edges, 9102 markings/sec, 230 secs
lola: sara is running 235 secs || 2233392 markings, 2758591 edges, 9017 markings/sec, 235 secs
lola: sara is running 240 secs || 2279547 markings, 2816519 edges, 9231 markings/sec, 240 secs
lola: sara is running 245 secs || 2324378 markings, 2873803 edges, 8966 markings/sec, 245 secs
lola: sara is running 250 secs || 2369958 markings, 2931705 edges, 9116 markings/sec, 250 secs
lola: sara is running 255 secs || 2415583 markings, 2989739 edges, 9125 markings/sec, 255 secs
lola: sara is running 260 secs || 2460801 markings, 3046132 edges, 9044 markings/sec, 260 secs
lola: sara is running 265 secs || 2506336 markings, 3103783 edges, 9107 markings/sec, 265 secs
lola: sara is running 270 secs || 2552489 markings, 3161611 edges, 9231 markings/sec, 270 secs
lola: sara is running 275 secs || 2597729 markings, 3219823 edges, 9048 markings/sec, 275 secs
lola: sara is running 280 secs || 2642593 markings, 3278049 edges, 8973 markings/sec, 280 secs
lola: sara is running 285 secs || 2688043 markings, 3335404 edges, 9090 markings/sec, 285 secs
lola: sara is running 290 secs || 2733178 markings, 3391853 edges, 9027 markings/sec, 290 secs
lola: sara is running 295 secs || 2778656 markings, 3448953 edges, 9096 markings/sec, 295 secs
lola: sara is running 300 secs || 2823015 markings, 3505389 edges, 8872 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 309 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(T_1729_4_1) AND NOT FIREABLE(T_1729_3_3) AND NOT FIREABLE(T_1729_3_5) AND NOT FIREABLE(T_1729_0_5) AND NOT FIREABLE(T_1729_0_2) AND NOT FIREABLE(T_1729_2_5) AND NOT FIREABLE(T_1729_2_3) AND NOT FIREABLE(T_1729_2_1) AND NOT FIREABLE(T_1729_2_2) AND NOT FIREABLE(T_1729_3_6) AND NOT FIREABLE(T_1729_1_5) AND NOT FIREABLE(T_1729_4_3) AND NOT FIREABLE(T_1729_3_1) AND NOT FIREABLE(T_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: subprocess 10 will run for 360 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_6))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 6 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-10.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 11 will run for 433 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(T_1124_2_3_1) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_3_2_1) OR FIREABLE(T_1124_1_4_4) OR FIREABLE(T_1124_6_2_4) OR FIREABLE(T_1124_5_1_3) OR FIREABLE(T_1124_6_3_2) OR FIREABLE(T_1124_4_3_3) OR FIREABLE(T_1124_4_1_2) OR FIREABLE(T_1124_2_2_1) OR FIREABLE(T_1124_3_2_4) OR FIREABLE(T_1124_5_2_3) OR FIREABLE(T_1124_1_4_3) OR FIREABLE(T_1124_1_1_2) OR FIREABLE(T_1124... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: subprocess 12 will run for 541 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(NoMonitoring_2) OR FIREABLE(NoMonitoring_1) OR FIREABLE(NoMonitoring_6) OR FIREABLE(NoMonitoring_4) OR FIREABLE(NoMonitoring_5) OR FIREABLE(NoMonitoring_3)) AND (FIREABLE(EnterCSIS_1_4) OR FIREABLE(EnterCSIS_2_6) OR FIREABLE(EnterCSIS_4_2) OR FIREABLE(EnterCSIS_1_2) OR FIREABLE(EnterCSIS_4_4) OR FIREABLE(EnterCSIS_3_6) OR FIREABLE(EnterCSIS_4_1) OR FIREABLE(EnterCSIS_4... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: ========================================lola:
Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: sara not yet started (preprocessing) || 51714 markings, 54469 edges, 10343 markings/sec, 0 secs
lola: state equation: Generated DNF with 279936 literals and 31104 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-12.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-12.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 5 secs || 101010 markings, 108317 edges, 9859 markings/sec, 5 secs
lola: sara is running 10 secs || 150795 markings, 162486 edges, 9957 markings/sec, 10 secs
lola: sara is running 15 secs || 201732 markings, 217654 edges, 10187 markings/sec, 15 secs
lola: sara is running 20 secs || 252332 markings, 273187 edges, 10120 markings/sec, 20 secs
lola: sara is running 25 secs || 302156 markings, 329166 edges, 9965 markings/sec, 25 secs
lola: sara is running 30 secs || 353501 markings, 384760 edges, 10269 markings/sec, 30 secs
lola: sara is running 35 secs || 404669 markings, 440669 edges, 10234 markings/sec, 35 secs
lola: sara is running 40 secs || 455341 markings, 496822 edges, 10134 markings/sec, 40 secs
lola: sara is running 45 secs || 505585 markings, 553848 edges, 10049 markings/sec, 45 secs
lola: sara is running 50 secs || 556869 markings, 609373 edges, 10257 markings/sec, 50 secs
lola: sara is running 55 secs || 607300 markings, 665075 edges, 10086 markings/sec, 55 secs
lola: sara is running 60 secs || 657872 markings, 721119 edges, 10114 markings/sec, 60 secs
lola: sara is running 65 secs || 708866 markings, 777151 edges, 10199 markings/sec, 65 secs
lola: sara is running 70 secs || 759835 markings, 833331 edges, 10194 markings/sec, 70 secs
lola: sara is running 75 secs || 810519 markings, 889444 edges, 10137 markings/sec, 75 secs
lola: sara is running 80 secs || 861233 markings, 945723 edges, 10143 markings/sec, 80 secs
lola: sara is running 85 secs || 912472 markings, 1001629 edges, 10248 markings/sec, 85 secs
lola: sara is running 90 secs || 963119 markings, 1057517 edges, 10129 markings/sec, 90 secs
lola: sara is running 95 secs || 1013852 markings, 1113819 edges, 10147 markings/sec, 95 secs
lola: sara is running 100 secs || 1065121 markings, 1170563 edges, 10254 markings/sec, 100 secs
lola: sara is running 105 secs || 1115463 markings, 1226650 edges, 10068 markings/sec, 105 secs
lola: sara is running 110 secs || 1166394 markings, 1283160 edges, 10186 markings/sec, 110 secs
lola: sara is running 115 secs || 1217436 markings, 1339811 edges, 10208 markings/sec, 115 secs
lola: sara is running 120 secs || 1268501 markings, 1396994 edges, 10213 markings/sec, 120 secs
lola: sara is running 125 secs || 1318747 markings, 1453096 edges, 10049 markings/sec, 125 secs
lola: sara is running 130 secs || 1369377 markings, 1509054 edges, 10126 markings/sec, 130 secs
lola: sara is running 135 secs || 1419942 markings, 1565447 edges, 10113 markings/sec, 135 secs
lola: sara is running 140 secs || 1470281 markings, 1622040 edges, 10068 markings/sec, 140 secs
lola: sara is running 145 secs || 1521199 markings, 1678879 edges, 10184 markings/sec, 145 secs
lola: sara is running 150 secs || 1571560 markings, 1735343 edges, 10072 markings/sec, 150 secs
lola: sara is running 155 secs || 1621870 markings, 1791726 edges, 10062 markings/sec, 155 secs
lola: sara is running 160 secs || 1671782 markings, 1848126 edges, 9982 markings/sec, 160 secs
lola: sara is running 165 secs || 1721873 markings, 1904309 edges, 10018 markings/sec, 165 secs
lola: sara is running 170 secs || 1772043 markings, 1960017 edges, 10034 markings/sec, 170 secs
lola: sara is running 175 secs || 1822236 markings, 2016156 edges, 10039 markings/sec, 175 secs
lola: sara is running 180 secs || 1872862 markings, 2072540 edges, 10125 markings/sec, 180 secs
lola: sara is running 185 secs || 1923730 markings, 2129889 edges, 10174 markings/sec, 185 secs
lola: sara is running 190 secs || 1974546 markings, 2186706 edges, 10163 markings/sec, 190 secs
lola: sara is running 195 secs || 2024949 markings, 2242767 edges, 10081 markings/sec, 195 secs
lola: sara is running 200 secs || 2075579 markings, 2298766 edges, 10126 markings/sec, 200 secs
lola: sara is running 205 secs || 2126053 markings, 2355026 edges, 10095 markings/sec, 205 secs
lola: sara is running 210 secs || 2176509 markings, 2412069 edges, 10091 markings/sec, 210 secs
lola: sara is running 215 secs || 2226461 markings, 2468855 edges, 9990 markings/sec, 215 secs
lola: sara is running 220 secs || 2276732 markings, 2524783 edges, 10054 markings/sec, 220 secs
lola: sara is running 225 secs || 2326902 markings, 2580785 edges, 10034 markings/sec, 225 secs
lola: sara is running 230 secs || 2377014 markings, 2636895 edges, 10022 markings/sec, 230 secs
lola: sara is running 235 secs || 2426746 markings, 2692416 edges, 9946 markings/sec, 235 secs
lola: sara is running 240 secs || 2476869 markings, 2748448 edges, 10025 markings/sec, 240 secs
lola: sara is running 245 secs || 2526768 markings, 2804446 edges, 9980 markings/sec, 245 secs
lola: sara is running 250 secs || 2576885 markings, 2860909 edges, 10023 markings/sec, 250 secs
lola: sara is running 255 secs || 2626957 markings, 2917385 edges, 10014 markings/sec, 255 secs
lola: sara is running 260 secs || 2678954 markings, 2975559 edges, 10399 markings/sec, 260 secs
lola: sara is running 265 secs || 2731080 markings, 3034041 edges, 10425 markings/sec, 265 secs
lola: sara is running 270 secs || 2782991 markings, 3092825 edges, 10382 markings/sec, 270 secs
lola: sara is running 275 secs || 2834822 markings, 3151641 edges, 10366 markings/sec, 275 secs
lola: sara is running 280 secs || 2886798 markings, 3210215 edges, 10395 markings/sec, 280 secs
lola: sara is running 285 secs || 2938637 markings, 3268574 edges, 10368 markings/sec, 285 secs
lola: sara is running 290 secs || 2990690 markings, 3327537 edges, 10411 markings/sec, 290 secs
lola: sara is running 295 secs || 3042368 markings, 3386741 edges, 10336 markings/sec, 295 secs
lola: sara is running 300 secs || 3094420 markings, 3446194 edges, 10410 markings/sec, 300 secs
lola: sara is running 305 secs || 3146586 markings, 3505266 edges, 10433 markings/sec, 305 secs
lola: sara is running 310 secs || 3198882 markings, 3564263 edges, 10459 markings/sec, 310 secs
lola: sara is running 315 secs || 3251032 markings, 3623262 edges, 10430 markings/sec, 315 secs
lola: sara is running 320 secs || 3303056 markings, 3682230 edges, 10405 markings/sec, 320 secs
lola: sara is running 325 secs || 3355100 markings, 3741516 edges, 10409 markings/sec, 325 secs
lola: sara is running 330 secs || 3406769 markings, 3800321 edges, 10334 markings/sec, 330 secs
lola: sara is running 335 secs || 3458851 markings, 3859407 edges, 10416 markings/sec, 335 secs
lola: sara is running 340 secs || 3511013 markings, 3918806 edges, 10432 markings/sec, 340 secs
lola: sara is running 345 secs || 3562364 markings, 3977447 edges, 10270 markings/sec, 345 secs
lola: sara is running 350 secs || 3614337 markings, 4035688 edges, 10395 markings/sec, 350 secs
lola: sara is running 355 secs || 3666379 markings, 4094314 edges, 10408 markings/sec, 355 secs
lola: sara is running 360 secs || 3717958 markings, 4152418 edges, 10316 markings/sec, 360 secs
lola: sara is running 365 secs || 3770259 markings, 4212468 edges, 10460 markings/sec, 365 secs
lola: sara is running 370 secs || 3822347 markings, 4271147 edges, 10418 markings/sec, 370 secs
lola: sara is running 375 secs || 3874093 markings, 4331174 edges, 10349 markings/sec, 375 secs
lola: sara is running 380 secs || 3925552 markings, 4388983 edges, 10292 markings/sec, 380 secs
lola: sara is running 385 secs || 3977238 markings, 4447742 edges, 10337 markings/sec, 385 secs
lola: sara is running 390 secs || 4029077 markings, 4506930 edges, 10368 markings/sec, 390 secs
lola: sara is running 395 secs || 4080752 markings, 4565647 edges, 10335 markings/sec, 395 secs
lola: sara is running 400 secs || 4131928 markings, 4624102 edges, 10235 markings/sec, 400 secs
lola: sara is running 405 secs || 4183548 markings, 4683286 edges, 10324 markings/sec, 405 secs
lola: sara is running 410 secs || 4235120 markings, 4742016 edges, 10314 markings/sec, 410 secs
lola: sara is running 415 secs || 4287228 markings, 4801107 edges, 10422 markings/sec, 415 secs
lola: sara is running 420 secs || 4338539 markings, 4860147 edges, 10262 markings/sec, 420 secs
lola: sara is running 425 secs || 4389551 markings, 4919769 edges, 10202 markings/sec, 425 secs
lola: sara is running 430 secs || 4440868 markings, 4978250 edges, 10263 markings/sec, 430 secs
lola: sara is running 435 secs || 4492793 markings, 5037615 edges, 10385 markings/sec, 435 secs
lola: sara is running 440 secs || 4544381 markings, 5096291 edges, 10318 markings/sec, 440 secs
lola: sara is running 445 secs || 4596469 markings, 5155954 edges, 10418 markings/sec, 445 secs
lola: sara is running 450 secs || 4648084 markings, 5214415 edges, 10323 markings/sec, 450 secs
lola: sara is running 455 secs || 4698918 markings, 5273368 edges, 10167 markings/sec, 455 secs
lola: sara is running 460 secs || 4750191 markings, 5331707 edges, 10255 markings/sec, 460 secs
lola: sara is running 465 secs || 4801880 markings, 5390074 edges, 10338 markings/sec, 465 secs
lola: sara is running 470 secs || 4854000 markings, 5449445 edges, 10424 markings/sec, 470 secs
lola: sara is running 475 secs || 4905685 markings, 5509098 edges, 10337 markings/sec, 475 secs
lola: sara is running 480 secs || 4956144 markings, 5567828 edges, 10092 markings/sec, 480 secs
lola: sara is running 485 secs || 5007630 markings, 5627034 edges, 10297 markings/sec, 485 secs
lola: sara is running 490 secs || 5059385 markings, 5685839 edges, 10351 markings/sec, 490 secs
lola: sara is running 495 secs || 5111374 markings, 5745451 edges, 10398 markings/sec, 495 secs
lola: sara is running 500 secs || 5162945 markings, 5804398 edges, 10314 markings/sec, 500 secs
lola: sara is running 505 secs || 5214030 markings, 5863917 edges, 10217 markings/sec, 505 secs
lola: sara is running 510 secs || 5265210 markings, 5922248 edges, 10236 markings/sec, 510 secs
lola: sara is running 515 secs || 5317027 markings, 5981056 edges, 10363 markings/sec, 515 secs
lola: sara is running 520 secs || 5368944 markings, 6040168 edges, 10383 markings/sec, 520 secs
lola: sara is running 525 secs || 5420405 markings, 6099284 edges, 10292 markings/sec, 525 secs
lola: sara is running 530 secs || 5471313 markings, 6157992 edges, 10182 markings/sec, 530 secs
lola: sara is running 535 secs || 5522413 markings, 6216577 edges, 10220 markings/sec, 535 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 541 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(NopAbort_1) OR FIREABLE(NopAbort_2) OR FIREABLE(NopAbort_4) OR FIREABLE(NopAbort_3) OR FIREABLE(NopAbort_5) OR FIREABLE(NopAbort_6) OR FIREABLE(T_1115_0_4_6) OR FIREABLE(T_1115_0_3_6) OR FIREABLE(T_1115_1_2_5) OR FIREABLE(T_1115_2_3_4) OR FIREABLE(T_1115_4_2_1) OR FIREABLE(T_1115_4_1_3) OR FIREABLE(T_1115_1_1_6) OR FIREABLE(T_1115_3_1_2) OR FIREABLE(T_1115_0_3_1) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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 14 will run for 811 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(NOPDP_4_2) AND NOT FIREABLE(NOPDP_2_3) AND NOT FIREABLE(NOPDP_3_5) AND NOT FIREABLE(NOPDP_1_3) AND NOT FIREABLE(NOPDP_2_1) AND NOT FIREABLE(NOPDP_3_6) AND NOT FIREABLE(NOPDP_4_4) AND NOT FIREABLE(NOPDP_1_5) AND NOT FIREABLE(NOPDP_3_1) AND NOT FIREABLE(NOPDP_3_4) AND NOT FIREABLE(NOPDP_4_1) AND NOT FIREABLE(NOPDP_2_6) AND NOT FIREABLE(NOPDP_1_2) AND NOT FIREABLE(NOPDP_2_4) AND N... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 48 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-14.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-14.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 15 will run for 1623 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(T_2577_4_1) OR FIREABLE(T_2577_4_6) OR FIREABLE(T_2577_3_1) OR FIREABLE(T_2577_2_3) OR FIREABLE(T_2577_3_3) OR FIREABLE(T_2577_2_1) OR FIREABLE(T_2577_1_1) OR FIREABLE(T_2577_2_6) OR FIREABLE(T_2577_1_3) OR FIREABLE(T_2577_4_5) OR FIREABLE(T_2577_3_6) OR FIREABLE(T_2577_4_3) OR FIREABLE(T_2577_3_5) OR FIREABLE(T_2577_3_4) OR FIREABLE(T_2577_1_4) OR FIREABLE(T_2577_1_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: state equation: Generated DNF with 72 literals and 24 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-COL-S04J04T06-ReachabilityFireability-15.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-COL-S04J04T06-ReachabilityFireability-15.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: ========================================
lola: RESULT
lola:
SUMMARY: yes yes unknown unknown unknown no no unknown unknown yes yes no unknown no no yes
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-ReachabilityFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496460375283

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- 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-S04J04T06"
export BK_EXAMINATION="ReachabilityFireability"
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-S04J04T06.tgz
mv S_PolyORBLF-PT-S04J04T06 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-S04J04T06, examination is ReachabilityFireability"
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-149441681600459"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;