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)
..................
/home/mcc/execution
total 4.2M
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 35K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 44K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 143K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 3.8M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-structural
Input is PolyORBLF-PT-S04J06T06, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r127-smll-152673529200203
=====================================================================

--------------------
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-PT-S04J06T06-ReachabilityFireability-00
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-01
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-02
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-03
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-04
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-05
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-06
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-07
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-08
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-09
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-10
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-11
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-12
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-13
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-14
FORMULA_NAME PolyORBLF-PT-S04J06T06-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1526841517492


BK_STOP 1526842612765

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using PolyORBLF-PT-S04J06T06 as instance name.
Using PolyORBLF as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 724660, 'Memory': 2161.5, 'Tool': 'lola'}, {'Time': 724816, 'Memory': 2198.18, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
ReachabilityFireability lola PolyORBLF-PT-S04J06T06...
----- Start make prepare stderr -----

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


checking for too many tokens
===========================================================================================
PolyORBLF-PT-S04J06T06: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityFireability @ PolyORBLF-PT-S04J06T06 @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stdout -----
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3808/65536 symbol table entries, 872 collisions
lola: preprocessing...
lola: finding significant places
lola: 618 places, 3190 transitions, 564 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2157 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S04J06T06-ReachabilityFireability.task
lola: E (F ((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_6)))) : A (G ((FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR (NOT FIREABLE(T_1711_3_2) AND NOT FIREABLE(T_1711_2_1) AND NOT FIREABLE(T_1711_4_5) AND NOT FIREABLE(T_1711_0_6) AND NOT FIREABLE(T_1711_0_4) AND NOT FIREABLE(T_1711_1_3) AND NOT FIREABLE(T_1711_6_4) AND NOT FIREABLE(T_1711_0_2) AND NOT FIREABLE(T_1711_4_3) AND NOT FIREABLE(T_1711_4_6) AND NOT FIREABLE(T_1711_1_4) AND NOT FIREABLE(T_1711_3_3) AND NOT FIREABLE(T_1711_5_2) AND NOT FIREABLE(T_1711_3_1) AND NOT FIREABLE(T_1711_2_6) AND NOT FIREABLE(T_1711_5_6) AND NOT FIREABLE(T_1711_0_1) AND NOT FIREABLE(T_1711_5_5) AND NOT FIREABLE(T_1711_6_3) AND NOT FIREABLE(T_1711_2_5) AND NOT FIREABLE(T_1711_0_5) AND NOT FIREABLE(T_1711_2_2) AND NOT FIREABLE(T_1711_1_1) AND NOT FIREABLE(T_1711_6_6) AND NOT FIREABLE(T_1711_1_6) AND NOT FIREABLE(T_1711_5_3) AND NOT FIREABLE(T_1711_4_4) AND NOT FIREABLE(T_1711_0_3) AND NOT FIREABLE(T_1711_3_5) AND NOT FIREABLE(T_1711_6_1) AND NOT FIREABLE(T_1711_4_2) AND NOT FIREABLE(T_1711_5_4) AND NOT FIREABLE(T_1711_6_5) AND NOT FIREABLE(T_1711_6_2) AND NOT FIREABLE(T_1711_1_2) AND NOT FIREABLE(T_1711_2_4) AND NOT FIREABLE(T_1711_4_1) AND NOT FIREABLE(T_1711_3_4) AND NOT FIREABLE(T_1711_2_3) AND NOT FIREABLE(T_1711_3_6) AND NOT FIREABLE(T_1711_5_1) AND NOT FIREABLE(T_1711_1_5) AND NOT FIREABLE(EnterCSPW_3) AND NOT FIREABLE(EnterCSPW_4) AND NOT FIREABLE(EnterCSPW_6) AND NOT FIREABLE(EnterCSPW_5) AND NOT FIREABLE(EnterCSPW_1) AND NOT FIREABLE(EnterCSPW_2) AND ((NOT FIREABLE(T_1618_4) AND NOT FIREABLE(T_1618_1) AND NOT FIREABLE(T_1618_2) AND NOT FIREABLE(T_1618_5) AND NOT FIREABLE(T_1618_3) AND NOT FIREABLE(T_1618_6)) OR (NOT FIREABLE(T_2311_6) AND NOT FIREABLE(T_2311_1) AND NOT FIREABLE(T_2311_2) AND NOT FIREABLE(T_2311_3) AND NOT FIREABLE(T_2311_4) AND NOT FIREABLE(T_2311_5))))))) : E (F ((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_6) OR FIREABLE(T_1146_2) OR FIREABLE(T_1146_1) OR FIREABLE(T_1146_3) OR FIREABLE(T_1146_4) OR FIREABLE(T_1146_5) OR FIREABLE(T_1146_6) OR (NOT FIREABLE(DummyOR2_4) AND NOT FIREABLE(DummyOR2_3) AND NOT FIREABLE(DummyOR2_5) AND NOT FIREABLE(DummyOR2_6) AND NOT FIREABLE(DummyOR2_1) AND NOT FIREABLE(DummyOR2_2) AND (FIREABLE(T_1713_2_6) OR FIREABLE(T_1713_1_6) OR FIREABLE(T_1713_3_4) OR FIREABLE(T_1713_2_2) OR FIREABLE(T_1713_5_5) OR FIREABLE(T_1713_5_1) OR FIREABLE(T_1713_5_3) OR FIREABLE(T_1713_2_3) OR FIREABLE(T_1713_6_4) OR FIREABLE(T_1713_6_5) OR FIREABLE(T_1713_1_3) OR FIREABLE(T_1713_0_6) OR FIREABLE(T_1713_1_2) OR FIREABLE(T_1713_5_4) OR FIREABLE(T_1713_3_3) OR FIREABLE(T_1713_0_4) OR FIREABLE(T_1713_0_2) OR FIREABLE(T_1713_0_3) OR FIREABLE(T_1713_0_5) OR FIREABLE(T_1713_1_5) OR FIREABLE(T_1713_1_1) OR FIREABLE(T_1713_6_3) OR FIREABLE(T_1713_6_1) OR FIREABLE(T_1713_6_6) OR FIREABLE(T_1713_0_1) OR FIREABLE(T_1713_2_4) OR FIREABLE(T_1713_2_1) OR FIREABLE(T_1713_5_2) OR FIREABLE(T_1713_5_6) OR FIREABLE(T_1713_2_5) OR FIREABLE(T_1713_4_2) OR FIREABLE(T_1713_6_2) OR FIREABLE(T_1713_1_4) OR FIREABLE(T_1713_4_6) OR FIREABLE(T_1713_3_1) OR FIREABLE(T_1713_3_5) OR FIREABLE(T_1713_3_2) OR FIREABLE(T_1713_3_6) OR FIREABLE(T_1713_4_5) OR FIREABLE(T_1713_4_3) OR FIREABLE(T_1713_4_4) OR FIREABLE(T_1713_4_1)))))) : E (F ((NOT FIREABLE(T_1171_5) AND NOT FIREABLE(T_1171_4) AND NOT FIREABLE(T_1171_3) AND NOT FIREABLE(T_1171_2) AND NOT FIREABLE(T_1171_6) AND NOT FIREABLE(T_1171_1) AND NOT FIREABLE(T_0376_3_3) AND NOT FIREABLE(T_0376_2_2) AND NOT FIREABLE(T_0376_1_1) AND NOT FIREABLE(T_0376_4_4) AND (FIREABLE(T_1722_4_5) OR FIREABLE(T_1722_2_1) OR FIREABLE(T_1722_4_3) OR FIREABLE(T_1722_1_6) OR FIREABLE(T_1722_2_4) OR FIREABLE(T_1722_3_1) OR FIREABLE(T_1722_2_2) OR FIREABLE(T_1722_1_3) OR FIREABLE(T_1722_4_1) OR FIREABLE(T_1722_1_2) OR FIREABLE(T_1722_0_2) OR FIREABLE(T_1722_0_6) OR FIREABLE(T_1722_5_4) OR FIREABLE(T_1722_4_4) OR FIREABLE(T_1722_2_3) OR FIREABLE(T_1722_6_3) OR FIREABLE(T_1722_6_2) OR FIREABLE(T_1722_6_5) OR FIREABLE(T_1722_6_1) OR FIREABLE(T_1722_6_6) OR FIREABLE(T_1722_0_3) OR FIREABLE(T_1722_6_4) OR FIREABLE(T_1722_5_1) OR FIREABLE(T_1722_5_5) OR FIREABLE(T_1722_5_3) OR FIREABLE(T_1722_1_4) OR FIREABLE(T_1722_1_5) OR FIREABLE(T_1722_0_5) OR FIREABLE(T_1722_0_1) OR FIREABLE(T_1722_0_4) OR FIREABLE(T_1722_4_2) OR FIREABLE(T_1722_4_6) OR FIREABLE(T_1722_5_2) OR FIREABLE(T_1722_2_5) OR FIREABLE(T_1722_5_6) OR FIREABLE(T_1722_1_1) OR FIREABLE(T_1722_3_2) OR FIREABLE(T_1722_3_3) OR FIREABLE(T_1722_3_6) OR FIREABLE(T_1722_3_5) OR FIREABLE(T_1722_3_4) OR FIREABLE(T_1722_2_6) OR FIREABLE(T_1100_3) OR FIREABLE(T_1100_2) OR FIREABLE(T_1100_1) OR FIREABLE(T_1100_5) OR FIREABLE(T_1100_4) OR FIREABLE(T_1100_6)) AND (FIREABLE(T_0383_1_6) OR FIREABLE(T_0383_2_5) OR FIREABLE(T_0383_1_5) OR FIREABLE(T_0383_4_2) OR FIREABLE(T_0383_1_3) OR FIREABLE(T_0383_4_4) OR FIREABLE(T_0383_3_5) OR FIREABLE(T_0383_2_3) OR FIREABLE(T_0383_1_2) OR FIREABLE(T_0383_4_6) OR FIREABLE(T_0383_3_3) OR FIREABLE(T_0383_4_1) OR FIREABLE(T_0383_1_4) OR FIREABLE(T_0383_3_1) OR FIREABLE(T_0383_2_6) OR FIREABLE(T_0383_4_3) OR FIREABLE(T_0383_3_6) OR FIREABLE(T_0383_1_1) OR FIREABLE(T_0383_3_4) OR FIREABLE(T_0383_2_1) OR FIREABLE(T_0383_2_2) OR FIREABLE(T_0383_4_5) OR FIREABLE(T_0383_2_4) OR FIREABLE(T_0383_3_2)) AND (FIREABLE(T_2285_6_6) OR FIREABLE(T_2285_3_3) OR FIREABLE(T_2285_5_3) OR FIREABLE(T_2285_6_4) OR FIREABLE(T_2285_6_1) OR FIREABLE(T_2285_5_6) OR FIREABLE(T_2285_1_5) OR FIREABLE(T_2285_2_5) OR FIREABLE(T_2285_5_1) OR FIREABLE(T_2285_6_2) OR FIREABLE(T_2285_4_6) OR FIREABLE(T_2285_1_4) OR FIREABLE(T_2285_3_6) OR FIREABLE(T_2285_1_3) OR FIREABLE(T_2285_4_1) OR FIREABLE(T_2285_3_5) OR FIREABLE(T_2285_2_6) OR FIREABLE(T_2285_6_3) OR FIREABLE(T_2285_3_4) OR FIREABLE(T_2285_4_5) OR FIREABLE(T_2285_1_6) OR FIREABLE(T_2285_4_2) OR FIREABLE(T_2285_3_1) OR FIREABLE(T_2285_5_5) OR FIREABLE(T_2285_2_4) OR FIREABLE(T_2285_5_4) OR FIREABLE(T_2285_5_2) OR FIREABLE(T_2285_6_5) OR FIREABLE(T_2285_4_3) OR FIREABLE(T_2285_3_2) OR FIREABLE(T_2285_1_1) OR FIREABLE(T_2285_2_2) OR FIREABLE(T_2285_2_1) OR FIREABLE(T_2285_4_4) OR FIREABLE(T_2285_1_2) OR FIREABLE(T_2285_2_3))))) : E (F (((FIREABLE(T_2294_2) OR FIREABLE(T_2294_3) OR FIREABLE(T_2294_4) OR FIREABLE(T_2294_5) OR FIREABLE(T_2294_6) OR FIREABLE(T_2294_1)) AND (FIREABLE(T_1126_2_2_4_4_4) OR FIREABLE(T_1126_4_4_4_4_3) OR FIREABLE(T_1126_5_1_2_2_4) OR FIREABLE(T_1126_4_4_3_2_2) OR FIREABLE(T_1126_2_1_1_2_4) OR FIREABLE(T_1126_4_3_3_1_2) OR FIREABLE(T_1126_6_1_3_1_4) OR FIREABLE(T_1126_3_3_3_1_2) OR FIREABLE(T_1126_4_1_1_2_2) OR FIREABLE(T_1126_4_2_1_4_3) OR FIREABLE(T_1126_5_1_3_4_4) OR FIREABLE(T_1126_5_4_2_4_4) OR FIREABLE(T_1126_3_2_3_4_2) OR FIREABLE(T_1126_6_1_1_3_1) OR FIREABLE(T_1126_4_3_3_2_3) OR FIREABLE(T_1126_5_2_1_2_4) OR FIREABLE(T_1126_1_4_1_1_2) OR FIREABLE(T_1126_4_3_3_3_4) OR FIREABLE(T_1126_3_4_2_2_1) OR FIREABLE(T_1126_6_2_4_2_2) OR FIREABLE(T_1126_3_3_3_2_3) OR FIREABLE(T_1126_2_4_4_1_2) OR FIREABLE(T_1126_3_4_2_2_3) OR FIREABLE(T_1126_2_2_2_1_3) OR FIREABLE(T_1126_4_1_1_1_3) OR FIREABLE(T_1126_3_3_1_3_1) OR FIREABLE(T_1126_6_4_1_2_2) OR FIREABLE(T_1126_2_4_2_4_3) OR FIREABLE(T_1126_5_4_1_2_2) OR FIREABLE(T_1126_3_4_4_4_1) OR FIREABLE(T_1126_3_3_1_1_3) OR FIREABLE(T_1126_1_4_2_3_3) OR FIREABLE(T_1126_4_1_3_4_2) OR FIREABLE(T_1126_2_3_2_4_4) OR FIREABLE(T_1126_6_2_1_4_2) OR FIREABLE(T_1126_6_2_2_2_3) OR FIREABLE(T_1126_6_3_2_4_2) OR FIREABLE(T_1126_2_1_3_2_4) OR FIREABLE(T_1126_4_3_4_3_3) OR FIREABLE(T_1126_6_1_3_2_3) OR FIREABLE(T_1126_6_3_2_2_2) OR FIREABLE(T_1126_3_1_4_4_2) OR FIREABLE(T_1126_3_2_1_2_2) OR FIREABLE(T_1126_2_2_3_1_3) OR FIREABLE(T_1126_6_1_4_2_1) OR FIREABLE(T_1126_4_2_4_2_3) OR FIREABLE(T_1126_3_3_2_3_1) OR FIREABLE(T_1126_6_1_1_3_2) OR FIREABLE(T_1126_5_4_2_1_2) OR FIREABLE(T_1126_1_1_2_1_2) OR FIREABLE(T_1126_3_1_2_2_3) OR FIREABLE(T_1126_3_2_1_3_2) OR FIREABLE(T_1126_5_4_4_4_4) OR FIREABLE(T_1126_6_4_3_1_1) OR FIREABLE(T_1126_5_4_2_4_2) OR FIREABLE(T_1126_2_2_2_3_3) OR FIREABLE(T_1126_1_3_2_3_2) OR FIREABLE(T_1126_2_3_2_4_1) OR FIREABLE(T_1126_1_3_3_2_2) OR FIREABLE(T_1126_3_1_2_3_2) OR FIREABLE(T_1126_5_2_1_4_4) OR FIREABLE(T_1126_1_2_3_1_1) OR FIREABLE(T_1126_4_3_3_3_1) OR FIREABLE(T_1126_4_4_1_1_2) OR FIREABLE(T_1126_6_2_2_1_2) OR FIREABLE(T_1126_1_1_2_1_1) OR FIREABLE(T_1126_1_1_2_4_3) OR FIREABLE(T_1126_4_3_1_2_3) OR FIREABLE(T_1126_6_1_3_1_2) OR FIREABLE(T_1126_4_1_2_3_4) OR FIREABLE(T_1126_2_1_4_1_3) OR FIREABLE(T_1126_6_3_4_4_1) OR FIREABLE(T_1126_1_1_4_4_3) OR FIREABLE(T_1126_4_4_3_4_2) OR FIREABLE(T_1126_5_3_1_2_1) OR FIREABLE(T_1126_1_4_3_1_3) OR FIREABLE(T_1126_1_4_3_4_3) OR FIREABLE(T_1126_4_3_1_4_3) OR FIREABLE(T_1126_6_3_4_4_2) OR FIREABLE(T_1126_2_3_1_3_4) OR FIREABLE(T_1126_4_2_2_2_3) OR FIREABLE(T_1126_4_1_2_3_1) OR FIREABLE(T_1126_1_3_1_4_3) OR FIREABLE(T_1126_4_2_4_2_4) OR FIREABLE(T_1126_4_1_1_1_4) OR FIREABLE(T_1126_1_4_4_1_2) OR FIREABLE(T_1126_4_2_4_1_1) OR FIREABLE(T_1126_3_4_4_1_1) OR FIREABLE(T_1126_4_2_4_1_2) OR FIREABLE(T_1126_4_1_1_2_1) OR FIREABLE(T_1126_5_3_4_2_4) OR FIREABLE(T_1126_3_2_3_3_1) OR FIREABLE(T_1126_5_4_4_2_2) OR FIREABLE(T_1126_3_1_1_4_3) OR FIREABLE(T_1126_1_1_2_3_3) OR FIREABLE(T_1126_2_2_2_1_1) OR FIREABLE(T_1126_4_3_3_4_1) OR FIREABLE(T_1126_3_2_3_4_1) OR FIREABLE(T_1126_5_1_1_1_1) OR FIREABLE(T_1126_4_2_3_4_3) OR FIREABLE(T_1126_1_3_4_2_3) OR FIREABLE(T_1126_4_4_2_3_2) OR FIREABLE(T_1126_5_1_1_3_3) OR FIREABLE(T_1126_6_2_3_2_1) OR FIREABLE(T_1126_4_1_3_2_2) OR FIREABLE(T_1126_6_2_3_3_2) OR FIREABLE(T_1126_3_2_3_3_4) OR FIREABLE(T_1126_4_4_3_1_4) OR FIREABLE(T_1126_5_3_2_3_2) OR FIREABLE(T_1126_6_2_1_1_3) OR FIREABLE(T_1126_1_2_2_2_4) OR FIREABLE(T_1126_1_3_4_3_1) OR FIREABLE(T_1126_1_4_2_3_4) OR FIREABLE(T_1126_5_2_3_2_4) OR FIREABLE(T_1126_3_2_4_4_3) OR FIREABLE(T_1126_1_1_4_3_3) OR FIREABLE(T_1126_6_4_1_2_1) OR FIREABLE(T_1126_2_1_4_1_2) OR FIREABLE(T_1126_1_2_3_4_3) OR FIREABLE(T_1126_6_1_4_4_1) OR FIREABLE(T_1126_5_4_4_1_2) OR FIREABLE(T_1126_6_4_4_2_4) OR FIREABLE(T_1126_4_2_4_4_3) OR FIREABLE(T_1126_2_2_1_3_1) OR FIREABLE(T_1126_1_1_4_2_3) OR FIREABLE(T_1126_2_2_4_1_4) OR FIREABLE(T_1126_5_4_3_3_2) OR FIREABLE(T_1126_5_3_3_4_3) OR FIREABLE(T_1126_1_2_4_1_4) OR FIREABLE(T_1126_4_1_2_3_2) OR FIREABLE(T_1126_1_3_4_2_1) OR FIREABLE(T_1126_2_1_3_3_1) OR FIREABLE(T_1126_1_4_3_1_2) OR FIREABLE(T_1126_3_1_1_4_2) OR FIREABLE(T_1126_5_3_2_2_2) OR FIREABLE(T_1126_1_1_2_4_4) OR FIREABLE(T_1126_2_4_2_4_4) OR FIREABLE(T_1126_4_3_2_1_3) OR FIREABLE(T_1126_3_2_4_4_2) OR FIREABLE(T_1126_2_2_1_1_2) OR FIREABLE(T_1126_5_3_2_2_4) OR FIREABLE(T_1126_4_2_4_2_1) OR FIREABLE(T_1126_4_4_1_4_2) OR FIREABLE(T_1126_4_2_2_4_3) OR FIREABLE(T_1126_5_3_4_1_4) OR FIREABLE(T_1126_2_2_2_2_4) OR FIREABLE(T_1126_5_1_4_1_3) OR FIREABLE(T_1126_2_3_3_4_3) OR FIREABLE(T_1126_1_4_4_2_3) OR FIREABLE(T_1126_6_2_4_1_3) OR FIREABLE(T_1126_2_3_1_2_3) OR FIREABLE(T_1126_2_3_1_1_1) OR FIREABLE(T_1126_6_2_3_2_4) OR FIREABLE(T_1126_2_4_1_2_2) OR FIREABLE(T_1126_5_1_1_4_3) OR FIREABLE(T_1126_3_1_1_1_3) OR FIREABLE(T_1126_5_4_4_1_3) OR FIREABLE(T_1126_1_4_1_4_2) OR FIREABLE(T_1126_3_4_1_4_1) OR FIREABLE(T_1126_6_1_2_1_3) OR FIREABLE(T_1126_1_1_4_4_4) OR FIREABLE(T_1126_4_4_1_2_4) OR FIREABLE(T_1126_5_4_1_4_1) OR FIREABLE(T_1126_6_1_3_1_1) OR FIREABLE(T_1126_2_4_4_2_3) OR FIREABLE(T_1126_3_2_1_4_2) OR FIREABLE(T_1126_4_3_4_3_2) OR FIREABLE(T_1126_6_3_2_1_4) OR FIREABLE(T_1126_3_3_2_4_1) OR FIREABLE(T_1126_2_1_3_4_1) OR FIREABLE(T_1126_5_3_3_1_1) OR FIREABLE(T_1126_6_3_2_3_4) OR FIREABLE(T_1126_5_2_4_1_1) OR FIREABLE(T_1126_1_2_1_2_3) OR FIREABLE(T_1126_3_2_3_1_3) OR FIREABLE(T_1126_1_2_2_1_1) OR FIREABLE(T_1126_5_1_2_4_2) OR FIREABLE(T_1126_1_3_4_3_4) OR FIREABLE(T_1126_3_3_1_2_1) OR FIREABLE(T_1126_1_3_2_4_3) OR FIREABLE(T_1126_2_1_3_3_4) OR FIREABLE(T_1126_4_3_1_4_4) OR FIREABLE(T_1126_1_1_1_3_1) OR FIREABLE(T_1126_1_2_1_1_1) OR FIREABLE(T_1126_2_4_4_3_1) OR FIREABLE(T_1126_2_1_1_1_2) OR FIREABLE(T_1126_6_2_1_2_4) OR FIREABLE(T_1126_3_3_1_3_4) OR FIREABLE(T_1126_6_3_1_3_2) OR FIREABLE(T_1126_6_1_1_4_2) OR FIREABLE(T_1126_2_3_1_3_3) OR FIREABLE(T_1126_6_2_1_2_2) OR FIREABLE(T_1126_1_1_2_4_2) OR FIREABLE(T_1126_1_2_3_2_2) OR FIREABLE(T_1126_1_3_1_2_4) OR FIREABLE(T_1126_2_3_3_3_4) OR FIREABLE(T_1126_4_4_2_2_3) OR FIREABLE(T_1126_2_1_3_3_3) OR FIREABLE(T_1126_1_4_3_2_4) OR FIREABLE(T_1126_5_2_2_1_3) OR FIREABLE(T_1126_1_4_3_2_3) OR FIREABLE(T_1126_5_1_3_1_2) OR FIREABLE(T_1126_3_4_2_3_1) OR FIREABLE(T_1126_5_2_4_2_4) OR FIREABLE(T_1126_3_4_2_1_1) OR FIREABLE(T_1126_6_4_1_4_4) OR FIREABLE(T_1126_6_1_4_3_3) OR FIREABLE(T_1126_3_3_2_2_4) OR FIREABLE(T_1126_4_1_1_4_4) OR FIREABLE(T_1126_4_2_4_3_2) OR FIREABLE(T_1126_3_3_4_2_2) OR FIREABLE(T_1126_2_1_4_3_2) OR FIREABLE(T_1126_2_4_4_4_2) OR FIREABLE(T_1126_3_3_3_3_3) OR FIREABLE(T_1126_6_2_3_1_2) OR FIREABLE(T_1126_5_1_4_2_4) OR FIREABLE(T_1126_1_3_3_1_1) OR FIREABLE(T_1126_2_2_3_4_2) OR FIREABLE(T_1126_5_1_3_2_1) OR FIREABLE(T_1126_3_2_4_1_4) OR FIREABLE(T_1126_6_2_4_2_4) OR FIREABLE(T_1126_6_2_3_4_4) OR FIREABLE(T_1126_5_2_1_4_1) OR FIREABLE(T_1126_1_1_3_3_2) OR FIREABLE(T_1126_5_1_3_3_4) OR FIREABLE(T_1126_2_4_4_2_2) OR FIREABLE(T_1126_1_3_1_4_4) OR FIREABLE(T_1126_4_4_3_2_1) OR FIREABLE(T_1126_6_2_4_3_1) OR FIREABLE(T_1126_4_3_4_4_4) OR FIREABLE(T_1126_6_2_4_4_1) OR FIREABLE(T_1126_6_2_2_1_1) OR FIREABLE(T_1126_5_3_3_3_1) OR FIREABLE(T_1126_6_1_2_1_2) OR FIREABLE(T_1126_1_4_4_3_3) OR FIREABLE(T_1126_2_4_4_4_3) OR FIREABLE(T_1126_6_1_4_4_4) OR FIREABLE(T_1126_5_2_2_2_1) OR FIREABLE(T_1126_2_1_4_2_3) OR FIREABLE(T_1126_6_2_3_3_3) OR FIREABLE(T_1126_2_3_3_2_2) OR FIREABLE(T_1126_6_3_3_1_1) OR FIREABLE(T_1126_3_3_2_2_3) OR FIREABLE(T_1126_3_1_1_4_4) OR FIREABLE(T_1126_2_3_1_1_4) OR FIREABLE(T_1126_3_2_1_2_3) OR FIREABLE(T_1126_5_3_1_1_3) OR FIREABLE(T_1126_5_1_2_4_3) OR FIREABLE(T_1126_3_1_2_2_2) OR FIREABLE(T_1126_4_2_1_4_4) OR FIREABLE(T_1126_6_2_2_3_1) OR FIREABLE(T_1126_1_1_3_2_4) OR FIREABLE(T_1126_1_2_1_1_4) OR FIREABLE(T_1126_1_4_2_1_4) OR FIREABLE(T_1126_3_4_4_2_4) OR FIREABLE(T_1126_3_1_4_1_3) OR FIREABLE(T_1126_3_2_4_1_2) OR FIREABLE(T_1126_3_4_1_3_4) OR FIREABLE(T_1126_6_1_4_3_4) OR FIREABLE(T_1126_1_2_1_2_1) OR FIREABLE(T_1126_3_4_3_4_4) OR FIREABLE(T_1126_6_4_3_4_3) OR FIREABLE(T_1126_5_2_3_4_1) OR FIREABLE(T_1126_5_4_1_3_3) OR FIREABLE(T_1126_4_1_3_4_4) OR FIREABLE(T_1126_1_2_3_1_4) OR FIREABLE(T_1126_2_3_3_1_4) OR FIREABLE(T_1126_5_3_1_1_4) OR FIREABLE(T_1126_6_3_2_2_1) OR FIREABLE(T_1126_5_3_1_3_1) OR FIREABLE(T_1126_6_4_1_1_4) OR FIREABLE(T_1126_4_2_2_2_2) OR FIREABLE(T_1126_3_3_2_1_2) OR FIREABLE(T_1126_3_3_4_4_4) OR FIREABLE(T_1126_2_4_3_2_4) OR FIREABLE(T_1126_4_3_4_1_2) OR FIREABLE(T_1126_1_1_1_2_2) OR FIREABLE(T_1126_5_1_4_3_2) OR FIREABLE(T_1126_1_4_3_4_2) OR FIREABLE(T_1126_6_4_2_2_2) OR FIREABLE(T_1126_1_1_1_3_2) OR FIREABLE(T_1126_5_4_1_1_1) OR FIREABLE(T_1126_3_2_2_3_3) OR FIREABLE(T_1126_1_3_4_4_1) OR FIREABLE(T_1126_2_3_1_3_2) OR FIREABLE(T_1126_2_1_2_2_3) OR FIREABLE(T_1126_6_1_1_3_4) OR FIREABLE(T_1126_4_1_4_2_2) OR FIREABLE(T_1126_1_3_4_4_2) OR FIREABLE(T_1126_1_4_1_4_3) OR FIREABLE(T_1126_1_3_4_4_3) OR FIREABLE(T_1126_3_2_3_4_3) OR FIREABLE(T_1126_5_2_2_3_2) OR FIREABLE(T_1126_1_2_2_4_1) OR FIREABLE(T_1126_5_1_3_2_3) OR FIREABLE(T_1126_3_4_1_2_2) OR FIREABLE(T_1126_3_4_4_3_1) OR FIREABLE(T_1126_5_4_3_3_4) OR FIREABLE(T_1126_3_4_1_2_4) OR FIREABLE(T_1126_3_2_4_4_1) OR FIREABLE(T_1126_4_1_1_2_3) OR FIREABLE(T_1126_1_3_2_1_4) OR FIREABLE(T_1126_6_3_4_2_1) OR FIREABLE(T_1126_2_4_3_4_4) OR FIREABLE(T_1126_2_2_4_1_1) OR FIREABLE(T_1126_3_3_3_3_2) OR FIREABLE(T_1126_2_3_2_1_3) OR FIREABLE(T_1126_6_2_3_2_3) OR FIREABLE(T_1126_4_1_4_1_3) OR FIREABLE(T_1126_3_2_4
_3_4) OR FIREABLE(T_1126_3_1_4_1_1) OR FIREABLE(T_1126_3_2_1_3_1) OR FIREABLE(T_1126_4_2_1_4_1) OR FIREABLE(T_1126_4_4_4_1_3) OR FIREABLE(T_1126_6_2_2_4_1) OR FIREABLE(T_1126_2_4_1_3_3) OR FIREABLE(T_1126_2_3_1_4_2) OR FIREABLE(T_1126_1_2_4_3_1) OR FIREABLE(T_1126_5_4_3_1_4) OR FIREABLE(T_1126_6_3_3_1_3) OR FIREABLE(T_1126_5_3_2_3_3) OR FIREABLE(T_1126_6_1_3_2_1) OR FIREABLE(T_1126_2_3_4_4_2) OR FIREABLE(T_1126_6_1_4_4_2) OR FIREABLE(T_1126_4_4_4_1_2) OR FIREABLE(T_1126_3_4_2_4_4) OR FIREABLE(T_1126_4_2_2_2_1) OR FIREABLE(T_1126_1_4_2_2_1) OR FIREABLE(T_1126_6_1_3_3_2) OR FIREABLE(T_1126_1_3_2_1_1) OR FIREABLE(T_1126_1_3_1_1_2) OR FIREABLE(T_1126_6_3_3_1_2) OR FIREABLE(T_1126_4_1_3_1_1) OR FIREABLE(T_1126_4_4_1_3_1) OR FIREABLE(T_1126_5_2_1_1_2) OR FIREABLE(T_1126_3_4_3_2_4) OR FIREABLE(T_1126_5_2_2_2_3) OR FIREABLE(T_1126_6_4_4_2_1) OR FIREABLE(T_1126_5_1_2_4_1) OR FIREABLE(T_1126_1_2_2_3_1) OR FIREABLE(T_1126_5_3_3_4_1) OR FIREABLE(T_1126_3_1_3_3_1) OR FIREABLE(T_1126_1_1_3_2_1) OR FIREABLE(T_1126_6_4_1_2_4) OR FIREABLE(T_1126_2_4_2_1_2) OR FIREABLE(T_1126_2_4_2_1_1) OR FIREABLE(T_1126_5_4_2_4_3) OR FIREABLE(T_1126_4_2_1_1_2) OR FIREABLE(T_1126_3_4_3_2_2) OR FIREABLE(T_1126_3_3_2_4_2) OR FIREABLE(T_1126_1_3_1_3_3) OR FIREABLE(T_1126_1_3_4_1_3) OR FIREABLE(T_1126_5_2_1_1_3) OR FIREABLE(T_1126_6_4_3_1_3) OR FIREABLE(T_1126_4_1_3_4_3) OR FIREABLE(T_1126_1_1_1_4_2) OR FIREABLE(T_1126_5_3_1_2_3) OR FIREABLE(T_1126_3_1_1_2_4) OR FIREABLE(T_1126_6_4_2_1_3) OR FIREABLE(T_1126_4_4_3_4_3) OR FIREABLE(T_1126_1_3_1_1_3) OR FIREABLE(T_1126_6_4_3_3_4) OR FIREABLE(T_1126_4_3_1_1_2) OR FIREABLE(T_1126_3_1_1_1_2) OR FIREABLE(T_1126_6_3_2_3_2) OR FIREABLE(T_1126_2_1_2_4_3) OR FIREABLE(T_1126_3_3_2_4_4) OR FIREABLE(T_1126_6_3_2_2_4) OR FIREABLE(T_1126_5_3_1_4_4) OR FIREABLE(T_1126_6_1_4_3_1) OR FIREABLE(T_1126_5_1_3_4_2) OR FIREABLE(T_1126_3_3_3_2_1) OR FIREABLE(T_1126_1_1_3_2_2) OR FIREABLE(T_1126_4_1_2_4_2) OR FIREABLE(T_1126_1_2_2_4_4) OR FIREABLE(T_1126_3_4_4_3_3) OR FIREABLE(T_1126_5_3_3_1_3) OR FIREABLE(T_1126_4_2_1_3_1) OR FIREABLE(T_1126_1_4_4_2_4) OR FIREABLE(T_1126_2_2_3_3_1) OR FIREABLE(T_1126_6_2_1_2_1) OR FIREABLE(T_1126_2_2_4_3_4) OR FIREABLE(T_1126_2_4_1_1_2) OR FIREABLE(T_1126_5_3_3_3_3) OR FIREABLE(T_1126_5_1_4_2_2) OR FIREABLE(T_1126_2_3_2_1_2) OR FIREABLE(T_1126_2_3_3_3_3) OR FIREABLE(T_1126_5_4_2_2_3) OR FIREABLE(T_1126_6_2_2_4_2) OR FIREABLE(T_1126_1_2_4_4_4) OR FIREABLE(T_1126_2_4_1_2_1) OR FIREABLE(T_1126_3_1_1_1_1) OR FIREABLE(T_1126_3_1_3_3_3) OR FIREABLE(T_1126_3_1_4_4_3) OR FIREABLE(T_1126_4_1_4_2_1) OR FIREABLE(T_1126_5_1_1_3_4) OR FIREABLE(T_1126_4_4_4_1_1) OR FIREABLE(T_1126_4_3_3_4_2) OR FIREABLE(T_1126_6_1_2_1_1) OR FIREABLE(T_1126_2_1_2_2_2) OR FIREABLE(T_1126_2_2_1_2_3) OR FIREABLE(T_1126_1_1_2_1_4) OR FIREABLE(T_1126_4_1_2_4_3) OR FIREABLE(T_1126_6_1_4_1_4) OR FIREABLE(T_1126_3_4_4_4_2) OR FIREABLE(T_1126_3_1_2_4_3) OR FIREABLE(T_1126_1_1_4_4_1) OR FIREABLE(T_1126_3_4_4_1_3) OR FIREABLE(T_1126_2_2_4_2_3) OR FIREABLE(T_1126_5_3_1_1_1) OR FIREABLE(T_1126_3_2_2_3_4) OR FIREABLE(T_1126_3_3_3_4_1) OR FIREABLE(T_1126_4_1_3_1_4) OR FIREABLE(T_1126_3_1_4_1_2) OR FIREABLE(T_1126_3_4_2_4_2) OR FIREABLE(T_1126_5_2_4_4_3) OR FIREABLE(T_1126_3_1_2_1_3) OR FIREABLE(T_1126_5_1_2_2_1) OR FIREABLE(T_1126_2_1_4_1_1) OR FIREABLE(T_1126_6_1_1_2_2) OR FIREABLE(T_1126_5_2_2_3_3) OR FIREABLE(T_1126_3_3_1_1_4) OR FIREABLE(T_1126_4_4_1_4_4) OR FIREABLE(T_1126_4_4_2_1_3) OR FIREABLE(T_1126_2_1_3_4_4) OR FIREABLE(T_1126_5_1_3_1_1) OR FIREABLE(T_1126_5_2_3_4_4) OR FIREABLE(T_1126_1_1_4_4_2) OR FIREABLE(T_1126_1_1_1_4_1) OR FIREABLE(T_1126_3_4_4_4_3) OR FIREABLE(T_1126_1_3_2_4_1) OR FIREABLE(T_1126_4_2_2_3_2) OR FIREABLE(T_1126_2_2_1_1_1) OR FIREABLE(T_1126_1_2_4_3_3) OR FIREABLE(T_1126_4_1_3_1_2) OR FIREABLE(T_1126_5_1_1_2_4) OR FIREABLE(T_1126_3_1_1_3_1) OR FIREABLE(T_1126_2_3_4_2_2) OR FIREABLE(T_1126_5_2_2_2_2) OR FIREABLE(T_1126_6_3_3_2_4) OR FIREABLE(T_1126_4_1_4_2_4) OR FIREABLE(T_1126_5_3_2_1_3) OR FIREABLE(T_1126_6_3_4_3_3) OR FIREABLE(T_1126_3_3_1_2_2) OR FIREABLE(T_1126_6_1_1_2_1) OR FIREABLE(T_1126_6_3_1_2_3) OR FIREABLE(T_1126_1_3_1_3_1) OR FIREABLE(T_1126_4_3_2_3_2) OR FIREABLE(T_1126_3_4_3_3_2) OR FIREABLE(T_1126_4_4_4_3_1) OR FIREABLE(T_1126_2_2_4_1_2) OR FIREABLE(T_1126_4_1_3_2_3) OR FIREABLE(T_1126_5_3_4_3_4) OR FIREABLE(T_1126_5_3_4_2_2) OR FIREABLE(T_1126_4_4_1_4_1) OR FIREABLE(T_1126_5_3_2_4_4) OR FIREABLE(T_1126_5_3_2_1_2) OR FIREABLE(T_1126_1_2_2_1_2) OR FIREABLE(T_1126_5_3_4_4_4) OR FIREABLE(T_1126_6_1_2_4_2) OR FIREABLE(T_1126_6_4_2_2_4) OR FIREABLE(T_1126_4_3_4_2_3) OR FIREABLE(T_1126_6_3_2_3_3) OR FIREABLE(T_1126_1_4_4_3_2) OR FIREABLE(T_1126_5_3_4_1_1) OR FIREABLE(T_1126_6_1_3_2_2) OR FIREABLE(T_1126_6_2_1_4_4) OR FIREABLE(T_1126_5_3_1_4_2) OR FIREABLE(T_1126_3_4_2_4_1) OR FIREABLE(T_1126_2_4_1_1_1) OR FIREABLE(T_1126_5_4_3_2_1) OR FIREABLE(T_1126_2_4_3_3_3) OR FIREABLE(T_1126_4_3_2_2_2) OR FIREABLE(T_1126_2_1_3_4_2) OR FIREABLE(T_1126_3_1_4_2_3) OR FIREABLE(T_1126_6_3_1_4_3) OR FIREABLE(T_1126_2_4_2_1_4) OR FIREABLE(T_1126_1_3_3_4_4) OR FIREABLE(T_1126_3_3_3_3_4) OR FIREABLE(T_1126_3_3_3_2_2) OR FIREABLE(T_1126_3_2_4_1_1) OR FIREABLE(T_1126_4_2_1_1_3) OR FIREABLE(T_1126_4_3_3_1_3) OR FIREABLE(T_1126_3_4_1_3_2) OR FIREABLE(T_1126_1_1_4_1_3) OR FIREABLE(T_1126_1_2_3_2_1) OR FIREABLE(T_1126_4_2_3_3_2) OR FIREABLE(T_1126_3_2_4_2_2) OR FIREABLE(T_1126_1_4_4_3_4) OR FIREABLE(T_1126_4_3_4_1_1) OR FIREABLE(T_1126_5_1_1_2_3) OR FIREABLE(T_1126_1_3_3_1_2) OR FIREABLE(T_1126_5_2_1_4_2) OR FIREABLE(T_1126_1_4_4_4_3) OR FIREABLE(T_1126_5_1_3_1_4) OR FIREABLE(T_1126_5_1_1_4_4) OR FIREABLE(T_1126_4_4_3_4_1) OR FIREABLE(T_1126_1_4_3_1_1) OR FIREABLE(T_1126_2_4_3_2_2) OR FIREABLE(T_1126_1_2_4_1_3) OR FIREABLE(T_1126_5_2_1_2_2) OR FIREABLE(T_1126_2_3_4_4_4) OR FIREABLE(T_1126_2_4_3_3_2) OR FIREABLE(T_1126_5_3_4_1_2) OR FIREABLE(T_1126_5_4_1_4_4) OR FIREABLE(T_1126_2_2_2_4_4) OR FIREABLE(T_1126_2_3_3_2_4) OR FIREABLE(T_1126_6_4_4_3_3) OR FIREABLE(T_1126_2_1_1_4_4) OR FIREABLE(T_1126_1_2_4_3_2) OR FIREABLE(T_1126_2_1_1_2_3) OR FIREABLE(T_1126_4_3_1_3_4) OR FIREABLE(T_1126_2_4_3_1_2) OR FIREABLE(T_1126_6_1_2_3_1) OR FIREABLE(T_1126_4_3_4_4_1) OR FIREABLE(T_1126_3_2_3_3_3) OR FIREABLE(T_1126_4_4_2_4_3) OR FIREABLE(T_1126_4_3_2_3_3) OR FIREABLE(T_1126_6_4_4_3_2) OR FIREABLE(T_1126_4_1_3_4_1) OR FIREABLE(T_1126_2_3_4_1_2) OR FIREABLE(T_1126_5_4_1_3_4) OR FIREABLE(T_1126_5_4_3_4_1) OR FIREABLE(T_1126_6_4_2_2_1) OR FIREABLE(T_1126_5_4_4_1_1) OR FIREABLE(T_1126_4_1_3_2_4) OR FIREABLE(T_1126_5_1_2_1_1) OR FIREABLE(T_1126_4_4_4_2_2) OR FIREABLE(T_1126_1_4_4_2_1) OR FIREABLE(T_1126_4_1_1_3_2) OR FIREABLE(T_1126_5_2_3_3_1) OR FIREABLE(T_1126_6_2_1_3_3) OR FIREABLE(T_1126_5_2_1_4_3) OR FIREABLE(T_1126_6_2_3_1_1) OR FIREABLE(T_1126_6_4_2_3_1) OR FIREABLE(T_1126_2_3_4_4_1) OR FIREABLE(T_1126_1_3_3_2_3) OR FIREABLE(T_1126_3_1_3_1_3) OR FIREABLE(T_1126_2_1_1_1_4) OR FIREABLE(T_1126_1_1_3_4_3) OR FIREABLE(T_1126_2_2_1_4_1) OR FIREABLE(T_1126_2_3_3_2_1) OR FIREABLE(T_1126_3_3_4_1_4) OR FIREABLE(T_1126_5_3_4_3_2) OR FIREABLE(T_1126_5_1_3_2_4) OR FIREABLE(T_1126_4_3_2_3_1) OR FIREABLE(T_1126_1_2_4_1_2) OR FIREABLE(T_1126_6_4_2_3_3) OR FIREABLE(T_1126_1_2_1_3_3) OR FIREABLE(T_1126_3_3_4_3_1) OR FIREABLE(T_1126_5_1_3_4_1) OR FIREABLE(T_1126_4_1_4_4_4) OR FIREABLE(T_1126_1_1_2_2_3) OR FIREABLE(T_1126_3_4_2_1_4) OR FIREABLE(T_1126_4_2_3_1_2) OR FIREABLE(T_1126_2_4_2_3_4) OR FIREABLE(T_1126_4_2_1_2_4) OR FIREABLE(T_1126_3_2_2_1_2) OR FIREABLE(T_1126_5_4_2_2_4) OR FIREABLE(T_1126_4_2_2_3_4) OR FIREABLE(T_1126_1_1_4_3_4) OR FIREABLE(T_1126_6_3_1_1_3) OR FIREABLE(T_1126_2_3_4_1_3) OR FIREABLE(T_1126_2_2_2_2_3) OR FIREABLE(T_1126_1_3_1_3_2) OR FIREABLE(T_1126_2_1_1_4_3) OR FIREABLE(T_1126_3_2_2_1_3) OR FIREABLE(T_1126_4_2_3_1_3) OR FIREABLE(T_1126_3_2_2_3_1) OR FIREABLE(T_1126_3_2_1_1_1) OR FIREABLE(T_1126_2_3_4_3_2) OR FIREABLE(T_1126_1_2_2_4_2) OR FIREABLE(T_1126_3_4_3_1_2) OR FIREABLE(T_1126_5_2_2_4_1) OR FIREABLE(T_1126_4_4_2_2_1) OR FIREABLE(T_1126_1_3_1_2_1) OR FIREABLE(T_1126_5_2_1_2_3) OR FIREABLE(T_1126_1_2_3_3_4) OR FIREABLE(T_1126_6_3_2_4_3) OR FIREABLE(T_1126_3_2_1_1_4) OR FIREABLE(T_1126_2_4_1_4_2) OR FIREABLE(T_1126_4_3_4_3_4) OR FIREABLE(T_1126_2_1_3_1_1) OR FIREABLE(T_1126_5_4_2_1_3) OR FIREABLE(T_1126_5_4_3_3_3) OR FIREABLE(T_1126_1_3_2_2_1) OR FIREABLE(T_1126_2_4_3_2_1) OR FIREABLE(T_1126_2_4_4_1_4) OR FIREABLE(T_1126_2_4_4_1_3) OR FIREABLE(T_1126_5_3_2_2_1) OR FIREABLE(T_1126_3_3_4_4_2) OR FIREABLE(T_1126_4_3_3_1_4) OR FIREABLE(T_1126_6_3_3_3_1) OR FIREABLE(T_1126_6_2_3_4_3) OR FIREABLE(T_1126_2_1_4_2_4) OR FIREABLE(T_1126_5_2_3_1_4) OR FIREABLE(T_1126_6_1_2_1_4) OR FIREABLE(T_1126_4_3_2_4_4) OR FIREABLE(T_1126_1_1_4_1_4) OR FIREABLE(T_1126_2_3_2_1_1) OR FIREABLE(T_1126_1_4_1_2_3) OR FIREABLE(T_1126_6_4_3_4_1) OR FIREABLE(T_1126_4_1_4_2_3) OR FIREABLE(T_1126_2_1_1_3_1) OR FIREABLE(T_1126_2_2_3_2_1) OR FIREABLE(T_1126_3_4_3_3_1) OR FIREABLE(T_1126_2_3_4_3_1) OR FIREABLE(T_1126_4_1_1_3_4) OR FIREABLE(T_1126_3_3_4_1_1) OR FIREABLE(T_1126_2_3_3_4_1) OR FIREABLE(T_1126_5_4_1_2_1) OR FIREABLE(T_1126_6_3_4_4_4) OR FIREABLE(T_1126_2_1_2_2_1) OR FIREABLE(T_1126_4_2_2_2_4) OR FIREABLE(T_1126_4_3_2_2_1) OR FIREABLE(T_1126_5_4_1_1_2) OR FIREABLE(T_1126_2_1_2_3_4) OR FIREABLE(T_1126_6_2_4_4_3) OR FIREABLE(T_1126_1_3_4_3_3) OR FIREABLE(T_1126_1_4_2_3_2) OR FIREABLE(T_1126_2_2_2_4_3) OR FIREABLE(T_1126_4_3_4_2_1) OR FIREABLE(T_1126_4_2_3_4_2) OR FIREABLE(T_1126_4_4_3_3_3) OR FIREABLE(T_1126_1_1_2_2_4) OR FIREABLE(T_1126_6_4_4_4_1) OR FIREABLE(T_1126_3_4_1_3_3) OR FIREABLE(T_1126_6_4_1_1_3) OR FIREABLE(T_1126_3_2_1_4_1) OR FIREABLE(T_1126_1_3_3_3_2) OR FIREABLE(T_1126_4_2_1_2_1) OR FIREABLE(T_1126_4_1_4_3_1) OR FIREABLE(T_1126_2_4_2_4_1) OR FIREABLE(T_1126_2_3_2_3_1) OR FIREABLE(T_1126_5_3_3_2_1) OR FIREABLE(T_1126_6_3_4_3_4) OR FIREABLE(T_1126_3_4_1_1_1) OR FIREABLE(T_1126_6_1_2_4_4) OR FIREABLE(T_1126_6_2_2_1_4) OR FIREABLE(T_1126_5_1_1_1_2) OR FIREABLE(T_1126_3_1_3_1_2) OR FIREABLE(T_1126_5_3_4_2_3) OR FIREABLE(T_1126_5_3_1_4_1) OR FIREABLE(T_1126_6_4_1_4_1) OR FIREABLE(T_1126_5_4_2_1_1) OR FIREABLE(T_1126_3_1_3_3_2) OR FIREABLE(T_1126_1_1_2_4_1) OR FIREABLE(T_1126_1_4_4_4_1) OR FIREABLE(T_1126_5_4_1_3_1) OR FIREABLE(T_1126_1_4_1_1_3) OR FIREABLE(T_1126_3_1_1_3_4) OR FIREABLE(T_1126_3_1_3_4_4) OR FIREABLE(T_1126_4_3_2_2_4) OR FIREABLE(T_1126_2_1_1_1_1) OR FIREABLE(T_1126_6_3_2_4_1) OR FIREABLE(T_1126_2_2_4_2_1) OR FIREABLE(T_1126_4_3_1_1_4) OR FIREABLE(T_1126_6_2_1_3_1) OR FIREABLE(T_1126_4_2_3_4_4) OR FIREABLE(T_1126_1_2_1_3_2) OR FIREABLE(T_1126_5_2_3_1_1) OR FIREABLE(T_1126_4_4_2_1_2) OR FIREABLE(T_1126_2_1_4_3_4) OR FIREABLE(T_1126_5_4_3_4_3) OR FIREABLE(T_1126_4_1_2_2_2) OR FIREABLE(T_1126_5_2_3_2_3) OR FIREABLE(T_1126_5_2_3_1_3) OR FIREABLE(T_1126_3_2_2_4_4) OR FIREABLE(T_1126_4_1_4_3_2) OR FIREABLE(T_1126_3_1_1_2_2) OR FIREABLE(T_1126_6_4_2_4_2) OR FIREABLE(T_1126_2_2_1_4_3) OR FIREABLE(T_1126_4_4_2_2_2) OR FIREABLE(T_1126_4_1_4_3_3) OR FIREABLE(T_1126_4_1_3_3_4) OR FIREABLE(T_1126_6_4_2_3_2) OR FIREABLE(T_1126_1_4_4_4_4) OR FIREABLE(T_1126_1_3_3_4_1) OR FIREABLE(T_1126_3_4_2_3_4) OR FIREABLE(T_1126_4_2_3_3_1) OR FIREABLE(T_1126_3_2_2_2_3) OR FIREABLE(T_1126_4_1_1_2_4) OR FIREABLE(T_1126_1_3_1_2_2) OR FIREABLE(T_1126_1_3_3_3_4) OR FIREABLE(T_1126_5_4_3_4_4) OR FIREABLE(T_1126_3_2_2_2_4) OR FIREABLE(T_1126_2_3_4_2_3) OR FIREABLE(T_1126_6_4_3_1_4) OR FIREABLE(T_1126_5_2_4_4_1) OR FIREABLE(T_1126_4_1_2_1_1) OR FIREABLE(T_1126_4_4_4_2_4) OR FIREABLE(T_1126_4_1_2_1_2) OR FIREABLE(T_1126_4_4_4_3_2) OR FIREABLE(T_1126_5_3_2_2_3) OR FIREABLE(T_1126_6_1_4_1_1) OR FIREABLE(T_1126_3_3_4_1_2) OR FIREABLE(T_1126_1_3_3_2_4) OR FIREABLE(T_1126_1_3_4_2_4) OR FIREABLE(T_1126_6_3_3_4_2) OR FIREABLE(T_1126_6_3_1_2_1) OR FIREABLE(T_1126_1_4_4_2_2) OR FIREABLE(T_1126_3_2_3_4_4) OR FIREABLE(T_1126_3_1_1_1_4) OR FIREABLE(T_1126_1_1_2_3_1) OR FIREABLE(T_1126_5_4_1_3_2) OR FIREABLE(T_1126_1_4_2_4_3) OR FIREABLE(T_1126_5_2_1_3_1) OR FIREABLE(T_1126_6_4_1_2_3) OR FIREABLE(T_1126_5_4_1_1_4) OR FIREABLE(T_1126_5_3_1_3_4) OR FIREABLE(T_1126_5_2_3_4_2) OR FIREABLE(T_1126_4_2_2_3_3) OR FIREABLE(T_1126_2_4_3_3_1) OR FIREABLE(T_1126_3_3_4_1_3) OR FIREABLE(T_1126_2_1_2_1_3) OR FIREABLE(T_1126_2_1_1_3_2) OR FIREABLE(T_1126_1_1_1_1_1) OR FIREABLE(T_1126_2_4_1_3_1) OR FIREABLE(T_1126_6_4_2_4_4) OR FIREABLE(T_1126_3_4_3_2_1) OR FIREABLE(T_1126_6_2_2_1_3) OR FIREABLE(T_1126_1_3_4_4_4) OR FIREABLE(T_1126_5_4_4_3_1) OR FIREABLE(T_1126_3_3_3_4_3) OR FIREABLE(T_1126_3_4_3_2_3) OR FIREABLE(T_1126_3_4_4_2_1) OR FIREABLE(T_1126_2_2_2_1_2) OR FIREABLE(T_1126_4_3_1_1_1) OR FIREABLE(T_1126_2_3_2_4_2) OR FIREABLE(T_1126_2_3_4_1_4) OR FIREABLE(T_1126_2_1_3_1_2) OR FIREABLE(T_1126_6_4_4_1_1) OR FIREABLE(T_1126_3_3_2_1_4) OR FIREABLE(T_1126_2_1_3_1_3) OR FIREABLE(T_1126_6_2_1_3_2) OR FIREABLE(T_1126_5_2_3_1_2) OR FIREABLE(T_1126_6_3_1_2_2) OR FIREABLE(T_1126_5_2_2_4_3) OR FIREABLE(T_1126_3_2_1_2_1) OR FIREABLE(T_1126_5_2_4_3_4) OR FIREABLE(T_1126_2_3_3_4_4) OR FIREABLE(T_1126_6_2_4_4_2) OR FIREABLE(T_1126_6_4_2_2_3) OR FIREABLE(T_1126_5_1_2_1_3) OR FIREABLE(T_1126_6_4_4_3_1) OR FIREABLE(T_1126_1_4_2_3_1) OR FIREABLE(T_1126_6_1_3_4_3) OR FIREABLE(T_1126_5_3_2_4_2) OR FIREABLE(T_1126_1_2_2_3_4) OR FIREABLE(T_1126_3_3_1_4_4) OR FIREABLE(T_1126_2_2_1_4_2) OR FIREABLE(T_1126_2_4_3_4_1) OR FIREABLE(T_1126_5_1_1_3_2) OR FIREABLE(T_1126_6_3_1_1_2) OR FIREABLE(T_1126_2_1_3_1_4) OR FIREABLE(T_1126_1_4_1_2_4) OR FIREABLE(T_1126_6_3_3_2_3) OR FIREABLE(T_1126_2_2_4_2_2) OR FIREABLE(T_1126_4_4_2_1_4) OR FIREABLE(T_1126_4_2_1_2_3) OR FIREABLE(T_1126_2_4_1_4_3) OR FIREABLE(T_1126_2_2_2_3_4) OR FIREABLE(T_1126_4_4_4_4_1) OR FIREABLE(T_1126_6_1_1_4_4) OR FIREABLE(T_1126_3_4_3_4_2) OR FIREABLE(T_1126_6_1_4_1_3) OR FIREABLE(T_1126_1_1_3_3_1) OR FIREABLE(T_1126_6_1_1_3_3) OR FIREABLE(T_1126_2_2_2_3_2) OR FIREABLE(T_1126_6_3_3_3_2) OR FIREABLE(T_1126_2_2_1_1_4) OR FIREABLE(T_1126_2_3_2_2_1) OR FIREABLE(T_1126_1_2_1_4_1) OR FIREABLE(T_1126_6_3_1_1_1) OR FIREABLE(T_1126_6_1_3_4_1) OR FIREABLE(T_1126_1_2_2_2_1) OR FIREABLE(T_1126_5_4_1_4_2) OR FIREABLE(T_1126_5_1_4_4_3) OR FIREABLE(T_1126_4_3_1_1_3) OR FIREABLE(T_1126_2_3_4_2_4) OR FIREABLE(T_1126_5_3_4_2_1) OR FIREABLE(T_1126_4_1_1_1_2) OR FIREABLE(T_1126_4_3_3_2_1) OR FIREABLE(T_1126_3_1_1_2_3) OR FIREABLE(T_1126_4_1_1_3_1) OR FIREABLE(T_1126_4_3_1_4_1) OR FIREABLE(T_1126_1_4_3_3_1) OR FIREABLE(T_1126_3_2_1_4_3) OR FIREABLE(T_1126_3_1_4_3_1) OR FIREABLE(T_1126_4_4_2_1_1) OR FIREABLE(T_1126_5_1_3_3_2) OR FIREABLE(T_1126_4_1_4_4_2) OR FIREABLE(T_1126_4_2_3_1_1) OR FIREABLE(T_1126_2_1_4_3_3) OR FIREABLE(T_1126_5_3_3_1_4) OR FIREABLE(T_1126_3_3_2_1_1) OR FIREABLE(T_1126_2_1_4_2_2) OR FIREABLE(T_1126_3_4_4_1_4) OR FIREABLE(T_1126_2_4_1_4_4) OR FIREABLE(T_1126_6_1_2_4_1) OR FIREABLE(T_1126_4_2_2_4_4) OR FIREABLE(T_1126_1_1_1_3_3) OR FIREABLE(T_1126_3_4_1_3_1) OR FIREABLE(T_1126_5_4_4_3_2) OR FIREABLE(T_1126_6_3_1_3_4) OR FIREABLE(T_1126_3_3_2_3_4) OR FIREABLE(T_1126_6_1_1_1_3) OR FIREABLE(T_1126_1_4_1_3_3) OR FIREABLE(T_1126_5_4_4_4_2) OR FIREABLE(T_1126_4_1_4_1_4) OR FIREABLE(T_1126_3_1_4_1_4) OR FIREABLE(T_1126_4_2_1_1_1) OR FIREABLE(T_1126_2_4_4_2_4) OR FIREABLE(T_1126_3_1_4_2_2) OR FIREABLE(T_1126_2_3_1_4_1) OR FIREABLE(T_1126_4_3_3_2_4) OR FIREABLE(T_1126_4_4_4_1_4) OR FIREABLE(T_1126_3_2_1_1_3) OR FIREABLE(T_1126_5_1_2_4_4) OR FIREABLE(T_1126_5_1_4_4_4) OR FIREABLE(T_1126_1_1_4_2_4) OR FIREABLE(T_1126_3_3_1_1_2) OR FIREABLE(T_1126_4_4_1_1_4) OR FIREABLE(T_1126_4_2_2_1_3) OR FIREABLE(T_1126_4_2_2_4_1) OR FIREABLE(T_1126_6_1_3_3_1) OR FIREABLE(T_1126_2_1_2_3_3) OR FIREABLE(T_1126_3_1_4_4_1) OR FIREABLE(T_1126_3_2_2_4_2) OR FIREABLE(T_1126_3_3_1_3_2) OR FIREABLE(T_1126_6_1_3_2_4) OR FIREABLE(T_1126_3_1_4_2_4) OR FIREABLE(T_1126_2_2_1_3_3) OR FIREABLE(T_1126_1_1_2_3_2) OR FIREABLE(T_1126_5_2_1_2_1) OR FIREABLE(T_1126_1_4_1_2_2) OR FIREABLE(T_1126_3_1_4_2_1) OR FIREABLE(T_1126_6_3_1_3_1) OR FIREAB
LE(T_1126_4_4_4_2_3) OR FIREABLE(T_1126_6_3_3_1_4) OR FIREABLE(T_1126_2_2_3_2_2) OR FIREABLE(T_1126_5_1_2_2_2) OR FIREABLE(T_1126_2_3_4_2_1) OR FIREABLE(T_1126_3_4_3_1_1) OR FIREABLE(T_1126_2_1_2_2_4) OR FIREABLE(T_1126_5_1_4_2_3) OR FIREABLE(T_1126_2_4_3_4_3) OR FIREABLE(T_1126_1_4_2_4_1) OR FIREABLE(T_1126_5_2_1_3_4) OR FIREABLE(T_1126_5_1_4_3_1) OR FIREABLE(T_1126_6_3_4_4_3) OR FIREABLE(T_1126_1_4_2_1_2) OR FIREABLE(T_1126_5_4_2_2_2) OR FIREABLE(T_1126_2_2_3_3_3) OR FIREABLE(T_1126_4_4_2_3_1) OR FIREABLE(T_1126_4_3_2_1_2) OR FIREABLE(T_1126_2_1_4_4_2) OR FIREABLE(T_1126_3_2_4_3_2) OR FIREABLE(T_1126_3_2_3_2_2) OR FIREABLE(T_1126_4_3_2_4_3) OR FIREABLE(T_1126_2_4_3_1_1) OR FIREABLE(T_1126_1_1_3_1_2) OR FIREABLE(T_1126_3_1_3_1_4) OR FIREABLE(T_1126_2_4_3_2_3) OR FIREABLE(T_1126_5_4_2_3_3) OR FIREABLE(T_1126_3_2_3_2_1) OR FIREABLE(T_1126_4_2_4_3_4) OR FIREABLE(T_1126_4_2_3_1_4) OR FIREABLE(T_1126_1_1_2_3_4) OR FIREABLE(T_1126_1_2_1_4_4) OR FIREABLE(T_1126_5_1_2_3_3) OR FIREABLE(T_1126_2_3_1_4_4) OR FIREABLE(T_1126_6_3_3_4_3) OR FIREABLE(T_1126_1_1_3_4_4) OR FIREABLE(T_1126_2_1_1_2_2) OR FIREABLE(T_1126_4_3_3_3_3) OR FIREABLE(T_1126_5_4_4_3_4) OR FIREABLE(T_1126_2_4_1_3_2) OR FIREABLE(T_1126_2_3_4_1_1) OR FIREABLE(T_1126_3_4_1_2_1) OR FIREABLE(T_1126_5_4_1_4_3) OR FIREABLE(T_1126_1_4_2_4_4) OR FIREABLE(T_1126_3_4_1_1_3) OR FIREABLE(T_1126_1_2_2_2_3) OR FIREABLE(T_1126_6_1_3_3_4) OR FIREABLE(T_1126_5_4_2_1_4) OR FIREABLE(T_1126_3_1_3_4_2) OR FIREABLE(T_1126_4_1_2_2_4) OR FIREABLE(T_1126_5_4_2_4_1) OR FIREABLE(T_1126_5_1_4_1_2) OR FIREABLE(T_1126_5_1_1_2_2) OR FIREABLE(T_1126_4_3_2_2_3) OR FIREABLE(T_1126_6_3_2_4_4) OR FIREABLE(T_1126_1_1_1_1_2) OR FIREABLE(T_1126_5_1_4_3_3) OR FIREABLE(T_1126_1_2_2_2_2) OR FIREABLE(T_1126_2_2_3_1_2) OR FIREABLE(T_1126_4_1_2_1_4) OR FIREABLE(T_1126_5_1_3_3_1) OR FIREABLE(T_1126_2_4_2_1_3) OR FIREABLE(T_1126_3_4_2_3_2) OR FIREABLE(T_1126_4_2_1_3_2) OR FIREABLE(T_1126_1_2_2_1_4) OR FIREABLE(T_1126_3_4_1_4_3) OR FIREABLE(T_1126_3_3_3_4_4) OR FIREABLE(T_1126_1_1_3_3_3) OR FIREABLE(T_1126_4_3_4_2_2) OR FIREABLE(T_1126_6_1_4_2_3) OR FIREABLE(T_1126_1_2_4_1_1) OR FIREABLE(T_1126_6_2_4_3_3) OR FIREABLE(T_1126_6_4_1_3_4) OR FIREABLE(T_1126_5_1_4_2_1) OR FIREABLE(T_1126_4_2_3_2_3) OR FIREABLE(T_1126_5_2_4_2_2) OR FIREABLE(T_1126_5_2_4_4_4) OR FIREABLE(T_1126_6_2_3_3_1) OR FIREABLE(T_1126_6_4_4_1_2) OR FIREABLE(T_1126_6_3_3_2_1) OR FIREABLE(T_1126_2_2_4_4_1) OR FIREABLE(T_1126_2_3_2_2_2) OR FIREABLE(T_1126_3_4_1_1_4) OR FIREABLE(T_1126_5_1_2_1_2) OR FIREABLE(T_1126_2_3_2_2_3) OR FIREABLE(T_1126_6_1_4_3_2) OR FIREABLE(T_1126_3_3_4_2_1) OR FIREABLE(T_1126_4_4_2_3_4) OR FIREABLE(T_1126_1_4_3_3_3) OR FIREABLE(T_1126_2_1_2_1_2) OR FIREABLE(T_1126_5_4_4_3_3) OR FIREABLE(T_1126_5_2_3_3_3) OR FIREABLE(T_1126_6_2_4_1_2) OR FIREABLE(T_1126_6_2_3_3_4) OR FIREABLE(T_1126_3_4_4_2_2) OR FIREABLE(T_1126_6_2_2_3_3) OR FIREABLE(T_1126_3_3_2_1_3) OR FIREABLE(T_1126_3_1_2_2_4) OR FIREABLE(T_1126_5_3_4_4_1) OR FIREABLE(T_1126_6_2_4_4_4) OR FIREABLE(T_1126_3_1_3_1_1) OR FIREABLE(T_1126_6_1_1_4_3) OR FIREABLE(T_1126_4_4_3_4_4) OR FIREABLE(T_1126_1_4_1_1_1) OR FIREABLE(T_1126_1_1_1_2_1) OR FIREABLE(T_1126_1_2_4_4_2) OR FIREABLE(T_1126_6_1_2_4_3) OR FIREABLE(T_1126_2_4_4_2_1) OR FIREABLE(T_1126_4_2_4_3_3) OR FIREABLE(T_1126_6_3_1_1_4) OR FIREABLE(T_1126_2_1_2_3_1) OR FIREABLE(T_1126_5_4_4_1_4) OR FIREABLE(T_1126_3_2_2_4_1) OR FIREABLE(T_1126_6_4_2_1_4) OR FIREABLE(T_1126_4_1_2_2_1) OR FIREABLE(T_1126_1_4_1_3_4) OR FIREABLE(T_1126_5_3_1_3_2) OR FIREABLE(T_1126_4_2_4_3_1) OR FIREABLE(T_1126_4_1_4_4_3) OR FIREABLE(T_1126_6_2_4_3_2) OR FIREABLE(T_1126_4_1_3_1_3) OR FIREABLE(T_1126_1_3_4_1_4) OR FIREABLE(T_1126_4_4_4_4_2) OR FIREABLE(T_1126_1_2_3_3_1) OR FIREABLE(T_1126_4_4_2_2_4) OR FIREABLE(T_1126_1_2_1_1_3) OR FIREABLE(T_1126_4_4_4_2_1) OR FIREABLE(T_1126_2_4_1_2_3) OR FIREABLE(T_1126_4_3_2_4_1) OR FIREABLE(T_1126_1_2_3_2_4) OR FIREABLE(T_1126_6_3_4_1_1) OR FIREABLE(T_1126_1_4_3_3_2) OR FIREABLE(T_1126_3_2_4_2_3) OR FIREABLE(T_1126_2_2_3_2_4) OR FIREABLE(T_1126_5_3_4_3_1) OR FIREABLE(T_1126_6_2_3_4_1) OR FIREABLE(T_1126_6_2_4_1_4) OR FIREABLE(T_1126_2_1_4_2_1) OR FIREABLE(T_1126_1_2_1_2_4) OR FIREABLE(T_1126_2_4_4_3_3) OR FIREABLE(T_1126_4_1_4_1_2) OR FIREABLE(T_1126_6_1_2_2_1) OR FIREABLE(T_1126_4_2_4_4_2) OR FIREABLE(T_1126_5_2_3_2_2) OR FIREABLE(T_1126_2_2_1_2_4) OR FIREABLE(T_1126_1_4_3_1_4) OR FIREABLE(T_1126_6_3_1_3_3) OR FIREABLE(T_1126_5_4_2_3_4) OR FIREABLE(T_1126_2_2_4_1_3) OR FIREABLE(T_1126_5_1_4_1_4) OR FIREABLE(T_1126_2_4_1_3_4) OR FIREABLE(T_1126_3_4_1_4_4) OR FIREABLE(T_1126_1_3_3_4_2) OR FIREABLE(T_1126_2_3_1_4_3) OR FIREABLE(T_1126_1_3_2_3_3) OR FIREABLE(T_1126_5_4_3_1_2) OR FIREABLE(T_1126_5_2_2_3_1) OR FIREABLE(T_1126_5_3_3_2_2) OR FIREABLE(T_1126_6_4_2_4_3) OR FIREABLE(T_1126_6_4_1_3_2) OR FIREABLE(T_1126_1_3_4_1_1) OR FIREABLE(T_1126_4_3_1_2_2) OR FIREABLE(T_1126_3_1_2_4_1) OR FIREABLE(T_1126_5_1_1_3_1) OR FIREABLE(T_1126_3_1_2_3_3) OR FIREABLE(T_1126_6_4_4_2_3) OR FIREABLE(T_1126_2_2_3_3_2) OR FIREABLE(T_1126_1_4_3_2_1) OR FIREABLE(T_1126_4_3_1_2_1) OR FIREABLE(T_1126_1_1_1_3_4) OR FIREABLE(T_1126_1_3_2_2_4) OR FIREABLE(T_1126_6_3_1_2_4) OR FIREABLE(T_1126_6_1_1_4_1) OR FIREABLE(T_1126_1_1_2_2_1) OR FIREABLE(T_1126_3_1_4_3_4) OR FIREABLE(T_1126_6_1_1_1_2) OR FIREABLE(T_1126_3_4_3_4_3) OR FIREABLE(T_1126_2_4_2_3_2) OR FIREABLE(T_1126_1_3_1_4_2) OR FIREABLE(T_1126_3_1_1_2_1) OR FIREABLE(T_1126_1_1_3_2_3) OR FIREABLE(T_1126_2_2_1_1_3) OR FIREABLE(T_1126_2_3_2_1_4) OR FIREABLE(T_1126_4_2_1_4_2) OR FIREABLE(T_1126_5_2_1_1_1) OR FIREABLE(T_1126_1_2_1_1_2) OR FIREABLE(T_1126_3_2_1_3_3) OR FIREABLE(T_1126_6_2_1_1_2) OR FIREABLE(T_1126_2_2_2_4_2) OR FIREABLE(T_1126_5_2_3_4_3) OR FIREABLE(T_1126_6_1_4_1_2) OR FIREABLE(T_1126_3_4_3_4_1) OR FIREABLE(T_1126_5_1_2_3_4) OR FIREABLE(T_1126_3_2_2_3_2) OR FIREABLE(T_1126_2_2_3_2_3) OR FIREABLE(T_1126_3_2_4_2_1) OR FIREABLE(T_1126_5_1_3_1_3) OR FIREABLE(T_1126_2_3_2_4_3) OR FIREABLE(T_1126_4_4_3_1_3) OR FIREABLE(T_1126_2_3_3_1_1) OR FIREABLE(T_1126_5_4_3_1_3) OR FIREABLE(T_1126_2_4_2_3_1) OR FIREABLE(T_1126_4_1_4_1_1) OR FIREABLE(T_1126_1_4_2_2_3) OR FIREABLE(T_1126_1_3_3_3_1) OR FIREABLE(T_1126_2_2_3_4_1) OR FIREABLE(T_1126_3_2_3_1_4) OR FIREABLE(T_1126_6_4_4_4_3) OR FIREABLE(T_1126_5_3_3_2_4) OR FIREABLE(T_1126_1_2_2_1_3) OR FIREABLE(T_1126_5_3_4_4_2) OR FIREABLE(T_1126_3_3_4_3_2) OR FIREABLE(T_1126_2_3_4_4_3) OR FIREABLE(T_1126_4_2_1_1_4) OR FIREABLE(T_1126_3_2_3_1_1) OR FIREABLE(T_1126_5_1_2_1_4) OR FIREABLE(T_1126_4_2_3_3_3) OR FIREABLE(T_1126_4_1_1_1_1) OR FIREABLE(T_1126_2_4_4_4_4) OR FIREABLE(T_1126_3_4_2_1_3) OR FIREABLE(T_1126_6_4_3_3_3) OR FIREABLE(T_1126_5_3_2_4_1) OR FIREABLE(T_1126_3_3_4_3_3) OR FIREABLE(T_1126_1_2_3_4_1) OR FIREABLE(T_1126_4_4_4_3_4) OR FIREABLE(T_1126_4_3_3_3_2) OR FIREABLE(T_1126_6_1_2_2_3) OR FIREABLE(T_1126_6_1_2_2_2) OR FIREABLE(T_1126_3_4_1_4_2) OR FIREABLE(T_1126_3_3_2_2_1) OR FIREABLE(T_1126_2_1_2_1_1) OR FIREABLE(T_1126_2_2_3_4_4) OR FIREABLE(T_1126_3_2_4_1_3) OR FIREABLE(T_1126_3_1_1_3_3) OR FIREABLE(T_1126_3_3_2_2_2) OR FIREABLE(T_1126_4_3_4_3_1) OR FIREABLE(T_1126_1_3_2_2_2) OR FIREABLE(T_1126_1_3_1_2_3) OR FIREABLE(T_1126_1_4_2_4_2) OR FIREABLE(T_1126_1_3_1_1_1) OR FIREABLE(T_1126_4_3_4_2_4) OR FIREABLE(T_1126_5_2_2_4_4) OR FIREABLE(T_1126_1_1_3_4_2) OR FIREABLE(T_1126_4_4_2_3_3) OR FIREABLE(T_1126_5_4_4_2_3) OR FIREABLE(T_1126_1_4_3_3_4) OR FIREABLE(T_1126_1_4_1_4_1) OR FIREABLE(T_1126_6_4_3_2_2) OR FIREABLE(T_1126_2_4_2_2_2) OR FIREABLE(T_1126_3_4_2_2_4) OR FIREABLE(T_1126_5_4_3_4_2) OR FIREABLE(T_1126_2_2_2_3_1) OR FIREABLE(T_1126_3_3_4_2_4) OR FIREABLE(T_1126_6_1_1_2_4) OR FIREABLE(T_1126_1_3_4_2_2) OR FIREABLE(T_1126_4_2_3_2_2) OR FIREABLE(T_1126_5_2_1_1_4) OR FIREABLE(T_1126_6_4_2_1_1) OR FIREABLE(T_1126_6_2_3_4_2) OR FIREABLE(T_1126_1_1_4_3_2) OR FIREABLE(T_1126_6_4_3_2_4) OR FIREABLE(T_1126_5_3_4_4_3) OR FIREABLE(T_1126_2_4_1_1_3) OR FIREABLE(T_1126_1_2_2_4_3) OR FIREABLE(T_1126_6_2_4_2_1) OR FIREABLE(T_1126_2_3_2_3_3) OR FIREABLE(T_1126_5_3_3_4_4) OR FIREABLE(T_1126_1_1_1_4_3) OR FIREABLE(T_1126_4_1_2_3_3) OR FIREABLE(T_1126_4_2_1_3_3) OR FIREABLE(T_1126_4_3_2_1_1) OR FIREABLE(T_1126_4_4_2_4_2) OR FIREABLE(T_1126_4_4_3_2_3) OR FIREABLE(T_1126_3_3_1_4_1) OR FIREABLE(T_1126_5_4_4_2_1) OR FIREABLE(T_1126_4_2_3_3_4) OR FIREABLE(T_1126_5_3_2_4_3) OR FIREABLE(T_1126_5_2_4_3_3) OR FIREABLE(T_1126_5_4_3_2_3) OR FIREABLE(T_1126_6_2_4_2_3) OR FIREABLE(T_1126_2_1_4_4_4) OR FIREABLE(T_1126_4_4_1_4_3) OR FIREABLE(T_1126_4_2_4_2_2) OR FIREABLE(T_1126_4_2_2_1_2) OR FIREABLE(T_1126_6_3_1_4_2) OR FIREABLE(T_1126_4_4_2_4_1) OR FIREABLE(T_1126_6_4_2_1_2) OR FIREABLE(T_1126_5_3_2_3_1) OR FIREABLE(T_1126_1_2_2_3_3) OR FIREABLE(T_1126_1_3_4_1_2) OR FIREABLE(T_1126_4_2_1_2_2) OR FIREABLE(T_1126_2_4_2_2_1) OR FIREABLE(T_1126_6_1_3_3_3) OR FIREABLE(T_1126_2_2_1_2_1) OR FIREABLE(T_1126_6_3_3_2_2) OR FIREABLE(T_1126_3_4_3_3_3) OR FIREABLE(T_1126_6_3_2_1_3) OR FIREABLE(T_1126_4_2_1_3_4) OR FIREABLE(T_1126_3_2_1_2_4) OR FIREABLE(T_1126_2_2_1_2_2) OR FIREABLE(T_1126_3_4_1_1_2) OR FIREABLE(T_1126_2_1_3_2_3) OR FIREABLE(T_1126_1_4_1_1_4) OR FIREABLE(T_1126_4_1_1_4_3) OR FIREABLE(T_1126_6_4_3_3_2) OR FIREABLE(T_1126_2_3_4_3_4) OR FIREABLE(T_1126_5_2_2_4_2) OR FIREABLE(T_1126_2_3_2_3_4) OR FIREABLE(T_1126_2_2_3_4_3) OR FIREABLE(T_1126_5_2_1_3_2) OR FIREABLE(T_1126_5_2_4_4_2) OR FIREABLE(T_1126_4_3_1_3_1) OR FIREABLE(T_1126_3_2_2_1_4) OR FIREABLE(T_1126_1_4_3_4_1) OR FIREABLE(T_1126_2_3_1_1_2) OR FIREABLE(T_1126_3_2_3_1_2) OR FIREABLE(T_1126_6_4_4_3_4) OR FIREABLE(T_1126_6_4_4_2_2) OR FIREABLE(T_1126_6_3_4_1_3) OR FIREABLE(T_1126_5_3_1_3_3) OR FIREABLE(T_1126_3_2_1_4_4) OR FIREABLE(T_1126_4_2_4_4_4) OR FIREABLE(T_1126_5_3_1_2_2) OR FIREABLE(T_1126_5_1_4_4_1) OR FIREABLE(T_1126_4_4_1_3_2) OR FIREABLE(T_1126_5_1_1_4_2) OR FIREABLE(T_1126_3_1_2_1_1) OR FIREABLE(T_1126_5_2_4_1_3) OR FIREABLE(T_1126_1_3_3_1_3) OR FIREABLE(T_1126_4_2_4_1_4) OR FIREABLE(T_1126_2_4_1_2_4) OR FIREABLE(T_1126_3_3_1_4_3) OR FIREABLE(T_1126_5_3_2_1_1) OR FIREABLE(T_1126_1_4_3_2_2) OR FIREABLE(T_1126_5_2_2_2_4) OR FIREABLE(T_1126_1_3_3_4_3) OR FIREABLE(T_1126_4_4_1_2_1) OR FIREABLE(T_1126_2_4_3_3_4) OR FIREABLE(T_1126_1_4_4_1_1) OR FIREABLE(T_1126_3_2_1_3_4) OR FIREABLE(T_1126_6_2_1_3_4) OR FIREABLE(T_1126_2_1_4_3_1) OR FIREABLE(T_1126_3_4_1_2_3) OR FIREABLE(T_1126_4_4_3_1_2) OR FIREABLE(T_1126_6_4_4_4_2) OR FIREABLE(T_1126_1_2_3_1_3) OR FIREABLE(T_1126_1_1_3_3_4) OR FIREABLE(T_1126_2_3_1_2_4) OR FIREABLE(T_1126_3_4_4_3_2) OR FIREABLE(T_1126_2_1_4_1_4) OR FIREABLE(T_1126_2_3_2_2_4) OR FIREABLE(T_1126_1_3_2_3_1) OR FIREABLE(T_1126_4_3_4_4_3) OR FIREABLE(T_1126_3_2_3_2_3) OR FIREABLE(T_1126_4_3_3_2_2) OR FIREABLE(T_1126_3_3_3_2_4) OR FIREABLE(T_1126_3_2_3_2_4) OR FIREABLE(T_1126_5_3_3_3_2) OR FIREABLE(T_1126_2_3_4_3_3) OR FIREABLE(T_1126_2_2_4_2_4) OR FIREABLE(T_1126_3_4_2_2_2) OR FIREABLE(T_1126_1_3_2_1_3) OR FIREABLE(T_1126_4_4_2_4_4) OR FIREABLE(T_1126_1_1_4_2_1) OR FIREABLE(T_1126_3_1_2_3_4) OR FIREABLE(T_1126_6_2_4_1_1) OR FIREABLE(T_1126_2_2_2_4_1) OR FIREABLE(T_1126_5_2_4_3_2) OR FIREABLE(T_1126_1_3_3_3_3) OR FIREABLE(T_1126_2_4_1_1_4) OR FIREABLE(T_1126_1_1_3_4_1) OR FIREABLE(T_1126_6_2_3_1_4) OR FIREABLE(T_1126_3_4_2_3_3) OR FIREABLE(T_1126_3_1_3_4_3) OR FIREABLE(T_1126_1_2_4_2_3) OR FIREABLE(T_1126_1_2_3_3_3) OR FIREABLE(T_1126_2_1_1_2_1) OR FIREABLE(T_1126_2_1_3_3_2) OR FIREABLE(T_1126_6_2_2_2_2) OR FIREABLE(T_1126_5_3_1_2_4) OR FIREABLE(T_1126_1_4_4_1_4) OR FIREABLE(T_1126_4_2_2_3_1) OR FIREABLE(T_1126_4_1_2_2_3) OR FIREABLE(T_1126_2_3_2_3_2) OR FIREABLE(T_1126_6_4_1_3_3) OR FIREABLE(T_1126_5_1_4_3_4) OR FIREABLE(T_1126_5_2_3_3_2) OR FIREABLE(T_1126_4_1_3_3_1) OR FIREABLE(T_1126_3_2_2_4_3) OR FIREABLE(T_1126_1_1_1_1_4) OR FIREABLE(T_1126_2_1_4_4_1) OR FIREABLE(T_1126_5_4_3_1_1) OR FIREABLE(T_1126_1_4_2_1_1) OR FIREABLE(T_1126_5_4_2_2_1) OR FIREABLE(T_1126_1_2_2_3_2) OR FIREABLE(T_1126_2_3_3_1_3) OR FIREABLE(T_1126_1_3_2_4_4) OR FIREABLE(T_1126_2_1_1_3_4) OR FIREABLE(T_1126_2_4_3_1_3) OR FIREABLE(T_1126_5_2_4_3_1) OR FIREABLE(T_1126_2_1_3_2_1) OR FIREABLE(T_1126_3_2_2_2_1) OR FIREABLE(T_1126_4_3_2_3_4) OR FIREABLE(T_1126_3_3_4_4_3) OR FIREABLE(T_1126_1_1_3_1_4) OR FIREABLE(T_1126_2_4_4_3_2) OR FIREABLE(T_1126_5_2_3_2_1) OR FIREABLE(T_1126_2_1_4_4_3) OR FIREABLE(T_1126_3_3_3_4_2) OR FIREABLE(T_1126_5_1_4_4_2) OR FIREABLE(T_1126_5_3_4_3_3) OR FIREABLE(T_1126_2_1_1_4_1) OR FIREABLE(T_1126_1_2_4_4_3) OR FIREABLE(T_1126_4_4_3_1_1) OR FIREABLE(T_1126_5_4_2_3_2) OR FIREABLE(T_1126_6_4_1_1_2) OR FIREABLE(T_1126_1_2_4_2_4) OR FIREABLE(T_1126_3_4_4_4_4) OR FIREABLE(T_1126_2_2_4_4_3) OR FIREABLE(T_1126_4_3_3_4_4) OR FIREABLE(T_1126_2_3_3_3_2) OR FIREABLE(T_1126_4_1_4_4_1) OR FIREABLE(T_1126_6_3_4_2_2) OR FIREABLE(T_1126_5_3_1_1_2) OR FIREABLE(T_1126_2_2_4_3_1) OR FIREABLE(T_1126_4_3_4_4_2) OR FIREABLE(T_1126_4_1_2_1_3) OR FIREABLE(T_1126_4_3_1_2_4) OR FIREABLE(T_1126_6_1_2_3_3) OR FIREABLE(T_1126_4_3_2_4_2) OR FIREABLE(T_1126_5_4_4_2_4) OR FIREABLE(T_1126_5_4_3_2_2) OR FIREABLE(T_1126_2_2_3_1_1) OR FIREABLE(T_1126_6_3_1_4_1) OR FIREABLE(T_1126_1_3_2_3_4) OR FIREABLE(T_1126_4_3_2_1_4) OR FIREABLE(T_1126_5_1_4_1_1) OR FIREABLE(T_1126_6_4_2_3_4) OR FIREABLE(T_1126_3_3_4_2_3) OR FIREABLE(T_1126_6_4_4_1_3) OR FIREABLE(T_1126_4_4_3_3_1) OR FIREABLE(T_1126_3_4_4_3_4) OR FIREABLE(T_1126_3_3_3_1_1) OR FIREABLE(T_1126_6_2_1_1_1) OR FIREABLE(T_1126_6_3_2_1_2) OR FIREABLE(T_1126_3_4_3_1_4) OR FIREABLE(T_1126_5_4_1_1_3) OR FIREABLE(T_1126_2_3_1_3_1) OR FIREABLE(T_1126_6_2_1_4_1) OR FIREABLE(T_1126_5_2_3_3_4) OR FIREABLE(T_1126_4_3_4_1_4) OR FIREABLE(T_1126_3_1_3_2_3) OR FIREABLE(T_1126_6_4_1_4_3) OR FIREABLE(T_1126_4_4_3_2_4) OR FIREABLE(T_1126_5_2_2_1_2) OR FIREABLE(T_1126_1_2_1_3_1) OR FIREABLE(T_1126_1_2_3_4_4) OR FIREABLE(T_1126_1_4_2_2_2) OR FIREABLE(T_1126_1_1_1_2_4) OR FIREABLE(T_1126_2_4_3_4_2) OR FIREABLE(T_1126_6_2_2_2_1) OR FIREABLE(T_1126_1_4_1_2_1) OR FIREABLE(T_1126_3_1_2_4_4) OR FIREABLE(T_1126_3_1_2_1_4) OR FIREABLE(T_1126_6_3_1_4_4) OR FIREABLE(T_1126_6_3_2_2_3) OR FIREABLE(T_1126_1_1_3_1_1) OR FIREABLE(T_1126_4_2_2_1_4) OR FIREABLE(T_1126_3_1_2_3_1) OR FIREABLE(T_1126_6_1_3_4_2) OR FIREABLE(T_1126_4_3_1_3_2) OR FIREABLE(T_1126_2_1_3_2_2) OR FIREABLE(T_1126_3_3_2_4_3) OR FIREABLE(T_1126_2_1_1_3_3) OR FIREABLE(T_1126_4_4_1_2_3) OR FIREABLE(T_1126_3_1_3_2_4) OR FIREABLE(T_1126_3_4_2_1_2) OR FIREABLE(T_1126_3_1_1_3_2) OR FIREABLE(T_1126_3_3_3_3_1) OR FIREABLE(T_1126_4_1_2_4_1) OR FIREABLE(T_1126_4_2_2_1_1) OR FIREABLE(T_1126_4_4_1_2_2) OR FIREABLE(T_1126_6_3_4_1_2) OR FIREABLE(T_1126_2_1_2_4_2) OR FIREABLE(T_1126_2_2_2_2_2) OR FIREABLE(T_1126_1_1_4_2_2) OR FIREABLE(T_1126_3_1_4_3_3) OR FIREABLE(T_1126_5_3_4_1_3) OR FIREABLE(T_1126_1_1_4_3_1) OR FIREABLE(T_1126_5_1_2_3_1) OR FIREABLE(T_1126_5_1_1_4_1) OR FIREABLE(T_1126_1_2_3_3_2) OR FIREABLE(T_1126_5_3_1_4_3) OR FIREABLE(T_1126_2_2_3_1_4) OR FIREABLE(T_1126_6_2_1_2_3) OR FIREABLE(T_1126_6_2_1_1_4) OR FIREABLE(T_1126_4_1_2_4_4) OR FIREABLE(T_1126_1_1_2_2_2) OR FIREABLE(T_1126_5_3_3_4_2) OR FIREABLE(T_1126_3_3_1_4_2) OR FIREABLE(T_1126_2_2_3_3_4) OR FIREABLE(T_1126_5_4_4_4_3) OR FIREABLE(T_1126_3_1_4_4_4) OR FIREABLE(T_1126_4_1_1_4_2) OR FIREABLE(T_1126_3_4_4_1_2) OR FIREABLE(T_1126_6_1_3_1_3) OR FIREABLE(T_1126_4_3_1_3_3) OR FIREABLE(T_1126_2_2_2_2_1) OR FIREABLE(T_1126_3_2_4_4_4) OR FIREABLE(T_1126_5_2_1_3_3) OR FIREABLE(T_1126_2_2_4_3_3) OR FIREABLE(T_1126_2_3_3_2_3) OR FIREABLE(T_1126_6_3_4_3_2) OR FIREABLE(T_1126_3_4_3_3_4) OR FIREABLE(T_1126_1_4_4_3_1) OR FIREABLE(T_1126_4_2_4_4_1) OR FIREABLE(T_1126_5_3_3_1_2) OR FIREABLE(T_1126_5_1_3_4_3) OR FIREABLE(T_1126_3_1_4_3_2) OR FIREABLE(T_1126_5_4_2_3_1) OR FIREABLE(T_1126_1_3_2_2_3) OR FIREABLE(T_1126_4_1_4_3_4) OR FIREABLE(T_1126_4_1_3_3_3) OR FIREABLE(T_1126_1_4_4_1_3) OR FIREABLE(T_1126_6_3_4_2_4) OR FIREABLE(T_1126_1_4_1_3_1) OR FIREABLE(T_1126_1_4_2_2_4) OR FIREABLE(T_1126_5_4_1_2_4) OR FIREABLE(T_1126_1_1_1_
4_4) OR FIREABLE(T_1126_5_3_2_1_4) OR FIREABLE(T_1126_2_1_3_4_3) OR FIREABLE(T_1126_2_3_1_1_3) OR FIREABLE(T_1126_2_2_1_3_2) OR FIREABLE(T_1126_1_1_1_1_3) OR FIREABLE(T_1126_6_1_1_1_4) OR FIREABLE(T_1126_3_2_2_1_1) OR FIREABLE(T_1126_5_2_4_1_4) OR FIREABLE(T_1126_6_3_3_3_4) OR FIREABLE(T_1126_5_3_2_3_4) OR FIREABLE(T_1126_2_2_4_4_2) OR FIREABLE(T_1126_1_2_1_4_3) OR FIREABLE(T_1126_4_2_3_2_1) OR FIREABLE(T_1126_6_4_4_4_4) OR FIREABLE(T_1126_2_2_1_4_4) OR FIREABLE(T_1126_3_3_3_1_3) OR FIREABLE(T_1126_3_2_4_2_4) OR FIREABLE(T_1126_1_2_1_2_2) OR FIREABLE(T_1126_3_4_3_1_3) OR FIREABLE(T_1126_4_2_3_2_4) OR FIREABLE(T_1126_6_4_3_1_2) OR FIREABLE(T_1126_6_1_2_3_4) OR FIREABLE(T_1126_5_1_3_3_3) OR FIREABLE(T_1126_1_2_3_2_3) OR FIREABLE(T_1126_2_4_2_4_2) OR FIREABLE(T_1126_2_3_1_2_2) OR FIREABLE(T_1126_2_4_2_3_3) OR FIREABLE(T_1126_3_1_2_1_2) OR FIREABLE(T_1126_2_4_2_2_4) OR FIREABLE(T_1126_6_3_4_1_4) OR FIREABLE(T_1126_6_1_2_3_2) OR FIREABLE(T_1126_6_4_3_2_1) OR FIREABLE(T_1126_1_2_3_1_2) OR FIREABLE(T_1126_6_4_1_1_1) OR FIREABLE(T_1126_6_4_3_4_4) OR FIREABLE(T_1126_6_4_1_3_1) OR FIREABLE(T_1126_5_3_3_3_4) OR FIREABLE(T_1126_6_2_1_4_3) OR FIREABLE(T_1126_5_3_3_2_3) OR FIREABLE(T_1126_5_1_2_2_3) OR FIREABLE(T_1126_1_3_3_1_4) OR FIREABLE(T_1126_5_1_1_1_4) OR FIREABLE(T_1126_3_3_4_3_4) OR FIREABLE(T_1126_6_3_3_4_4) OR FIREABLE(T_1126_6_3_2_3_1) OR FIREABLE(T_1126_6_3_3_4_1) OR FIREABLE(T_1126_1_3_2_4_2) OR FIREABLE(T_1126_3_3_2_3_2) OR FIREABLE(T_1126_2_4_4_4_1) OR FIREABLE(T_1126_6_4_2_4_1) OR FIREABLE(T_1126_2_3_3_1_2) OR FIREABLE(T_1126_6_4_3_3_1) OR FIREABLE(T_1126_2_4_2_2_3) OR FIREABLE(T_1126_6_2_2_4_4) OR FIREABLE(T_1126_4_1_3_3_2) OR FIREABLE(T_1126_2_4_3_1_4) OR FIREABLE(T_1126_2_3_3_4_2) OR FIREABLE(T_1126_1_2_3_4_2) OR FIREABLE(T_1126_3_1_3_2_1) OR FIREABLE(T_1126_5_2_4_1_2) OR FIREABLE(T_1126_1_3_4_3_2) OR FIREABLE(T_1126_6_1_1_2_3) OR FIREABLE(T_1126_2_4_4_1_1) OR FIREABLE(T_1126_5_2_2_1_1) OR FIREABLE(T_1126_5_4_4_4_1) OR FIREABLE(T_1126_6_3_4_3_1) OR FIREABLE(T_1126_2_1_2_1_4) OR FIREABLE(T_1126_1_4_1_4_4) OR FIREABLE(T_1126_3_3_1_3_3) OR FIREABLE(T_1126_6_2_2_4_3) OR FIREABLE(T_1126_6_3_3_3_3) OR FIREABLE(T_1126_1_2_4_4_1) OR FIREABLE(T_1126_2_3_1_2_1) OR FIREABLE(T_1126_4_2_4_1_3) OR FIREABLE(T_1126_3_2_3_3_2) OR FIREABLE(T_1126_4_2_3_4_1) OR FIREABLE(T_1126_1_2_4_2_1) OR FIREABLE(T_1126_1_4_3_4_4) OR FIREABLE(T_1126_6_3_2_1_1) OR FIREABLE(T_1126_3_3_3_1_4) OR FIREABLE(T_1126_1_1_2_1_3) OR FIREABLE(T_1126_3_2_1_1_2) OR FIREABLE(T_1126_1_4_2_1_3) OR FIREABLE(T_1126_4_2_2_4_2) OR FIREABLE(T_1126_6_4_1_4_2) OR FIREABLE(T_1126_1_1_4_1_2) OR FIREABLE(T_1126_5_1_1_1_3) OR FIREABLE(T_1126_4_4_1_3_4) OR FIREABLE(T_1126_6_2_3_2_2) OR FIREABLE(T_1126_3_1_3_2_2) OR FIREABLE(T_1126_2_2_2_1_4) OR FIREABLE(T_1126_3_4_2_4_3) OR FIREABLE(T_1126_6_1_2_2_4) OR FIREABLE(T_1126_5_4_3_3_1) OR FIREABLE(T_1126_1_2_4_2_2) OR FIREABLE(T_1126_6_1_4_4_3) OR FIREABLE(T_1126_4_1_1_3_3) OR FIREABLE(T_1126_6_2_3_1_3) OR FIREABLE(T_1126_5_2_2_3_4) OR FIREABLE(T_1126_6_1_3_4_4) OR FIREABLE(T_1126_4_1_1_4_1) OR FIREABLE(T_1126_6_2_2_3_4) OR FIREABLE(T_1126_1_3_3_2_1) OR FIREABLE(T_1126_3_3_1_1_1) OR FIREABLE(T_1126_3_1_2_4_2) OR FIREABLE(T_1126_5_1_3_2_2) OR FIREABLE(T_1126_3_2_2_2_2) OR FIREABLE(T_1126_4_3_3_1_1) OR FIREABLE(T_1126_1_4_1_3_2) OR FIREABLE(T_1126_5_4_3_2_4) OR FIREABLE(T_1126_4_4_3_3_2) OR FIREABLE(T_1126_4_4_1_1_1) OR FIREABLE(T_1126_1_4_4_4_2) OR FIREABLE(T_1126_3_1_3_4_1) OR FIREABLE(T_1126_4_4_1_1_3) OR FIREABLE(T_1126_2_2_4_3_2) OR FIREABLE(T_1126_2_1_1_1_3) OR FIREABLE(T_1126_2_1_2_4_1) OR FIREABLE(T_1126_2_2_1_3_4) OR FIREABLE(T_1126_6_4_3_2_3) OR FIREABLE(T_1126_4_3_3_4_3) OR FIREABLE(T_1126_5_2_4_2_3) OR FIREABLE(T_1126_3_3_1_2_4) OR FIREABLE(T_1126_5_2_2_1_4) OR FIREABLE(T_1126_1_3_1_3_4) OR FIREABLE(T_1126_4_3_4_1_3) OR FIREABLE(T_1126_6_1_4_2_4) OR FIREABLE(T_1126_3_1_2_2_1) OR FIREABLE(T_1126_4_4_1_3_3) OR FIREABLE(T_1126_6_2_2_3_2) OR FIREABLE(T_1126_3_3_2_3_3) OR FIREABLE(T_1126_3_3_1_2_3) OR FIREABLE(T_1126_6_1_1_1_1) OR FIREABLE(T_1126_3_1_1_4_1) OR FIREABLE(T_1126_6_1_4_2_2) OR FIREABLE(T_1126_4_1_3_2_1) OR FIREABLE(T_1126_1_3_1_1_4) OR FIREABLE(T_1126_6_2_2_2_4) OR FIREABLE(T_1126_4_4_4_3_3) OR FIREABLE(T_1126_2_1_2_3_2) OR FIREABLE(T_1126_3_4_4_2_3) OR FIREABLE(T_1126_1_1_4_1_1) OR FIREABLE(T_1126_5_2_4_2_1) OR FIREABLE(T_1126_3_3_4_4_1) OR FIREABLE(T_1126_2_4_4_3_4) OR FIREABLE(T_1126_6_4_3_4_2) OR FIREABLE(T_1126_3_2_4_3_3) OR FIREABLE(T_1126_1_2_1_4_2) OR FIREABLE(T_1126_6_2_4_3_4) OR FIREABLE(T_1126_3_2_4_3_1) OR FIREABLE(T_1126_4_4_4_4_4) OR FIREABLE(T_1126_1_2_1_3_4) OR FIREABLE(T_1126_5_1_2_3_2) OR FIREABLE(T_1126_1_1_1_2_3) OR FIREABLE(T_1126_2_4_1_4_1) OR FIREABLE(T_1126_5_4_1_2_3) OR FIREABLE(T_1126_4_3_1_4_2) OR FIREABLE(T_1126_1_2_4_3_4) OR FIREABLE(T_1126_2_1_1_4_2) OR FIREABLE(T_1126_1_3_1_4_1) OR FIREABLE(T_1126_1_1_3_1_3) OR FIREABLE(T_1126_6_4_4_1_4) OR FIREABLE(T_1126_3_1_3_3_4) OR FIREABLE(T_1126_4_4_3_3_4) OR FIREABLE(T_1126_2_3_3_3_1) OR FIREABLE(T_1126_1_3_2_1_2) OR FIREABLE(T_1126_6_3_4_2_3) OR FIREABLE(T_1126_2_1_2_4_4) OR FIREABLE(T_1126_5_1_1_2_1)) AND (FIREABLE(WaitCompleted_4_3) OR FIREABLE(WaitCompleted_3_3) OR FIREABLE(WaitCompleted_1_6) OR FIREABLE(WaitCompleted_2_5) OR FIREABLE(WaitCompleted_4_5) OR FIREABLE(WaitCompleted_1_1) OR FIREABLE(WaitCompleted_3_5) OR FIREABLE(WaitCompleted_2_3) OR FIREABLE(WaitCompleted_4_4) OR FIREABLE(WaitCompleted_3_6) OR FIREABLE(WaitCompleted_1_3) OR FIREABLE(WaitCompleted_2_1) OR FIREABLE(WaitCompleted_4_2) OR FIREABLE(WaitCompleted_2_6) OR FIREABLE(WaitCompleted_3_1) OR FIREABLE(WaitCompleted_1_5) OR FIREABLE(WaitCompleted_3_2) OR FIREABLE(WaitCompleted_2_4) OR FIREABLE(WaitCompleted_3_4) OR FIREABLE(WaitCompleted_4_1) OR FIREABLE(WaitCompleted_2_2) OR FIREABLE(WaitCompleted_1_2) OR FIREABLE(WaitCompleted_4_6) OR FIREABLE(WaitCompleted_1_4) OR FIREABLE(T_2280_0_1) OR FIREABLE(T_2280_2_2) OR FIREABLE(T_2280_2_6) OR FIREABLE(T_2280_5_3) OR FIREABLE(T_2280_5_4) OR FIREABLE(T_2280_2_3) OR FIREABLE(T_2280_1_1) OR FIREABLE(T_2280_4_3) OR FIREABLE(T_2280_1_6) OR FIREABLE(T_2280_1_2) OR FIREABLE(T_2280_6_4) OR FIREABLE(T_2280_3_1) OR FIREABLE(T_2280_3_4) OR FIREABLE(T_2280_3_3) OR FIREABLE(T_2280_3_2) OR FIREABLE(T_2280_3_6) OR FIREABLE(T_2280_3_5) OR FIREABLE(T_2280_4_2) OR FIREABLE(T_2280_4_6) OR FIREABLE(T_2280_4_4) OR FIREABLE(T_2280_5_1) OR FIREABLE(T_2280_2_4) OR FIREABLE(T_2280_2_5) OR FIREABLE(T_2280_5_2) OR FIREABLE(T_2280_5_5) OR FIREABLE(T_2280_5_6) OR FIREABLE(T_2280_4_1) OR FIREABLE(T_2280_1_4) OR FIREABLE(T_2280_4_5) OR FIREABLE(T_2280_6_6) OR FIREABLE(T_2280_6_2) OR FIREABLE(T_2280_0_5) OR FIREABLE(T_2280_2_1) OR FIREABLE(T_2280_0_6) OR FIREABLE(T_2280_0_4) OR FIREABLE(T_2280_0_3) OR FIREABLE(T_2280_0_2) OR FIREABLE(T_2280_1_5) OR FIREABLE(T_2280_6_3) OR FIREABLE(T_2280_6_1) OR FIREABLE(T_2280_1_3) OR FIREABLE(T_2280_6_5))))) : E (F (((FIREABLE(T_1096_6) OR FIREABLE(T_1096_1) OR FIREABLE(T_1096_3) OR FIREABLE(T_1096_4) OR FIREABLE(T_1096_2) OR FIREABLE(T_1096_5)) AND (FIREABLE(T_1094_6) OR FIREABLE(T_1094_1) OR FIREABLE(T_1094_2) OR FIREABLE(T_1094_3) OR FIREABLE(T_1094_5) OR FIREABLE(T_1094_4)) AND (FIREABLE(WaitCompleted_4_3) OR FIREABLE(WaitCompleted_3_3) OR FIREABLE(WaitCompleted_1_6) OR FIREABLE(WaitCompleted_2_5) OR FIREABLE(WaitCompleted_4_5) OR FIREABLE(WaitCompleted_1_1) OR FIREABLE(WaitCompleted_3_5) OR FIREABLE(WaitCompleted_2_3) OR FIREABLE(WaitCompleted_4_4) OR FIREABLE(WaitCompleted_3_6) OR FIREABLE(WaitCompleted_1_3) OR FIREABLE(WaitCompleted_2_1) OR FIREABLE(WaitCompleted_4_2) OR FIREABLE(WaitCompleted_2_6) OR FIREABLE(WaitCompleted_3_1) OR FIREABLE(WaitCompleted_1_5) OR FIREABLE(WaitCompleted_3_2) OR FIREABLE(WaitCompleted_2_4) OR FIREABLE(WaitCompleted_3_4) OR FIREABLE(WaitCompleted_4_1) OR FIREABLE(WaitCompleted_2_2) OR FIREABLE(WaitCompleted_1_2) OR FIREABLE(WaitCompleted_4_6) OR FIREABLE(WaitCompleted_1_4))))) : A (G (((NOT FIREABLE(T_1124_6_3_3) AND NOT FIREABLE(T_1124_1_3_3) AND NOT FIREABLE(T_1124_3_1_4) AND NOT FIREABLE(T_1124_4_1_3) AND NOT FIREABLE(T_1124_5_3_4) AND NOT FIREABLE(T_1124_4_4_4) AND NOT FIREABLE(T_1124_2_2_4) AND NOT FIREABLE(T_1124_3_2_1) AND NOT FIREABLE(T_1124_6_1_2) AND NOT FIREABLE(T_1124_1_1_2) AND NOT FIREABLE(T_1124_4_3_1) AND NOT FIREABLE(T_1124_3_3_2) AND NOT FIREABLE(T_1124_2_4_2) AND NOT FIREABLE(T_1124_6_4_3) AND NOT FIREABLE(T_1124_3_4_3) AND NOT FIREABLE(T_1124_1_1_1) AND NOT FIREABLE(T_1124_1_2_3) AND NOT FIREABLE(T_1124_4_2_3) AND NOT FIREABLE(T_1124_2_2_1) AND NOT FIREABLE(T_1124_2_3_4) AND NOT FIREABLE(T_1124_1_2_2) AND NOT FIREABLE(T_1124_6_4_1) AND NOT FIREABLE(T_1124_4_4_1) AND NOT FIREABLE(T_1124_2_3_2) AND NOT FIREABLE(T_1124_5_3_1) AND NOT FIREABLE(T_1124_5_2_4) AND NOT FIREABLE(T_1124_5_2_1) AND NOT FIREABLE(T_1124_2_4_3) AND NOT FIREABLE(T_1124_6_4_4) AND NOT FIREABLE(T_1124_3_3_3) AND NOT FIREABLE(T_1124_2_1_1) AND NOT FIREABLE(T_1124_1_4_4) AND NOT FIREABLE(T_1124_5_3_2) AND NOT FIREABLE(T_1124_2_2_2) AND NOT FIREABLE(T_1124_4_2_1) AND NOT FIREABLE(T_1124_3_1_1) AND NOT FIREABLE(T_1124_6_2_3) AND NOT FIREABLE(T_1124_4_3_2) AND NOT FIREABLE(T_1124_4_3_4) AND NOT FIREABLE(T_1124_5_1_3) AND NOT FIREABLE(T_1124_5_4_3) AND NOT FIREABLE(T_1124_3_2_2) AND NOT FIREABLE(T_1124_3_2_4) AND NOT FIREABLE(T_1124_2_1_3) AND NOT FIREABLE(T_1124_4_1_1) AND NOT FIREABLE(T_1124_6_1_4) AND NOT FIREABLE(T_1124_2_4_1) AND NOT FIREABLE(T_1124_3_4_4) AND NOT FIREABLE(T_1124_1_3_1) AND NOT FIREABLE(T_1124_4_2_2) AND NOT FIREABLE(T_1124_6_2_4) AND NOT FIREABLE(T_1124_1_4_2) AND NOT FIREABLE(T_1124_5_1_2) AND NOT FIREABLE(T_1124_2_2_3) AND NOT FIREABLE(T_1124_5_3_3) AND NOT FIREABLE(T_1124_5_4_1) AND NOT FIREABLE(T_1124_1_2_4) AND NOT FIREABLE(T_1124_4_4_3) AND NOT FIREABLE(T_1124_6_2_1) AND NOT FIREABLE(T_1124_6_3_2) AND NOT FIREABLE(T_1124_3_1_3) AND NOT FIREABLE(T_1124_4_1_2) AND NOT FIREABLE(T_1124_5_2_2) AND NOT FIREABLE(T_1124_6_1_1) AND NOT FIREABLE(T_1124_3_3_4) AND NOT FIREABLE(T_1124_5_1_1) AND NOT FIREABLE(T_1124_1_1_4) AND NOT FIREABLE(T_1124_6_3_4) AND NOT FIREABLE(T_1124_6_4_2) AND NOT FIREABLE(T_1124_2_3_3) AND NOT FIREABLE(T_1124_5_2_3) AND NOT FIREABLE(T_1124_3_3_1) AND NOT FIREABLE(T_1124_4_1_4) AND NOT FIREABLE(T_1124_2_3_1) AND NOT FIREABLE(T_1124_6_3_1) AND NOT FIREABLE(T_1124_6_2_2) AND NOT FIREABLE(T_1124_1_2_1) AND NOT FIREABLE(T_1124_3_4_2) AND NOT FIREABLE(T_1124_5_4_4) AND NOT FIREABLE(T_1124_5_1_4) AND NOT FIREABLE(T_1124_3_1_2) AND NOT FIREABLE(T_1124_6_1_3) AND NOT FIREABLE(T_1124_3_4_1) AND NOT FIREABLE(T_1124_4_4_2) AND NOT FIREABLE(T_1124_1_3_2) AND NOT FIREABLE(T_1124_1_1_3) AND NOT FIREABLE(T_1124_2_1_2) AND NOT FIREABLE(T_1124_1_3_4) AND NOT FIREABLE(T_1124_4_2_4) AND NOT FIREABLE(T_1124_2_1_4) AND NOT FIREABLE(T_1124_2_4_4) AND NOT FIREABLE(T_1124_1_4_3) AND NOT FIREABLE(T_1124_3_2_3) AND NOT FIREABLE(T_1124_5_4_2) AND NOT FIREABLE(T_1124_1_4_1) AND NOT FIREABLE(T_1124_4_3_3)) OR (NOT FIREABLE(T_1171_5) AND NOT FIREABLE(T_1171_4) AND NOT FIREABLE(T_1171_3) AND NOT FIREABLE(T_1171_2) AND NOT FIREABLE(T_1171_6) AND NOT FIREABLE(T_1171_1) AND NOT FIREABLE(GoCheckSource_5) AND NOT FIREABLE(GoCheckSource_6) AND NOT FIREABLE(GoCheckSource_4) AND NOT FIREABLE(GoCheckSource_3) AND NOT FIREABLE(GoCheckSource_1) AND NOT FIREABLE(GoCheckSource_2) AND (FIREABLE(T_1124_6_3_3) OR FIREABLE(T_1124_1_3_3) OR FIREABLE(T_1124_3_1_4) OR FIREABLE(T_1124_4_1_3) OR FIREABLE(T_1124_5_3_4) OR FIREABLE(T_1124_4_4_4) OR FIREABLE(T_1124_2_2_4) OR FIREABLE(T_1124_3_2_1) OR FIREABLE(T_1124_6_1_2) OR FIREABLE(T_1124_1_1_2) OR FIREABLE(T_1124_4_3_1) OR FIREABLE(T_1124_3_3_2) OR FIREABLE(T_1124_2_4_2) OR FIREABLE(T_1124_6_4_3) OR FIREABLE(T_1124_3_4_3) OR FIREABLE(T_1124_1_1_1) OR FIREABLE(T_1124_1_2_3) OR FIREABLE(T_1124_4_2_3) OR FIREABLE(T_1124_2_2_1) OR FIREABLE(T_1124_2_3_4) OR FIREABLE(T_1124_1_2_2) OR FIREABLE(T_1124_6_4_1) OR FIREABLE(T_1124_4_4_1) OR FIREABLE(T_1124_2_3_2) OR FIREABLE(T_1124_5_3_1) OR FIREABLE(T_1124_5_2_4) OR FIREABLE(T_1124_5_2_1) OR FIREABLE(T_1124_2_4_3) OR FIREABLE(T_1124_6_4_4) OR FIREABLE(T_1124_3_3_3) OR FIREABLE(T_1124_2_1_1) OR FIREABLE(T_1124_1_4_4) OR FIREABLE(T_1124_5_3_2) OR FIREABLE(T_1124_2_2_2) OR FIREABLE(T_1124_4_2_1) OR FIREABLE(T_1124_3_1_1) OR FIREABLE(T_1124_6_2_3) OR FIREABLE(T_1124_4_3_2) OR FIREABLE(T_1124_4_3_4) OR FIREABLE(T_1124_5_1_3) OR FIREABLE(T_1124_5_4_3) OR FIREABLE(T_1124_3_2_2) OR FIREABLE(T_1124_3_2_4) OR FIREABLE(T_1124_2_1_3) OR FIREABLE(T_1124_4_1_1) OR FIREABLE(T_1124_6_1_4) OR FIREABLE(T_1124_2_4_1) OR FIREABLE(T_1124_3_4_4) OR FIREABLE(T_1124_1_3_1) OR FIREABLE(T_1124_4_2_2) OR FIREABLE(T_1124_6_2_4) OR FIREABLE(T_1124_1_4_2) OR FIREABLE(T_1124_5_1_2) OR FIREABLE(T_1124_2_2_3) OR FIREABLE(T_1124_5_3_3) OR FIREABLE(T_1124_5_4_1) OR FIREABLE(T_1124_1_2_4) OR FIREABLE(T_1124_4_4_3) OR FIREABLE(T_1124_6_2_1) OR FIREABLE(T_1124_6_3_2) OR FIREABLE(T_1124_3_1_3) OR FIREABLE(T_1124_4_1_2) OR FIREABLE(T_1124_5_2_2) OR FIREABLE(T_1124_6_1_1) OR FIREABLE(T_1124_3_3_4) OR FIREABLE(T_1124_5_1_1) OR FIREABLE(T_1124_1_1_4) OR FIREABLE(T_1124_6_3_4) OR FIREABLE(T_1124_6_4_2) OR FIREABLE(T_1124_2_3_3) OR FIREABLE(T_1124_5_2_3) OR FIREABLE(T_1124_3_3_1) OR FIREABLE(T_1124_4_1_4) OR FIREABLE(T_1124_2_3_1) OR FIREABLE(T_1124_6_3_1) OR FIREABLE(T_1124_6_2_2) OR FIREABLE(T_1124_1_2_1) OR FIREABLE(T_1124_3_4_2) OR FIREABLE(T_1124_5_4_4) OR FIREABLE(T_1124_5_1_4) OR FIREABLE(T_1124_3_1_2) OR FIREABLE(T_1124_6_1_3) OR FIREABLE(T_1124_3_4_1) OR FIREABLE(T_1124_4_4_2) OR FIREABLE(T_1124_1_3_2) OR FIREABLE(T_1124_1_1_3) OR FIREABLE(T_1124_2_1_2) OR FIREABLE(T_1124_1_3_4) OR FIREABLE(T_1124_4_2_4) OR FIREABLE(T_1124_2_1_4) OR FIREABLE(T_1124_2_4_4) OR FIREABLE(T_1124_1_4_3) OR FIREABLE(T_1124_3_2_3) OR FIREABLE(T_1124_5_4_2) OR FIREABLE(T_1124_1_4_1) OR FIREABLE(T_1124_4_3_3) OR (NOT FIREABLE(T_1730_2_5) AND NOT FIREABLE(T_1730_6_5) AND NOT FIREABLE(T_1730_2_1) AND NOT FIREABLE(T_1730_2_4) AND NOT FIREABLE(T_1730_6_6) AND NOT FIREABLE(T_1730_5_2) AND NOT FIREABLE(T_1730_5_5) AND NOT FIREABLE(T_1730_3_1) AND NOT FIREABLE(T_1730_5_1) AND NOT FIREABLE(T_1730_3_5) AND NOT FIREABLE(T_1730_4_1) AND NOT FIREABLE(T_1730_6_2) AND NOT FIREABLE(T_1730_1_4) AND NOT FIREABLE(T_1730_4_6) AND NOT FIREABLE(T_1730_4_5) AND NOT FIREABLE(T_1730_3_4) AND NOT FIREABLE(T_1730_3_2) AND NOT FIREABLE(T_1730_5_6) AND NOT FIREABLE(T_1730_4_4) AND NOT FIREABLE(T_1730_4_2) AND NOT FIREABLE(T_1730_6_4) AND NOT FIREABLE(T_1730_2_2) AND NOT FIREABLE(T_1730_2_3) AND NOT FIREABLE(T_1730_5_4) AND NOT FIREABLE(T_1730_5_3) AND NOT FIREABLE(T_1730_3_6) AND NOT FIREABLE(T_1730_3_3) AND NOT FIREABLE(T_1730_1_2) AND NOT FIREABLE(T_1730_2_6) AND NOT FIREABLE(T_1730_0_1) AND NOT FIREABLE(T_1730_0_2) AND NOT FIREABLE(T_1730_0_3) AND NOT FIREABLE(T_1730_4_3) AND NOT FIREABLE(T_1730_0_4) AND NOT FIREABLE(T_1730_0_5) AND NOT FIREABLE(T_1730_1_6) AND NOT FIREABLE(T_1730_1_5) AND NOT FIREABLE(T_1730_1_1) AND NOT FIREABLE(T_1730_6_1) AND NOT FIREABLE(T_1730_1_3) AND NOT FIREABLE(T_1730_6_3) AND NOT FIREABLE(T_1730_0_6))))))) : E (F (((FIREABLE(WillPerformWork_4_3) OR FIREABLE(WillPerformWork_2_2) OR FIREABLE(WillPerformWork_0_2) OR FIREABLE(WillPerformWork_2_6) OR FIREABLE(WillPerformWork_2_4) OR FIREABLE(WillPerformWork_1_4) OR FIREABLE(WillPerformWork_1_3) OR FIREABLE(WillPerformWork_3_6) OR FIREABLE(WillPerformWork_3_3) OR FIREABLE(WillPerformWork_2_5) OR FIREABLE(WillPerformWork_3_2) OR FIREABLE(WillPerformWork_2_3) OR FIREABLE(WillPerformWork_3_1) OR FIREABLE(WillPerformWork_5_6) OR FIREABLE(WillPerformWork_5_2) OR FIREABLE(WillPerformWork_4_6) OR FIREABLE(WillPerformWork_3_5) OR FIREABLE(WillPerformWork_1_5) OR FIREABLE(WillPerformWork_4_1) OR FIREABLE(WillPerformWork_0_4) OR FIREABLE(WillPerformWork_4_2) OR FIREABLE(WillPerformWork_5_3) OR FIREABLE(WillPerformWork_0_5) OR FIREABLE(WillPerformWork_4_5) OR FIREABLE(WillPerformWork_0_3) OR FIREABLE(WillPerformWork_5_1) OR FIREABLE(WillPerformWork_6_4) OR FIREABLE(WillPerformWork_2_1) OR FIREABLE(WillPerformWork_5_5) OR FIREABLE(WillPerformWork_5_4) OR FIREABLE(WillPerformWork_6_3) OR FIREABLE(WillPerformWork_6
_2) OR FIREABLE(WillPerformWork_6_6) OR FIREABLE(WillPerformWork_1_1) OR FIREABLE(WillPerformWork_6_5) OR FIREABLE(WillPerformWork_4_4) OR FIREABLE(WillPerformWork_6_1) OR FIREABLE(WillPerformWork_0_1) OR FIREABLE(WillPerformWork_1_6) OR FIREABLE(WillPerformWork_1_2) OR FIREABLE(WillPerformWork_3_4) OR FIREABLE(WillPerformWork_0_6) OR (NOT FIREABLE(WaitforBlockedTasks_3_4) AND NOT FIREABLE(WaitforBlockedTasks_2_6) AND NOT FIREABLE(WaitforBlockedTasks_4_1) AND NOT FIREABLE(WaitforBlockedTasks_2_4) AND NOT FIREABLE(WaitforBlockedTasks_1_2) AND NOT FIREABLE(WaitforBlockedTasks_3_6) AND NOT FIREABLE(WaitforBlockedTasks_2_2) AND NOT FIREABLE(WaitforBlockedTasks_1_4) AND NOT FIREABLE(WaitforBlockedTasks_4_5) AND NOT FIREABLE(WaitforBlockedTasks_1_6) AND NOT FIREABLE(WaitforBlockedTasks_4_3) AND NOT FIREABLE(WaitforBlockedTasks_3_2) AND NOT FIREABLE(WaitforBlockedTasks_4_2) AND NOT FIREABLE(WaitforBlockedTasks_3_3) AND NOT FIREABLE(WaitforBlockedTasks_2_5) AND NOT FIREABLE(WaitforBlockedTasks_1_1) AND NOT FIREABLE(WaitforBlockedTasks_2_3) AND NOT FIREABLE(WaitforBlockedTasks_1_3) AND NOT FIREABLE(WaitforBlockedTasks_3_5) AND NOT FIREABLE(WaitforBlockedTasks_1_5) AND NOT FIREABLE(WaitforBlockedTasks_4_6) AND NOT FIREABLE(WaitforBlockedTasks_2_1) AND NOT FIREABLE(WaitforBlockedTasks_4_4) AND NOT FIREABLE(WaitforBlockedTasks_3_1))) AND (FIREABLE(T_2296_1) OR FIREABLE(T_2296_3) OR FIREABLE(T_2296_2) OR FIREABLE(T_2296_5) OR FIREABLE(T_2296_4) OR FIREABLE(T_2296_6) OR FIREABLE(T_1145_1) OR FIREABLE(T_1145_6) OR FIREABLE(T_1145_5) OR FIREABLE(T_1145_4) OR FIREABLE(T_1145_3) OR FIREABLE(T_1145_2))))) : E (F (FIREABLE(T_2280_5_6))) : A (G (((FIREABLE(T_1125_1_2_1_1) OR (NOT FIREABLE(T_1126_5_4_3_2_4) AND NOT FIREABLE(T_1115_0_1_4))) AND NOT FIREABLE(T_1126_4_4_2_2_4)))) : E (F ((FIREABLE(T_2577_4_3) OR FIREABLE(T_1126_2_3_4_3_1) OR (FIREABLE(T_1125_4_2_2_2) AND (NOT FIREABLE(T_1126_5_1_1_2_2) OR NOT FIREABLE(T_1126_4_4_1_2_4)))))) : A (G ((FIREABLE(GoPerformWork_3_1_5) OR NOT FIREABLE(T_1125_3_1_2_3)))) : E (F ((FIREABLE(T_1126_2_3_4_1_2) AND (NOT FIREABLE(T_1711_6_6) OR NOT FIREABLE(T_2285_4_1)) AND FIREABLE(T_1126_5_1_1_2_2) AND (NOT FIREABLE(T_1126_5_2_1_3_2) OR NOT FIREABLE(T_1124_4_3_2))))) : E (F (FIREABLE(T_1126_6_2_1_2_2))) : E (F (FIREABLE(T_1126_5_4_3_4_2))) : E (F (FIREABLE(T_1126_5_4_1_3_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 ((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_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 2256 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 18 literals and 6 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S04J06T06-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 35 markings, 34 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(NotifyEventJobCompleted_6) OR FIREABLE(NotifyEventJobCompleted_5) OR FIREABLE(NotifyEventJobCompleted_1) OR FIREABLE(NotifyEventJobCompleted_2) OR FIREABLE(NotifyEventJobCompleted_3) OR FIREABLE(NotifyEventJobCompleted_4) OR (NOT FIREABLE(T_1711_3_2) AND NOT FIREABLE(T_1711_2_1) AND NOT FIREABLE(T_1711_4_5) AND NOT FIREABLE(T_1711_0_6) AND NOT FIREABLE(T_1711_0_4) AND NOT FIR... (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 2256 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 780 literals and 84 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S04J06T06-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 15 markings, 14 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(NoCheck_4) OR FIREABLE(NoCheck_3) OR FIREABLE(NoCheck_2) OR FIREABLE(NoCheck_1) OR FIREABLE(NoCheck_5) OR FIREABLE(NoCheck_6) OR FIREABLE(T_1146_2) OR FIREABLE(T_1146_1) OR FIREABLE(T_1146_3) OR FIREABLE(T_1146_4) OR FIREABLE(T_1146_5) OR FIREABLE(T_1146_6) OR (NOT FIREABLE(DummyOR2_4) AND NOT FIREABLE(DummyOR2_3) AND NOT FIREABLE(DummyOR2_5) AND NOT FIREABLE(DummyOR2_6... (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 2256 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 402 literals and 54 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S04J06T06-ReachabilityFireability-2.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 51 markings, 50 edges
lola: state equation: calling and running sara
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(T_1171_5) AND NOT FIREABLE(T_1171_4) AND NOT FIREABLE(T_1171_3) AND NOT FIREABLE(T_1171_2) AND NOT FIREABLE(T_1171_6) AND NOT FIREABLE(T_1171_1) AND NOT FIREABLE(T_0376_3_3) AND NOT FIREABLE(T_0376_2_2) AND NOT FIREABLE(T_0376_1_1) AND NOT FIREABLE(T_0376_4_4) AND (FIREABLE(T_1722_4_5) OR FIREABLE(T_1722_2_1) OR FIREABLE(T_1722_4_3) OR FIREABLE(T_1722_1_6) OR FIREABLE(T_172... (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 2256 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)
sara: try reading problem file PolyORBLF-PT-S04J06T06-ReachabilityFireability-2.sara.
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
sara: place or transition ordering is non-deterministic
lola: sara not yet started (preprocessing) || 34781 markings, 36371 edges, 6956 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 70559 markings, 74772 edges, 7156 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 106254 markings, 113810 edges, 7139 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 141644 markings, 153288 edges, 7078 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 176793 markings, 192710 edges, 7030 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 211875 markings, 232535 edges, 7016 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 246647 markings, 272812 edges, 6954 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 281121 markings, 312608 edges, 6895 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 315750 markings, 353396 edges, 6926 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 349812 markings, 393184 edges, 6812 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 384247 markings, 433809 edges, 6887 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 418954 markings, 474157 edges, 6941 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 453170 markings, 514858 edges, 6843 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 487742 markings, 555875 edges, 6914 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 521941 markings, 596598 edges, 6840 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 555585 markings, 637216 edges, 6729 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 589376 markings, 677843 edges, 6758 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 621392 markings, 715885 edges, 6403 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 655103 markings, 756630 edges, 6742 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 688886 markings, 797037 edges, 6757 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 722200 markings, 837743 edges, 6663 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 755761 markings, 877899 edges, 6712 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 789314 markings, 918564 edges, 6711 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 822517 markings, 958465 edges, 6641 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 856783 markings, 999882 edges, 6853 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 890768 markings, 1040985 edges, 6797 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 924809 markings, 1082531 edges, 6808 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 958686 markings, 1123734 edges, 6775 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 992398 markings, 1164303 edges, 6742 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 1026212 markings, 1206453 edges, 6763 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 1059835 markings, 1247399 edges, 6725 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 1093733 markings, 1289485 edges, 6780 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 1127076 markings, 1330304 edges, 6669 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 1160921 markings, 1371738 edges, 6769 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1195039 markings, 1413494 edges, 6824 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1228854 markings, 1454894 edges, 6763 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1263273 markings, 1496400 edges, 6884 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1297047 markings, 1538398 edges, 6755 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1330541 markings, 1578879 edges, 6699 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1364242 markings, 1620643 edges, 6740 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1398086 markings, 1662505 edges, 6769 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1431474 markings, 1703877 edges, 6678 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1464959 markings, 1744315 edges, 6697 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1498553 markings, 1785405 edges, 6719 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1532411 markings, 1826980 edges, 6772 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1566422 markings, 1868620 edges, 6802 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1601040 markings, 1911424 edges, 6924 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1635782 markings, 1954372 edges, 6948 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1669257 markings, 1995350 edges, 6695 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1702731 markings, 2036545 edges, 6695 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 1736063 markings, 2077513 edges, 6666 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 1769325 markings, 2119022 edges, 6652 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 1803008 markings, 2161664 edges, 6737 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 1837035 markings, 2203673 edges, 6805 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(T_2294_2) OR FIREABLE(T_2294_3) OR FIREABLE(T_2294_4) OR FIREABLE(T_2294_5) OR FIREABLE(T_2294_6) OR FIREABLE(T_2294_1)) AND (FIREABLE(T_1126_2_2_4_4_4) OR FIREABLE(T_1126_4_4_4_4_3) OR FIREABLE(T_1126_5_1_2_2_4) OR FIREABLE(T_1126_4_4_3_2_2) OR FIREABLE(T_1126_2_1_1_2_4) OR FIREABLE(T_1126_4_3_3_1_2) OR FIREABLE(T_1126_6_1_3_1_4) OR FIREABLE(T_1126_3_3_3_1_2) OR FIRE... (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 2256 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: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 28948 markings, 29612 edges, 5790 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 57833 markings, 59997 edges, 5777 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 86678 markings, 90748 edges, 5769 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 115437 markings, 121934 edges, 5752 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 144154 markings, 153093 edges, 5743 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 172952 markings, 184793 edges, 5760 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 201666 markings, 216565 edges, 5743 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 230347 markings, 248466 edges, 5736 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 258998 markings, 280803 edges, 5730 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 287735 markings, 313366 edges, 5747 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 316395 markings, 346257 edges, 5732 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 345039 markings, 379356 edges, 5729 markings/sec, 55 secs
lola: sara not yet started (preprocessing) || 373620 markings, 412469 edges, 5716 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 402150 markings, 445725 edges, 5706 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 430601 markings, 479644 edges, 5690 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 459152 markings, 513287 edges, 5710 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 487723 markings, 547105 edges, 5714 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 516204 markings, 580667 edges, 5696 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 544708 markings, 614036 edges, 5701 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 573251 markings, 647507 edges, 5709 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 601669 markings, 681716 edges, 5684 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 630143 markings, 715169 edges, 5695 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 658585 markings, 749599 edges, 5688 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 687052 markings, 783365 edges, 5693 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 715578 markings, 817264 edges, 5705 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 744004 markings, 851673 edges, 5685 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 772531 markings, 886086 edges, 5705 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 801059 markings, 919832 edges, 5706 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 829456 markings, 954068 edges, 5679 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 857834 markings, 988784 edges, 5676 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 886234 markings, 1023026 edges, 5680 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 914651 markings, 1057822 edges, 5683 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 942956 markings, 1092284 edges, 5661 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 971292 markings, 1126498 edges, 5667 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 999658 markings, 1161188 edges, 5673 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1027907 markings, 1195268 edges, 5650 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1056219 markings, 1229436 edges, 5662 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1084534 markings, 1264138 edges, 5663 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1112871 markings, 1298438 edges, 5667 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1141262 markings, 1333127 edges, 5678 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1169687 markings, 1367660 edges, 5685 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1197812 markings, 1402082 edges, 5625 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1225717 markings, 1436633 edges, 5581 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1253715 markings, 1470748 edges, 5600 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1282058 markings, 1505288 edges, 5669 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1310387 markings, 1539851 edges, 5666 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1338771 markings, 1574276 edges, 5677 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1367018 markings, 1609337 edges, 5649 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1395328 markings, 1644264 edges, 5662 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1423689 markings, 1679386 edges, 5672 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 1451970 markings, 1714512 edges, 5656 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 1480227 markings, 1749530 edges, 5651 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 1508596 markings, 1784544 edges, 5674 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 1536856 markings, 1819822 edges, 5652 markings/sec, 265 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 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(T_1096_6) OR FIREABLE(T_1096_1) OR FIREABLE(T_1096_3) OR FIREABLE(T_1096_4) OR FIREABLE(T_1096_2) OR FIREABLE(T_1096_5)) AND (FIREABLE(T_1094_6) OR FIREABLE(T_1094_1) OR FIREABLE(T_1094_2) OR FIREABLE(T_1094_3) OR FIREABLE(T_1094_5) OR FIREABLE(T_1094_4)) AND (FIREABLE(WaitCompleted_4_3) OR FIREABLE(WaitCompleted_3_3) OR FIREABLE(WaitCompleted_1_6) OR FIREABLE(WaitCom... (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 2256 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 7776 literals and 864 conjunctive subformulas
lola: state equation: write sara problem file to PolyORBLF-PT-S04J06T06-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file PolyORBLF-PT-S04J06T06-ReachabilityFireability-5.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 33141 markings, 34137 edges, 6628 markings/sec, 0 secs
lola: sara is running 5 secs || 66261 markings, 68375 edges, 6624 markings/sec, 5 secs
lola: sara is running 10 secs || 99056 markings, 103049 edges, 6559 markings/sec, 10 secs
lola: sara is running 15 secs || 132040 markings, 138020 edges, 6597 markings/sec, 15 secs
lola: sara is running 20 secs || 164826 markings, 172975 edges, 6557 markings/sec, 20 secs
lola: sara is running 25 secs || 197280 markings, 207788 edges, 6491 markings/sec, 25 secs
lola: sara is running 30 secs || 229996 markings, 243488 edges, 6543 markings/sec, 30 secs
lola: sara is running 35 secs || 262667 markings, 278398 edges, 6534 markings/sec, 35 secs
lola: sara is running 40 secs || 295270 markings, 313793 edges, 6521 markings/sec, 40 secs
lola: sara is running 45 secs || 327621 markings, 349017 edges, 6470 markings/sec, 45 secs
lola: sara is running 50 secs || 359985 markings, 384817 edges, 6473 markings/sec, 50 secs
lola: sara is running 55 secs || 392520 markings, 420525 edges, 6507 markings/sec, 55 secs
lola: sara is running 60 secs || 424979 markings, 456353 edges, 6492 markings/sec, 60 secs
lola: sara is running 65 secs || 457477 markings, 492538 edges, 6500 markings/sec, 65 secs
lola: sara is running 70 secs || 489779 markings, 528269 edges, 6460 markings/sec, 70 secs
lola: sara is running 75 secs || 522114 markings, 564230 edges, 6467 markings/sec, 75 secs
lola: sara is running 80 secs || 554455 markings, 599769 edges, 6468 markings/sec, 80 secs
lola: sara is running 85 secs || 586880 markings, 635385 edges, 6485 markings/sec, 85 secs
lola: sara is running 90 secs || 619274 markings, 672033 edges, 6479 markings/sec, 90 secs
lola: sara is running 95 secs || 651592 markings, 707992 edges, 6464 markings/sec, 95 secs
lola: sara is running 100 secs || 684004 markings, 744731 edges, 6482 markings/sec, 100 secs
lola: sara is running 105 secs || 716208 markings, 781147 edges, 6441 markings/sec, 105 secs
lola: sara is running 110 secs || 748466 markings, 816981 edges, 6452 markings/sec, 110 secs
lola: sara is running 115 secs || 780714 markings, 853066 edges, 6450 markings/sec, 115 secs
lola: sara is running 120 secs || 812868 markings, 888667 edges, 6431 markings/sec, 120 secs
lola: sara is running 125 secs || 845224 markings, 925245 edges, 6471 markings/sec, 125 secs
lola: sara is running 130 secs || 877523 markings, 961535 edges, 6460 markings/sec, 130 secs
lola: sara is running 135 secs || 910007 markings, 998828 edges, 6497 markings/sec, 135 secs
lola: sara is running 140 secs || 942098 markings, 1036153 edges, 6418 markings/sec, 140 secs
lola: sara is running 145 secs || 974448 markings, 1073620 edges, 6470 markings/sec, 145 secs
lola: sara is running 150 secs || 1006575 markings, 1110709 edges, 6425 markings/sec, 150 secs
lola: sara is running 155 secs || 1038756 markings, 1147870 edges, 6436 markings/sec, 155 secs
lola: sara is running 160 secs || 1070996 markings, 1185112 edges, 6448 markings/sec, 160 secs
lola: sara is running 165 secs || 1103363 markings, 1222399 edges, 6473 markings/sec, 165 secs
lola: sara is running 170 secs || 1135308 markings, 1259566 edges, 6389 markings/sec, 170 secs
lola: sara is running 175 secs || 1167722 markings, 1297062 edges, 6483 markings/sec, 175 secs
lola: sara is running 180 secs || 1200006 markings, 1334803 edges, 6457 markings/sec, 180 secs
lola: sara is running 185 secs || 1232340 markings, 1371805 edges, 6467 markings/sec, 185 secs
lola: sara is running 190 secs || 1264567 markings, 1409000 edges, 6445 markings/sec, 190 secs
lola: sara is running 195 secs || 1296866 markings, 1446428 edges, 6460 markings/sec, 195 secs
lola: sara is running 200 secs || 1329064 markings, 1483886 edges, 6440 markings/sec, 200 secs
lola: sara is running 205 secs || 1361317 markings, 1520370 edges, 6451 markings/sec, 205 secs
lola: sara is running 210 secs || 1393722 markings, 1557737 edges, 6481 markings/sec, 210 secs
lola: sara is running 215 secs || 1426316 markings, 1595072 edges, 6519 markings/sec, 215 secs
lola: sara is running 220 secs || 1458440 markings, 1632220 edges, 6425 markings/sec, 220 secs
lola: sara is running 225 secs || 1490993 markings, 1669432 edges, 6511 markings/sec, 225 secs
lola: sara is running 230 secs || 1523176 markings, 1707469 edges, 6437 markings/sec, 230 secs
lola: sara is running 235 secs || 1555239 markings, 1745006 edges, 6413 markings/sec, 235 secs
lola: sara is running 240 secs || 1584250 markings, 1778683 edges, 5802 markings/sec, 240 secs
lola: sara is running 245 secs || 1613298 markings, 1812140 edges, 5810 markings/sec, 245 secs
lola: sara is running 250 secs || 1643780 markings, 1848256 edges, 6096 markings/sec, 250 secs
lola: sara is running 255 secs || 1675699 markings, 1885578 edges, 6384 markings/sec, 255 secs
lola: sara is running 260 secs || 1707687 markings, 1923138 edges, 6398 markings/sec, 260 secs
lola: sara is running 265 secs || 1739649 markings, 1960110 edges, 6392 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(T_1124_6_3_3) AND NOT FIREABLE(T_1124_1_3_3) AND NOT FIREABLE(T_1124_3_1_4) AND NOT FIREABLE(T_1124_4_1_3) AND NOT FIREABLE(T_1124_5_3_4) AND NOT FIREABLE(T_1124_4_4_4) AND NOT FIREABLE(T_1124_2_2_4) AND NOT FIREABLE(T_1124_3_2_1) AND NOT FIREABLE(T_1124_6_1_2) AND NOT FIREABLE(T_1124_1_1_2) AND NOT FIREABLE(T_1124_4_3_1) AND NOT FIREABLE(T_1124_3_3_2) AND NOT 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 2256 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) || 27872 markings, 29757 edges, 5574 markings/sec, 0 secs
lola: sara not yet started (preprocessing) || 57397 markings, 62989 edges, 5905 markings/sec, 5 secs
lola: sara not yet started (preprocessing) || 86823 markings, 96646 edges, 5885 markings/sec, 10 secs
lola: sara not yet started (preprocessing) || 116523 markings, 131125 edges, 5940 markings/sec, 15 secs
lola: sara not yet started (preprocessing) || 146076 markings, 165381 edges, 5911 markings/sec, 20 secs
lola: sara not yet started (preprocessing) || 175687 markings, 200775 edges, 5922 markings/sec, 25 secs
lola: sara not yet started (preprocessing) || 205174 markings, 235480 edges, 5897 markings/sec, 30 secs
lola: sara not yet started (preprocessing) || 234530 markings, 270020 edges, 5871 markings/sec, 35 secs
lola: sara not yet started (preprocessing) || 262819 markings, 303550 edges, 5658 markings/sec, 40 secs
lola: sara not yet started (preprocessing) || 291985 markings, 338836 edges, 5833 markings/sec, 45 secs
lola: sara not yet started (preprocessing) || 321297 markings, 374626 edges, 5862 markings/sec, 50 secs
lola: sara not yet started (preprocessing) || 350513 markings, 410255 edges, 5843 markings/sec, 55 secs
lola: state equation: Could not create input for sara: DNF too long or DEADLOCK predicate contained
lola: sara not yet started (preprocessing) || 379860 markings, 446653 edges, 5869 markings/sec, 60 secs
lola: sara not yet started (preprocessing) || 409519 markings, 482985 edges, 5932 markings/sec, 65 secs
lola: sara not yet started (preprocessing) || 439062 markings, 519104 edges, 5909 markings/sec, 70 secs
lola: sara not yet started (preprocessing) || 468624 markings, 555229 edges, 5912 markings/sec, 75 secs
lola: sara not yet started (preprocessing) || 498256 markings, 590785 edges, 5926 markings/sec, 80 secs
lola: sara not yet started (preprocessing) || 527925 markings, 626543 edges, 5934 markings/sec, 85 secs
lola: sara not yet started (preprocessing) || 557376 markings, 662848 edges, 5890 markings/sec, 90 secs
lola: sara not yet started (preprocessing) || 586799 markings, 699225 edges, 5885 markings/sec, 95 secs
lola: sara not yet started (preprocessing) || 616223 markings, 735885 edges, 5885 markings/sec, 100 secs
lola: sara not yet started (preprocessing) || 645780 markings, 772100 edges, 5911 markings/sec, 105 secs
lola: sara not yet started (preprocessing) || 675072 markings, 808267 edges, 5858 markings/sec, 110 secs
lola: sara not yet started (preprocessing) || 704505 markings, 845332 edges, 5887 markings/sec, 115 secs
lola: sara not yet started (preprocessing) || 733879 markings, 881706 edges, 5875 markings/sec, 120 secs
lola: sara not yet started (preprocessing) || 763395 markings, 918258 edges, 5903 markings/sec, 125 secs
lola: sara not yet started (preprocessing) || 792876 markings, 955421 edges, 5896 markings/sec, 130 secs
lola: sara not yet started (preprocessing) || 821992 markings, 992322 edges, 5823 markings/sec, 135 secs
lola: sara not yet started (preprocessing) || 850992 markings, 1029318 edges, 5800 markings/sec, 140 secs
lola: sara not yet started (preprocessing) || 879158 markings, 1065733 edges, 5633 markings/sec, 145 secs
lola: sara not yet started (preprocessing) || 907185 markings, 1100101 edges, 5605 markings/sec, 150 secs
lola: sara not yet started (preprocessing) || 935226 markings, 1135876 edges, 5608 markings/sec, 155 secs
lola: sara not yet started (preprocessing) || 963986 markings, 1172182 edges, 5752 markings/sec, 160 secs
lola: sara not yet started (preprocessing) || 993361 markings, 1208884 edges, 5875 markings/sec, 165 secs
lola: sara not yet started (preprocessing) || 1022655 markings, 1246620 edges, 5859 markings/sec, 170 secs
lola: sara not yet started (preprocessing) || 1051945 markings, 1283450 edges, 5858 markings/sec, 175 secs
lola: sara not yet started (preprocessing) || 1081403 markings, 1320205 edges, 5892 markings/sec, 180 secs
lola: sara not yet started (preprocessing) || 1110648 markings, 1357353 edges, 5849 markings/sec, 185 secs
lola: sara not yet started (preprocessing) || 1140040 markings, 1394321 edges, 5878 markings/sec, 190 secs
lola: sara not yet started (preprocessing) || 1169315 markings, 1431333 edges, 5855 markings/sec, 195 secs
lola: sara not yet started (preprocessing) || 1198555 markings, 1467935 edges, 5848 markings/sec, 200 secs
lola: sara not yet started (preprocessing) || 1227939 markings, 1504574 edges, 5877 markings/sec, 205 secs
lola: sara not yet started (preprocessing) || 1257285 markings, 1542476 edges, 5869 markings/sec, 210 secs
lola: sara not yet started (preprocessing) || 1286582 markings, 1578963 edges, 5859 markings/sec, 215 secs
lola: sara not yet started (preprocessing) || 1315898 markings, 1615919 edges, 5863 markings/sec, 220 secs
lola: sara not yet started (preprocessing) || 1345184 markings, 1652994 edges, 5857 markings/sec, 225 secs
lola: sara not yet started (preprocessing) || 1374386 markings, 1690329 edges, 5840 markings/sec, 230 secs
lola: sara not yet started (preprocessing) || 1403564 markings, 1727819 edges, 5836 markings/sec, 235 secs
lola: sara not yet started (preprocessing) || 1432700 markings, 1764961 edges, 5827 markings/sec, 240 secs
lola: sara not yet started (preprocessing) || 1461937 markings, 1802686 edges, 5847 markings/sec, 245 secs
lola: sara not yet started (preprocessing) || 1490164 markings, 1839240 edges, 5645 markings/sec, 250 secs
lola: sara not yet started (preprocessing) || 1518309 markings, 1874192 edges, 5629 markings/sec, 255 secs
lola: sara not yet started (preprocessing) || 1544356 markings, 1908574 edges, 5209 markings/sec, 260 secs
lola: sara not yet started (preprocessing) || 1573177 markings, 1945370 edges, 5764 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '\ufffd'
Aborted (core dumped)
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA PolyORBLF-PT-S04J06T06-ReachabilityFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- 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-S04J06T06"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="irma4mcc-structural"
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-S04J06T06.tgz
mv PolyORBLF-PT-S04J06T06 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-structural"
echo " Input is PolyORBLF-PT-S04J06T06, 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 r127-smll-152673529200203"
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 ;