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

--------------------
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 1494694694884


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
ReachabilityFireability @ PolyORBLF-PT-S04J04T06 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
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) || 33738 markings, 34997 edges, 6748 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 69837 markings, 73382 edges, 7220 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 105941 markings, 112373 edges, 7221 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 140350 markings, 149552 edges, 6882 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) || 176980 markings, 189156 edges, 7326 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 214302 markings, 229883 edges, 7464 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 250653 markings, 269563 edges, 7270 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 287491 markings, 309812 edges, 7368 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 323902 markings, 349745 edges, 7282 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 360721 markings, 390193 edges, 7364 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 397272 markings, 430551 edges, 7310 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 434037 markings, 470990 edges, 7353 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 470637 markings, 511860 edges, 7320 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 507794 markings, 552719 edges, 7431 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 544302 markings, 593205 edges, 7302 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 581030 markings, 634626 edges, 7346 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 617783 markings, 675929 edges, 7351 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 654830 markings, 717918 edges, 7409 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 691634 markings, 759181 edges, 7361 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 728689 markings, 801186 edges, 7411 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 765142 markings, 841816 edges, 7291 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 801911 markings, 883377 edges, 7354 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 838808 markings, 924986 edges, 7379 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 875978 markings, 966827 edges, 7434 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 912762 markings, 1008654 edges, 7357 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 949426 markings, 1050055 edges, 7333 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 986461 markings, 1092288 edges, 7407 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 1022964 markings, 1134064 edges, 7301 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 1059585 markings, 1175962 edges, 7324 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 1096170 markings, 1218193 edges, 7317 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 1132902 markings, 1260198 edges, 7346 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 1169474 markings, 1302199 edges, 7314 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 1206223 markings, 1344491 edges, 7350 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 1242328 markings, 1386192 edges, 7221 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1278967 markings, 1427899 edges, 7328 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1315225 markings, 1469543 edges, 7252 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1351317 markings, 1511061 edges, 7218 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1387693 markings, 1552407 edges, 7275 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1424357 markings, 1594110 edges, 7333 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1461094 markings, 1636193 edges, 7347 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1497298 markings, 1677875 edges, 7241 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1534478 markings, 1720751 edges, 7436 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1570838 markings, 1762290 edges, 7272 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1607279 markings, 1804690 edges, 7288 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1642799 markings, 1845941 edges, 7104 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1677924 markings, 1886238 edges, 7025 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1712890 markings, 1927034 edges, 6993 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1747444 markings, 1967034 edges, 6911 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1782291 markings, 2007871 edges, 6969 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1817459 markings, 2047710 edges, 7034 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) || 57257 markings, 61226 edges, 11451 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 113002 markings, 122189 edges, 11149 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 167519 markings, 181986 edges, 10903 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 || 221738 markings, 241352 edges, 10844 markings/sec, 15 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 20 secs || 275810 markings, 300135 edges, 10814 markings/sec, 20 secs
lola: sara is running 25 secs || 329840 markings, 359835 edges, 10806 markings/sec, 25 secs
lola: sara is running 30 secs || 384157 markings, 419244 edges, 10863 markings/sec, 30 secs
lola: sara is running 35 secs || 437376 markings, 478577 edges, 10644 markings/sec, 35 secs
lola: sara is running 40 secs || 491769 markings, 538524 edges, 10879 markings/sec, 40 secs
lola: sara is running 45 secs || 545176 markings, 597364 edges, 10681 markings/sec, 45 secs
lola: sara is running 50 secs || 598845 markings, 656775 edges, 10734 markings/sec, 50 secs
lola: sara is running 55 secs || 652992 markings, 716542 edges, 10829 markings/sec, 55 secs
lola: sara is running 60 secs || 707642 markings, 776286 edges, 10930 markings/sec, 60 secs
lola: sara is running 65 secs || 761029 markings, 835685 edges, 10677 markings/sec, 65 secs
lola: sara is running 70 secs || 813838 markings, 894868 edges, 10562 markings/sec, 70 secs
lola: sara is running 75 secs || 867150 markings, 954002 edges, 10662 markings/sec, 75 secs
lola: sara is running 80 secs || 919709 markings, 1012246 edges, 10512 markings/sec, 80 secs
lola: sara is running 85 secs || 972974 markings, 1071231 edges, 10653 markings/sec, 85 secs
lola: sara is running 90 secs || 1024897 markings, 1128430 edges, 10385 markings/sec, 90 secs
lola: sara is running 95 secs || 1077739 markings, 1187091 edges, 10568 markings/sec, 95 secs
lola: sara is running 100 secs || 1131173 markings, 1246585 edges, 10687 markings/sec, 100 secs
lola: sara is running 105 secs || 1183159 markings, 1303857 edges, 10397 markings/sec, 105 secs
lola: sara is running 110 secs || 1235683 markings, 1362157 edges, 10505 markings/sec, 110 secs
lola: sara is running 115 secs || 1288583 markings, 1420399 edges, 10580 markings/sec, 115 secs
lola: sara is running 120 secs || 1341290 markings, 1479196 edges, 10541 markings/sec, 120 secs
lola: sara is running 125 secs || 1393913 markings, 1537742 edges, 10525 markings/sec, 125 secs
lola: sara is running 130 secs || 1446299 markings, 1595674 edges, 10477 markings/sec, 130 secs
lola: sara is running 135 secs || 1498339 markings, 1653193 edges, 10408 markings/sec, 135 secs
lola: sara is running 140 secs || 1550589 markings, 1711960 edges, 10450 markings/sec, 140 secs
lola: sara is running 145 secs || 1603792 markings, 1771117 edges, 10641 markings/sec, 145 secs
lola: sara is running 150 secs || 1656379 markings, 1829439 edges, 10517 markings/sec, 150 secs
lola: sara is running 155 secs || 1708208 markings, 1887390 edges, 10366 markings/sec, 155 secs
lola: sara is running 160 secs || 1760532 markings, 1945609 edges, 10465 markings/sec, 160 secs
lola: sara is running 165 secs || 1813001 markings, 2004082 edges, 10494 markings/sec, 165 secs
lola: sara is running 170 secs || 1864814 markings, 2061955 edges, 10363 markings/sec, 170 secs
lola: sara is running 175 secs || 1917371 markings, 2121020 edges, 10511 markings/sec, 175 secs
lola: sara is running 180 secs || 1969199 markings, 2179380 edges, 10366 markings/sec, 180 secs
lola: sara is running 185 secs || 2021972 markings, 2238723 edges, 10555 markings/sec, 185 secs
lola: sara is running 190 secs || 2073618 markings, 2295729 edges, 10329 markings/sec, 190 secs
lola: sara is running 195 secs || 2126200 markings, 2354074 edges, 10516 markings/sec, 195 secs
lola: sara is running 200 secs || 2177657 markings, 2410482 edges, 10291 markings/sec, 200 secs
lola: sara is running 205 secs || 2230286 markings, 2469137 edges, 10526 markings/sec, 205 secs
lola: sara is running 210 secs || 2282187 markings, 2526970 edges, 10380 markings/sec, 210 secs
lola: sara is running 215 secs || 2334053 markings, 2584598 edges, 10373 markings/sec, 215 secs
lola: sara is running 220 secs || 2386612 markings, 2643171 edges, 10512 markings/sec, 220 secs
lola: sara is running 225 secs || 2440922 markings, 2703505 edges, 10862 markings/sec, 225 secs
lola: sara is running 230 secs || 2493088 markings, 2761706 edges, 10433 markings/sec, 230 secs
lola: sara is running 235 secs || 2546276 markings, 2821019 edges, 10638 markings/sec, 235 secs
lola: sara is running 240 secs || 2598127 markings, 2878923 edges, 10370 markings/sec, 240 secs
lola: sara is running 245 secs || 2651542 markings, 2938553 edges, 10683 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 253 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 || 52266 markings, 53697 edges, 10453 markings/sec, 0 secs
lola: sara is running 5 secs || 103253 markings, 107322 edges, 10197 markings/sec, 5 secs
lola: sara is running 10 secs || 153159 markings, 160230 edges, 9981 markings/sec, 10 secs
lola: sara is running 15 secs || 202268 markings, 212378 edges, 9822 markings/sec, 15 secs
lola: sara is running 20 secs || 251063 markings, 264880 edges, 9759 markings/sec, 20 secs
lola: sara is running 25 secs || 299589 markings, 317714 edges, 9705 markings/sec, 25 secs
lola: sara is running 30 secs || 348865 markings, 370817 edges, 9855 markings/sec, 30 secs
lola: sara is running 35 secs || 396549 markings, 422824 edges, 9537 markings/sec, 35 secs
lola: sara is running 40 secs || 444808 markings, 475259 edges, 9652 markings/sec, 40 secs
lola: sara is running 45 secs || 493290 markings, 528011 edges, 9696 markings/sec, 45 secs
lola: sara is running 50 secs || 541016 markings, 580174 edges, 9545 markings/sec, 50 secs
lola: sara is running 55 secs || 588685 markings, 632244 edges, 9534 markings/sec, 55 secs
lola: sara is running 60 secs || 636952 markings, 684842 edges, 9653 markings/sec, 60 secs
lola: sara is running 65 secs || 685819 markings, 738365 edges, 9773 markings/sec, 65 secs
lola: sara is running 70 secs || 733970 markings, 791296 edges, 9630 markings/sec, 70 secs
lola: sara is running 75 secs || 781592 markings, 844090 edges, 9524 markings/sec, 75 secs
lola: sara is running 80 secs || 829362 markings, 896574 edges, 9554 markings/sec, 80 secs
lola: sara is running 85 secs || 876951 markings, 949319 edges, 9518 markings/sec, 85 secs
lola: sara is running 90 secs || 924262 markings, 1001977 edges, 9462 markings/sec, 90 secs
lola: sara is running 95 secs || 971985 markings, 1055076 edges, 9545 markings/sec, 95 secs
lola: sara is running 100 secs || 1019487 markings, 1108080 edges, 9500 markings/sec, 100 secs
lola: sara is running 105 secs || 1066517 markings, 1160274 edges, 9406 markings/sec, 105 secs
lola: sara is running 110 secs || 1113504 markings, 1212787 edges, 9397 markings/sec, 110 secs
lola: sara is running 115 secs || 1160812 markings, 1265456 edges, 9462 markings/sec, 115 secs
lola: sara is running 120 secs || 1207855 markings, 1318067 edges, 9409 markings/sec, 120 secs
lola: sara is running 125 secs || 1255151 markings, 1370587 edges, 9459 markings/sec, 125 secs
lola: sara is running 130 secs || 1302694 markings, 1423519 edges, 9509 markings/sec, 130 secs
lola: sara is running 135 secs || 1349391 markings, 1476007 edges, 9339 markings/sec, 135 secs
lola: sara is running 140 secs || 1395846 markings, 1528106 edges, 9291 markings/sec, 140 secs
lola: sara is running 145 secs || 1442140 markings, 1580237 edges, 9259 markings/sec, 145 secs
lola: sara is running 150 secs || 1489474 markings, 1633254 edges, 9467 markings/sec, 150 secs
lola: sara is running 155 secs || 1536918 markings, 1686423 edges, 9489 markings/sec, 155 secs
lola: sara is running 160 secs || 1583050 markings, 1738243 edges, 9226 markings/sec, 160 secs
lola: sara is running 165 secs || 1629528 markings, 1790553 edges, 9296 markings/sec, 165 secs
lola: sara is running 170 secs || 1676648 markings, 1843525 edges, 9424 markings/sec, 170 secs
lola: sara is running 175 secs || 1722223 markings, 1894888 edges, 9115 markings/sec, 175 secs
lola: sara is running 180 secs || 1768167 markings, 1946395 edges, 9189 markings/sec, 180 secs
lola: sara is running 185 secs || 1814784 markings, 1998834 edges, 9323 markings/sec, 185 secs
lola: sara is running 190 secs || 1862678 markings, 2053510 edges, 9579 markings/sec, 190 secs
lola: sara is running 195 secs || 1909962 markings, 2106442 edges, 9457 markings/sec, 195 secs
lola: sara is running 200 secs || 1957638 markings, 2160484 edges, 9535 markings/sec, 200 secs
lola: sara is running 205 secs || 2005801 markings, 2214340 edges, 9633 markings/sec, 205 secs
lola: sara is running 210 secs || 2053614 markings, 2268743 edges, 9563 markings/sec, 210 secs
lola: sara is running 215 secs || 2101334 markings, 2323464 edges, 9544 markings/sec, 215 secs
lola: sara is running 220 secs || 2148852 markings, 2377272 edges, 9504 markings/sec, 220 secs
lola: sara is running 225 secs || 2196472 markings, 2431517 edges, 9524 markings/sec, 225 secs
lola: sara is running 230 secs || 2244197 markings, 2485711 edges, 9545 markings/sec, 230 secs
lola: sara is running 235 secs || 2291299 markings, 2539574 edges, 9420 markings/sec, 235 secs
lola: sara is running 240 secs || 2339039 markings, 2593650 edges, 9548 markings/sec, 240 secs
lola: sara is running 245 secs || 2385778 markings, 2646447 edges, 9348 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: 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) || 55537 markings, 58677 edges, 11107 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 110023 markings, 118206 edges, 10897 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 164023 markings, 177928 edges, 10800 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 219079 markings, 238771 edges, 11011 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 273514 markings, 300014 edges, 10887 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 328490 markings, 361691 edges, 10995 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 383189 markings, 423374 edges, 10940 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 437281 markings, 485645 edges, 10818 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 492509 markings, 547411 edges, 11046 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 546855 markings, 608685 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 || 601092 markings, 669974 edges, 10847 markings/sec, 50 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 55 secs || 656146 markings, 731148 edges, 11011 markings/sec, 55 secs
lola: sara is running 60 secs || 710725 markings, 792002 edges, 10916 markings/sec, 60 secs
lola: sara is running 65 secs || 765759 markings, 853925 edges, 11007 markings/sec, 65 secs
lola: sara is running 70 secs || 820640 markings, 915951 edges, 10976 markings/sec, 70 secs
lola: sara is running 75 secs || 875348 markings, 977182 edges, 10942 markings/sec, 75 secs
lola: sara is running 80 secs || 929716 markings, 1038646 edges, 10874 markings/sec, 80 secs
lola: sara is running 85 secs || 984505 markings, 1100420 edges, 10958 markings/sec, 85 secs
lola: sara is running 90 secs || 1039320 markings, 1161716 edges, 10963 markings/sec, 90 secs
lola: sara is running 95 secs || 1093710 markings, 1224064 edges, 10878 markings/sec, 95 secs
lola: sara is running 100 secs || 1148786 markings, 1285893 edges, 11015 markings/sec, 100 secs
lola: sara is running 105 secs || 1203092 markings, 1347580 edges, 10861 markings/sec, 105 secs
lola: sara is running 110 secs || 1258323 markings, 1409803 edges, 11046 markings/sec, 110 secs
lola: sara is running 115 secs || 1313630 markings, 1471792 edges, 11061 markings/sec, 115 secs
lola: sara is running 120 secs || 1368541 markings, 1534625 edges, 10982 markings/sec, 120 secs
lola: sara is running 125 secs || 1423814 markings, 1597193 edges, 11055 markings/sec, 125 secs
lola: sara is running 130 secs || 1478978 markings, 1659263 edges, 11033 markings/sec, 130 secs
lola: sara is running 135 secs || 1533578 markings, 1721494 edges, 10920 markings/sec, 135 secs
lola: sara is running 140 secs || 1588466 markings, 1784214 edges, 10978 markings/sec, 140 secs
lola: sara is running 145 secs || 1643588 markings, 1847200 edges, 11024 markings/sec, 145 secs
lola: sara is running 150 secs || 1698818 markings, 1909755 edges, 11046 markings/sec, 150 secs
lola: sara is running 155 secs || 1753096 markings, 1972004 edges, 10856 markings/sec, 155 secs
lola: sara is running 160 secs || 1808469 markings, 2034880 edges, 11075 markings/sec, 160 secs
lola: sara is running 165 secs || 1863222 markings, 2097061 edges, 10951 markings/sec, 165 secs
lola: sara is running 170 secs || 1917350 markings, 2159658 edges, 10826 markings/sec, 170 secs
lola: sara is running 175 secs || 1972780 markings, 2222009 edges, 11086 markings/sec, 175 secs
lola: sara is running 180 secs || 2027605 markings, 2284065 edges, 10965 markings/sec, 180 secs
lola: sara is running 185 secs || 2082625 markings, 2346502 edges, 11004 markings/sec, 185 secs
lola: sara is running 190 secs || 2136913 markings, 2408536 edges, 10858 markings/sec, 190 secs
lola: sara is running 195 secs || 2192522 markings, 2470374 edges, 11122 markings/sec, 195 secs
lola: sara is running 200 secs || 2247184 markings, 2532865 edges, 10932 markings/sec, 200 secs
lola: sara is running 205 secs || 2302174 markings, 2595807 edges, 10998 markings/sec, 205 secs
lola: sara is running 210 secs || 2357024 markings, 2658638 edges, 10970 markings/sec, 210 secs
lola: sara is running 215 secs || 2413130 markings, 2722119 edges, 11221 markings/sec, 215 secs
lola: sara is running 220 secs || 2467504 markings, 2784026 edges, 10875 markings/sec, 220 secs
lola: sara is running 225 secs || 2522278 markings, 2846661 edges, 10955 markings/sec, 225 secs
lola: sara is running 230 secs || 2576967 markings, 2909860 edges, 10938 markings/sec, 230 secs
lola: sara is running 235 secs || 2632195 markings, 2972615 edges, 11046 markings/sec, 235 secs
lola: sara is running 240 secs || 2686706 markings, 3034734 edges, 10902 markings/sec, 240 secs
lola: sara is running 245 secs || 2741511 markings, 3097922 edges, 10961 markings/sec, 245 secs
lola: sara is running 250 secs || 2796585 markings, 3160348 edges, 11015 markings/sec, 250 secs
lola: sara is running 255 secs || 2851223 markings, 3222649 edges, 10928 markings/sec, 255 secs
lola: sara is running 260 secs || 2906357 markings, 3285056 edges, 11027 markings/sec, 260 secs
lola: sara is running 265 secs || 2961781 markings, 3348546 edges, 11085 markings/sec, 265 secs
lola: sara is running 270 secs || 3016623 markings, 3411270 edges, 10968 markings/sec, 270 secs
lola: sara is running 275 secs || 3072339 markings, 3474596 edges, 11143 markings/sec, 275 secs
lola: sara is running 280 secs || 3127904 markings, 3537833 edges, 11113 markings/sec, 280 secs
lola: sara is running 285 secs || 3181889 markings, 3600439 edges, 10797 markings/sec, 285 secs
lola: sara is running 290 secs || 3238099 markings, 3663711 edges, 11242 markings/sec, 290 secs
lola: sara is running 295 secs || 3293672 markings, 3726842 edges, 11115 markings/sec, 295 secs
lola: sara is running 300 secs || 3348579 markings, 3789575 edges, 10981 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 || 48591 markings, 54496 edges, 9718 markings/sec, 0 secs
lola: sara is running 5 secs || 97929 markings, 113326 edges, 9868 markings/sec, 5 secs
lola: sara is running 10 secs || 148180 markings, 171806 edges, 10050 markings/sec, 10 secs
lola: sara is running 15 secs || 196931 markings, 229743 edges, 9750 markings/sec, 15 secs
lola: sara is running 20 secs || 246535 markings, 288509 edges, 9921 markings/sec, 20 secs
lola: sara is running 25 secs || 295842 markings, 347299 edges, 9861 markings/sec, 25 secs
lola: sara is running 30 secs || 343466 markings, 405641 edges, 9525 markings/sec, 30 secs
lola: sara is running 35 secs || 391408 markings, 464133 edges, 9588 markings/sec, 35 secs
lola: sara is running 40 secs || 440137 markings, 522656 edges, 9746 markings/sec, 40 secs
lola: sara is running 45 secs || 488287 markings, 580160 edges, 9630 markings/sec, 45 secs
lola: sara is running 50 secs || 536343 markings, 638998 edges, 9611 markings/sec, 50 secs
lola: sara is running 55 secs || 583026 markings, 696891 edges, 9337 markings/sec, 55 secs
lola: sara is running 60 secs || 629672 markings, 754046 edges, 9329 markings/sec, 60 secs
lola: sara is running 65 secs || 676382 markings, 811600 edges, 9342 markings/sec, 65 secs
lola: sara is running 70 secs || 724231 markings, 870337 edges, 9570 markings/sec, 70 secs
lola: sara is running 75 secs || 772079 markings, 929537 edges, 9570 markings/sec, 75 secs
lola: sara is running 80 secs || 818794 markings, 988403 edges, 9343 markings/sec, 80 secs
lola: sara is running 85 secs || 866596 markings, 1047166 edges, 9560 markings/sec, 85 secs
lola: sara is running 90 secs || 914503 markings, 1105702 edges, 9581 markings/sec, 90 secs
lola: sara is running 95 secs || 962116 markings, 1164158 edges, 9523 markings/sec, 95 secs
lola: sara is running 100 secs || 1008881 markings, 1222708 edges, 9353 markings/sec, 100 secs
lola: sara is running 105 secs || 1055849 markings, 1281413 edges, 9394 markings/sec, 105 secs
lola: sara is running 110 secs || 1101856 markings, 1338124 edges, 9201 markings/sec, 110 secs
lola: sara is running 115 secs || 1149006 markings, 1396201 edges, 9430 markings/sec, 115 secs
lola: sara is running 120 secs || 1196569 markings, 1453691 edges, 9513 markings/sec, 120 secs
lola: sara is running 125 secs || 1243317 markings, 1511774 edges, 9350 markings/sec, 125 secs
lola: sara is running 130 secs || 1289774 markings, 1571404 edges, 9291 markings/sec, 130 secs
lola: sara is running 135 secs || 1337039 markings, 1630218 edges, 9453 markings/sec, 135 secs
lola: sara is running 140 secs || 1383498 markings, 1689133 edges, 9292 markings/sec, 140 secs
lola: sara is running 145 secs || 1429780 markings, 1746721 edges, 9256 markings/sec, 145 secs
lola: sara is running 150 secs || 1476635 markings, 1804722 edges, 9371 markings/sec, 150 secs
lola: sara is running 155 secs || 1523512 markings, 1863519 edges, 9375 markings/sec, 155 secs
lola: sara is running 160 secs || 1569993 markings, 1922138 edges, 9296 markings/sec, 160 secs
lola: sara is running 165 secs || 1617020 markings, 1981716 edges, 9405 markings/sec, 165 secs
lola: sara is running 170 secs || 1663960 markings, 2039807 edges, 9388 markings/sec, 170 secs
lola: sara is running 175 secs || 1710799 markings, 2098503 edges, 9368 markings/sec, 175 secs
lola: sara is running 180 secs || 1757241 markings, 2157191 edges, 9288 markings/sec, 180 secs
lola: sara is running 185 secs || 1802545 markings, 2215597 edges, 9061 markings/sec, 185 secs
lola: sara is running 190 secs || 1848573 markings, 2273898 edges, 9206 markings/sec, 190 secs
lola: sara is running 195 secs || 1893484 markings, 2330949 edges, 8982 markings/sec, 195 secs
lola: sara is running 200 secs || 1939914 markings, 2388710 edges, 9286 markings/sec, 200 secs
lola: sara is running 205 secs || 1986092 markings, 2446107 edges, 9236 markings/sec, 205 secs
lola: sara is running 210 secs || 2031662 markings, 2502995 edges, 9114 markings/sec, 210 secs
lola: sara is running 215 secs || 2077189 markings, 2560431 edges, 9105 markings/sec, 215 secs
lola: sara is running 220 secs || 2122582 markings, 2617653 edges, 9079 markings/sec, 220 secs
lola: sara is running 225 secs || 2168995 markings, 2676456 edges, 9283 markings/sec, 225 secs
lola: sara is running 230 secs || 2214420 markings, 2733893 edges, 9085 markings/sec, 230 secs
lola: sara is running 235 secs || 2260326 markings, 2792802 edges, 9181 markings/sec, 235 secs
lola: sara is running 240 secs || 2306143 markings, 2850585 edges, 9163 markings/sec, 240 secs
lola: sara is running 245 secs || 2351914 markings, 2909076 edges, 9154 markings/sec, 245 secs
lola: sara is running 250 secs || 2397309 markings, 2966341 edges, 9079 markings/sec, 250 secs
lola: sara is running 255 secs || 2443175 markings, 3023490 edges, 9173 markings/sec, 255 secs
lola: sara is running 260 secs || 2488476 markings, 3081085 edges, 9060 markings/sec, 260 secs
lola: sara is running 265 secs || 2535239 markings, 3139995 edges, 9353 markings/sec, 265 secs
lola: sara is running 270 secs || 2581175 markings, 3198294 edges, 9187 markings/sec, 270 secs
lola: sara is running 275 secs || 2626200 markings, 3256539 edges, 9005 markings/sec, 275 secs
lola: sara is running 280 secs || 2672011 markings, 3314791 edges, 9162 markings/sec, 280 secs
lola: sara is running 285 secs || 2717375 markings, 3372022 edges, 9073 markings/sec, 285 secs
lola: sara is running 290 secs || 2762866 markings, 3429011 edges, 9098 markings/sec, 290 secs
lola: sara is running 295 secs || 2807688 markings, 3485995 edges, 8964 markings/sec, 295 secs
lola: sara is running 300 secs || 2853342 markings, 3544551 edges, 9131 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: lola: ========================================
subprocess 10 will run for 360 seconds at most (--localtimelimit=-1)
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: ========================================
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: 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) || 51850 markings, 54606 edges, 10370 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 || 101670 markings, 109005 edges, 9964 markings/sec, 5 secs
lola: sara is running 10 secs || 151918 markings, 163715 edges, 10050 markings/sec, 10 secs
lola: sara is running 15 secs || 203333 markings, 219534 edges, 10283 markings/sec, 15 secs
lola: sara is running 20 secs || 254439 markings, 275445 edges, 10221 markings/sec, 20 secs
lola: sara is running 25 secs || 304697 markings, 332008 edges, 10052 markings/sec, 25 secs
lola: sara is running 30 secs || 356531 markings, 388062 edges, 10367 markings/sec, 30 secs
lola: sara is running 35 secs || 408148 markings, 444482 edges, 10323 markings/sec, 35 secs
lola: sara is running 40 secs || 459407 markings, 501263 edges, 10252 markings/sec, 40 secs
lola: sara is running 45 secs || 510277 markings, 558939 edges, 10174 markings/sec, 45 secs
lola: sara is running 50 secs || 561905 markings, 614781 edges, 10326 markings/sec, 50 secs
lola: sara is running 55 secs || 612986 markings, 671441 edges, 10216 markings/sec, 55 secs
lola: sara is running 60 secs || 664147 markings, 727918 edges, 10232 markings/sec, 60 secs
lola: sara is running 65 secs || 715507 markings, 784362 edges, 10272 markings/sec, 65 secs
lola: sara is running 70 secs || 767148 markings, 841427 edges, 10328 markings/sec, 70 secs
lola: sara is running 75 secs || 818945 markings, 898825 edges, 10359 markings/sec, 75 secs
lola: sara is running 80 secs || 870497 markings, 955917 edges, 10310 markings/sec, 80 secs
lola: sara is running 85 secs || 922296 markings, 1012552 edges, 10360 markings/sec, 85 secs
lola: sara is running 90 secs || 973938 markings, 1069500 edges, 10328 markings/sec, 90 secs
lola: sara is running 95 secs || 1025605 markings, 1126923 edges, 10333 markings/sec, 95 secs
lola: sara is running 100 secs || 1077692 markings, 1184375 edges, 10417 markings/sec, 100 secs
lola: sara is running 105 secs || 1128838 markings, 1241431 edges, 10229 markings/sec, 105 secs
lola: sara is running 110 secs || 1180894 markings, 1299267 edges, 10411 markings/sec, 110 secs
lola: sara is running 115 secs || 1232631 markings, 1356838 edges, 10347 markings/sec, 115 secs
lola: sara is running 120 secs || 1284422 markings, 1414833 edges, 10358 markings/sec, 120 secs
lola: sara is running 125 secs || 1335240 markings, 1471404 edges, 10164 markings/sec, 125 secs
lola: sara is running 130 secs || 1387166 markings, 1529003 edges, 10385 markings/sec, 130 secs
lola: sara is running 135 secs || 1438264 markings, 1586292 edges, 10220 markings/sec, 135 secs
lola: sara is running 140 secs || 1489743 markings, 1644004 edges, 10296 markings/sec, 140 secs
lola: sara is running 145 secs || 1541265 markings, 1701568 edges, 10304 markings/sec, 145 secs
lola: sara is running 150 secs || 1592357 markings, 1758970 edges, 10218 markings/sec, 150 secs
lola: sara is running 155 secs || 1643624 markings, 1816408 edges, 10253 markings/sec, 155 secs
lola: sara is running 160 secs || 1694492 markings, 1873593 edges, 10174 markings/sec, 160 secs
lola: sara is running 165 secs || 1745526 markings, 1930538 edges, 10207 markings/sec, 165 secs
lola: sara is running 170 secs || 1796559 markings, 1987580 edges, 10207 markings/sec, 170 secs
lola: sara is running 175 secs || 1848021 markings, 2044530 edges, 10292 markings/sec, 175 secs
lola: sara is running 180 secs || 1899893 markings, 2102979 edges, 10374 markings/sec, 180 secs
lola: sara is running 185 secs || 1951234 markings, 2160940 edges, 10268 markings/sec, 185 secs
lola: sara is running 190 secs || 2003246 markings, 2218356 edges, 10402 markings/sec, 190 secs
lola: sara is running 195 secs || 2054292 markings, 2275330 edges, 10209 markings/sec, 195 secs
lola: sara is running 200 secs || 2105802 markings, 2332350 edges, 10302 markings/sec, 200 secs
lola: sara is running 205 secs || 2157259 markings, 2389599 edges, 10291 markings/sec, 205 secs
lola: sara is running 210 secs || 2207749 markings, 2447886 edges, 10098 markings/sec, 210 secs
lola: sara is running 215 secs || 2258986 markings, 2504916 edges, 10247 markings/sec, 215 secs
lola: sara is running 220 secs || 2310080 markings, 2562062 edges, 10219 markings/sec, 220 secs
lola: sara is running 225 secs || 2361152 markings, 2619348 edges, 10214 markings/sec, 225 secs
lola: sara is running 230 secs || 2412086 markings, 2676156 edges, 10187 markings/sec, 230 secs
lola: sara is running 235 secs || 2462523 markings, 2732414 edges, 10087 markings/sec, 235 secs
lola: sara is running 240 secs || 2513356 markings, 2789528 edges, 10167 markings/sec, 240 secs
lola: sara is running 245 secs || 2564683 markings, 2847120 edges, 10265 markings/sec, 245 secs
lola: sara is running 250 secs || 2614629 markings, 2903769 edges, 9989 markings/sec, 250 secs
lola: sara is running 255 secs || 2665654 markings, 2960824 edges, 10205 markings/sec, 255 secs
lola: sara is running 260 secs || 2716851 markings, 3017993 edges, 10239 markings/sec, 260 secs
lola: sara is running 265 secs || 2768068 markings, 3075635 edges, 10243 markings/sec, 265 secs
lola: sara is running 270 secs || 2819050 markings, 3133324 edges, 10196 markings/sec, 270 secs
lola: sara is running 275 secs || 2870310 markings, 3191605 edges, 10252 markings/sec, 275 secs
lola: sara is running 280 secs || 2920350 markings, 3248260 edges, 10008 markings/sec, 280 secs
lola: sara is running 285 secs || 2971667 markings, 3306248 edges, 10263 markings/sec, 285 secs
lola: sara is running 290 secs || 3022109 markings, 3363730 edges, 10088 markings/sec, 290 secs
lola: sara is running 295 secs || 3072678 markings, 3421260 edges, 10114 markings/sec, 295 secs
lola: sara is running 300 secs || 3123206 markings, 3478594 edges, 10106 markings/sec, 300 secs
lola: sara is running 305 secs || 3174319 markings, 3536585 edges, 10223 markings/sec, 305 secs
lola: sara is running 310 secs || 3224951 markings, 3593541 edges, 10126 markings/sec, 310 secs
lola: sara is running 315 secs || 3276021 markings, 3651596 edges, 10214 markings/sec, 315 secs
lola: sara is running 320 secs || 3326585 markings, 3708982 edges, 10113 markings/sec, 320 secs
lola: sara is running 325 secs || 3377156 markings, 3766283 edges, 10114 markings/sec, 325 secs
lola: sara is running 330 secs || 3427626 markings, 3824502 edges, 10094 markings/sec, 330 secs
lola: sara is running 335 secs || 3478320 markings, 3881861 edges, 10139 markings/sec, 335 secs
lola: sara is running 340 secs || 3529277 markings, 3939960 edges, 10191 markings/sec, 340 secs
lola: sara is running 345 secs || 3579205 markings, 3996243 edges, 9986 markings/sec, 345 secs
lola: sara is running 350 secs || 3629762 markings, 4052906 edges, 10111 markings/sec, 350 secs
lola: sara is running 355 secs || 3680385 markings, 4109999 edges, 10125 markings/sec, 355 secs
lola: sara is running 360 secs || 3730681 markings, 4167390 edges, 10059 markings/sec, 360 secs
lola: sara is running 365 secs || 3781549 markings, 4225039 edges, 10174 markings/sec, 365 secs
lola: sara is running 370 secs || 3832570 markings, 4282816 edges, 10204 markings/sec, 370 secs
lola: sara is running 375 secs || 3882932 markings, 4341319 edges, 10072 markings/sec, 375 secs
lola: sara is running 380 secs || 3932907 markings, 4397355 edges, 9995 markings/sec, 380 secs
lola: sara is running 385 secs || 3983194 markings, 4454559 edges, 10057 markings/sec, 385 secs
lola: sara is running 390 secs || 4033609 markings, 4511989 edges, 10083 markings/sec, 390 secs
lola: sara is running 395 secs || 4083943 markings, 4569400 edges, 10067 markings/sec, 395 secs
lola: sara is running 400 secs || 4133846 markings, 4626284 edges, 9981 markings/sec, 400 secs
lola: sara is running 405 secs || 4183981 markings, 4683774 edges, 10027 markings/sec, 405 secs
lola: sara is running 410 secs || 4235233 markings, 4742146 edges, 10250 markings/sec, 410 secs
lola: sara is running 415 secs || 4288044 markings, 4802022 edges, 10562 markings/sec, 415 secs
lola: sara is running 420 secs || 4340164 markings, 4862164 edges, 10424 markings/sec, 420 secs
lola: sara is running 425 secs || 4391895 markings, 4922412 edges, 10346 markings/sec, 425 secs
lola: sara is running 430 secs || 4443995 markings, 4981908 edges, 10420 markings/sec, 430 secs
lola: sara is running 435 secs || 4496770 markings, 5042288 edges, 10555 markings/sec, 435 secs
lola: sara is running 440 secs || 4548898 markings, 5101479 edges, 10426 markings/sec, 440 secs
lola: sara is running 445 secs || 4601693 markings, 5161866 edges, 10559 markings/sec, 445 secs
lola: sara is running 450 secs || 4654018 markings, 5221340 edges, 10465 markings/sec, 450 secs
lola: sara is running 455 secs || 4705591 markings, 5280945 edges, 10315 markings/sec, 455 secs
lola: sara is running 460 secs || 4757566 markings, 5339837 edges, 10395 markings/sec, 460 secs
lola: sara is running 465 secs || 4810187 markings, 5399301 edges, 10524 markings/sec, 465 secs
lola: sara is running 470 secs || 4863183 markings, 5460266 edges, 10599 markings/sec, 470 secs
lola: sara is running 475 secs || 4915258 markings, 5519977 edges, 10415 markings/sec, 475 secs
lola: sara is running 480 secs || 4966960 markings, 5579941 edges, 10340 markings/sec, 480 secs
lola: sara is running 485 secs || 5018873 markings, 5640002 edges, 10383 markings/sec, 485 secs
lola: sara is running 490 secs || 5071617 markings, 5699909 edges, 10549 markings/sec, 490 secs
lola: sara is running 495 secs || 5123948 markings, 5759950 edges, 10466 markings/sec, 495 secs
lola: sara is running 500 secs || 5176314 markings, 5819992 edges, 10473 markings/sec, 500 secs
lola: sara is running 505 secs || 5227924 markings, 5879616 edges, 10322 markings/sec, 505 secs
lola: sara is running 510 secs || 5280475 markings, 5939274 edges, 10510 markings/sec, 510 secs
lola: sara is running 515 secs || 5332924 markings, 5999060 edges, 10490 markings/sec, 515 secs
lola: sara is running 520 secs || 5384745 markings, 6058517 edges, 10364 markings/sec, 520 secs
lola: sara is running 525 secs || 5434899 markings, 6116145 edges, 10031 markings/sec, 525 secs
lola: sara is running 530 secs || 5484502 markings, 6173071 edges, 9921 markings/sec, 530 secs
lola: sara is running 535 secs || 5534640 markings, 6230496 edges, 10028 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: RESULT
lola:
SUMMARY: yes yes unknown unknown unknown no no unknown unknown yes yes no unknown no no yes
lola: ========================================
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 1494696612151

--------------------
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="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/PolyORBLF-PT-S04J04T06.tgz
mv 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 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 r048-smll-149440870000459"
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 ;