About the Execution of LoLA for SafeBus-PT-10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5394.010 | 3570606.00 | 3656655.00 | 7836.70 | T?F?????TFT?FTFT | normal |
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 2.4M
-rw-r--r-- 1 mcc users 7.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 62K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 209K 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 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 342 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 60K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 193K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.5K 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 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 1.7M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is SafeBus-PT-10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-smll-152685547200242
=====================================================================
--------------------
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 SafeBus-PT-10-CTLFireability-00
FORMULA_NAME SafeBus-PT-10-CTLFireability-01
FORMULA_NAME SafeBus-PT-10-CTLFireability-02
FORMULA_NAME SafeBus-PT-10-CTLFireability-03
FORMULA_NAME SafeBus-PT-10-CTLFireability-04
FORMULA_NAME SafeBus-PT-10-CTLFireability-05
FORMULA_NAME SafeBus-PT-10-CTLFireability-06
FORMULA_NAME SafeBus-PT-10-CTLFireability-07
FORMULA_NAME SafeBus-PT-10-CTLFireability-08
FORMULA_NAME SafeBus-PT-10-CTLFireability-09
FORMULA_NAME SafeBus-PT-10-CTLFireability-10
FORMULA_NAME SafeBus-PT-10-CTLFireability-11
FORMULA_NAME SafeBus-PT-10-CTLFireability-12
FORMULA_NAME SafeBus-PT-10-CTLFireability-13
FORMULA_NAME SafeBus-PT-10-CTLFireability-14
FORMULA_NAME SafeBus-PT-10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1527030415122
info: Time: 3600 - MCC
===========================================================================================
prep: translating SafeBus-PT-10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating SafeBus-PT-10 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ SafeBus-PT-10 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1947/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: Size of bit vector: 10112
lola: finding significant places
lola: 316 places, 1631 transitions, 261 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 983 transition conflict sets
lola: TASK
lola: reading formula from SafeBus-PT-10-CTLFireability.task
lola: NOT(A (F (FIREABLE(loss_a)))) : E (F ((A (X ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(I_emit_7_7_2) OR FIREABLE(I_emit_8_8_2) OR FIREABLE(I_emit_9_9_2) OR FIREABLE(I_emit_10_10_2) OR FIREABLE(I_emit_1_1_3) OR FIREABLE(I_emit_2_2_3) OR FIREABLE(I_emit_4_4_3) OR FIREABLE(I_emit_5_5_3) OR FIREABLE(I_emit_6_6_3) OR FIREABLE(I_emit_7_7_3) OR FIREABLE(I_emit_8_8_3) OR FIREABLE(I_emit_9_9_3) OR FIREABLE(I_emit_10_10_3) OR FIREABLE(I_emit_1_1_4) OR FIREABLE(I_emit_2_2_4) OR FIREABLE(I_emit_3_3_4) OR FIREABLE(I_emit_5_5_4) OR FIREABLE(I_emit_6_6_4) OR FIREABLE(I_emit_7_7_4) OR FIREABLE(I_emit_8_8_4) OR FIREABLE(I_emit_9_9_4) OR FIREABLE(I_emit_10_10_4) OR FIREABLE(I_emit_1_1_5) OR FIREABLE(I_emit_2_2_5) OR FIREABLE(I_emit_3_3_5) OR FIREABLE(I_emit_4_4_5) OR FIREABLE(I_emit_6_6_5) OR FIREABLE(I_emit_7_7_5) OR FIREABLE(I_emit_8_8_5) OR FIREABLE(I_emit_9_9_5) OR FIREABLE(I_emit_10_10_5) OR FIREABLE(I_emit_1_1_6) OR FIREABLE(I_emit_2_2_6) OR FIREABLE(I_emit_3_3_6) OR FIREABLE(I_emit_4_4_6) OR FIREABLE(I_emit_5_5_6) OR FIREABLE(I_emit_7_7_6) OR FIREABLE(I_emit_8_8_6) OR FIREABLE(I_emit_9_9_6) OR FIREABLE(I_emit_10_10_6) OR FIREABLE(I_emit_1_1_7) OR FIREABLE(I_emit_2_2_7) OR FIREABLE(I_emit_3_3_7) OR FIREABLE(I_emit_4_4_7) OR FIREABLE(I_emit_5_5_7) OR FIREABLE(I_emit_6_6_7) OR FIREABLE(I_emit_8_8_7) OR FIREABLE(I_emit_9_9_7) OR FIREABLE(I_emit_10_10_7) OR FIREABLE(I_emit_1_1_8) OR FIREABLE(I_emit_2_2_8) OR FIREABLE(I_emit_3_3_8) OR FIREABLE(I_emit_4_4_8) OR FIREABLE(I_emit_5_5_8) OR FIREABLE(I_emit_6_6_8) OR FIREABLE(I_emit_7_7_8) OR FIREABLE(I_emit_9_9_8) OR FIREABLE(I_emit_10_10_8) OR FIREABLE(I_emit_1_1_9) OR FIREABLE(I_emit_2_2_9) OR FIREABLE(I_emit_3_3_9) OR FIREABLE(I_emit_4_4_9) OR FIREABLE(I_emit_5_5_9) OR FIREABLE(I_emit_6_6_9) OR FIREABLE(I_emit_7_7_9) OR FIREABLE(I_emit_8_8_9) OR FIREABLE(I_emit_10_10_9) OR FIREABLE(I_emit_1_1_10) OR FIREABLE(I_emit_2_2_10) OR FIREABLE(I_emit_3_3_10) OR FIREABLE(I_emit_4_4_10) OR FIREABLE(I_emit_5_5_10) OR FIREABLE(I_emit_6_6_10) OR FIREABLE(I_emit_7_7_10) OR FIREABLE(I_emit_8_8_10) OR FIREABLE(I_emit_9_9_10)))) AND NOT(E (X ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(I_emit_7_7_2) OR FIREABLE(I_emit_8_8_2) OR FIREABLE(I_emit_9_9_2) OR FIREABLE(I_emit_10_10_2) OR FIREABLE(I_emit_1_1_3) OR FIREABLE(I_emit_2_2_3) OR FIREABLE(I_emit_4_4_3) OR FIREABLE(I_emit_5_5_3) OR FIREABLE(I_emit_6_6_3) OR FIREABLE(I_emit_7_7_3) OR FIREABLE(I_emit_8_8_3) OR FIREABLE(I_emit_9_9_3) OR FIREABLE(I_emit_10_10_3) OR FIREABLE(I_emit_1_1_4) OR FIREABLE(I_emit_2_2_4) OR FIREABLE(I_emit_3_3_4) OR FIREABLE(I_emit_5_5_4) OR FIREABLE(I_emit_6_6_4) OR FIREABLE(I_emit_7_7_4) OR FIREABLE(I_emit_8_8_4) OR FIREABLE(I_emit_9_9_4) OR FIREABLE(I_emit_10_10_4) OR FIREABLE(I_emit_1_1_5) OR FIREABLE(I_emit_2_2_5) OR FIREABLE(I_emit_3_3_5) OR FIREABLE(I_emit_4_4_5) OR FIREABLE(I_emit_6_6_5) OR FIREABLE(I_emit_7_7_5) OR FIREABLE(I_emit_8_8_5) OR FIREABLE(I_emit_9_9_5) OR FIREABLE(I_emit_10_10_5) OR FIREABLE(I_emit_1_1_6) OR FIREABLE(I_emit_2_2_6) OR FIREABLE(I_emit_3_3_6) OR FIREABLE(I_emit_4_4_6) OR FIREABLE(I_emit_5_5_6) OR FIREABLE(I_emit_7_7_6) OR FIREABLE(I_emit_8_8_6) OR FIREABLE(I_emit_9_9_6) OR FIREABLE(I_emit_10_10_6) OR FIREABLE(I_emit_1_1_7) OR FIREABLE(I_emit_2_2_7) OR FIREABLE(I_emit_3_3_7) OR FIREABLE(I_emit_4_4_7) OR FIREABLE(I_emit_5_5_7) OR FIREABLE(I_emit_6_6_7) OR FIREABLE(I_emit_8_8_7) OR FIREABLE(I_emit_9_9_7) OR FIREABLE(I_emit_10_10_7) OR FIREABLE(I_emit_1_1_8) OR FIREABLE(I_emit_2_2_8) OR FIREABLE(I_emit_3_3_8) OR FIREABLE(I_emit_4_4_8) OR FIREABLE(I_emit_5_5_8) OR FIREABLE(I_emit_6_6_8) OR FIREABLE(I_emit_7_7_8) OR FIREABLE(I_emit_9_9_8) OR FIREABLE(I_emit_10_10_8) OR FIREABLE(I_emit_1_1_9) OR FIREABLE(I_emit_2_2_9) OR FIREABLE(I_emit_3_3_9) OR FIREABLE(I_emit_4_4_9) OR FIREABLE(I_emit_5_5_9) OR FIREABLE(I_emit_6_6_9) OR FIREABLE(I_emit_7_7_9) OR FIREABLE(I_emit_8_8_9) OR FIREABLE(I_emit_10_10_9) OR FIREABLE(I_emit_1_1_10) OR FIREABLE(I_emit_2_2_10) OR FIREABLE(I_emit_3_3_10) OR FIREABLE(I_emit_4_4_10) OR FIREABLE(I_emit_5_5_10) OR FIREABLE(I_emit_6_6_10) OR FIREABLE(I_emit_7_7_10) OR FIREABLE(I_emit_8_8_10) OR FIREABLE(I_emit_9_9_10)))))))) : (E (X (A (((FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10)) U (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6_6) OR FIREABLE(I_rec1_7_7) OR FIREABLE(I_rec1_8_8) OR FIREABLE(I_rec1_9_9) OR FIREABLE(I_rec1_10_10)))))) OR A (F (((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(I_emit_7_7_2) OR FIREABLE(I_emit_8_8_2) OR FIREABLE(I_emit_9_9_2) OR FIREABLE(I_emit_10_10_2) OR FIREABLE(I_emit_1_1_3) OR FIREABLE(I_emit_2_2_3) OR FIREABLE(I_emit_4_4_3) OR FIREABLE(I_emit_5_5_3) OR FIREABLE(I_emit_6_6_3) OR FIREABLE(I_emit_7_7_3) OR FIREABLE(I_emit_8_8_3) OR FIREABLE(I_emit_9_9_3) OR FIREABLE(I_emit_10_10_3) OR FIREABLE(I_emit_1_1_4) OR FIREABLE(I_emit_2_2_4) OR FIREABLE(I_emit_3_3_4) OR FIREABLE(I_emit_5_5_4) OR FIREABLE(I_emit_6_6_4) OR FIREABLE(I_emit_7_7_4) OR FIREABLE(I_emit_8_8_4) OR FIREABLE(I_emit_9_9_4) OR FIREABLE(I_emit_10_10_4) OR FIREABLE(I_emit_1_1_5) OR FIREABLE(I_emit_2_2_5) OR FIREABLE(I_emit_3_3_5) OR FIREABLE(I_emit_4_4_5) OR FIREABLE(I_emit_6_6_5) OR FIREABLE(I_emit_7_7_5) OR FIREABLE(I_emit_8_8_5) OR FIREABLE(I_emit_9_9_5) OR FIREABLE(I_emit_10_10_5) OR FIREABLE(I_emit_1_1_6) OR FIREABLE(I_emit_2_2_6) OR FIREABLE(I_emit_3_3_6) OR FIREABLE(I_emit_4_4_6) OR FIREABLE(I_emit_5_5_6) OR FIREABLE(I_emit_7_7_6) OR FIREABLE(I_emit_8_8_6) OR FIREABLE(I_emit_9_9_6) OR FIREABLE(I_emit_10_10_6) OR FIREABLE(I_emit_1_1_7) OR FIREABLE(I_emit_2_2_7) OR FIREABLE(I_emit_3_3_7) OR FIREABLE(I_emit_4_4_7) OR FIREABLE(I_emit_5_5_7) OR FIREABLE(I_emit_6_6_7) OR FIREABLE(I_emit_8_8_7) OR FIREABLE(I_emit_9_9_7) OR FIREABLE(I_emit_10_10_7) OR FIREABLE(I_emit_1_1_8) OR FIREABLE(I_emit_2_2_8) OR FIREABLE(I_emit_3_3_8) OR FIREABLE(I_emit_4_4_8) OR FIREABLE(I_emit_5_5_8) OR FIREABLE(I_emit_6_6_8) OR FIREABLE(I_emit_7_7_8) OR FIREABLE(I_emit_9_9_8) OR FIREABLE(I_emit_10_10_8) OR FIREABLE(I_emit_1_1_9) OR FIREABLE(I_emit_2_2_9) OR FIREABLE(I_emit_3_3_9) OR FIREABLE(I_emit_4_4_9) OR FIREABLE(I_emit_5_5_9) OR FIREABLE(I_emit_6_6_9) OR FIREABLE(I_emit_7_7_9) OR FIREABLE(I_emit_8_8_9) OR FIREABLE(I_emit_10_10_9) OR FIREABLE(I_emit_1_1_10) OR FIREABLE(I_emit_2_2_10) OR FIREABLE(I_emit_3_3_10) OR FIREABLE(I_emit_4_4_10) OR FIREABLE(I_emit_5_5_10) OR FIREABLE(I_emit_6_6_10) OR FIREABLE(I_emit_7_7_10) OR FIREABLE(I_emit_8_8_10) OR FIREABLE(I_emit_9_9_10)) AND A (X ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(I_emit_7_7_2) OR FIREABLE(I_emit_8_8_2) OR FIREABLE(I_emit_9_9_2) OR FIREABLE(I_emit_10_10_2) OR FIREABLE(I_emit_1_1_3) OR FIREABLE(I_emit_2_2_3) OR FIREABLE(I_emit_4_4_3) OR FIREABLE(I_emit_5_5_3) OR FIREABLE(I_emit_6_6_3) OR FIREABLE(I_emit_7_7_3) OR FIREABLE(I_emit_8_8_3) OR FIREABLE(I_emit_9_9_3) OR FIREABLE(I_emit_10_10_3) OR FIREABLE(I_emit_1_1_4) OR FIREABLE(I_emit_2_2_4) OR FIREABLE(I_emit_3_3_4) OR FIREABLE(I_emit_5_5_4) OR FIREABLE(I_emit_6_6_4) OR FIREABLE(I_emit_7_7_4) OR FIREABLE(I_emit_8_8_4) OR FIREABLE(I_emit_9_9_4) OR FIREABLE(I_emit_10_10_4) OR FIREABLE(I_emit_1_1_5) OR FIREABLE(I_emit_2_2_5) OR FIREABLE(I_emit_3_3_5) OR FIREABLE(I_emit_4_4_5) OR FIREABLE(I_emit_6_6_5) OR FIREABLE(I_emit_7_7_5) OR FIREABLE(I_emit_8_8_5) OR FIREABLE(I_emit_9_9_5) OR FIREABLE(I_emit_10_10_5) OR FIREABLE(I_emit_1_1_6) OR FIREABLE(I_emit_2_2_6) OR FIREABLE(I_emit_3_3_6) OR FIREABLE(I_emit_4_4_6) OR FIREABLE(I_emit_5_5_6) OR FIREABLE(I_emit_7_7_6) OR FIREABLE(I_emit_8_8_6) OR FIREABLE(I_emit_9_9_6) OR FIREABLE(I_emit_10_10_6) OR FIREABLE(I_emit_1_1_7) OR FIREABLE(I_emit_2_2_7) OR FIREABLE(I_emit_3_3_7) OR FIREABLE(I_emit_4_4_7) OR FIREABLE(I_emit_5_5_7) OR FIREABLE(I_emit_6_6_7) OR FIREABLE(I_emit_8_8_7) OR FIREABLE(I_emit_9_9_7) OR FIREABLE(I_emit_10_10_7) OR FIREABLE(I_emit_1_1_8) OR FIREABLE(I_emit_2_2_8) OR FIREABLE(I_emit_3_3_8) OR FIREABLE(I_emit_4_4_8) OR FIREABLE(I_emit_5_5_8) OR FIREABLE(I_emit_6_6_8) OR FIREABLE(I_emit_7_7_8) OR FIREABLE(I_emit_9_9_8) OR FIREABLE(I_emit_10_10_8) OR FIREABLE(I_emit_1_1_9) OR FIREABLE(I_emit_2_2_9) OR FIREABLE(I_emit_3_3_9) OR FIREABLE(I_emit_4_4_9) OR FIREABLE(I_emit_5_5_9) OR FIREABLE(I_emit_6_6_9) OR FIREABLE(I_emit_7_7_9) OR FIREABLE(I_emit_8_8_9) OR FIREABLE(I_emit_10_10_9) OR FIREABLE(I_emit_1_1_10) OR FIREABLE(I_emit_2_2_10) OR FIREABLE(I_emit_3_3_10) OR FIREABLE(I_emit_4_4_10) OR FIREABLE(I_emit_5_5_10) OR FIREABLE(I_emit_6_6_10) OR FIREABLE(I_emit_7_7_10) OR FIREABLE(I_emit_8_8_10) OR FIREABLE(I_emit_9_9_10)))))))) : A (G ((E (F ((FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6_6) OR FIREABLE(I_rec1_7_7) OR FIREABLE(I_rec1_8_8) OR FIREABLE(I_rec1_9_9) OR FIREABLE(I_rec1_10_10) OR FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10)))) OR (FIREABLE(loss_m_1) OR FIREABLE(loss_m_2) OR FIREABLE(loss_m_3) OR FIREABLE(loss_m_4) OR FIREABLE(loss_m_5) OR FIREABLE(loss_m_6) OR FIREABLE(loss_m_7) OR FIREABLE(loss_m_8) OR FIREABLE(loss_m_9) OR FIREABLE(loss_m_10))))) : ((NOT(A (((FIREABLE(C_refuse_1_1_1_1) OR FIREABLE(C_refuse_2_1_1_1) OR FIREABLE(C_refuse_3_1_1_1) OR FIREABLE(C_refuse_4_1_1_1) OR FIREABLE(C_refuse_5_1_1_1) OR FIREABLE(C_refuse_6_1_1_1) OR FIREABLE(C_refuse_7_1_1_1) OR FIREABLE(C_refuse_8_1_1_1) OR FIREABLE(C_refuse_9_1_1_1) OR FIREABLE(C_refuse_10_1_1_1) OR FIREABLE(C_refuse_1_2_1_1) OR FIREABLE(C_refuse_2_2_1_1) OR FIREABLE(C_refuse_3_2_1_1) OR FIREABLE(C_refuse_4_2_1_1) OR FIREABLE(C_refuse_5_2_1_1) OR FIREABLE(C_refuse_6_2_1_1) OR FIREABLE(C_refuse_7_2_1_1) OR FIREABLE(C_refuse_8_2_1_1) OR FIREABLE(C_refuse_9_2_1_1) OR FIREABLE(C_refuse_10_2_1_1) OR FIREABLE(C_refuse_1_3_1_1) OR FIREABLE(C_refuse_2_3_1_1) OR FIREABLE(C_refuse_3_3_1_1) OR FIREABLE(C_refuse_4_3_1_1) OR FIREABLE(C_refuse_5_3_1_1) OR FIREABLE(C_refuse_6_3_1_1) OR FIREABLE(C_refuse_7_3_1_1) OR FIREABLE(C_refuse_8_3_1_1) OR FIREABLE(C_refuse_9_3_1_1) OR FIREABLE(C_refuse_10_3_1_1) OR FIREABLE(C_refuse_1_4_1_1) OR FIREABLE(C_refuse_2_4_1_1) OR FIREABLE(C_refuse_3_4_1_1) OR FIREABLE(C_refuse_4_4_1_1) OR FIREABLE(C_refuse_5_4_1_1) OR FIREABLE(C_refuse_6_4_1_1) OR FIREABLE(C_refuse_7_4_1_1) OR FIREABLE(C_refuse_8_4_1_1) OR FIREABLE(C_refuse_9_4_1_1) OR FIREABLE(C_refuse_10_4_1_1) OR FIREABLE(C_refuse_1_5_1_1) OR FIREABLE(C_refuse_2_5_1_1) OR FIREABLE(C_refuse_3_5_1_1) OR FIREABLE(C_refuse_4_5_1_1) OR FIREABLE(C_refuse_5_5_1_1) OR FIREABLE(C_refuse_6_5_1_1) OR FIREABLE(C_refuse_7_5_1_1) OR FIREABLE(C_refuse_8_5_1_1) OR FIREABLE(C_refuse_9_5_1_1) OR FIREABLE(C_refuse_10_5_1_1) OR FIREABLE(C_refuse_1_6_1_1) OR FIREABLE(C_refuse_2_6_1_1) OR FIREABLE(C_refuse_3_6_1_1) OR FIREABLE(C_refuse_4_6_1_1) OR FIREABLE(C_refuse_5_6_1_1) OR FIREABLE(C_refuse_6_6_1_1) OR FIREABLE(C_refuse_7_6_1_1) OR FIREABLE(C_refuse_8_6_1_1) OR FIREABLE(C_refuse_9_6_1_1) OR FIREABLE(C_refuse_10_6_1_1) OR FIREABLE(C_refuse_1_7_1_1) OR FIREABLE(C_refuse_2_7_1_1) OR FIREABLE(C_refuse_3_7_1_1) OR FIREABLE(C_refuse_4_7_1_1) OR FIREABLE(C_refuse_5_7_1_1) OR FIREABLE(C_refuse_6_7_1_1) OR FIREABLE(C_refuse_7_7_1_1) OR FIREABLE(C_refuse_8_7_1_1) OR FIREABLE(C_refuse_9_7_1_1) OR FIREABLE(C_refuse_10_7_1_1) OR FIREABLE(C_refuse_1_8_1_1) OR FIREABLE(C_refuse_2_8_1_1) OR FIREABLE(C_refuse_3_8_1_1) OR FIREABLE(C_refuse_4_8_1_1) OR FIREABLE(C_refuse_5_8_1_1) OR FIREABLE(C_refuse_6_8_1_1) OR FIREABLE(C_refuse_7_8_1_1) OR FIREABLE(C_refuse_8_8_1_1) OR FIREABLE(C_refuse_9_8_1_1) OR FIREABLE(C_refuse_10_8_1_1) OR FIREABLE(C_refuse_1_9_1_1) OR FIREABLE(C_refuse_2_9_1_1) OR FIREABLE(C_refuse_3_9_1_1) OR FIREABLE(C_refuse_4_9_1_1) OR FIREABLE(C_refuse_5_9_1_1) OR FIREABLE(C_refuse_6_9_1_1) OR FIREABLE(C_refuse_7_9_1_1) OR FIREABLE(C_refuse_8_9_1_1) OR FIREABLE(C_refuse_9_9_1_1) OR FIREABLE(C_refuse_10_9_1_1) OR FIREABLE(C_refuse_1_10_1_1) OR FIREABLE(C_refuse_2_10_1_1) OR FIREABLE(C_refuse_3_10_1_1) OR FIREABLE(C_refuse_4_10_1_1) OR FIREABLE(C_refuse_5_10_1_1) OR FIREABLE(C_refuse_6_10_1_1) OR FIREABLE(C_refuse_7_10_1_1) OR FIREABLE(C_refuse_8_10_1_1) OR FIREABLE(C_refuse_9_10_1_1) OR FIREABLE(C_refuse_10_10_1_1) OR FIREABLE(C_refuse_1_1_2_2) OR FIREABLE(C_refuse_2_1_2_2) OR FIREABLE(C_refuse_3_1_2_2) OR FIREABLE(C_refuse_4_1_2_2) OR FIREABLE(C_refuse_5_1_2_2) OR FIREABLE(C_refuse_6_1_2_2) OR FIREABLE(C_refuse_7_1_2_2) OR FIREABLE(C_refuse_8_1_2_2) OR FIREABLE(C_refuse_9_1_2_2) OR FIREABLE(C_refuse_10_1_2_2) OR FIREABLE(C_refuse_1_2_2_2) OR FIREABLE(C_refuse_2_2_2_2) OR FIREABLE(C_refuse_3_2_2_2) OR FIREABLE(C_refuse_4_2_2_2) OR FIREABLE(C_refuse_5_2_2_2) OR FIREABLE(C_refuse_6_2_2_2) OR FIREABLE(C_refuse_7_2_2_2) OR FIREABLE(C_refuse_8_2_2_2) OR FIREABLE(C_refuse_9_2_2_2) OR FIREABLE(C_refuse_10_2_2_2) OR FIREABLE(C_refuse_1_3_2_2) OR FIREABLE(C_refuse_2_3_2_2) OR FIREABLE(C_refuse_3_3_2_2) OR FIREABLE(C_refuse_4_3_2_2) OR FIREABLE(C_refuse_5_3_2_2) OR FIREABLE(C_refuse_6_3_2_2) OR FIREABLE(C_refuse_7_3_2_2) OR FIREABLE(C_refuse_8_3_2_2) OR FIREABLE(C_refuse_9_3_2_2) OR FIREABLE(C_refuse_10_3_2_2) OR FIREABLE(C_refuse_1_4_2_2) OR FIREABLE(C_refuse_2_4_2_2) OR FIREABLE(C_refuse_3_4_2_2) OR FIREABLE(C_refuse_4_4_2_2) OR FIREABLE(C_refuse_5_4_2_2) OR FIREABLE(C_refuse_6_4_2_2) OR FIREABLE(C_refuse_7_4_2_2) OR FIREABLE(C_refuse_8_4_2_2) OR FIREABLE(C_refuse_9_4_2_2) OR FIREABLE(C_refuse_10_4_2_2) OR FIREABLE(C_refuse_1_5_2_2) OR FIREABLE(C_refuse_2_5_2_2) OR FIREABLE(C_refuse_3_5_2_2) OR FIREABLE(C_refuse_4_5_2_2) OR FIREABLE(C_refuse_5_5_2_2) OR FIREABLE(C_refuse_6_5_2_2) OR FIREABLE(C_refuse_7_5_2_2) OR FIREABLE(C_refuse_8_5_2_2) OR FIREABLE(C_refuse_9_5_2_2) OR FIREABLE(C_refuse_10_5_2_2) OR FIREABLE(C_refuse_1_6_2_2) OR FIREABLE(C_refuse_2_6_2_2) OR FIREABLE(C_refuse_3_6_2_2) OR FIREABLE(C_refuse_4_6_2_2) OR FIREABLE(C_refuse_5_6_2_2) OR FIREABLE(C_refuse_6_6_2_2) OR FIREABLE(C_refuse_7_6_2_2) OR FIREABLE(C_refuse_8_6_2_2) OR FIREABLE(C_refuse_9_6_2_2) OR FIREABLE(C_refuse_10_6_2_2) OR FIREABLE(C_refuse_1_7_2_2) OR FIREABLE(C_refuse_2_7_2_2) OR FIREABLE(C_refuse_3_7_2_2) OR FIREABLE(C_refuse_4_7_2_2) OR FIREABLE(C_refuse_5_7_2_2) OR FIREABLE(C_refuse_6_7_2_2) OR FIREABLE(C_refuse_7_7_2_2) OR FIREABLE(C_refuse_8_7_2_2) OR FIREABLE(C_refuse_9_7_2_2) OR FIREABLE(C_refuse_10_7_2_2) OR FIREABLE(C_refuse_1_8_2_2) OR FIREABLE(C_refuse_2_8_2_2) OR FIREABLE(C_refuse_3_8_2_2) OR FIREABLE(C_refuse_4_8_2_2) OR FIREABLE(C_refuse_5_8_2_2) OR FIREABLE(C_refuse_6_8_2_2) OR FIREABLE(C_refuse_7_8_2_2) OR FIREABLE(C_refuse_8_8_2_2) OR FIREABLE(C_refuse_9_8_2_2) OR FIREABLE(C_refuse_10_8_2_2) OR FIREABLE(C_refuse_1_9_2_2) OR FIREABLE(C_refuse_2_9_2_2) OR FIREABLE(C_refuse_3_9_2_2) OR FIREABLE(C_refuse_4_9_2_2) OR FIREABLE(C_refuse_5_9_2_2) OR FIREABLE(C_refuse_6_9_2_2) OR FIREABLE(C_refuse_7_9_2_2) OR FIREABLE(C_refuse_8_9_2_2) OR FIREABLE(C_refuse_9_9_2_2) OR FIREABLE(C_refuse_10_9_2_2) OR FIREABLE(C_refuse_1_10_2_2) OR FIREABLE(C_refuse_2_10_2_2) OR FIREABLE(C_refuse_3_10_2_2) OR FIREABLE(C_refuse_4_10_2_2) OR FIREABLE(C_refuse_5_10_2_2) OR FIREABLE(C_refuse_6_10_2_2) OR FIREABLE(C_refuse_7_10_2_2) OR FIREABLE(C_refuse_8_10_2_2) OR FIREABLE(C_refuse_9_10_2_2) OR FIREABLE(C_refuse_10_10_2_2) OR FIREABLE(C_refuse_1_1_3_3) OR FIREABLE(C_refuse_2_1_3_3) OR FIREABLE(C_refuse_3_1_3_3) OR FIREABLE(C_refuse_4_1_3_3) OR FIREABLE(C_refuse_5_1_3_3) OR FIREABLE(C_refuse_6_1_3_3) OR FIREABLE(C_refuse_7_1_3_3) OR FIREABLE(C_refuse_8_1_3_3) OR FIREABLE(C_refuse_9_1_3_3) OR FIREABLE(C_refuse_10_1_3_3) OR FIREABLE(C_refuse_1_2_3_3) OR FIREABLE(C_refuse_2_2_3_3) OR FIREABLE(C_refuse_3_2_3_3) OR FIREABLE(C_refuse_4_2_3_3) OR FIREABLE(C_refuse_5_2_3_3) OR FIREABLE(C_refuse_6_2_3_3) OR FIREABLE(C_refuse_7_2_3_3) OR FIREABLE(C_refuse_8_2_3_3) OR FIREABLE(C_refuse_9_2_3_3) OR FIREABLE(C_refuse_10_2_3_3) OR FIREABLE(C_refuse_1_3_3_3) OR FIREABLE(C_refuse_2_3_3_3) OR FIREABLE(C_refuse_3_3_3_3) OR FIREABLE(C_refuse_4_3_3_3) OR FIREABLE(C_refuse_5_3_3_3) OR FIREABLE(C_refuse_6_3_3_3) OR FIREABLE(C_refuse_7_3_3_3) OR FIREABLE(C_refuse_8_3_3_3) OR FIREABLE(C_refuse_9_3_3_3) OR FIREABLE(C_refuse_10_3_3_3) OR FIREABLE(C_refuse_1_4_3_3) OR FIREABLE(C_refuse_2_4_3_3) OR FIREABLE(C_refuse_3_4_3_3) OR FIREABLE(C_refuse_4_4_3_3) OR FIREABLE(C_refuse_5_4_3_3) OR FIREABLE(C_refuse_6_4_3_3) OR FIREABLE(C_refuse_7_4_3_3) OR FIREABLE(C_refuse_8_4_3_3) OR FIREABLE(C_refuse_9_4_3_3) OR FIREABLE(C_refuse_10_4_3_3) OR FIREABLE(C_refuse_1_5_3_3) OR FIREABLE(C_refuse_2_5_3_3) OR FIREABLE(C_refuse_3_5_3_3) OR FIREABLE(C_refuse_4_5_3_3) OR FIREABLE(C_refuse_5_5_3_3) OR FIREABLE(C_refuse_6_5_3_3) OR FIREABLE(C_refuse_7_5_3_3) OR FIREABLE(C_refuse_8_5_3_3) OR FIREABLE(C_refuse_9_5_3_3) OR FIREABLE(C_refuse_10_5_3_3) OR FIREABLE(C_refuse_1_6_3_3) OR FIREABLE(C_refuse_2_6_3_3) OR FIREABLE(C_refuse_3_6_3_3) OR FIREABLE(C_refuse_4_6_3_3) OR FIREABLE(C_refuse_5_6_3_3) OR FIREABLE(C_refuse_6_6_3_3) OR FIREABLE(C_refuse_7_6_3_3) OR FIREABLE(C_refuse_8_6_3_3) OR FIREABLE(C_refuse_9_6_3_3) OR FIREABLE(C_refuse_10_6_3_3) OR FIREABLE(C_refuse_1_7_3_3) OR FIREABLE(C_refuse_2_7_3_3) OR FIREABLE(C_refuse_3_7_3_3) OR FIREABLE(C_refuse_4_7_3_3) OR FIREABLE(C_refuse_5_7_3_3) OR FIREABLE(C_refuse_6_7_3_3) OR FIREABLE(C_refuse_7_7_3_3) OR FIREABLE(C_refuse_8_7_3_3) OR FIREABLE(C_refuse_9_7_3_3) OR FIREABLE(C_refuse_10_7_3_3) OR FIREABLE(C_refuse_1_8_3_3) OR FIREABLE(C_refuse_2_8_3_3) OR FIREABLE(C_refuse_3_8_3_3) OR FIREABLE(C_refuse_4_8_3_3) OR FIREABLE(C_refuse_5_8_3_3) OR FIREABLE(C_refuse_6_8_3_3) OR FIREABLE(C_refuse_7_8_3_3) OR FIREABLE(C_refuse_8_8_3_3) OR FIREABLE(C_refuse_9_8_3_3) OR FIREABLE(C_refuse_10_8_3_3) OR FIREABLE(C_refuse_1_9_3_3) OR FIREABLE(C_refuse_2_9_3_3) OR FIREABLE(C_refuse_3_9_3_3) OR FIREABLE(C_refuse_4_9_3_3) OR FIREABLE(C_refuse_5_9_3_3) OR FIREABLE(C_refuse_6_9_3_3) OR FIREABLE(C_refuse_7_9_3_3) OR FIREABLE(C_refuse_8_9_3_3) OR FIREABLE(C_refuse_9_9_3_3) OR FIREABLE(C_refuse_10_9_3_3) OR FIREABLE(C_refuse_1_10_3_3) OR FIREABLE(C_refuse_2_10_3_3) OR FIREABLE(C_refuse_3_10_3_3) OR FIREABLE(C_refuse_4_10_3_3) OR FIREABLE(C_refuse_5_10_3_3) OR FIREABLE(C_refuse_6_10_3_3) OR FIREABLE(C_refuse_7_10_3_3) OR FIREABLE(C_refuse_8_10_3_3) OR FIREABLE(C_refuse_9_10_3_3) OR FIREABLE(C_refuse_10_10_3_3) OR FIREABLE(C_refuse_1_1_4_4) OR FIREABLE(C_refuse_2_1_4_4) OR FIREABLE(C_refuse_3_1_4_4) OR FIREABLE(C_refuse_4_1_4_4) OR FIREABLE(C_refuse_5_1_4_4) OR FIREABLE(C_refuse_6_1_4_4) OR FIREABLE(C_refuse_7_1_4_4) OR FIREABLE(C_refuse_8_1_4_4) OR FIREABLE(C_refuse_9_1_4_4) OR FIREABLE(C_refuse_10_1_4_4) OR FIREABLE(C_refuse_1_2_4_4) OR FIREABLE(C_refuse_2_2_4_4) OR FIREABLE(C_refuse_3_2_4_4) OR FIREABLE(C_refuse_4_2_4_4) OR FIREABLE(C_refuse_5_2_4_4) OR FIREABLE(C_refuse_6_2_4_4) OR FIREABLE(C_refuse_7_2_4_4) OR FIREABLE(C_refuse_8_2_4_4) OR FIREABLE(C_refuse_9_2_4_4) OR FIREABLE(C_refuse_10_2_4_4) OR FIREABLE(C_refuse_1_3_4_4) OR FIREABLE(C_refuse_2_3_4_4) OR FIREABLE(C_refuse_3_3_4_4) OR FIREABLE(C_refuse_4_3_4_4) OR FIREABLE(C_refuse_5_3_4_4) OR FIREABLE(C_refuse_6_3_4_4) OR FIREABLE(C_refuse_7_3_4_4) OR FIREABLE(C_refuse_8_3_4_4) OR FIREABLE(C_refuse_9_3_4_4) OR FIREABLE(C_refuse_10_3_4_4) OR FIREABLE(C_refuse_1_4_4_4) OR FIREABLE(C_refuse_2_4_4_4) OR FIREABLE(C_refuse_3_4_4_4) OR FIREABLE(C_refuse_4_4_4_4) OR FIREABLE(C_refuse_5_4_4_4) OR FIREABLE(C_refuse_6_4_4_4) OR FIREABLE(C_refuse_7_4_4_4) OR FIREABLE(C_refuse_8_4_4_4) OR FIREABLE(C_refuse_9_4_4_4) OR FIREABLE(C_refuse_10_4_4_4) OR FIREABLE(C_refuse_1_5_4_4) OR FIREABLE(C_refuse_2_5_4_4) OR FIREABLE(C_refuse_3_5_4_4) OR FIREABLE(C_refuse_4_5_4_4) OR FIREABLE(C_refuse_5_5_4_4) OR FIREABLE(C_refuse_6_5_4_4) OR FIREABLE(C_refuse_7_5_4_4) OR FIREABLE(C_refuse_8_5_4_4) OR FIREABLE(C_refuse_9_5_4_4) OR FIREABLE(C_refuse_10_5_4_4) OR FIREABLE(C_refuse_1_6_4_4) OR FIREABLE(C_refuse_2_6_4_4) OR FIREABLE(C_refuse_3_6_4_4) OR FIREABLE(C_refuse_4_6_4_4) OR FIREABLE(C_refuse_5_6_4_4) OR FIREABLE(C_refuse_6_6_4_4) OR FIREABLE(C_refuse_7_6_4_4) OR FIREABLE(C_refuse_8_6_4_4) OR FIREABLE(C_refuse_9_6_4_4) OR FIREABLE(C_refuse_10_6_4_4) OR FIREABLE(C_refuse_1_7_4_4) OR FIREABLE(C_refuse_2_7_4_4) OR FIREABLE(C_refuse_3_7_4_4) OR FIREABLE(C_refuse_4_7_4_4) OR FIREABLE(C_refuse_5_7_4_4) OR FIREABLE(C_refuse_6_7_4_4) OR FIREABLE(C_refuse_7_7_4_4) OR FIREABLE(C_refuse_8_7_4_4) OR FIREABLE(C_refuse_9_7_4_4) OR FIREABLE(C_refuse_10_7_4_4) OR FIREABLE(C_refuse_1_8_4_4) OR FIREABLE(C_refuse_2_8_4_4) OR FIREABLE(C_refuse_3_8_4_4) OR FIREABLE(C_refuse_4_8_4_4) OR FIREABLE(C_refuse_5_8_4_4) OR FIREABLE(C_refuse_6_8_4_4) OR FIREABLE(C_refuse_7_8_4_4) OR FIREABLE(C_refuse_8_8_4_4) OR FIREABLE(C_refuse_9_8_4_4) OR FIREABLE(C_refuse_10_8_4_4) OR FIREABLE(C_refuse_1_9_4_4) OR FIREABLE(C_refuse_2_9_4_4) OR FIREABLE(C_refuse_3_9_4_4) OR FIREABLE(C_refuse_4_9_4_4) OR FIREABLE(C_refuse_5_9_4_4) OR FIREABLE(C_refuse_6_9_4_4) OR FIREABLE(C_refuse_7_9_4_4) OR FIREABLE(C_refuse_8_9_4_4) OR FIREABLE(C_refuse_9_9_4_4) OR FIREABLE(C_refuse_10_9_4_4) OR FIREABLE(C_refuse_1_10_4_4) OR FIREABLE(C_refuse_2_10_4_4) OR FIREABLE(C_refuse_3_10_4_4) OR FIREABLE(C_refuse_4_10_4_4) OR FIREABLE(C_refuse_5_10_4_4) OR FIREABLE(C_refuse_6_10_4_4) OR FIREABLE(C_refuse_7_10_4_4) OR FIREABLE(C_refuse_8_10_4_4) OR FIREABLE(C_refuse_9_10_4_4) OR FIREABLE(C_refuse_10_10_4_4) OR FIREABLE(C_refuse_1_1_5_5) OR FIREABLE(C_refuse_2_1_5_5) OR FIREABLE(C_refuse_3_1_5_5) OR FIREABLE(C_refuse_4_1_5_5) OR FIREABLE(C_refuse_5_1_5_5) OR FIREABLE(C_refuse_6_1_5_5) OR FIREABLE(C_refuse_7_1_5_5) OR FIREABLE(C_refuse_8_1_5_5) OR FIREABLE(C_refuse_9_1_5_5) OR FIREABLE(C_refuse_10_1_5_5) OR FIREABLE(C_refuse_1_2_5_5) OR FIREABLE(C_refuse_2_2_5_5) OR FIREABLE(C_refuse_3_2_5_5) OR FIREABLE(C_refuse_4_2_5_5) OR FIREABLE(C_refuse_5_2_5_5) OR FIREABLE(C_refuse_6_2_5_5) OR FIREABLE(C_refuse_7_2_5_5) OR FIREABLE(C_refuse_8_2_5_5) OR FIREABLE(C_refuse_9_2_5_5) OR FIREABLE(C_refuse_10_2_5_5) OR FIREABLE(C_refuse_1_3_5_5) OR FIREABLE(C_refuse_2_3_5_5) OR FIREABLE(C_refuse_3_3_5_5) OR FIREABLE(C_refuse_4_3_5_5) OR FIREABLE(C_refuse_5_3_5_5) OR FIREABLE(C_refuse_6_3_5_5) OR FIREABLE(C_refuse_7_3_5_5) OR FIREABLE(C_refuse_8_3_5_5) OR FIREABLE(C_refuse_9_3_5_5) OR FIREABLE(C_refuse_10_3_5_5) OR FIREABLE(C_refuse_1_4_5_5) OR FIREABLE(C_refuse_2_4_5_5) OR FIREABLE(C_refuse_3_4_5_5) OR FIREABLE(C_refuse_4_4_5_5) OR FIREABLE(C_refuse_5_4_5_5) OR FIREABLE(C_refuse_6_4_5_5) OR FIREABLE(C_refuse_7_4_5_5) OR FIREABLE(C_refuse_8_4_5_5) OR FIREABLE(C_refuse_9_4_5_5) OR FIREABLE(C_refuse_10_4_5_5) OR FIREABLE(C_refuse_1_5_5_5) OR FIREABLE(C_refuse_2_5_5_5) OR FIREABLE(C_refuse_3_5_5_5) OR FIREABLE(C_refuse_4_5_5_5) OR FIREABLE(C_refuse_5_5_5_5) OR FIREABLE(C_refuse_6_5_5_5) OR FIREABLE(C_refuse_7_5_5_5) OR FIREABLE(C_refuse_8_5_5_5) OR FIREABLE(C_refuse_9_5_5_5) OR FIREABLE(C_refuse_10_5_5_5) OR FIREABLE(C_refuse_1_6_5_5) OR FIREABLE(C_refuse_2_6_5_5) OR FIREABLE(C_refuse_3_6_5_5) OR FIREABLE(C_refuse_4_6_5_5) OR FIREABLE(C_refuse_5_6_5_5) OR FIREABLE(C_refuse_6_6_5_5) OR FIREABLE(C_refuse_7_6_5_5) OR FIREABLE(C_refuse_8_6_5_5) OR FIREABLE(C_refuse_9_6_5_5) OR FIREABLE(C_refuse_10_6_5_5) OR FIREABLE(C_refuse_1_7_5_5) OR FIREABLE(C_refuse_2_7_5_5) OR FIREABLE(C_refuse_3_7_5_5) OR FIREABLE(C_refuse_4_7_5_5) OR FIREABLE(C_refuse_5_7_5_5) OR FIREABLE(C_refuse_6_7_5_5) OR FIREABLE(C_refuse_7_7_5_5) OR FIREABLE(C_refuse_8_7_5_5) OR FIREABLE(C_refuse_9_7_5_5) OR FIREABLE(C_refuse_10_7_5_5) OR FIREABLE(C_refuse_1_8_5_5) OR FIREABLE(C_refuse_2_8_5_5) OR FIREABLE(C_refuse_3_8_5_5) OR FIREABLE(C_refuse_4_8_5_5) OR FIREABLE(C_refuse_5_8_5_5) OR FIREABLE(C_refuse_6_8_5_5) OR FIREABLE(C_refuse_7_8_5_5) OR FIREABLE(C_refuse_8_8_5_5) OR FIREABLE(C_refuse_9_8_5_5) OR FIREABLE(C_refuse_10_8_5_5) OR FIREABLE(C_refuse_1_9_5_5) OR FIREABLE(C_refuse_2_9_5_5) OR FIREABLE(C_refuse_3_9_5_5) OR FIREABLE(C_refuse_4_9_5_5) OR FIREABLE(C_refuse_5_9_5_5) OR FIREABLE(C_refuse_6_9_5_5) OR FIREABLE(C_refuse_7_9_5_5) OR FIREABLE(C_refuse_8_9_5_5) OR FIREABLE(C_refuse_9_9_5_5) OR FIREABLE(C_refuse_10_9_5_5) OR FIREABLE(C_refuse_1_10_5_5) OR FIREABLE(C_refuse_2_10_5_5) OR FIREABLE(C_refuse_3_10_5_5) OR FIREABLE(C_refuse_4_10_5_5) OR FIREABLE(C_refuse_5_10_5_5) OR FIREABLE(C_refuse_6_10_5_5) OR FIREABLE(C_refuse_7_10_5_5) OR FIREABLE(C_refuse_8_10_5_5) OR FIREABLE(C_refuse_9_10_5_5) OR FIREABLE(C_refuse_10_10_5_5) OR FIREABLE(C_refuse_1_1_6_6) OR FIREABLE(C_refuse_2_1_6_6) OR FIREABLE(C_refuse_3_1_6_6) OR FIREABLE(C_refuse_4_1_6_6) OR FIREABLE(C_refuse_5_1_6_6) OR FIREABLE(C_refuse_6_1_6_6) OR FIREABLE(C_refuse_7_1_6_6) OR FIREABLE(C_refuse_8_1_6_6) OR FIREABLE(C_refuse_9_1_6_6) OR FIREABLE(C_refuse_10_1_6_6) OR FIREABLE(C_refuse_1_2_6_6) OR FIREABLE(C_refuse_2_2_6_6) OR FIREABLE(C_refuse_3_2_6_6) OR FIREABLE(C_refuse_4_2_6_6) OR FIREABLE(C_refuse_5_2_6_6) OR FIREABLE(C_refuse_6_2_6_6) OR FIREABLE(C_refuse_7_2_6_6) OR FIREABLE(C_refuse_8_2_6_6) OR FIREABLE(C_refuse_9_2_6_6) OR FIREABLE(C_refuse_10_2_6_6) OR FIREABLE(C_refuse_1_3_6_6) OR FIREABLE(C_refuse_2_3_6_6) OR FIREABLE(C_refuse_3_3_6_6) OR FIREABLE(C_refuse_4_3_6_6) OR FIREABLE(C_refuse_5_3_6_6) OR FIREABLE(C_refuse_6_3_6_6) OR FIREABLE(C_refuse_7_3_6_6) OR FIREABLE(C_refuse_8_3_6_6) OR FIREABLE(C_refuse_9_3_6_6) OR FIREABLE(C_refuse_10_3_6_6) OR FIREABLE(C_refuse_1_4_6_6) OR FIREABLE(C_refuse_2_4_6_6) OR FIREABLE(C_refuse_3_4_6_6) OR FIREABLE(C_refuse_4_4_6_6) OR FIREABLE(C_refuse_5_4_6_6) OR FIREABLE(C_refuse_6_4_6_6) OR FIREABLE(C_refuse_7_4_6_6) OR FIREABLE(C_refuse_8_4_6_6) OR FIREABLE(C_refuse_9_4_6_6) OR FIREABLE(C_refuse_10_4_6_6) OR FIREABLE(C_refuse_1_5_6_6) OR FIREABLE(C_refuse_2_5_6_6) OR FIREABLE(C_refuse_3_5_6_6) OR FIREABLE(C_refuse_4_5_6_6) OR FIREABLE(C_refuse_5_5_6_6) OR FIREABLE(C_refuse_6_5_6_6) OR FIREABLE(C_refuse_7_5_6_6) OR FIREABLE(C_refuse_8_5_6_6) OR FIREABLE(C_refuse_9_5_6_6) OR FIREABLE(C_refuse_10_5_6_6) OR FIREABLE(C_refuse_1_6_6_6) OR FIREABLE(C_refuse_2_6_6_6) OR FIREABLE(C_refuse_3_6_6_6) OR FIREABLE(C_refuse_4_6_6_6) OR FIREABLE(C_refuse_5_6_6_6) OR FIREABLE(C_refuse_6_6_6_6) OR FIREABLE(C_refuse_7_6_6_6) OR FIREABLE(C_refuse_8_6_6_6) OR FIREABLE(C_refuse_9_6_6_6) OR FIREABLE(C_refuse_10_6_6_6) OR FIREABLE(C_refuse_1_7_6_6) OR FIREABLE(C_refuse_2_7_6_6) OR FIREABLE(C_refuse_3_7_6_6) OR FIREABLE(C_refuse_4_7_6_6) OR FIREABLE(C_refuse_5_7_6_6) OR FIREABLE(C_refuse_6_7_6_6) OR FIREABLE(C_refuse_7_7_6_6) OR FIREABLE(C_refuse_8_7_6_6) OR FIREABLE(C_refuse_9_7_6_6) OR FIREABLE(C_refuse_10_7_6_6) OR FIREABLE(C_refuse_1_8_6_6) OR FIREABLE(C_refuse_2_8_6_6) OR FIREABLE(C_refuse_3_8_6_6) OR FIREABLE(C_refuse_4_8_6_6) OR FIREABLE(C_refuse_5_8_6_6) OR FIREABLE(C_refuse_6_8_6_6) OR FIREABLE(C_refuse_7_8_6_6) OR FIREABLE(C_refuse_8_8_6_6) OR FIREABLE(C_refuse_9_8_6_6) OR FIREABLE(C_refuse_10_8_6_6) OR FIREABLE(C_refuse_1_9_6_6) OR FIREABLE(C_refuse_2_9_6_6) OR FIREABLE(C_refuse_3_9_6_6) OR FIREABLE(C_refuse_4_9_6_6) OR FIREABLE(C_refuse_5_9_6_6) OR FIREABLE(C_refuse_6_9_6_6) OR FIREABLE(C_refuse_7_9_6_6) OR FIREABLE(C_refuse_8_9_6_6) OR FIREABLE(C_refuse_9_9_6_6) OR FIREABLE(C_refuse_10_9_6_6) OR FIREABLE(C_refuse_1_10_6_6) OR FIREABLE(C_refuse_2_10_6_6) OR FIREABLE(C_refuse_3_10_6_6) OR FIREABLE(C_refuse_4_10_6_6) OR FIREABLE(C_refuse_5_10_6_6) OR FIREABLE(C_refuse_6_10_6_6) OR FIREABLE(C_refuse_7_10_6_6) OR FIREABLE(C_refuse_8_10_6_6) OR FIREABLE(C_refuse_9_10_6_6) OR FIREABLE(C_refuse_10_10_6_6) OR FIREABLE(C_refuse_1_1_7_7) OR FIREABLE(C_refuse_2_1_7_7) OR FIREABLE(C_refuse_3_1_7_7) OR FIREABLE(C_refuse_4_1_7_7) OR FIREABLE(C_refuse_5_1_7_7) OR FIREABLE(C_refuse_6_1_7_7) OR FIREABLE(C_refuse_7_1_7_7) OR FIREABLE(C_refuse_8_1_7_7) OR FIREABLE(C_refuse_9_1_7_7) OR FIREABLE(C_refuse_10_1_7_7) OR FIREABLE(C_refuse_1_2_7_7) OR FIREABLE(C_refuse_2_2_7_7) OR FIREABLE(C_refuse_3_2_7_7) OR FIREABLE(C_refuse_4_2_7_7) OR FIREABLE(C_refuse_5_2_7_7) OR FIREABLE(C_refuse_6_2_7_7) OR FIREABLE(C_refuse_7_2_7_7) OR FIREABLE(C_refuse_8_2_7_7) OR FIREABLE(C_refuse_9_2_7_7) OR FIREABLE(C_refuse_10_2_7_7) OR FIREABLE(C_refuse_1_3_7_7) OR FIREABLE(C_refuse_2_3_7_7) OR FIREABLE(C_refuse_3_3_7_7) OR FIREABLE(C_refuse_4_3_7_7) OR FIREABLE(C_refuse_5_3_7_7) OR FIREABLE(C_refuse_6_3_7_7) OR FIREABLE(C_refuse_7_3_7_7) OR FIREABLE(C_refuse_8_3_7_7) OR FIREABLE(C_refuse_9_3_7_7) OR FIREABLE(C_refuse_10_3_7_7) OR FIREABLE(C_refuse_1_4_7_7) OR FIREABLE(C_refuse_2_4_7_7) OR FIREABLE(C_refuse_3_4_7_7) OR FIREABLE(C_refuse_4_4_7_7) OR FIREABLE(C_refuse_5_4_7_7) OR FIREABLE(C_refuse_6_4_7_7) OR FIREABLE(C_refuse_7_4_7_7) OR FIREABLE(C_refuse_8_4_7_7) OR FIREABLE(C_refuse_9_4_7_7) OR FIREABLE(C_refuse_10_4_7_7) OR FIREABLE(C_refuse_1_5_7_7) OR FIREABLE(C_refuse_2_5_7_7) OR FIREABLE(C_refuse_3_5_7_7) OR FIREABLE(C_refuse_4_5_7_7) OR FIREABLE(C_refuse_5_5_7_7) OR FIREABLE(C_refuse_6_5_7_7) OR FIREABLE(C_refuse_7_5_7_7) OR FIREABLE(C_refuse_8_5_7_7) OR FIREABLE(C_refuse_9_5_7_7) OR FIREABLE(C_refuse_10_5_7_7) OR FIREABLE(C_refuse_1_6_7_7) OR FIREABLE(C_refuse_2_6_7_7) OR FIREABLE(C_refuse_3_6_7_7) OR FIREABLE(C_refuse_4_6_7_7) OR FIREABLE(C_refuse_5_6_7_7) OR FIREABLE(C_refuse_6_6_7_7) OR FIREABLE(C_refuse_7_6_7_7) OR FIREABLE(C_refuse_8_6_7_7) OR FIREABLE(C_refuse_9_6_7_7) OR FIREABLE(C_refuse_10_6_7_7) OR FIREABLE(C_refuse_1_7_7_7) OR FIREABLE(C_refuse_2_7_7_7) OR FIREABLE(C_refuse_3_7_7_7) OR FIREABLE(C_refuse_4_7_7_7) OR FIREABLE(C_refuse_5_7_7_7) OR FIREABLE(C_refuse_6_7_7_7) OR FIREABLE(C_refuse_7_7_7_7) OR FIREABLE(C_refuse_8_7_7_7) OR FIREABLE(C_refuse_9_7_7_7) OR FIREABLE(C_refuse_10_7_7_7) OR FIREABLE(C_refuse_1_8_7_7) OR FIREABLE(C_refuse_2_8_7_7) OR FIREABLE(C_refuse_3_8_7_7) OR FIREABLE(C_refuse_4_8_7_7) OR FIREABLE(C_refuse_5_8_7_7) OR FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_7_8_7_7) OR FIREABLE(C_refuse_8_8_7_7) OR FIREABLE(C_refuse_9_8_7_7) OR FIREABLE(C_refuse_10_8_7_7) OR FIREABLE(C_refuse_1_9_7_7) OR FIREABLE(C_refuse_2_9_7_7) OR FIREABLE(C_refuse_3_9_7_7) OR FIREABLE(C_refuse_4_9_7_7) OR FIREABLE(C_refuse_5_9_7_7) OR FIREABLE(C_refuse_6_9_7_7) OR FIREABLE(C_refuse_7_9_7_7) OR FIREABLE(C_refuse_8_9_7_7) OR FIREABLE(C_refuse_9_9_7_7) OR FIREABLE(C_refuse_10_9_7_7) OR FIREABLE(C_refuse_1_10_7_7) OR FIREABLE(C_refuse_2_10_7_7) OR FIREABLE(C_refuse_3_10_7_7) OR FIREABLE(C_refuse_4_10_7_7) OR FIREABLE(C_refuse_5_10_7_7) OR FIREABLE(C_refuse_6_10_7_7) OR FIREABLE(C_refuse_7_10_7_7) OR FIREABLE(C_refuse_8_10_7_7) OR FIREABLE(C_refuse_9_10_7_7) OR FIREABLE(C_refuse_10_10_7_7) OR FIREABLE(C_refuse_1_1_8_8) OR FIREABLE(C_refuse_2_1_8_8) OR FIREABLE(C_refuse_3_1_8_8) OR FIREABLE(C_refuse_4_1_8_8) OR FIREABLE(C_refuse_5_1_8_8) OR FIREABLE(C_refuse_6_1_8_8) OR FIREABLE(C_refuse_7_1_8_8) OR FIREABLE(C_refuse_8_1_8_8) OR FIREABLE(C_refuse_9_1_8_8) OR FIREABLE(C_refuse_10_1_8_8) OR FIREABLE(C_refuse_1_2_8_8) OR FIREABLE(C_refuse_2_2_8_8) OR FIREABLE(C_refuse_3_2_8_8) OR FIREABLE(C_refuse_4_2_8_8) OR FIREABLE(C_refuse_5_2_8_8) OR FIREABLE(C_refuse_6_2_8_8) OR FIREABLE(C_refuse_7_2_8_8) OR FIREABLE(C_refuse_8_2_8_8) OR FIREABLE(C_refuse_9_2_8_8) OR FIREABLE(C_refuse_10_2_8_8) OR FIREABLE(C_refuse_1_3_8_8) OR FIREABLE(C_refuse_2_3_8_8) OR FIREABLE(C_refuse_3_3_8_8) OR FIREABLE(C_refuse_4_3_8_8) OR FIREABLE(C_refuse_5_3_8_8) OR FIREABLE(C_refuse_6_3_8_8) OR FIREABLE(C_refuse_7_3_8_8) OR FIREABLE(C_refuse_8_3_8_8) OR FIREABLE(C_refuse_9_3_8_8) OR FIREABLE(C_refuse_10_3_8_8) OR FIREABLE(C_refuse_1_4_8_8) OR FIREABLE(C_refuse_2_4_8_8) OR FIREABLE(C_refuse_3_4_8_8) OR FIREABLE(C_refuse_4_4_8_8) OR FIREABLE(C_refuse_5_4_8_8) OR FIREABLE(C_refuse_6_4_8_8) OR FIREABLE(C_refuse_7_4_8_8) OR FIREABLE(C_refuse_8_4_8_8) OR FIREABLE(C_refuse_9_4_8_8) OR FIREABLE(C_refuse_10_4_8_8) OR FIREABLE(C_refuse_1_5_8_8) OR FIREABLE(C_refuse_2_5_8_8) OR FIREABLE(C_refuse_3_5_8_8) OR FIREABLE(C_refuse_4_5_8_8) OR FIREABLE(C_refuse_5_5_8_8) OR FIREABLE(C_refuse_6_5_8_8) OR FIREABLE(C_refuse_7_5_8_8) OR FIREABLE(C_refuse_8_5_8_8) OR FIREABLE(C_refuse_9_5_8_8) OR FIREABLE(C_refuse_10_5_8_8) OR FIREABLE(C_refuse_1_6_8_8) OR FIREABLE(C_refuse_2_6_8_8) OR FIREABLE(C_refuse_3_6_8_8) OR FIREABLE(C_refuse_4_6_8_8) OR FIREABLE(C_refuse_5_6_8_8) OR FIREABLE(C_refuse_6_6_8_8) OR FIREABLE(C_refuse_7_6_8_8) OR FIREABLE(C_refuse_8_6_8_8) OR FIREABLE(C_refuse_9_6_8_8) OR FIREABLE(C_refuse_10_6_8_8) OR FIREABLE(C_refuse_1_7_8_8) OR FIREABLE(C_refuse_2_7_8_8) OR FIREABLE(C_refuse_3_7_8_8) OR FIREABLE(C_refuse_4_7_8_8) OR FIREABLE(C_refuse_5_7_8_8) OR FIREABLE(C_refuse_6_7_8_8) OR FIREABLE(C_refuse_7_7_8_8) OR FIREABLE(C_refuse_8_7_8_8) OR FIREABLE(C_refuse_9_7_8_8) OR FIREABLE(C_refuse_10_7_8_8) OR FIREABLE(C_refuse_1_8_8_8) OR FIREABLE(C_refuse_2_8_8_8) OR FIREABLE(C_refuse_3_8_8_8) OR FIREABLE(C_refuse_4_8_8_8) OR FIREABLE(C_refuse_5_8_8_8) OR FIREABLE(C_refuse_6_8_8_8) OR FIREABLE(C_refuse_7_8_8_8) OR FIREABLE(C_refuse_8_8_8_8) OR FIREABLE(C_refuse_9_8_8_8) OR FIREABLE(C_refuse_10_8_8_8) OR FIREABLE(C_refuse_1_9_8_8) OR FIREABLE(C_refuse_2_9_8_8) OR FIREABLE(C_refuse_3_9_8_8) OR FIREABLE(C_refuse_4_9_8_8) OR FIREABLE(C_refuse_5_9_8_8) OR FIREABLE(C_refuse_6_9_8_8) OR FIREABLE(C_refuse_7_9_8_8) OR FIREABLE(C_refuse_8_9_8_8) OR FIREABLE(C_refuse_9_9_8_8) OR FIREABLE(C_refuse_10_9_8_8) OR FIREABLE(C_refuse_1_10_8_8) OR FIREABLE(C_refuse_2_10_8_8) OR FIREABLE(C_refuse_3_10_8_8) OR FIREABLE(C_refuse_4_10_8_8) OR FIREABLE(C_refuse_5_10_8_8) OR FIREABLE(C_refuse_6_10_8_8) OR FIREABLE(C_refuse_7_10_8_8) OR FIREABLE(C_refuse_8_10_8_8) OR FIREABLE(C_refuse_9_10_8_8) OR FIREABLE(C_refuse_10_10_8_8) OR FIREABLE(C_refuse_1_1_9_9) OR FIREABLE(C_refuse_2_1_9_9) OR FIREABLE(C_refuse_3_1_9_9) OR FIREABLE(C_refuse_4_1_9_9) OR FIREABLE(C_refuse_5_1_9_9) OR FIREABLE(C_refuse_6_1_9_9) OR FIREABLE(C_refuse_7_1_9_9) OR FIREABLE(C_refuse_8_1_9_9) OR FIREABLE(C_refuse_9_1_9_9) OR FIREABLE(C_refuse_10_1_9_9) OR FIREABLE(C_refuse_1_2_9_9) OR FIREABLE(C_refuse_2_2_9_9) OR FIREABLE(C_refuse_3_2_9_9) OR FIREABLE(C_refuse_4_2_9_9) OR FIREABLE(C_refuse_5_2_9_9) OR FIREABLE(C_refuse_6_2_9_9) OR FIREABLE(C_refuse_7_2_9_9) OR FIREABLE(C_refuse_8_2_9_9) OR FIREABLE(C_refuse_9_2_9_9) OR FIREABLE(C_refuse_10_2_9_9) OR FIREABLE(C_refuse_1_3_9_9) OR FIREABLE(C_refuse_2_3_9_9) OR FIREABLE(C_refuse_3_3_9_9) OR FIREABLE(C_refuse_4_3_9_9) OR FIREABLE(C_refuse_5_3_9_9) OR FIREABLE(C_refuse_6_3_9_9) OR FIREABLE(C_refuse_7_3_9_9) OR FIREABLE(C_refuse_8_3_9_9) OR FIREABLE(C_refuse_9_3_9_9) OR FIREABLE(C_refuse_10_3_9_9) OR FIREABLE(C_refuse_1_4_9_9) OR FIREABLE(C_refuse_2_4_9_9) OR FIREABLE(C_refuse_3_4_9_9) OR FIREABLE(C_refuse_4_4_9_9) OR FIREABLE(C_refuse_5_4_9_9) OR FIREABLE(C_refuse_6_4_9_9) OR FIREABLE(C_refuse_7_4_9_9) OR FIREABLE(C_refuse_8_4_9_9) OR FIREABLE(C_refuse_9_4_9_9) OR FIREABLE(C_refuse_10_4_9_9) OR FIREABLE(C_refuse_1_5_9_9) OR FIREABLE(C_refuse_2_5_9_9) OR FIREABLE(C_refuse_3_5_9_9) OR FIREABLE(C_refuse_4_5_9_9) OR FIREABLE(C_refuse_5_5_9_9) OR FIREABLE(C_refuse_6_5_9_9) OR FIREABLE(C_refuse_7_5_9_9) OR FIREABLE(C_refuse_8_5_9_9) OR FIREABLE(C_refuse_9_5_9_9) OR FIREABLE(C_refuse_10_5_9_9) OR FIREABLE(C_refuse_1_6_9_9) OR FIREABLE(C_refuse_2_6_9_9) OR FIREABLE(C_refuse_3_6_9_9) OR FIREABLE(C_refuse_4_6_9_9) OR FIREABLE(C_refuse_5_6_9_9) OR FIREABLE(C_refuse_6_6_9_9) OR FIREABLE(C_refuse_7_6_9_9) OR FIREABLE(C_refuse_8_6_9_9) OR FIREABLE(C_refuse_9_6_9_9) OR FIREABLE(C_refuse_10_6_9_9) OR FIREABLE(C_refuse_1_7_9_9) OR FIREABLE(C_refuse_2_7_9_9) OR FIREABLE(C_refuse_3_7_9_9) OR FIREABLE(C_refuse_4_7_9_9) OR FIREABLE(C_refuse_5_7_9_9) OR FIREABLE(C_refuse_6_7_9_9) OR FIREABLE(C_refuse_7_7_9_9) OR FIREABLE(C_refuse_8_7_9_9) OR FIREABLE(C_refuse_9_7_9_9) OR FIREABLE(C_refuse_10_7_9_9) OR FIREABLE(C_refuse_1_8_9_9) OR FIREABLE(C_refuse_2_8_9_9) OR FIREABLE(C_refuse_3_8_9_9) OR FIREABLE(C_refuse_4_8_9_9) OR FIREABLE(C_refuse_5_8_9_9) OR FIREABLE(C_refuse_6_8_9_9) OR FIREABLE(C_refuse_7_8_9_9) OR FIREABLE(C_refuse_8_8_9_9) OR FIREABLE(C_refuse_9_8_9_9) OR FIREABLE(C_refuse_10_8_9_9) OR FIREABLE(C_refuse_1_9_9_9) OR FIREABLE(C_refuse_2_9_9_9) OR FIREABLE(C_refuse_3_9_9_9) OR FIREABLE(C_refuse_4_9_9_9) OR FIREABLE(C_refuse_5_9_9_9) OR FIREABLE(C_refuse_6_9_9_9) OR FIREABLE(C_refuse_7_9_9_9) OR FIREABLE(C_refuse_8_9_9_9) OR FIREABLE(C_refuse_9_9_9_9) OR FIREABLE(C_refuse_10_9_9_9) OR FIREABLE(C_refuse_1_10_9_9) OR FIREABLE(C_refuse_2_10_9_9) OR FIREABLE(C_refuse_3_10_9_9) OR FIREABLE(C_refuse_4_10_9_9) OR FIREABLE(C_refuse_5_10_9_9) OR FIREABLE(C_refuse_6_10_9_9) OR FIREABLE(C_refuse_7_10_9_9) OR FIREABLE(C_refuse_8_10_9_9) OR FIREABLE(C_refuse_9_10_9_9) OR FIREABLE(C_refuse_10_10_9_9) OR FIREABLE(C_refuse_1_1_10_10) OR FIREABLE(C_refuse_2_1_10_10) OR FIREABLE(C_refuse_3_1_10_10) OR FIREABLE(C_refuse_4_1_10_10) OR FIREABLE(C_refuse_5_1_10_10) OR FIREABLE(C_refuse_6_1_10_10) OR FIREABLE(C_refuse_7_1_10_10) OR FIREABLE(C_refuse_8_1_10_10) OR FIREABLE(C_refuse_9_1_10_10) OR FIREABLE(C_refuse_10_1_10_10) OR FIREABLE(C_refuse_1_2_10_10) OR FIREABLE(C_refuse_2_2_10_10) OR FIREABLE(C_refuse_3_2_10_10) OR FIREABLE(C_refuse_4_2_10_10) OR FIREABLE(C_refuse_5_2_10_10) OR FIREABLE(C_refuse_6_2_10_10) OR FIREABLE(C_refuse_7_2_10_10) OR FIREABLE(C_refuse_8_2_10_10) OR FIREABLE(C_refuse_9_2_10_10) OR FIREABLE(C_refuse_10_2_10_10) OR FIREABLE(C_refuse_1_3_10_10) OR FIREABLE(C_refuse_2_3_10_10) OR FIREABLE(C_refuse_3_3_10_10) OR FIREABLE(C_refuse_4_3_10_10) OR FIREABLE(C_refuse_5_3_10_10) OR FIREABLE(C_refuse_6_3_10_10) OR FIREABLE(C_refuse_7_3_10_10) OR FIREABLE(C_refuse_8_3_10_10) OR FIREABLE(C_refuse_9_3_10_10) OR FIREABLE(C_refuse_10_3_10_10) OR FIREABLE(C_refuse_1_4_10_10) OR FIREABLE(C_refuse_2_4_10_10) OR FIREABLE(C_refuse_3_4_10_10) OR FIREABLE(C_refuse_4_4_10_10) OR FIREABLE(C_refuse_5_4_10_10) OR FIREABLE(C_refuse_6_4_10_10) OR FIREABLE(C_refuse_7_4_10_10) OR FIREABLE(C_refuse_8_4_10_10) OR FIREABLE(C_refuse_9_4_10_10) OR FIREABLE(C_refuse_10_4_10_10) OR FIREABLE(C_refuse_1_5_10_10) OR FIREABLE(C_refuse_2_5_10_10) OR FIREABLE(C_refuse_3_5_10_10) OR FIREABLE(C_refuse_4_5_10_10) OR FIREABLE(C_refuse_5_5_10_10) OR FIREABLE(C_refuse_6_5_10_10) OR FIREABLE(C_refuse_7_5_10_10) OR FIREABLE(C_refuse_8_5_10_10) OR FIREABLE(C_refuse_9_5_10_10) OR FIREABLE(C_refuse_10_5_10_10) OR FIREABLE(C_refuse_1_6_10_10) OR FIREABLE(C_refuse_2_6_10_10) OR FIREABLE(C_refuse_3_6_10_10) OR FIREABLE(C_refuse_4_6_10_10) OR FIREABLE(C_refuse_5_6_10_10) OR FIREABLE(C_refuse_6_6_10_10) OR FIREABLE(C_refuse_7_6_10_10) OR FIREABLE(C_refuse_8_6_10_10) OR FIREABLE(C_refuse_9_6_10_10) OR FIREABLE(C_refuse_10_6_10_10) OR FIREABLE(C_refuse_1_7_10_10) OR FIREABLE(C_refuse_2_7_10_10) OR FIREABLE(C_refuse_3_7_10_10) OR FIREABLE(C_refuse_4_7_10_10) OR FIREABLE(C_refuse_5_7_10_10) OR FIREABLE(C_refuse_6_7_10_10) OR FIREABLE(C_refuse_7_7_10_10) OR FIREABLE(C_refuse_8_7_10_10) OR FIREABLE(C_refuse_9_7_10_10) OR FIREABLE(C_refuse_10_7_10_10) OR FIREABLE(C_refuse_1_8_10_10) OR FIREABLE(C_refuse_2_8_10_10) OR FIREABLE(C_refuse_3_8_10_10) OR FIREABLE(C_refuse_4_8_10_10) OR FIREABLE(C_refuse_5_8_10_10) OR FIREABLE(C_refuse_6_8_10_10) OR FIREABLE(C_refuse_7_8_10_10) OR FIREABLE(C_refuse_8_8_10_10) OR FIREABLE(C_refuse_9_8_10_10) OR FIREABLE(C_refuse_10_8_10_10) OR FIREABLE(C_refuse_1_9_10_10) OR FIREABLE(C_refuse_2_9_10_10) OR FIREABLE(C_refuse_3_9_10_10) OR FIREABLE(C_refuse_4_9_10_10) OR FIREABLE(C_refuse_5_9_10_10) OR FIREABLE(C_refuse_6_9_10_10) OR FIREABLE(C_refuse_7_9_10_10) OR FIREABLE(C_refuse_8_9_10_10) OR FIREABLE(C_refuse_9_9_10_10) OR FIREABLE(C_refuse_10_9_10_10) OR FIREABLE(C_refuse_1_10_10_10) OR FIREABLE(C_refuse_2_10_10_10) OR FIREABLE(C_refuse_3_10_10_10) OR FIREABLE(C_refuse_4_10_10_10) OR FIREABLE(C_refuse_5_10_10_10) OR FIREABLE(C_refuse_6_10_10_10) OR FIREABLE(C_refuse_7_10_10_10) OR FIREABLE(C_refuse_8_10_10_10) OR FIREABLE(C_refuse_9_10_10_10) OR FIREABLE(C_refuse_10_10_10_10)) U (FIREABLE(I_free_2_1) OR FIREABLE(I_free_3_1) OR FIREABLE(I_free_4_1) OR FIREABLE(I_free_5_1) OR FIREABLE(I_free_6_1) OR FIREABLE(I_free_7_1) OR FIREABLE(I_free_8_1) OR FIREABLE(I_free_9_1) OR FIREABLE(I_free_10_1) OR FIREABLE(I_free_1_2) OR FIREABLE(I_free_3_2) OR FIREABLE(I_free_4_2) OR FIREABLE(I_free_5_2) OR FIREABLE(I_free_6_2) OR FIREABLE(I_free_7_2) OR FIREABLE(I_free_8_2) OR FIREABLE(I_free_9_2) OR FIREABLE(I_free_10_2) OR FIREABLE(I_free_1_3) OR FIREABLE(I_free_2_3) OR FIREABLE(I_free_4_3) OR FIREABLE(I_free_5_3) OR FIREABLE(I_free_6_3) OR FIREABLE(I_free_7_3) OR FIREABLE(I_free_8_3) OR FIREABLE(I_free_9_3) OR FIREABLE(I_free_10_3) OR FIREABLE(I_free_1_4) OR FIREABLE(I_free_2_4) OR FIREABLE(I_free_3_4) OR FIREABLE(I_free_5_4) OR FIREABLE(I_free_6_4) OR FIREABLE(I_free_7_4) OR FIREABLE(I_free_8_4) OR FIREABLE(I_free_9_4) OR FIREABLE(I_free_10_4) OR FIREABLE(I_free_1_5) OR FIREABLE(I_free_2_5) OR FIREABLE(I_free_3_5) OR FIREABLE(I_free_4_5) OR FIREABLE(I_free_6_5) OR FIREABLE(I_free_7_5) OR FIREABLE(I_free_8_5) OR FIREABLE(I_free_9_5) OR FIREABLE(I_free_10_5) OR FIREABLE(I_free_1_6) OR FIREABLE(I_free_2_6) OR FIREABLE(I_free_3_6) OR FIREABLE(I_free_4_6) OR FIREABLE(I_free_5_6) OR FIREABLE(I_free_7_6) OR FIREABLE(I_free_8_6) OR FIREABLE(I_free_9_6) OR FIREABLE(I_free_10_6) OR FIREABLE(I_free_1_7) OR FIREABLE(I_free_2_7) OR FIREABLE(I_free_3_7) OR FIREABLE(I_free_4_7) OR FIREABLE(I_free_5_7) OR FIREABLE(I_free_6_7) OR FIREABLE(I_free_8_7) OR FIREABLE(I_free_9_7) OR FIREABLE(I_free_10_7) OR FIREABLE(I_free_1_8) OR FIREABLE(I_free_2_8) OR FIREABLE(I_free_3_8) OR FIREABLE(I_free_4_8) OR FIREABLE(I_free_5_8) OR FIREABLE(I_free_6_8) OR FIREABLE(I_free_7_8) OR FIREABLE(I_free_9_8) OR FIREABLE(I_free_10_8) OR FIREABLE(I_free_1_9) OR FIREABLE(I_free_2_9) OR FIREABLE(I_free_3_9) OR FIREABLE(I_free_4_9) OR FIREABLE(I_free_5_9) OR FIREABLE(I_free_6_9) OR FIREABLE(I_free_7_9) OR FIREABLE(I_free_8_9) OR FIREABLE(I_free_10_9) OR FIREABLE(I_free_1_10) OR FIREABLE(I_free_2_10) OR FIREABLE(I_free_3_10) OR FIREABLE(I_free_4_10) OR FIREABLE(I_free_5_10) OR FIREABLE(I_free_6_10) OR FIREABLE(I_free_7_10) OR FIREABLE(I_free_8_10) OR FIREABLE(I_free_9_10))))) AND ((A (F ((FIREABLE(Gto_1) OR FIREABLE(Gto_2) OR FIREABLE(Gto_3) OR FIREABLE(Gto_4) OR FIREABLE(Gto_5) OR FIREABLE(Gto_6) OR FIREABLE(Gto_7) OR FIREABLE(Gto_8) OR FIREABLE(Gto_9) OR FIREABLE(Gto_10)))) OR (FIREABLE(I_free_2_1) OR FIREABLE(I_free_3_1) OR FIREABLE(I_free_4_1) OR FIREABLE(I_free_5_1) OR FIREABLE(I_free_6_1) OR FIREABLE(I_free_7_1) OR FIREABLE(I_free_8_1) OR FIREABLE(I_free_9_1) OR FIREABLE(I_free_10_1) OR FIREABLE(I_free_1_2) OR FIREABLE(I_free_3_2) OR FIREABLE(I_free_4_2) OR FIREABLE(I_free_5_2) OR FIREABLE(I_free_6_2) OR FIREABLE(I_free_7_2) OR FIREABLE(I_free_8_2) OR FIREABLE(I_free_9_2) OR FIREABLE(I_free_10_2) OR FIREABLE(I_free_1_3) OR FIREABLE(I_free_2_3) OR FIREABLE(I_free_4_3) OR FIREABLE(I_free_5_3) OR FIREABLE(I_free_6_3) OR FIREABLE(I_free_7_3) OR FIREABLE(I_free_8_3) OR FIREABLE(I_free_9_3) OR FIREABLE(I_free_10_3) OR FIREABLE(I_free_1_4) OR FIREABLE(I_free_2_4) OR FIREABLE(I_free_3_4) OR FIREABLE(I_free_5_4) OR FIREABLE(I_free_6_4) OR FIREABLE(I_free_7_4) OR FIREABLE(I_free_8_4) OR FIREABLE(I_free_9_4) OR FIREABLE(I_free_10_4) OR FIREABLE(I_free_1_5) OR FIREABLE(I_free_2_5) OR FIREABLE(I_free_3_5) OR FIREABLE(I_free_4_5) OR FIREABLE(I_free_6_5) OR FIREABLE(I_free_7_5) OR FIREABLE(I_free_8_5) OR FIREABLE(I_free_9_5) OR FIREABLE(I_free_10_5) OR FIREABLE(I_free_1_6) OR FIREABLE(I_free_2_6) OR FIREABLE(I_free_3_6) OR FIREABLE(I_free_4_6) OR FIREABLE(I_free_5_6) OR FIREABLE(I_free_7_6) OR FIREABLE(I_free_8_6) OR FIREABLE(I_free_9_6) OR FIREABLE(I_free_10_6) OR FIREABLE(I_free_1_7) OR FIREABLE(I_free_2_7) OR FIREABLE(I_free_3_7) OR FIREABLE(I_free_4_7) OR FIREABLE(I_free_5_7) OR FIREABLE(I_free_6_7) OR FIREABLE(I_free_8_7) OR FIREABLE(I_free_9_7) OR FIREABLE(I_free_10_7) OR FIREABLE(I_free_1_8) OR FIREABLE(I_free_2_8) OR FIREABLE(I_free_3_8) OR FIREABLE(I_free_4_8) OR FIREABLE(I_free_5_8) OR FIREABLE(I_free_6_8) OR FIREABLE(I_free_7_8) OR FIREABLE(I_free_9_8) OR FIREABLE(I_free_10_8) OR FIREABLE(I_free_1_9) OR FIREABLE(I_free_2_9) OR FIREABLE(I_free_3_9) OR FIREABLE(I_free_4_9) OR FIREABLE(I_free_5_9) OR FIREABLE(I_free_6_9) OR FIREABLE(I_free_7_9) OR FIREABLE(I_free_8_9) OR FIREABLE(I_free_10_9) OR FIREABLE(I_free_1_10) OR FIREABLE(I_free_2_10) OR FIREABLE(I_free_3_10) OR FIREABLE(I_free_4_10) OR FIREABLE(I_free_5_10) OR FIREABLE(I_free_6_10) OR FIREABLE(I_free_7_10) OR FIREABLE(I_free_8_10) OR FIREABLE(I_free_9_10))) OR A (F ((FIREABLE(I_free_2_1) OR FIREABLE(I_free_3_1) OR FIREABLE(I_free_4_1) OR FIREABLE(I_free_5_1) OR FIREABLE(I_free_6_1) OR FIREABLE(I_free_7_1) OR FIREABLE(I_free_8_1) OR FIREABLE(I_free_9_1) OR FIREABLE(I_free_10_1) OR FIREABLE(I_free_1_2) OR FIREABLE(I_free_3_2) OR FIREABLE(I_free_4_2) OR FIREABLE(I_free_5_2) OR FIREABLE(I_free_6_2) OR FIREABLE(I_free_7_2) OR FIREABLE(I_free_8_2) OR FIREABLE(I_free_9_2) OR FIREABLE(I_free_10_2) OR FIREABLE(I_free_1_3) OR FIREABLE(I_free_2_3) OR FIREABLE(I_free_4_3) OR FIREABLE(I_free_5_3) OR FIREABLE(I_free_6_3) OR FIREABLE(I_free_7_3) OR FIREABLE(I_free_8_3) OR FIREABLE(I_free_9_3) OR FIREABLE(I_free_10_3) OR FIREABLE(I_free_1_4) OR FIREABLE(I_free_2_4) OR FIREABLE(I_free_3_4) OR FIREABLE(I_free_5_4) OR FIREABLE(I_free_6_4) OR FIREABLE(I_free_7_4) OR FIREABLE(I_free_8_4) OR FIREABLE(I_free_9_4) OR FIREABLE(I_free_10_4) OR FIREABLE(I_free_1_5) OR FIREABLE(I_free_2_5) OR FIREABLE(I_free_3_5) OR FIREABLE(I_free_4_5) OR FIREABLE(I_free_6_5) OR FIREABLE(I_free_7_5) OR FIREABLE(I_free_8_5) OR FIREABLE(I_free_9_5) OR FIREABLE(I_free_10_5) OR FIREABLE(I_free_1_6) OR FIREABLE(I_free_2_6) OR FIREABLE(I_free_3_6) OR FIREABLE(I_free_4_6) OR FIREABLE(I_free_5_6) OR FIREABLE(I_free_7_6) OR FIREABLE(I_free_8_6) OR FIREABLE(I_free_9_6) OR FIREABLE(I_free_10_6) OR FIREABLE(I_free_1_7) OR FIREABLE(I_free_2_7) OR FIREABLE(I_free_3_7) OR FIREABLE(I_free_4_7) OR FIREABLE(I_free_5_7) OR FIREABLE(I_free_6_7) OR FIREABLE(I_free_8_7) OR FIREABLE(I_free_9_7) OR FIREABLE(I_free_10_7) OR FIREABLE(I_free_1_8) OR FIREABLE(I_free_2_8) OR FIREABLE(I_free_3_8) OR FIREABLE(I_free_4_8) OR FIREABLE(I_free_5_8) OR FIREABLE(I_free_6_8) OR FIREABLE(I_free_7_8) OR FIREABLE(I_free_9_8) OR FIREABLE(I_free_10_8) OR FIREABLE(I_free_1_9) OR FIREABLE(I_free_2_9) OR FIREABLE(I_free_3_9) OR FIREABLE(I_free_4_9) OR FIREABLE(I_free_5_9) OR FIREABLE(I_free_6_9) OR FIREABLE(I_free_7_9) OR FIREABLE(I_free_8_9) OR FIREABLE(I_free_10_9) OR FIREABLE(I_free_1_10) OR FIREABLE(I_free_2_10) OR FIREABLE(I_free_3_10) OR FIREABLE(I_free_4_10) OR FIREABLE(I_free_5_10) OR FIREABLE(I_free_6_10) OR FIREABLE(I_free_7_10) OR FIREABLE(I_free_8_10) OR FIREABLE(I_free_9_10)))))) OR E (((FIREABLE(I_reemit_2_1) OR FIREABLE(I_reemit_3_1) OR FIREABLE(I_reemit_4_1) OR FIREABLE(I_reemit_5_1) OR FIREABLE(I_reemit_6_1) OR FIREABLE(I_reemit_7_1) OR FIREABLE(I_reemit_8_1) OR FIREABLE(I_reemit_9_1) OR FIREABLE(I_reemit_10_1) OR FIREABLE(I_reemit_1_2) OR FIREABLE(I_reemit_3_2) OR FIREABLE(I_reemit_4_2) OR FIREABLE(I_reemit_5_2) OR FIREABLE(I_reemit_6_2) OR FIREABLE(I_reemit_7_2) OR FIREABLE(I_reemit_8_2) OR FIREABLE(I_reemit_9_2) OR FIREABLE(I_reemit_10_2) OR FIREABLE(I_reemit_1_3) OR FIREABLE(I_reemit_2_3) OR FIREABLE(I_reemit_4_3) OR FIREABLE(I_reemit_5_3) OR FIREABLE(I_reemit_6_3) OR FIREABLE(I_reemit_7_3) OR FIREABLE(I_reemit_8_3) OR FIREABLE(I_reemit_9_3) OR FIREABLE(I_reemit_10_3) OR FIREABLE(I_reemit_1_4) OR FIREABLE(I_reemit_2_4) OR FIREABLE(I_reemit_3_4) OR FIREABLE(I_reemit_5_4) OR FIREABLE(I_reemit_6_4) OR FIREABLE(I_reemit_7_4) OR FIREABLE(I_reemit_8_4) OR FIREABLE(I_reemit_9_4) OR FIREABLE(I_reemit_10_4) OR FIREABLE(I_reemit_1_5) OR FIREABLE(I_reemit_2_5) OR FIREABLE(I_reemit_3_5) OR FIREABLE(I_reemit_4_5) OR FIREABLE(I_reemit_6_5) OR FIREABLE(I_reemit_7_5) OR FIREABLE(I_reemit_8_5) OR FIREABLE(I_reemit_9_5) OR FIREABLE(I_reemit_10_5) OR FIREABLE(I_reemit_1_6) OR FIREABLE(I_reemit_2_6) OR FIREABLE(I_reemit_3_6) OR FIREABLE(I_reemit_4_6) OR FIREABLE(I_reemit_5_6) OR FIREABLE(I_reemit_7_6) OR FIREABLE(I_reemit_8_6) OR FIREABLE(I_reemit_9_6) OR FIREABLE(I_reemit_10_6) OR FIREABLE(I_reemit_1_7) OR FIREABLE(I_reemit_2_7) OR FIREABLE(I_reemit_3_7) OR FIREABLE(I_reemit_4_7) OR FIREABLE(I_reemit_5_7) OR FIREABLE(I_reemit_6_7) OR FIREABLE(I_reemit_8_7) OR FIREABLE(I_reemit_9_7) OR FIREABLE(I_reemit_10_7) OR FIREABLE(I_reemit_1_8) OR FIREABLE(I_reemit_2_8) OR FIREABLE(I_reemit_3_8) OR FIREABLE(I_reemit_4_8) OR FIREABLE(I_reemit_5_8) OR FIREABLE(I_reemit_6_8) OR FIREABLE(I_reemit_7_8) OR FIREABLE(I_reemit_9_8) OR FIREABLE(I_reemit_10_8) OR FIREABLE(I_reemit_1_9) OR FIREABLE(I_reemit_2_9) OR FIREABLE(I_reemit_3_9) OR FIREABLE(I_reemit_4_9) OR FIREABLE(I_reemit_5_9) OR FIREABLE(I_reemit_6_9) OR FIREABLE(I_reemit_7_9) OR FIREABLE(I_reemit_8_9) OR FIREABLE(I_reemit_10_9) OR FIREABLE(I_reemit_1_10) OR FIREABLE(I_reemit_2_10) OR FIREABLE(I_reemit_3_10) OR FIREABLE(I_reemit_4_10) OR FIREABLE(I_reemit_5_10) OR FIREABLE(I_reemit_6_10) OR FIREABLE(I_reemit_7_10) OR FIREABLE(I_reemit_8_10) OR FIREABLE(I_reemit_9_10)) U E (G ((FIREABLE(Gto_1) OR FIREABLE(Gto_2) OR FIREABLE(Gto_3) OR FIREABLE(Gto_4) OR FIREABLE(Gto_5) OR FIREABLE(Gto_6) OR FIREABLE(Gto_7) OR FIREABLE(Gto_8) OR FIREABLE(Gto_9) OR FIREABLE(Gto_10))))))) : E (F (A (G ((NOT FIREABLE(I_rec1_1_1) AND NOT FIREABLE(I_rec1_2_2) AND NOT FIREABLE(I_rec1_3_3) AND NOT FIREABLE(I_rec1_4_4) AND NOT FIREABLE(I_rec1_5_5) AND NOT FIREABLE(I_rec1_6_6) AND NOT FIREABLE(I_rec1_7_7) AND NOT FIREABLE(I_rec1_8_8) AND NOT FIREABLE(I_rec1_9_9) AND NOT FIREABLE(I_rec1_10_10) AND (FIREABLE(I_refused_1_1) OR FIREABLE(I_refused_2_2) OR FIREABLE(I_refused_3_3) OR FIREABLE(I_refused_4_4) OR FIREABLE(I_refused_5_5) OR FIREABLE(I_refused_6_6) OR FIREABLE(I_refused_7_7) OR FIREABLE(I_refused_8_8) OR FIREABLE(I_refused_9_9) OR FIREABLE(I_refused_10_10) OR FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10))))))) : NOT(((E (F (((FIREABLE(C_refuse_1_1_1_1) OR FIREABLE(C_refuse_2_1_1_1) OR FIREABLE(C_refuse_3_1_1_1) OR FIREABLE(C_refuse_4_1_1_1) OR FIREABLE(C_refuse_5_1_1_1) OR FIREABLE(C_refuse_6_1_1_1) OR FIREABLE(C_refuse_7_1_1_1) OR FIREABLE(C_refuse_8_1_1_1) OR FIREABLE(C_refuse_9_1_1_1) OR FIREABLE(C_refuse_10_1_1_1) OR FIREABLE(C_refuse_1_2_1_1) OR FIREABLE(C_refuse_2_2_1_1) OR FIREABLE(C_refuse_3_2_1_1) OR FIREABLE(C_refuse_4_2_1_1) OR FIREABLE(C_refuse_5_2_1_1) OR FIREABLE(C_refuse_6_2_1_1) OR FIREABLE(C_refuse_7_2_1_1) OR FIREABLE(C_refuse_8_2_1_1) OR FIREABLE(C_refuse_9_2_1_1) OR FIREABLE(C_refuse_10_2_1_1) OR FIREABLE(C_refuse_1_3_1_1) OR FIREABLE(C_refuse_2_3_1_1) OR FIREABLE(C_refuse_3_3_1_1) OR FIREABLE(C_refuse_4_3_1_1) OR FIREABLE(C_refuse_5_3_1_1) OR FIREABLE(C_refuse_6_3_1_1) OR FIREABLE(C_refuse_7_3_1_1) OR FIREABLE(C_refuse_8_3_1_1) OR FIREABLE(C_refuse_9_3_1_1) OR FIREABLE(C_refuse_10_3_1_1) OR FIREABLE(C_refuse_1_4_1_1) OR FIREABLE(C_refuse_2_4_1_1) OR FIREABLE(C_refuse_3_4_1_1) OR FIREABLE(C_refuse_4_4_1_1) OR FIREABLE(C_refuse_5_4_1_1) OR FIREABLE(C_refuse_6_4_1_1) OR FIREABLE(C_refuse_7_4_1_1) OR FIREABLE(C_refuse_8_4_1_1) OR FIREABLE(C_refuse_9_4_1_1) OR FIREABLE(C_refuse_10_4_1_1) OR FIREABLE(C_refuse_1_5_1_1) OR FIREABLE(C_refuse_2_5_1_1) OR FIREABLE(C_refuse_3_5_1_1) OR FIREABLE(C_refuse_4_5_1_1) OR FIREABLE(C_refuse_5_5_1_1) OR FIREABLE(C_refuse_6_5_1_1) OR FIREABLE(C_refuse_7_5_1_1) OR FIREABLE(C_refuse_8_5_1_1) OR FIREABLE(C_refuse_9_5_1_1) OR FIREABLE(C_refuse_10_5_1_1) OR FIREABLE(C_refuse_1_6_1_1) OR FIREABLE(C_refuse_2_6_1_1) OR FIREABLE(C_refuse_3_6_1_1) OR FIREABLE(C_refuse_4_6_1_1) OR FIREABLE(C_refuse_5_6_1_1) OR FIREABLE(C_refuse_6_6_1_1) OR FIREABLE(C_refuse_7_6_1_1) OR FIREABLE(C_refuse_8_6_1_1) OR FIREABLE(C_refuse_9_6_1_1) OR FIREABLE(C_refuse_10_6_1_1) OR FIREABLE(C_refuse_1_7_1_1) OR FIREABLE(C_refuse_2_7_1_1) OR FIREABLE(C_refuse_3_7_1_1) OR FIREABLE(C_refuse_4_7_1_1) OR FIREABLE(C_refuse_5_7_1_1) OR FIREABLE(C_refuse_6_7_1_1) OR FIREABLE(C_refuse_7_7_1_1) OR FIREABLE(C_refuse_8_7_1_1) OR FIREABLE(C_refuse_9_7_1_1) OR FIREABLE(C_refuse_10_7_1_1) OR FIREABLE(C_refuse_1_8_1_1) OR FIREABLE(C_refuse_2_8_1_1) OR FIREABLE(C_refuse_3_8_1_1) OR FIREABLE(C_refuse_4_8_1_1) OR FIREABLE(C_refuse_5_8_1_1) OR FIREABLE(C_refuse_6_8_1_1) OR FIREABLE(C_refuse_7_8_1_1) OR FIREABLE(C_refuse_8_8_1_1) OR FIREABLE(C_refuse_9_8_1_1) OR FIREABLE(C_refuse_10_8_1_1) OR FIREABLE(C_refuse_1_9_1_1) OR FIREABLE(C_refuse_2_9_1_1) OR FIREABLE(C_refuse_3_9_1_1) OR FIREABLE(C_refuse_4_9_1_1) OR FIREABLE(C_refuse_5_9_1_1) OR FIREABLE(C_refuse_6_9_1_1) OR FIREABLE(C_refuse_7_9_1_1) OR FIREABLE(C_refuse_8_9_1_1) OR FIREABLE(C_refuse_9_9_1_1) OR FIREABLE(C_refuse_10_9_1_1) OR FIREABLE(C_refuse_1_10_1_1) OR FIREABLE(C_refuse_2_10_1_1) OR FIREABLE(C_refuse_3_10_1_1) OR FIREABLE(C_refuse_4_10_1_1) OR FIREABLE(C_refuse_5_10_1_1) OR FIREABLE(C_refuse_6_10_1_1) OR FIREABLE(C_refuse_7_10_1_1) OR FIREABLE(C_refuse_8_10_1_1) OR FIREABLE(C_refuse_9_10_1_1) OR FIREABLE(C_refuse_10_10_1_1) OR FIREABLE(C_refuse_1_1_2_2) OR FIREABLE(C_refuse_2_1_2_2) OR FIREABLE(C_refuse_3_1_2_2) OR FIREABLE(C_refuse_4_1_2_2) OR FIREABLE(C_refuse_5_1_2_2) OR FIREABLE(C_refuse_6_1_2_2) OR FIREABLE(C_refuse_7_1_2_2) OR FIREABLE(C_refuse_8_1_2_2) OR FIREABLE(C_refuse_9_1_2_2) OR FIREABLE(C_refuse_10_1_2_2) OR FIREABLE(C_refuse_1_2_2_2) OR FIREABLE(C_refuse_2_2_2_2) OR FIREABLE(C_refuse_3_2_2_2) OR FIREABLE(C_refuse_4_2_2_2) OR FIREABLE(C_refuse_5_2_2_2) OR FIREABLE(C_refuse_6_2_2_2) OR FIREABLE(C_refuse_7_2_2_2) OR FIREABLE(C_refuse_8_2_2_2) OR FIREABLE(C_refuse_9_2_2_2) OR FIREABLE(C_refuse_10_2_2_2) OR FIREABLE(C_refuse_1_3_2_2) OR FIREABLE(C_refuse_2_3_2_2) OR FIREABLE(C_refuse_3_3_2_2) OR FIREABLE(C_refuse_4_3_2_2) OR FIREABLE(C_refuse_5_3_2_2) OR FIREABLE(C_refuse_6_3_2_2) OR FIREABLE(C_refuse_7_3_2_2) OR FIREABLE(C_refuse_8_3_2_2) OR FIREABLE(C_refuse_9_3_2_2) OR FIREABLE(C_refuse_10_3_2_2) OR FIREABLE(C_refuse_1_4_2_2) OR FIREABLE(C_refuse_2_4_2_2) OR FIREABLE(C_refuse_3_4_2_2) OR FIREABLE(C_refuse_4_4_2_2) OR FIREABLE(C_refuse_5_4_2_2) OR FIREABLE(C_refuse_6_4_2_2) OR FIREABLE(C_refuse_7_4_2_2) OR FIREABLE(C_refuse_8_4_2_2) OR FIREABLE(C_refuse_9_4_2_2) OR FIREABLE(C_refuse_10_4_2_2) OR FIREABLE(C_refuse_1_5_2_2) OR FIREABLE(C_refuse_2_5_2_2) OR FIREABLE(C_refuse_3_5_2_2) OR FIREABLE(C_refuse_4_5_2_2) OR FIREABLE(C_refuse_5_5_2_2) OR FIREABLE(C_refuse_6_5_2_2) OR FIREABLE(C_refuse_7_5_2_2) OR FIREABLE(C_refuse_8_5_2_2) OR FIREABLE(C_refuse_9_5_2_2) OR FIREABLE(C_refuse_10_5_2_2) OR FIREABLE(C_refuse_1_6_2_2) OR FIREABLE(C_refuse_2_6_2_2) OR FIREABLE(C_refuse_3_6_2_2) OR FIREABLE(C_refuse_4_6_2_2) OR FIREABLE(C_refuse_5_6_2_2) OR FIREABLE(C_refuse_6_6_2_2) OR FIREABLE(C_refuse_7_6_2_2) OR FIREABLE(C_refuse_8_6_2_2) OR FIREABLE(C_refuse_9_6_2_2) OR FIREABLE(C_refuse_10_6_2_2) OR FIREABLE(C_refuse_1_7_2_2) OR FIREABLE(C_refuse_2_7_2_2) OR FIREABLE(C_refuse_3_7_2_2) OR FIREABLE(C_refuse_4_7_2_2) OR FIREABLE(C_refuse_5_7_2_2) OR FIREABLE(C_refuse_6_7_2_2) OR FIREABLE(C_refuse_7_7_2_2) OR FIREABLE(C_refuse_8_7_2_2) OR FIREABLE(C_refuse_9_7_2_2) OR FIREABLE(C_refuse_10_7_2_2) OR FIREABLE(C_refuse_1_8_2_2) OR FIREABLE(C_refuse_2_8_2_2) OR FIREABLE(C_refuse_3_8_2_2) OR FIREABLE(C_refuse_4_8_2_2) OR FIREABLE(C_refuse_5_8_2_2) OR FIREABLE(C_refuse_6_8_2_2) OR FIREABLE(C_refuse_7_8_2_2) OR FIREABLE(C_refuse_8_8_2_2) OR FIREABLE(C_refuse_9_8_2_2) OR FIREABLE(C_refuse_10_8_2_2) OR FIREABLE(C_refuse_1_9_2_2) OR FIREABLE(C_refuse_2_9_2_2) OR FIREABLE(C_refuse_3_9_2_2) OR FIREABLE(C_refuse_4_9_2_2) OR FIREABLE(C_refuse_5_9_2_2) OR FIREABLE(C_refuse_6_9_2_2) OR FIREABLE(C_refuse_7_9_2_2) OR FIREABLE(C_refuse_8_9_2_2) OR FIREABLE(C_refuse_9_9_2_2) OR FIREABLE(C_refuse_10_9_2_2) OR FIREABLE(C_refuse_1_10_2_2) OR FIREABLE(C_refuse_2_10_2_2) OR FIREABLE(C_refuse_3_10_2_2) OR FIREABLE(C_refuse_4_10_2_2) OR FIREABLE(C_refuse_5_10_2_2) OR FIREABLE(C_refuse_6_10_2_2) OR FIREABLE(C_refuse_7_10_2_2) OR FIREABLE(C_refuse_8_10_2_2) OR FIREABLE(C_refuse_9_10_2_2) OR FIREABLE(C_refuse_10_10_2_2) OR FIREABLE(C_refuse_1_1_3_3) OR FIREABLE(C_refuse_2_1_3_3) OR FIREABLE(C_refuse_3_1_3_3) OR FIREABLE(C_refuse_4_1_3_3) OR FIREABLE(C_refuse_5_1_3_3) OR FIREABLE(C_refuse_6_1_3_3) OR FIREABLE(C_refuse_7_1_3_3) OR FIREABLE(C_refuse_8_1_3_3) OR FIREABLE(C_refuse_9_1_3_3) OR FIREABLE(C_refuse_10_1_3_3) OR FIREABLE(C_refuse_1_2_3_3) OR FIREABLE(C_refuse_2_2_3_3) OR FIREABLE(C_refuse_3_2_3_3) OR FIREABLE(C_refuse_4_2_3_3) OR FIREABLE(C_refuse_5_2_3_3) OR FIREABLE(C_refuse_6_2_3_3) OR FIREABLE(C_refuse_7_2_3_3) OR FIREABLE(C_refuse_8_2_3_3) OR FIREABLE(C_refuse_9_2_3_3) OR FIREABLE(C_refuse_10_2_3_3) OR FIREABLE(C_refuse_1_3_3_3) OR FIREABLE(C_refuse_2_3_3_3) OR FIREABLE(C_refuse_3_3_3_3) OR FIREABLE(C_refuse_4_3_3_3) OR FIREABLE(C_refuse_5_3_3_3) OR FIREABLE(C_refuse_6_3_3_3) OR FIREABLE(C_refuse_7_3_3_3) OR FIREABLE(C_refuse_8_3_3_3) OR FIREABLE(C_refuse_9_3_3_3) OR FIREABLE(C_refuse_10_3_3_3) OR FIREABLE(C_refuse_1_4_3_3) OR FIREABLE(C_refuse_2_4_3_3) OR FIREABLE(C_refuse_3_4_3_3) OR FIREABLE(C_refuse_4_4_3_3) OR FIREABLE(C_refuse_5_4_3_3) OR FIREABLE(C_refuse_6_4_3_3) OR FIREABLE(C_refuse_7_4_3_3) OR FIREABLE(C_refuse_8_4_3_3) OR FIREABLE(C_refuse_9_4_3_3) OR FIREABLE(C_refuse_10_4_3_3) OR FIREABLE(C_refuse_1_5_3_3) OR FIREABLE(C_refuse_2_5_3_3) OR FIREABLE(C_refuse_3_5_3_3) OR FIREABLE(C_refuse_4_5_3_3) OR FIREABLE(C_refuse_5_5_3_3) OR FIREABLE(C_refuse_6_5_3_3) OR FIREABLE(C_refuse_7_5_3_3) OR FIREABLE(C_refuse_8_5_3_3) OR FIREABLE(C_refuse_9_5_3_3) OR FIREABLE(C_refuse_10_5_3_3) OR FIREABLE(C_refuse_1_6_3_3) OR FIREABLE(C_refuse_2_6_3_3) OR FIREABLE(C_refuse_3_6_3_3) OR FIREABLE(C_refuse_4_6_3_3) OR FIREABLE(C_refuse_5_6_3_3) OR FIREABLE(C_refuse_6_6_3_3) OR FIREABLE(C_refuse_7_6_3_3) OR FIREABLE(C_refuse_8_6_3_3) OR FIREABLE(C_refuse_9_6_3_3) OR FIREABLE(C_refuse_10_6_3_3) OR FIREABLE(C_refuse_1_7_3_3) OR FIREABLE(C_refuse_2_7_3_3) OR FIREABLE(C_refuse_3_7_3_3) OR FIREABLE(C_refuse_4_7_3_3) OR FIREABLE(C_refuse_5_7_3_3) OR FIREABLE(C_refuse_6_7_3_3) OR FIREABLE(C_refuse_7_7_3_3) OR FIREABLE(C_refuse_8_7_3_3) OR FIREABLE(C_refuse_9_7_3_3) OR FIREABLE(C_refuse_10_7_3_3) OR FIREABLE(C_refuse_1_8_3_3) OR FIREABLE(C_refuse_2_8_3_3) OR FIREABLE(C_refuse_3_8_3_3) OR FIREABLE(C_refuse_4_8_3_3) OR FIREABLE(C_refuse_5_8_3_3) OR FIREABLE(C_refuse_6_8_3_3) OR FIREABLE(C_refuse_7_8_3_3) OR FIREABLE(C_refuse_8_8_3_3) OR FIREABLE(C_refuse_9_8_3_3) OR FIREABLE(C_refuse_10_8_3_3) OR FIREABLE(C_refuse_1_9_3_3) OR FIREABLE(C_refuse_2_9_3_3) OR FIREABLE(C_refuse_3_9_3_3) OR FIREABLE(C_refuse_4_9_3_3) OR FIREABLE(C_refuse_5_9_3_3) OR FIREABLE(C_refuse_6_9_3_3) OR FIREABLE(C_refuse_7_9_3_3) OR FIREABLE(C_refuse_8_9_3_3) OR FIREABLE(C_refuse_9_9_3_3) OR FIREABLE(C_refuse_10_9_3_3) OR FIREABLE(C_refuse_1_10_3_3) OR FIREABLE(C_refuse_2_10_3_3) OR FIREABLE(C_refuse_3_10_3_3) OR FIREABLE(C_refuse_4_10_3_3) OR FIREABLE(C_refuse_5_10_3_3) OR FIREABLE(C_refuse_6_10_3_3) OR FIREABLE(C_refuse_7_10_3_3) OR FIREABLE(C_refuse_8_10_3_3) OR FIREABLE(C_refuse_9_10_3_3) OR FIREABLE(C_refuse_10_10_3_3) OR FIREABLE(C_refuse_1_1_4_4) OR FIREABLE(C_refuse_2_1_4_4) OR FIREABLE(C_refuse_3_1_4_4) OR FIREABLE(C_refuse_4_1_4_4) OR FIREABLE(C_refuse_5_1_4_4) OR FIREABLE(C_refuse_6_1_4_4) OR FIREABLE(C_refuse_7_1_4_4) OR FIREABLE(C_refuse_8_1_4_4) OR FIREABLE(C_refuse_9_1_4_4) OR FIREABLE(C_refuse_10_1_4_4) OR FIREABLE(C_refuse_1_2_4_4) OR FIREABLE(C_refuse_2_2_4_4) OR FIREABLE(C_refuse_3_2_4_4) OR FIREABLE(C_refuse_4_2_4_4) OR FIREABLE(C_refuse_5_2_4_4) OR FIREABLE(C_refuse_6_2_4_4) OR FIREABLE(C_refuse_7_2_4_4) OR FIREABLE(C_refuse_8_2_4_4) OR FIREABLE(C_refuse_9_2_4_4) OR FIREABLE(C_refuse_10_2_4_4) OR FIREABLE(C_refuse_1_3_4_4) OR FIREABLE(C_refuse_2_3_4_4) OR FIREABLE(C_refuse_3_3_4_4) OR FIREABLE(C_refuse_4_3_4_4) OR FIREABLE(C_refuse_5_3_4_4) OR FIREABLE(C_refuse_6_3_4_4) OR FIREABLE(C_refuse_7_3_4_4) OR FIREABLE(C_refuse_8_3_4_4) OR FIREABLE(C_refuse_9_3_4_4) OR FIREABLE(C_refuse_10_3_4_4) OR FIREABLE(C_refuse_1_4_4_4) OR FIREABLE(C_refuse_2_4_4_4) OR FIREABLE(C_refuse_3_4_4_4) OR FIREABLE(C_refuse_4_4_4_4) OR FIREABLE(C_refuse_5_4_4_4) OR FIREABLE(C_refuse_6_4_4_4) OR FIREABLE(C_refuse_7_4_4_4) OR FIREABLE(C_refuse_8_4_4_4) OR FIREABLE(C_refuse_9_4_4_4) OR FIREABLE(C_refuse_10_4_4_4) OR FIREABLE(C_refuse_1_5_4_4) OR FIREABLE(C_refuse_2_5_4_4) OR FIREABLE(C_refuse_3_5_4_4) OR FIREABLE(C_refuse_4_5_4_4) OR FIREABLE(C_refuse_5_5_4_4) OR FIREABLE(C_refuse_6_5_4_4) OR FIREABLE(C_refuse_7_5_4_4) OR FIREABLE(C_refuse_8_5_4_4) OR FIREABLE(C_refuse_9_5_4_4) OR FIREABLE(C_refuse_10_5_4_4) OR FIREABLE(C_refuse_1_6_4_4) OR FIREABLE(C_refuse_2_6_4_4) OR FIREABLE(C_refuse_3_6_4_4) OR FIREABLE(C_refuse_4_6_4_4) OR FIREABLE(C_refuse_5_6_4_4) OR FIREABLE(C_refuse_6_6_4_4) OR FIREABLE(C_refuse_7_6_4_4) OR FIREABLE(C_refuse_8_6_4_4) OR FIREABLE(C_refuse_9_6_4_4) OR FIREABLE(C_refuse_10_6_4_4) OR FIREABLE(C_refuse_1_7_4_4) OR FIREABLE(C_refuse_2_7_4_4) OR FIREABLE(C_refuse_3_7_4_4) OR FIREABLE(C_refuse_4_7_4_4) OR FIREABLE(C_refuse_5_7_4_4) OR FIREABLE(C_refuse_6_7_4_4) OR FIREABLE(C_refuse_7_7_4_4) OR FIREABLE(C_refuse_8_7_4_4) OR FIREABLE(C_refuse_9_7_4_4) OR FIREABLE(C_refuse_10_7_4_4) OR FIREABLE(C_refuse_1_8_4_4) OR FIREABLE(C_refuse_2_8_4_4) OR FIREABLE(C_refuse_3_8_4_4) OR FIREABLE(C_refuse_4_8_4_4) OR FIREABLE(C_refuse_5_8_4_4) OR FIREABLE(C_refuse_6_8_4_4) OR FIREABLE(C_refuse_7_8_4_4) OR FIREABLE(C_refuse_8_8_4_4) OR FIREABLE(C_refuse_9_8_4_4) OR FIREABLE(C_refuse_10_8_4_4) OR FIREABLE(C_refuse_1_9_4_4) OR FIREABLE(C_refuse_2_9_4_4) OR FIREABLE(C_refuse_3_9_4_4) OR FIREABLE(C_refuse_4_9_4_4) OR FIREABLE(C_refuse_5_9_4_4) OR FIREABLE(C_refuse_6_9_4_4) OR FIREABLE(C_refuse_7_9_4_4) OR FIREABLE(C_refuse_8_9_4_4) OR FIREABLE(C_refuse_9_9_4_4) OR FIREABLE(C_refuse_10_9_4_4) OR FIREABLE(C_refuse_1_10_4_4) OR FIREABLE(C_refuse_2_10_4_4) OR FIREABLE(C_refuse_3_10_4_4) OR FIREABLE(C_refuse_4_10_4_4) OR FIREABLE(C_refuse_5_10_4_4) OR FIREABLE(C_refuse_6_10_4_4) OR FIREABLE(C_refuse_7_10_4_4) OR FIREABLE(C_refuse_8_10_4_4) OR FIREABLE(C_refuse_9_10_4_4) OR FIREABLE(C_refuse_10_10_4_4) OR FIREABLE(C_refuse_1_1_5_5) OR FIREABLE(C_refuse_2_1_5_5) OR FIREABLE(C_refuse_3_1_5_5) OR FIREABLE(C_refuse_4_1_5_5) OR FIREABLE(C_refuse_5_1_5_5) OR FIREABLE(C_refuse_6_1_5_5) OR FIREABLE(C_refuse_7_1_5_5) OR FIREABLE(C_refuse_8_1_5_5) OR FIREABLE(C_refuse_9_1_5_5) OR FIREABLE(C_refuse_10_1_5_5) OR FIREABLE(C_refuse_1_2_5_5) OR FIREABLE(C_refuse_2_2_5_5) OR FIREABLE(C_refuse_3_2_5_5) OR FIREABLE(C_refuse_4_2_5_5) OR FIREABLE(C_refuse_5_2_5_5) OR FIREABLE(C_refuse_6_2_5_5) OR FIREABLE(C_refuse_7_2_5_5) OR FIREABLE(C_refuse_8_2_5_5) OR FIREABLE(C_refuse_9_2_5_5) OR FIREABLE(C_refuse_10_2_5_5) OR FIREABLE(C_refuse_1_3_5_5) OR FIREABLE(C_refuse_2_3_5_5) OR FIREABLE(C_refuse_3_3_5_5) OR FIREABLE(C_refuse_4_3_5_5) OR FIREABLE(C_refuse_5_3_5_5) OR FIREABLE(C_refuse_6_3_5_5) OR FIREABLE(C_refuse_7_3_5_5) OR FIREABLE(C_refuse_8_3_5_5) OR FIREABLE(C_refuse_9_3_5_5) OR FIREABLE(C_refuse_10_3_5_5) OR FIREABLE(C_refuse_1_4_5_5) OR FIREABLE(C_refuse_2_4_5_5) OR FIREABLE(C_refuse_3_4_5_5) OR FIREABLE(C_refuse_4_4_5_5) OR FIREABLE(C_refuse_5_4_5_5) OR FIREABLE(C_refuse_6_4_5_5) OR FIREABLE(C_refuse_7_4_5_5) OR FIREABLE(C_refuse_8_4_5_5) OR FIREABLE(C_refuse_9_4_5_5) OR FIREABLE(C_refuse_10_4_5_5) OR FIREABLE(C_refuse_1_5_5_5) OR FIREABLE(C_refuse_2_5_5_5) OR FIREABLE(C_refuse_3_5_5_5) OR FIREABLE(C_refuse_4_5_5_5) OR FIREABLE(C_refuse_5_5_5_5) OR FIREABLE(C_refuse_6_5_5_5) OR FIREABLE(C_refuse_7_5_5_5) OR FIREABLE(C_refuse_8_5_5_5) OR FIREABLE(C_refuse_9_5_5_5) OR FIREABLE(C_refuse_10_5_5_5) OR FIREABLE(C_refuse_1_6_5_5) OR FIREABLE(C_refuse_2_6_5_5) OR FIREABLE(C_refuse_3_6_5_5) OR FIREABLE(C_refuse_4_6_5_5) OR FIREABLE(C_refuse_5_6_5_5) OR FIREABLE(C_refuse_6_6_5_5) OR FIREABLE(C_refuse_7_6_5_5) OR FIREABLE(C_refuse_8_6_5_5) OR FIREABLE(C_refuse_9_6_5_5) OR FIREABLE(C_refuse_10_6_5_5) OR FIREABLE(C_refuse_1_7_5_5) OR FIREABLE(C_refuse_2_7_5_5) OR FIREABLE(C_refuse_3_7_5_5) OR FIREABLE(C_refuse_4_7_5_5) OR FIREABLE(C_refuse_5_7_5_5) OR FIREABLE(C_refuse_6_7_5_5) OR FIREABLE(C_refuse_7_7_5_5) OR FIREABLE(C_refuse_8_7_5_5) OR FIREABLE(C_refuse_9_7_5_5) OR FIREABLE(C_refuse_10_7_5_5) OR FIREABLE(C_refuse_1_8_5_5) OR FIREABLE(C_refuse_2_8_5_5) OR FIREABLE(C_refuse_3_8_5_5) OR FIREABLE(C_refuse_4_8_5_5) OR FIREABLE(C_refuse_5_8_5_5) OR FIREABLE(C_refuse_6_8_5_5) OR FIREABLE(C_refuse_7_8_5_5) OR FIREABLE(C_refuse_8_8_5_5) OR FIREABLE(C_refuse_9_8_5_5) OR FIREABLE(C_refuse_10_8_5_5) OR FIREABLE(C_refuse_1_9_5_5) OR FIREABLE(C_refuse_2_9_5_5) OR FIREABLE(C_refuse_3_9_5_5) OR FIREABLE(C_refuse_4_9_5_5) OR FIREABLE(C_refuse_5_9_5_5) OR FIREABLE(C_refuse_6_9_5_5) OR FIREABLE(C_refuse_7_9_5_5) OR FIREABLE(C_refuse_8_9_5_5) OR FIREABLE(C_refuse_9_9_5_5) OR FIREABLE(C_refuse_10_9_5_5) OR FIREABLE(C_refuse_1_10_5_5) OR FIREABLE(C_refuse_2_10_5_5) OR FIREABLE(C_refuse_3_10_5_5) OR FIREABLE(C_refuse_4_10_5_5) OR FIREABLE(C_refuse_5_10_5_5) OR FIREABLE(C_refuse_6_10_5_5) OR FIREABLE(C_refuse_7_10_5_5) OR FIREABLE(C_refuse_8_10_5_5) OR FIREABLE(C_refuse_9_10_5_5) OR FIREABLE(C_refuse_10_10_5_5) OR FIREABLE(C_refuse_1_1_6_6) OR FIREABLE(C_refuse_2_1_6_6) OR FIREABLE(C_refuse_3_1_6_6) OR FIREABLE(C_refuse_4_1_6_6) OR FIREABLE(C_refuse_5_1_6_6) OR FIREABLE(C_refuse_6_1_6_6) OR FIREABLE(C_refuse_7_1_6_6) OR FIREABLE(C_refuse_8_1_6_6) OR FIREABLE(C_refuse_9_1_6_6) OR FIREABLE(C_refuse_10_1_6_6) OR FIREABLE(C_refuse_1_2_6_6) OR FIREABLE(C_refuse_2_2_6_6) OR FIREABLE(C_refuse_3_2_6_6) OR FIREABLE(C_refuse_4_2_6_6) OR FIREABLE(C_refuse_5_2_6_6) OR FIREABLE(C_refuse_6_2_6_6) OR FIREABLE(C_refuse_7_2_6_6) OR FIREABLE(C_refuse_8_2_6_6) OR FIREABLE(C_refuse_9_2_6_6) OR FIREABLE(C_refuse_10_2_6_6) OR FIREABLE(C_refuse_1_3_6_6) OR FIREABLE(C_refuse_2_3_6_6) OR FIREABLE(C_refuse_3_3_6_6) OR FIREABLE(C_refuse_4_3_6_6) OR FIREABLE(C_refuse_5_3_6_6) OR FIREABLE(C_refuse_6_3_6_6) OR FIREABLE(C_refuse_7_3_6_6) OR FIREABLE(C_refuse_8_3_6_6) OR FIREABLE(C_refuse_9_3_6_6) OR FIREABLE(C_refuse_10_3_6_6) OR FIREABLE(C_refuse_1_4_6_6) OR FIREABLE(C_refuse_2_4_6_6) OR FIREABLE(C_refuse_3_4_6_6) OR FIREABLE(C_refuse_4_4_6_6) OR FIREABLE(C_refuse_5_4_6_6) OR FIREABLE(C_refuse_6_4_6_6) OR FIREABLE(C_refuse_7_4_6_6) OR FIREABLE(C_refuse_8_4_6_6) OR FIREABLE(C_refuse_9_4_6_6) OR FIREABLE(C_refuse_10_4_6_6) OR FIREABLE(C_refuse_1_5_6_6) OR FIREABLE(C_refuse_2_5_6_6) OR FIREABLE(C_refuse_3_5_6_6) OR FIREABLE(C_refuse_4_5_6_6) OR FIREABLE(C_refuse_5_5_6_6) OR FIREABLE(C_refuse_6_5_6_6) OR FIREABLE(C_refuse_7_5_6_6) OR FIREABLE(C_refuse_8_5_6_6) OR FIREABLE(C_refuse_9_5_6_6) OR FIREABLE(C_refuse_10_5_6_6) OR FIREABLE(C_refuse_1_6_6_6) OR FIREABLE(C_refuse_2_6_6_6) OR FIREABLE(C_refuse_3_6_6_6) OR FIREABLE(C_refuse_4_6_6_6) OR FIREABLE(C_refuse_5_6_6_6) OR FIREABLE(C_refuse_6_6_6_6) OR FIREABLE(C_refuse_7_6_6_6) OR FIREABLE(C_refuse_8_6_6_6) OR FIREABLE(C_refuse_9_6_6_6) OR FIREABLE(C_refuse_10_6_6_6) OR FIREABLE(C_refuse_1_7_6_6) OR FIREABLE(C_refuse_2_7_6_6) OR FIREABLE(C_refuse_3_7_6_6) OR FIREABLE(C_refuse_4_7_6_6) OR FIREABLE(C_refuse_5_7_6_6) OR FIREABLE(C_refuse_6_7_6_6) OR FIREABLE(C_refuse_7_7_6_6) OR FIREABLE(C_refuse_8_7_6_6) OR FIREABLE(C_refuse_9_7_6_6) OR FIREABLE(C_refuse_10_7_6_6) OR FIREABLE(C_refuse_1_8_6_6) OR FIREABLE(C_refuse_2_8_6_6) OR FIREABLE(C_refuse_3_8_6_6) OR FIREABLE(C_refuse_4_8_6_6) OR FIREABLE(C_refuse_5_8_6_6) OR FIREABLE(C_refuse_6_8_6_6) OR FIREABLE(C_refuse_7_8_6_6) OR FIREABLE(C_refuse_8_8_6_6) OR FIREABLE(C_refuse_9_8_6_6) OR FIREABLE(C_refuse_10_8_6_6) OR FIREABLE(C_refuse_1_9_6_6) OR FIREABLE(C_refuse_2_9_6_6) OR FIREABLE(C_refuse_3_9_6_6) OR FIREABLE(C_refuse_4_9_6_6) OR FIREABLE(C_refuse_5_9_6_6) OR FIREABLE(C_refuse_6_9_6_6) OR FIREABLE(C_refuse_7_9_6_6) OR FIREABLE(C_refuse_8_9_6_6) OR FIREABLE(C_refuse_9_9_6_6) OR FIREABLE(C_refuse_10_9_6_6) OR FIREABLE(C_refuse_1_10_6_6) OR FIREABLE(C_refuse_2_10_6_6) OR FIREABLE(C_refuse_3_10_6_6) OR FIREABLE(C_refuse_4_10_6_6) OR FIREABLE(C_refuse_5_10_6_6) OR FIREABLE(C_refuse_6_10_6_6) OR FIREABLE(C_refuse_7_10_6_6) OR FIREABLE(C_refuse_8_10_6_6) OR FIREABLE(C_refuse_9_10_6_6) OR FIREABLE(C_refuse_10_10_6_6) OR FIREABLE(C_refuse_1_1_7_7) OR FIREABLE(C_refuse_2_1_7_7) OR FIREABLE(C_refuse_3_1_7_7) OR FIREABLE(C_refuse_4_1_7_7) OR FIREABLE(C_refuse_5_1_7_7) OR FIREABLE(C_refuse_6_1_7_7) OR FIREABLE(C_refuse_7_1_7_7) OR FIREABLE(C_refuse_8_1_7_7) OR FIREABLE(C_refuse_9_1_7_7) OR FIREABLE(C_refuse_10_1_7_7) OR FIREABLE(C_refuse_1_2_7_7) OR FIREABLE(C_refuse_2_2_7_7) OR FIREABLE(C_refuse_3_2_7_7) OR FIREABLE(C_refuse_4_2_7_7) OR FIREABLE(C_refuse_5_2_7_7) OR FIREABLE(C_refuse_6_2_7_7) OR FIREABLE(C_refuse_7_2_7_7) OR FIREABLE(C_refuse_8_2_7_7) OR FIREABLE(C_refuse_9_2_7_7) OR FIREABLE(C_refuse_10_2_7_7) OR FIREABLE(C_refuse_1_3_7_7) OR FIREABLE(C_refuse_2_3_7_7) OR FIREABLE(C_refuse_3_3_7_7) OR FIREABLE(C_refuse_4_3_7_7) OR FIREABLE(C_refuse_5_3_7_7) OR FIREABLE(C_refuse_6_3_7_7) OR FIREABLE(C_refuse_7_3_7_7) OR FIREABLE(C_refuse_8_3_7_7) OR FIREABLE(C_refuse_9_3_7_7) OR FIREABLE(C_refuse_10_3_7_7) OR FIREABLE(C_refuse_1_4_7_7) OR FIREABLE(C_refuse_2_4_7_7) OR FIREABLE(C_refuse_3_4_7_7) OR FIREABLE(C_refuse_4_4_7_7) OR FIREABLE(C_refuse_5_4_7_7) OR FIREABLE(C_refuse_6_4_7_7) OR FIREABLE(C_refuse_7_4_7_7) OR FIREABLE(C_refuse_8_4_7_7) OR FIREABLE(C_refuse_9_4_7_7) OR FIREABLE(C_refuse_10_4_7_7) OR FIREABLE(C_refuse_1_5_7_7) OR FIREABLE(C_refuse_2_5_7_7) OR FIREABLE(C_refuse_3_5_7_7) OR FIREABLE(C_refuse_4_5_7_7) OR FIREABLE(C_refuse_5_5_7_7) OR FIREABLE(C_refuse_6_5_7_7) OR FIREABLE(C_refuse_7_5_7_7) OR FIREABLE(C_refuse_8_5_7_7) OR FIREABLE(C_refuse_9_5_7_7) OR FIREABLE(C_refuse_10_5_7_7) OR FIREABLE(C_refuse_1_6_7_7) OR FIREABLE(C_refuse_2_6_7_7) OR FIREABLE(C_refuse_3_6_7_7) OR FIREABLE(C_refuse_4_6_7_7) OR FIREABLE(C_refuse_5_6_7_7) OR FIREABLE(C_refuse_6_6_7_7) OR FIREABLE(C_refuse_7_6_7_7) OR FIREABLE(C_refuse_8_6_7_7) OR FIREABLE(C_refuse_9_6_7_7) OR FIREABLE(C_refuse_10_6_7_7) OR FIREABLE(C_refuse_1_7_7_7) OR FIREABLE(C_refuse_2_7_7_7) OR FIREABLE(C_refuse_3_7_7_7) OR FIREABLE(C_refuse_4_7_7_7) OR FIREABLE(C_refuse_5_7_7_7) OR FIREABLE(C_refuse_6_7_7_7) OR FIREABLE(C_refuse_7_7_7_7) OR FIREABLE(C_refuse_8_7_7_7) OR FIREABLE(C_refuse_9_7_7_7) OR FIREABLE(C_refuse_10_7_7_7) OR FIREABLE(C_refuse_1_8_7_7) OR FIREABLE(C_refuse_2_8_7_7) OR FIREABLE(C_refuse_3_8_7_7) OR FIREABLE(C_refuse_4_8_7_7) OR FIREABLE(C_refuse_5_8_7_7) OR FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_7_8_7_7) OR FIREABLE(C_refuse_8_8_7_7) OR FIREABLE(C_refuse_9_8_7_7) OR FIREABLE(C_refuse_10_8_7_7) OR FIREABLE(C_refuse_1_9_7_7) OR FIREABLE(C_refuse_2_9_7_7) OR FIREABLE(C_refuse_3_9_7_7) OR FIREABLE(C_refuse_4_9_7_7) OR FIREABLE(C_refuse_5_9_7_7) OR FIREABLE(C_refuse_6_9_7_7) OR FIREABLE(C_refuse_7_9_7_7) OR FIREABLE(C_refuse_8_9_7_7) OR FIREABLE(C_refuse_9_9_7_7) OR FIREABLE(C_refuse_10_9_7_7) OR FIREABLE(C_refuse_1_10_7_7) OR FIREABLE(C_refuse_2_10_7_7) OR FIREABLE(C_refuse_3_10_7_7) OR FIREABLE(C_refuse_4_10_7_7) OR FIREABLE(C_refuse_5_10_7_7) OR FIREABLE(C_refuse_6_10_7_7) OR FIREABLE(C_refuse_7_10_7_7) OR FIREABLE(C_refuse_8_10_7_7) OR FIREABLE(C_refuse_9_10_7_7) OR FIREABLE(C_refuse_10_10_7_7) OR FIREABLE(C_refuse_1_1_8_8) OR FIREABLE(C_refuse_2_1_8_8) OR FIREABLE(C_refuse_3_1_8_8) OR FIREABLE(C_refuse_4_1_8_8) OR FIREABLE(C_refuse_5_1_8_8) OR FIREABLE(C_refuse_6_1_8_8) OR FIREABLE(C_refuse_7_1_8_8) OR FIREABLE(C_refuse_8_1_8_8) OR FIREABLE(C_refuse_9_1_8_8) OR FIREABLE(C_refuse_10_1_8_8) OR FIREABLE(C_refuse_1_2_8_8) OR FIREABLE(C_refuse_2_2_8_8) OR FIREABLE(C_refuse_3_2_8_8) OR FIREABLE(C_refuse_4_2_8_8) OR FIREABLE(C_refuse_5_2_8_8) OR FIREABLE(C_refuse_6_2_8_8) OR FIREABLE(C_refuse_7_2_8_8) OR FIREABLE(C_refuse_8_2_8_8) OR FIREABLE(C_refuse_9_2_8_8) OR FIREABLE(C_refuse_10_2_8_8) OR FIREABLE(C_refuse_1_3_8_8) OR FIREABLE(C_refuse_2_3_8_8) OR FIREABLE(C_refuse_3_3_8_8) OR FIREABLE(C_refuse_4_3_8_8) OR FIREABLE(C_refuse_5_3_8_8) OR FIREABLE(C_refuse_6_3_8_8) OR FIREABLE(C_refuse_7_3_8_8) OR FIREABLE(C_refuse_8_3_8_8) OR FIREABLE(C_refuse_9_3_8_8) OR FIREABLE(C_refuse_10_3_8_8) OR FIREABLE(C_refuse_1_4_8_8) OR FIREABLE(C_refuse_2_4_8_8) OR FIREABLE(C_refuse_3_4_8_8) OR FIREABLE(C_refuse_4_4_8_8) OR FIREABLE(C_refuse_5_4_8_8) OR FIREABLE(C_refuse_6_4_8_8) OR FIREABLE(C_refuse_7_4_8_8) OR FIREABLE(C_refuse_8_4_8_8) OR FIREABLE(C_refuse_9_4_8_8) OR FIREABLE(C_refuse_10_4_8_8) OR FIREABLE(C_refuse_1_5_8_8) OR FIREABLE(C_refuse_2_5_8_8) OR FIREABLE(C_refuse_3_5_8_8) OR FIREABLE(C_refuse_4_5_8_8) OR FIREABLE(C_refuse_5_5_8_8) OR FIREABLE(C_refuse_6_5_8_8) OR FIREABLE(C_refuse_7_5_8_8) OR FIREABLE(C_refuse_8_5_8_8) OR FIREABLE(C_refuse_9_5_8_8) OR FIREABLE(C_refuse_10_5_8_8) OR FIREABLE(C_refuse_1_6_8_8) OR FIREABLE(C_refuse_2_6_8_8) OR FIREABLE(C_refuse_3_6_8_8) OR FIREABLE(C_refuse_4_6_8_8) OR FIREABLE(C_refuse_5_6_8_8) OR FIREABLE(C_refuse_6_6_8_8) OR FIREABLE(C_refuse_7_6_8_8) OR FIREABLE(C_refuse_8_6_8_8) OR FIREABLE(C_refuse_9_6_8_8) OR FIREABLE(C_refuse_10_6_8_8) OR FIREABLE(C_refuse_1_7_8_8) OR FIREABLE(C_refuse_2_7_8_8) OR FIREABLE(C_refuse_3_7_8_8) OR FIREABLE(C_refuse_4_7_8_8) OR FIREABLE(C_refuse_5_7_8_8) OR FIREABLE(C_refuse_6_7_8_8) OR FIREABLE(C_refuse_7_7_8_8) OR FIREABLE(C_refuse_8_7_8_8) OR FIREABLE(C_refuse_9_7_8_8) OR FIREABLE(C_refuse_10_7_8_8) OR FIREABLE(C_refuse_1_8_8_8) OR FIREABLE(C_refuse_2_8_8_8) OR FIREABLE(C_refuse_3_8_8_8) OR FIREABLE(C_refuse_4_8_8_8) OR FIREABLE(C_refuse_5_8_8_8) OR FIREABLE(C_refuse_6_8_8_8) OR FIREABLE(C_refuse_7_8_8_8) OR FIREABLE(C_refuse_8_8_8_8) OR FIREABLE(C_refuse_9_8_8_8) OR FIREABLE(C_refuse_10_8_8_8) OR FIREABLE(C_refuse_1_9_8_8) OR FIREABLE(C_refuse_2_9_8_8) OR FIREABLE(C_refuse_3_9_8_8) OR FIREABLE(C_refuse_4_9_8_8) OR FIREABLE(C_refuse_5_9_8_8) OR FIREABLE(C_refuse_6_9_8_8) OR FIREABLE(C_refuse_7_9_8_8) OR FIREABLE(C_refuse_8_9_8_8) OR FIREABLE(C_refuse_9_9_8_8) OR FIREABLE(C_refuse_10_9_8_8) OR FIREABLE(C_refuse_1_10_8_8) OR FIREABLE(C_refuse_2_10_8_8) OR FIREABLE(C_refuse_3_10_8_8) OR FIREABLE(C_refuse_4_10_8_8) OR FIREABLE(C_refuse_5_10_8_8) OR FIREABLE(C_refuse_6_10_8_8) OR FIREABLE(C_refuse_7_10_8_8) OR FIREABLE(C_refuse_8_10_8_8) OR FIREABLE(C_refuse_9_10_8_8) OR FIREABLE(C_refuse_10_10_8_8) OR FIREABLE(C_refuse_1_1_9_9) OR FIREABLE(C_refuse_2_1_9_9) OR FIREABLE(C_refuse_3_1_9_9) OR FIREABLE(C_refuse_4_1_9_9) OR FIREABLE(C_refuse_5_1_9_9) OR FIREABLE(C_refuse_6_1_9_9) OR FIREABLE(C_refuse_7_1_9_9) OR FIREABLE(C_refuse_8_1_9_9) OR FIREABLE(C_refuse_9_1_9_9) OR FIREABLE(C_refuse_10_1_9_9) OR FIREABLE(C_refuse_1_2_9_9) OR FIREABLE(C_refuse_2_2_9_9) OR FIREABLE(C_refuse_3_2_9_9) OR FIREABLE(C_refuse_4_2_9_9) OR FIREABLE(C_refuse_5_2_9_9) OR FIREABLE(C_refuse_6_2_9_9) OR FIREABLE(C_refuse_7_2_9_9) OR FIREABLE(C_refuse_8_2_9_9) OR FIREABLE(C_refuse_9_2_9_9) OR FIREABLE(C_refuse_10_2_9_9) OR FIREABLE(C_refuse_1_3_9_9) OR FIREABLE(C_refuse_2_3_9_9) OR FIREABLE(C_refuse_3_3_9_9) OR FIREABLE(C_refuse_4_3_9_9) OR FIREABLE(C_refuse_5_3_9_9) OR FIREABLE(C_refuse_6_3_9_9) OR FIREABLE(C_refuse_7_3_9_9) OR FIREABLE(C_refuse_8_3_9_9) OR FIREABLE(C_refuse_9_3_9_9) OR FIREABLE(C_refuse_10_3_9_9) OR FIREABLE(C_refuse_1_4_9_9) OR FIREABLE(C_refuse_2_4_9_9) OR FIREABLE(C_refuse_3_4_9_9) OR FIREABLE(C_refuse_4_4_9_9) OR FIREABLE(C_refuse_5_4_9_9) OR FIREABLE(C_refuse_6_4_9_9) OR FIREABLE(C_refuse_7_4_9_9) OR FIREABLE(C_refuse_8_4_9_9) OR FIREABLE(C_refuse_9_4_9_9) OR FIREABLE(C_refuse_10_4_9_9) OR FIREABLE(C_refuse_1_5_9_9) OR FIREABLE(C_refuse_2_5_9_9) OR FIREABLE(C_refuse_3_5_9_9) OR FIREABLE(C_refuse_4_5_9_9) OR FIREABLE(C_refuse_5_5_9_9) OR FIREABLE(C_refuse_6_5_9_9) OR FIREABLE(C_refuse_7_5_9_9) OR FIREABLE(C_refuse_8_5_9_9) OR FIREABLE(C_refuse_9_5_9_9) OR FIREABLE(C_refuse_10_5_9_9) OR FIREABLE(C_refuse_1_6_9_9) OR FIREABLE(C_refuse_2_6_9_9) OR FIREABLE(C_refuse_3_6_9_9) OR FIREABLE(C_refuse_4_6_9_9) OR FIREABLE(C_refuse_5_6_9_9) OR FIREABLE(C_refuse_6_6_9_9) OR FIREABLE(C_refuse_7_6_9_9) OR FIREABLE(C_refuse_8_6_9_9) OR FIREABLE(C_refuse_9_6_9_9) OR FIREABLE(C_refuse_10_6_9_9) OR FIREABLE(C_refuse_1_7_9_9) OR FIREABLE(C_refuse_2_7_9_9) OR FIREABLE(C_refuse_3_7_9_9) OR FIREABLE(C_refuse_4_7_9_9) OR FIREABLE(C_refuse_5_7_9_9) OR FIREABLE(C_refuse_6_7_9_9) OR FIREABLE(C_refuse_7_7_9_9) OR FIREABLE(C_refuse_8_7_9_9) OR FIREABLE(C_refuse_9_7_9_9) OR FIREABLE(C_refuse_10_7_9_9) OR FIREABLE(C_refuse_1_8_9_9) OR FIREABLE(C_refuse_2_8_9_9) OR FIREABLE(C_refuse_3_8_9_9) OR FIREABLE(C_refuse_4_8_9_9) OR FIREABLE(C_refuse_5_8_9_9) OR FIREABLE(C_refuse_6_8_9_9) OR FIREABLE(C_refuse_7_8_9_9) OR FIREABLE(C_refuse_8_8_9_9) OR FIREABLE(C_refuse_9_8_9_9) OR FIREABLE(C_refuse_10_8_9_9) OR FIREABLE(C_refuse_1_9_9_9) OR FIREABLE(C_refuse_2_9_9_9) OR FIREABLE(C_refuse_3_9_9_9) OR FIREABLE(C_refuse_4_9_9_9) OR FIREABLE(C_refuse_5_9_9_9) OR FIREABLE(C_refuse_6_9_9_9) OR FIREABLE(C_refuse_7_9_9_9) OR FIREABLE(C_refuse_8_9_9_9) OR FIREABLE(C_refuse_9_9_9_9) OR FIREABLE(C_refuse_10_9_9_9) OR FIREABLE(C_refuse_1_10_9_9) OR FIREABLE(C_refuse_2_10_9_9) OR FIREABLE(C_refuse_3_10_9_9) OR FIREABLE(C_refuse_4_10_9_9) OR FIREABLE(C_refuse_5_10_9_9) OR FIREABLE(C_refuse_6_10_9_9) OR FIREABLE(C_refuse_7_10_9_9) OR FIREABLE(C_refuse_8_10_9_9) OR FIREABLE(C_refuse_9_10_9_9) OR FIREABLE(C_refuse_10_10_9_9) OR FIREABLE(C_refuse_1_1_10_10) OR FIREABLE(C_refuse_2_1_10_10) OR FIREABLE(C_refuse_3_1_10_10) OR FIREABLE(C_refuse_4_1_10_10) OR FIREABLE(C_refuse_5_1_10_10) OR FIREABLE(C_refuse_6_1_10_10) OR FIREABLE(C_refuse_7_1_10_10) OR FIREABLE(C_refuse_8_1_10_10) OR FIREABLE(C_refuse_9_1_10_10) OR FIREABLE(C_refuse_10_1_10_10) OR FIREABLE(C_refuse_1_2_10_10) OR FIREABLE(C_refuse_2_2_10_10) OR FIREABLE(C_refuse_3_2_10_10) OR FIREABLE(C_refuse_4_2_10_10) OR FIREABLE(C_refuse_5_2_10_10) OR FIREABLE(C_refuse_6_2_10_10) OR FIREABLE(C_refuse_7_2_10_10) OR FIREABLE(C_refuse_8_2_10_10) OR FIREABLE(C_refuse_9_2_10_10) OR FIREABLE(C_refuse_10_2_10_10) OR FIREABLE(C_refuse_1_3_10_10) OR FIREABLE(C_refuse_2_3_10_10) OR FIREABLE(C_refuse_3_3_10_10) OR FIREABLE(C_refuse_4_3_10_10) OR FIREABLE(C_refuse_5_3_10_10) OR FIREABLE(C_refuse_6_3_10_10) OR FIREABLE(C_refuse_7_3_10_10) OR FIREABLE(C_refuse_8_3_10_10) OR FIREABLE(C_refuse_9_3_10_10) OR FIREABLE(C_refuse_10_3_10_10) OR FIREABLE(C_refuse_1_4_10_10) OR FIREABLE(C_refuse_2_4_10_10) OR FIREABLE(C_refuse_3_4_10_10) OR FIREABLE(C_refuse_4_4_10_10) OR FIREABLE(C_refuse_5_4_10_10) OR FIREABLE(C_refuse_6_4_10_10) OR FIREABLE(C_refuse_7_4_10_10) OR FIREABLE(C_refuse_8_4_10_10) OR FIREABLE(C_refuse_9_4_10_10) OR FIREABLE(C_refuse_10_4_10_10) OR FIREABLE(C_refuse_1_5_10_10) OR FIREABLE(C_refuse_2_5_10_10) OR FIREABLE(C_refuse_3_5_10_10) OR FIREABLE(C_refuse_4_5_10_10) OR FIREABLE(C_refuse_5_5_10_10) OR FIREABLE(C_refuse_6_5_10_10) OR FIREABLE(C_refuse_7_5_10_10) OR FIREABLE(C_refuse_8_5_10_10) OR FIREABLE(C_refuse_9_5_10_10) OR FIREABLE(C_refuse_10_5_10_10) OR FIREABLE(C_refuse_1_6_10_10) OR FIREABLE(C_refuse_2_6_10_10) OR FIREABLE(C_refuse_3_6_10_10) OR FIREABLE(C_refuse_4_6_10_10) OR FIREABLE(C_refuse_5_6_10_10) OR FIREABLE(C_refuse_6_6_10_10) OR FIREABLE(C_refuse_7_6_10_10) OR FIREABLE(C_refuse_8_6_10_10) OR FIREABLE(C_refuse_9_6_10_10) OR FIREABLE(C_refuse_10_6_10_10) OR FIREABLE(C_refuse_1_7_10_10) OR FIREABLE(C_refuse_2_7_10_10) OR FIREABLE(C_refuse_3_7_10_10) OR FIREABLE(C_refuse_4_7_10_10) OR FIREABLE(C_refuse_5_7_10_10) OR FIREABLE(C_refuse_6_7_10_10) OR FIREABLE(C_refuse_7_7_10_10) OR FIREABLE(C_refuse_8_7_10_10) OR FIREABLE(C_refuse_9_7_10_10) OR FIREABLE(C_refuse_10_7_10_10) OR FIREABLE(C_refuse_1_8_10_10) OR FIREABLE(C_refuse_2_8_10_10) OR FIREABLE(C_refuse_3_8_10_10) OR FIREABLE(C_refuse_4_8_10_10) OR FIREABLE(C_refuse_5_8_10_10) OR FIREABLE(C_refuse_6_8_10_10) OR FIREABLE(C_refuse_7_8_10_10) OR FIREABLE(C_refuse_8_8_10_10) OR FIREABLE(C_refuse_9_8_10_10) OR FIREABLE(C_refuse_10_8_10_10) OR FIREABLE(C_refuse_1_9_10_10) OR FIREABLE(C_refuse_2_9_10_10) OR FIREABLE(C_refuse_3_9_10_10) OR FIREABLE(C_refuse_4_9_10_10) OR FIREABLE(C_refuse_5_9_10_10) OR FIREABLE(C_refuse_6_9_10_10) OR FIREABLE(C_refuse_7_9_10_10) OR FIREABLE(C_refuse_8_9_10_10) OR FIREABLE(C_refuse_9_9_10_10) OR FIREABLE(C_refuse_10_9_10_10) OR FIREABLE(C_refuse_1_10_10_10) OR FIREABLE(C_refuse_2_10_10_10) OR FIREABLE(C_refuse_3_10_10_10) OR FIREABLE(C_refuse_4_10_10_10) OR FIREABLE(C_refuse_5_10_10_10) OR FIREABLE(C_refuse_6_10_10_10) OR FIREABLE(C_refuse_7_10_10_10) OR FIREABLE(C_refuse_8_10_10_10) OR FIREABLE(C_refuse_9_10_10_10) OR FIREABLE(C_refuse_10_10_10_10)) AND (FIREABLE(C_provide_1_1_1) OR FIREABLE(C_provide_2_1_1) OR FIREABLE(C_provide_3_1_1) OR FIREABLE(C_provide_4_1_1) OR FIREABLE(C_provide_5_1_1) OR FIREABLE(C_provide_6_1_1) OR FIREABLE(C_provide_7_1_1) OR FIREABLE(C_provide_8_1_1) OR FIREABLE(C_provide_9_1_1) OR FIREABLE(C_provide_10_1_1) OR FIREABLE(C_provide_1_2_2) OR FIREABLE(C_provide_2_2_2) OR FIREABLE(C_provide_3_2_2) OR FIREABLE(C_provide_4_2_2) OR FIREABLE(C_provide_5_2_2) OR FIREABLE(C_provide_6_2_2) OR FIREABLE(C_provide_7_2_2) OR FIREABLE(C_provide_8_2_2) OR FIREABLE(C_provide_9_2_2) OR FIREABLE(C_provide_10_2_2) OR FIREABLE(C_provide_1_3_3) OR FIREABLE(C_provide_2_3_3) OR FIREABLE(C_provide_3_3_3) OR FIREABLE(C_provide_4_3_3) OR FIREABLE(C_provide_5_3_3) OR FIREABLE(C_provide_6_3_3) OR FIREABLE(C_provide_7_3_3) OR FIREABLE(C_provide_8_3_3) OR FIREABLE(C_provide_9_3_3) OR FIREABLE(C_provide_10_3_3) OR FIREABLE(C_provide_1_4_4) OR FIREABLE(C_provide_2_4_4) OR FIREABLE(C_provide_3_4_4) OR FIREABLE(C_provide_4_4_4) OR FIREABLE(C_provide_5_4_4) OR FIREABLE(C_provide_6_4_4) OR FIREABLE(C_provide_7_4_4) OR FIREABLE(C_provide_8_4_4) OR FIREABLE(C_provide_9_4_4) OR FIREABLE(C_provide_10_4_4) OR FIREABLE(C_provide_1_5_5) OR FIREABLE(C_provide_2_5_5) OR FIREABLE(C_provide_3_5_5) OR FIREABLE(C_provide_4_5_5) OR FIREABLE(C_provide_5_5_5) OR FIREABLE(C_provide_6_5_5) OR FIREABLE(C_provide_7_5_5) OR FIREABLE(C_provide_8_5_5) OR FIREABLE(C_provide_9_5_5) OR FIREABLE(C_provide_10_5_5) OR FIREABLE(C_provide_1_6_6) OR FIREABLE(C_provide_2_6_6) OR FIREABLE(C_provide_3_6_6) OR FIREABLE(C_provide_4_6_6) OR FIREABLE(C_provide_5_6_6) OR FIREABLE(C_provide_6_6_6) OR FIREABLE(C_provide_7_6_6) OR FIREABLE(C_provide_8_6_6) OR FIREABLE(C_provide_9_6_6) OR FIREABLE(C_provide_10_6_6) OR FIREABLE(C_provide_1_7_7) OR FIREABLE(C_provide_2_7_7) OR FIREABLE(C_provide_3_7_7) OR FIREABLE(C_provide_4_7_7) OR FIREABLE(C_provide_5_7_7) OR FIREABLE(C_provide_6_7_7) OR FIREABLE(C_provide_7_7_7) OR FIREABLE(C_provide_8_7_7) OR FIREABLE(C_provide_9_7_7) OR FIREABLE(C_provide_10_7_7) OR FIREABLE(C_provide_1_8_8) OR FIREABLE(C_provide_2_8_8) OR FIREABLE(C_provide_3_8_8) OR FIREABLE(C_provide_4_8_8) OR FIREABLE(C_provide_5_8_8) OR FIREABLE(C_provide_6_8_8) OR FIREABLE(C_provide_7_8_8) OR FIREABLE(C_provide_8_8_8) OR FIREABLE(C_provide_9_8_8) OR FIREABLE(C_provide_10_8_8) OR FIREABLE(C_provide_1_9_9) OR FIREABLE(C_provide_2_9_9) OR FIREABLE(C_provide_3_9_9) OR FIREABLE(C_provide_4_9_9) OR FIREABLE(C_provide_5_9_9) OR FIREABLE(C_provide_6_9_9) OR FIREABLE(C_provide_7_9_9) OR FIREABLE(C_provide_8_9_9) OR FIREABLE(C_provide_9_9_9) OR FIREABLE(C_provide_10_9_9) OR FIREABLE(C_provide_1_10_10) OR FIREABLE(C_provide_2_10_10) OR FIREABLE(C_provide_3_10_10) OR FIREABLE(C_provide_4_10_10) OR FIREABLE(C_provide_5_10_10) OR FIREABLE(C_provide_6_10_10) OR FIREABLE(C_provide_7_10_10) OR FIREABLE(C_provide_8_10_10) OR FIREABLE(C_provide_9_10_10) OR FIREABLE(C_provide_10_10_10))))) OR NOT(E (G ((FIREABLE(I_reemit_2_1) OR FIREABLE(I_reemit_3_1) OR FIREABLE(I_reemit_4_1) OR FIREABLE(I_reemit_5_1) OR FIREABLE(I_reemit_6_1) OR FIREABLE(I_reemit_7_1) OR FIREABLE(I_reemit_8_1) OR FIREABLE(I_reemit_9_1) OR FIREABLE(I_reemit_10_1) OR FIREABLE(I_reemit_1_2) OR FIREABLE(I_reemit_3_2) OR FIREABLE(I_reemit_4_2) OR FIREABLE(I_reemit_5_2) OR FIREABLE(I_reemit_6_2) OR FIREABLE(I_reemit_7_2) OR FIREABLE(I_reemit_8_2) OR FIREABLE(I_reemit_9_2) OR FIREABLE(I_reemit_10_2) OR FIREABLE(I_reemit_1_3) OR FIREABLE(I_reemit_2_3) OR FIREABLE(I_reemit_4_3) OR FIREABLE(I_reemit_5_3) OR FIREABLE(I_reemit_6_3) OR FIREABLE(I_reemit_7_3) OR FIREABLE(I_reemit_8_3) OR FIREABLE(I_reemit_9_3) OR FIREABLE(I_reemit_10_3) OR FIREABLE(I_reemit_1_4) OR FIREABLE(I_reemit_2_4) OR FIREABLE(I_reemit_3_4) OR FIREABLE(I_reemit_5_4) OR FIREABLE(I_reemit_6_4) OR FIREABLE(I_reemit_7_4) OR FIREABLE(I_reemit_8_4) OR FIREABLE(I_reemit_9_4) OR FIREABLE(I_reemit_10_4) OR FIREABLE(I_reemit_1_5) OR FIREABLE(I_reemit_2_5) OR FIREABLE(I_reemit_3_5) OR FIREABLE(I_reemit_4_5) OR FIREABLE(I_reemit_6_5) OR FIREABLE(I_reemit_7_5) OR FIREABLE(I_reemit_8_5) OR FIREABLE(I_reemit_9_5) OR FIREABLE(I_reemit_10_5) OR FIREABLE(I_reemit_1_6) OR FIREABLE(I_reemit_2_6) OR FIREABLE(I_reemit_3_6) OR FIREABLE(I_reemit_4_6) OR FIREABLE(I_reemit_5_6) OR FIREABLE(I_reemit_7_6) OR FIREABLE(I_reemit_8_6) OR FIREABLE(I_reemit_9_6) OR FIREABLE(I_reemit_10_6) OR FIREABLE(I_reemit_1_7) OR FIREABLE(I_reemit_2_7) OR FIREABLE(I_reemit_3_7) OR FIREABLE(I_reemit_4_7) OR FIREABLE(I_reemit_5_7) OR FIREABLE(I_reemit_6_7) OR FIREABLE(I_reemit_8_7) OR FIREABLE(I_reemit_9_7) OR FIREABLE(I_reemit_10_7) OR FIREABLE(I_reemit_1_8) OR FIREABLE(I_reemit_2_8) OR FIREABLE(I_reemit_3_8) OR FIREABLE(I_reemit_4_8) OR FIREABLE(I_reemit_5_8) OR FIREABLE(I_reemit_6_8) OR FIREABLE(I_reemit_7_8) OR FIREABLE(I_reemit_9_8) OR FIREABLE(I_reemit_10_8) OR FIREABLE(I_reemit_1_9) OR FIREABLE(I_reemit_2_9) OR FIREABLE(I_reemit_3_9) OR FIREABLE(I_reemit_4_9) OR FIREABLE(I_reemit_5_9) OR FIREABLE(I_reemit_6_9) OR FIREABLE(I_reemit_7_9) OR FIREABLE(I_reemit_8_9) OR FIREABLE(I_reemit_10_9) OR FIREABLE(I_reemit_1_10) OR FIREABLE(I_reemit_2_10) OR FIREABLE(I_reemit_3_10) OR FIREABLE(I_reemit_4_10) OR FIREABLE(I_reemit_5_10) OR FIREABLE(I_reemit_6_10) OR FIREABLE(I_reemit_7_10) OR FIREABLE(I_reemit_8_10) OR FIREABLE(I_reemit_9_10)))))) AND E (F ((NOT FIREABLE(I_ask2_1_1) AND NOT FIREABLE(I_ask2_2_1) AND NOT FIREABLE(I_ask2_3_1) AND NOT FIREABLE(I_ask2_4_1) AND NOT FIREABLE(I_ask2_5_1) AND NOT FIREABLE(I_ask2_6_1) AND NOT FIREABLE(I_ask2_7_1) AND NOT FIREABLE(I_ask2_8_1) AND NOT FIREABLE(I_ask2_9_1) AND NOT FIREABLE(I_ask2_10_1) AND NOT FIREABLE(I_ask2_1_2) AND NOT FIREABLE(I_ask2_2_2) AND NOT FIREABLE(I_ask2_3_2) AND NOT FIREABLE(I_ask2_4_2) AND NOT FIREABLE(I_ask2_5_2) AND NOT FIREABLE(I_ask2_6_2) AND NOT FIREABLE(I_ask2_7_2) AND NOT FIREABLE(I_ask2_8_2) AND NOT FIREABLE(I_ask2_9_2) AND NOT FIREABLE(I_ask2_10_2) AND NOT FIREABLE(I_ask2_1_3) AND NOT FIREABLE(I_ask2_2_3) AND NOT FIREABLE(I_ask2_3_3) AND NOT FIREABLE(I_ask2_4_3) AND NOT FIREABLE(I_ask2_5_3) AND NOT FIREABLE(I_ask2_6_3) AND NOT FIREABLE(I_ask2_7_3) AND NOT FIREABLE(I_ask2_8_3) AND NOT FIREABLE(I_ask2_9_3) AND NOT FIREABLE(I_ask2_10_3) AND NOT FIREABLE(I_ask2_1_4) AND NOT FIREABLE(I_ask2_2_4) AND NOT FIREABLE(I_ask2_3_4) AND NOT FIREABLE(I_ask2_4_4) AND NOT FIREABLE(I_ask2_5_4) AND NOT FIREABLE(I_ask2_6_4) AND NOT FIREABLE(I_ask2_7_4) AND NOT FIREABLE(I_ask2_8_4) AND NOT FIREABLE(I_ask2_9_4) AND NOT FIREABLE(I_ask2_10_4) AND NOT FIREABLE(I_ask2_1_5) AND NOT FIREABLE(I_ask2_2_5) AND NOT FIREABLE(I_ask2_3_5) AND NOT FIREABLE(I_ask2_4_5) AND NOT FIREABLE(I_ask2_5_5) AND NOT FIREABLE(I_ask2_6_5) AND NOT FIREABLE(I_ask2_7_5) AND NOT FIREABLE(I_ask2_8_5) AND NOT FIREABLE(I_ask2_9_5) AND NOT FIREABLE(I_ask2_10_5) AND NOT FIREABLE(I_ask2_1_6) AND NOT FIREABLE(I_ask2_2_6) AND NOT FIREABLE(I_ask2_3_6) AND NOT FIREABLE(I_ask2_4_6) AND NOT FIREABLE(I_ask2_5_6) AND NOT FIREABLE(I_ask2_6_6) AND NOT FIREABLE(I_ask2_7_6) AND NOT FIREABLE(I_ask2_8_6) AND NOT FIREABLE(I_ask2_9_6) AND NOT FIREABLE(I_ask2_10_6) AND NOT FIREABLE(I_ask2_1_7) AND NOT FIREABLE(I_ask2_2_7) AND NOT FIREABLE(I_ask2_3_7) AND NOT FIREABLE(I_ask2_4_7) AND NOT FIREABLE(I_ask2_5_7) AND NOT FIREABLE(I_ask2_6_7) AND NOT FIREABLE(I_ask2_7_7) AND NOT FIREABLE(I_ask2_8_7) AND NOT FIREABLE(I_ask2_9_7) AND NOT FIREABLE(I_ask2_10_7) AND NOT FIREABLE(I_ask2_1_8) AND NOT FIREABLE(I_ask2_2_8) AND NOT FIREABLE(I_ask2_3_8) AND NOT FIREABLE(I_ask2_4_8) AND NOT FIREABLE(I_ask2_5_8) AND NOT FIREABLE(I_ask2_6_8) AND NOT FIREABLE(I_ask2_7_8) AND NOT FIREABLE(I_ask2_8_8) AND NOT FIREABLE(I_ask2_9_8) AND NOT FIREABLE(I_ask2_10_8) AND NOT FIREABLE(I_ask2_1_9) AND NOT FIREABLE(I_ask2_2_9) AND NOT FIREABLE(I_ask2_3_9) AND NOT FIREABLE(I_ask2_4_9) AND NOT FIREABLE(I_ask2_5_9) AND NOT FIREABLE(I_ask2_6_9) AND NOT FIREABLE(I_ask2_7_9) AND NOT FIREABLE(I_ask2_8_9) AND NOT FIREABLE(I_ask2_9_9) AND NOT FIREABLE(I_ask2_10_9) AND NOT FIREABLE(I_ask2_1_10) AND NOT FIREABLE(I_ask2_2_10) AND NOT FIREABLE(I_ask2_3_10) AND NOT FIREABLE(I_ask2_4_10) AND NOT FIREABLE(I_ask2_5_10) AND NOT FIREABLE(I_ask2_6_10) AND NOT FIREABLE(I_ask2_7_10) AND NOT FIREABLE(I_ask2_8_10) AND NOT FIREABLE(I_ask2_9_10) AND NOT FIREABLE(I_ask2_10_10) AND NOT FIREABLE(I_ask1_1_1) AND NOT FIREABLE(I_ask1_2_1) AND NOT FIREABLE(I_ask1_3_1) AND NOT FIREABLE(I_ask1_4_1) AND NOT FIREABLE(I_ask1_5_1) AND NOT FIREABLE(I_ask1_6_1) AND NOT FIREABLE(I_ask1_7_1) AND NOT FIREABLE(I_ask1_8_1) AND NOT FIREABLE(I_ask1_9_1) AND NOT FIREABLE(I_ask1_10_1) AND NOT FIREABLE(I_ask1_1_2) AND NOT FIREABLE(I_ask1_2_2) AND NOT FIREABLE(I_ask1_3_2) AND NOT FIREABLE(I_ask1_4_2) AND NOT FIREABLE(I_ask1_5_2) AND NOT FIREABLE(I_ask1_6_2) AND NOT FIREABLE(I_ask1_7_2) AND NOT FIREABLE(I_ask1_8_2) AND NOT FIREABLE(I_ask1_9_2) AND NOT FIREABLE(I_ask1_10_2) AND NOT FIREABLE(I_ask1_1_3) AND NOT FIREABLE(I_ask1_2_3) AND NOT FIREABLE(I_ask1_3_3) AND NOT FIREABLE(I_ask1_4_3) AND NOT FIREABLE(I_ask1_5_3) AND NOT FIREABLE(I_ask1_6_3) AND NOT FIREABLE(I_ask1_7_3) AND NOT FIREABLE(I_ask1_8_3) AND NOT FIREABLE(I_ask1_9_3) AND NOT FIREABLE(I_ask1_10_3) AND NOT FIREABLE(I_ask1_1_4) AND NOT FIREABLE(I_ask1_2_4) AND NOT FIREABLE(I_ask1_3_4) AND NOT FIREABLE(I_ask1_4_4) AND NOT FIREABLE(I_ask1_5_4) AND NOT FIREABLE(I_ask1_6_4) AND NOT FIREABLE(I_ask1_7_4) AND NOT FIREABLE(I_ask1_8_4) AND NOT FIREABLE(I_ask1_9_4) AND NOT FIREABLE(I_ask1_10_4) AND NOT FIREABLE(I_ask1_1_5) AND NOT FIREABLE(I_ask1_2_5) AND NOT FIREABLE(I_ask1_3_5) AND NOT FIREABLE(I_ask1_4_5) AND NOT FIREABLE(I_ask1_5_5) AND NOT FIREABLE(I_ask1_6_5) AND NOT FIREABLE(I_ask1_7_5) AND NOT FIREABLE(I_ask1_8_5) AND NOT FIREABLE(I_ask1_9_5) AND NOT FIREABLE(I_ask1_10_5) AND NOT FIREABLE(I_ask1_1_6) AND NOT FIREABLE(I_ask1_2_6) AND NOT FIREABLE(I_ask1_3_6) AND NOT FIREABLE(I_ask1_4_6) AND NOT FIREABLE(I_ask1_5_6) AND NOT FIREABLE(I_ask1_6_6) AND NOT FIREABLE(I_ask1_7_6) AND NOT FIREABLE(I_ask1_8_6) AND NOT FIREABLE(I_ask1_9_6) AND NOT FIREABLE(I_ask1_10_6) AND NOT FIREABLE(I_ask1_1_7) AND NOT FIREABLE(I_ask1_2_7) AND NOT FIREABLE(I_ask1_3_7) AND NOT FIREABLE(I_ask1_4_7) AND NOT FIREABLE(I_ask1_5_7) AND NOT FIREABLE(I_ask1_6_7) AND NOT FIREABLE(I_ask1_7_7) AND NOT FIREABLE(I_ask1_8_7) AND NOT FIREABLE(I_ask1_9_7) AND NOT FIREABLE(I_ask1_10_7) AND NOT FIREABLE(I_ask1_1_8) AND NOT FIREABLE(I_ask1_2_8) AND NOT FIREABLE(I_ask1_3_8) AND NOT FIREABLE(I_ask1_4_8) AND NOT FIREABLE(I_ask1_5_8) AND NOT FIREABLE(I_ask1_6_8) AND NOT FIREABLE(I_ask1_7_8) AND NOT FIREABLE(I_ask1_8_8) AND NOT FIREABLE(I_ask1_9_8) AND NOT FIREABLE(I_ask1_10_8) AND NOT FIREABLE(I_ask1_1_9) AND NOT FIREABLE(I_ask1_2_9) AND NOT FIREABLE(I_ask1_3_9) AND NOT FIREABLE(I_ask1_4_9) AND NOT FIREABLE(I_ask1_5_9) AND NOT FIREABLE(I_ask1_6_9) AND NOT FIREABLE(I_ask1_7_9) AND NOT FIREABLE(I_ask1_8_9) AND NOT FIREABLE(I_ask1_9_9) AND NOT FIREABLE(I_ask1_10_9) AND NOT FIREABLE(I_ask1_1_10) AND NOT FIREABLE(I_ask1_2_10) AND NOT FIREABLE(I_ask1_3_10) AND NOT FIREABLE(I_ask1_4_10) AND NOT FIREABLE(I_ask1_5_10) AND NOT FIREABLE(I_ask1_6_10) AND NOT FIREABLE(I_ask1_7_10) AND NOT FIREABLE(I_ask1_8_10) AND NOT FIREABLE(I_ask1_9_10) AND NOT FIREABLE(I_ask1_10_10)))))) : A (G (A (F ((NOT FIREABLE(I_reemit_2_1) AND NOT FIREABLE(I_reemit_3_1) AND NOT FIREABLE(I_reemit_4_1) AND NOT FIREABLE(I_reemit_5_1) AND NOT FIREABLE(I_reemit_6_1) AND NOT FIREABLE(I_reemit_7_1) AND NOT FIREABLE(I_reemit_8_1) AND NOT FIREABLE(I_reemit_9_1) AND NOT FIREABLE(I_reemit_10_1) AND NOT FIREABLE(I_reemit_1_2) AND NOT FIREABLE(I_reemit_3_2) AND NOT FIREABLE(I_reemit_4_2) AND NOT FIREABLE(I_reemit_5_2) AND NOT FIREABLE(I_reemit_6_2) AND NOT FIREABLE(I_reemit_7_2) AND NOT FIREABLE(I_reemit_8_2) AND NOT FIREABLE(I_reemit_9_2) AND NOT FIREABLE(I_reemit_10_2) AND NOT FIREABLE(I_reemit_1_3) AND NOT FIREABLE(I_reemit_2_3) AND NOT FIREABLE(I_reemit_4_3) AND NOT FIREABLE(I_reemit_5_3) AND NOT FIREABLE(I_reemit_6_3) AND NOT FIREABLE(I_reemit_7_3) AND NOT FIREABLE(I_reemit_8_3) AND NOT FIREABLE(I_reemit_9_3) AND NOT FIREABLE(I_reemit_10_3) AND NOT FIREABLE(I_reemit_1_4) AND NOT FIREABLE(I_reemit_2_4) AND NOT FIREABLE(I_reemit_3_4) AND NOT FIREABLE(I_reemit_5_4) AND NOT FIREABLE(I_reemit_6_4) AND NOT FIREABLE(I_reemit_7_4) AND NOT FIREABLE(I_reemit_8_4) AND NOT FIREABLE(I_reemit_9_4) AND NOT FIREABLE(I_reemit_10_4) AND NOT FIREABLE(I_reemit_1_5) AND NOT FIREABLE(I_reemit_2_5) AND NOT FIREABLE(I_reemit_3_5) AND NOT FIREABLE(I_reemit_4_5) AND NOT FIREABLE(I_reemit_6_5) AND NOT FIREABLE(I_reemit_7_5) AND NOT FIREABLE(I_reemit_8_5) AND NOT FIREABLE(I_reemit_9_5) AND NOT FIREABLE(I_reemit_10_5) AND NOT FIREABLE(I_reemit_1_6) AND NOT FIREABLE(I_reemit_2_6) AND NOT FIREABLE(I_reemit_3_6) AND NOT FIREABLE(I_reemit_4_6) AND NOT FIREABLE(I_reemit_5_6) AND NOT FIREABLE(I_reemit_7_6) AND NOT FIREABLE(I_reemit_8_6) AND NOT FIREABLE(I_reemit_9_6) AND NOT FIREABLE(I_reemit_10_6) AND NOT FIREABLE(I_reemit_1_7) AND NOT FIREABLE(I_reemit_2_7) AND NOT FIREABLE(I_reemit_3_7) AND NOT FIREABLE(I_reemit_4_7) AND NOT FIREABLE(I_reemit_5_7) AND NOT FIREABLE(I_reemit_6_7) AND NOT FIREABLE(I_reemit_8_7) AND NOT FIREABLE(I_reemit_9_7) AND NOT FIREABLE(I_reemit_10_7) AND NOT FIREABLE(I_reemit_1_8) AND NOT FIREABLE(I_reemit_2_8) AND NOT FIREABLE(I_reemit_3_8) AND NOT FIREABLE(I_reemit_4_8) AND NOT FIREABLE(I_reemit_5_8) AND NOT FIREABLE(I_reemit_6_8) AND NOT FIREABLE(I_reemit_7_8) AND NOT FIREABLE(I_reemit_9_8) AND NOT FIREABLE(I_reemit_10_8) AND NOT FIREABLE(I_reemit_1_9) AND NOT FIREABLE(I_reemit_2_9) AND NOT FIREABLE(I_reemit_3_9) AND NOT FIREABLE(I_reemit_4_9) AND NOT FIREABLE(I_reemit_5_9) AND NOT FIREABLE(I_reemit_6_9) AND NOT FIREABLE(I_reemit_7_9) AND NOT FIREABLE(I_reemit_8_9) AND NOT FIREABLE(I_reemit_10_9) AND NOT FIREABLE(I_reemit_1_10) AND NOT FIREABLE(I_reemit_2_10) AND NOT FIREABLE(I_reemit_3_10) AND NOT FIREABLE(I_reemit_4_10) AND NOT FIREABLE(I_reemit_5_10) AND NOT FIREABLE(I_reemit_6_10) AND NOT FIREABLE(I_reemit_7_10) AND NOT FIREABLE(I_reemit_8_10) AND NOT FIREABLE(I_reemit_9_10)))))) : E (G ((FIREABLE(C_refuse_7_5_2_2) OR FIREABLE(I_reemit_1_3) OR NOT FIREABLE(C_provide_8_1_1)))) : NOT(A (G ((NOT FIREABLE(C_refuse_7_6_5_5) OR NOT FIREABLE(C_refuse_3_5_7_7))))) : E (G (((FIREABLE(I_emit_8_8_2) OR E (X (FIREABLE(C_refuse_7_1_10_10)))) OR (E (G (FIREABLE(C_refuse_9_7_8_8))) OR E (F (FIREABLE(C_provide_8_10_10))))))) : E ((E (F ((FIREABLE(I_free_6_9) AND FIREABLE(C_refuse_2_3_5_5)))) U A (G (FIREABLE(C_refuse_4_7_8_8))))) : (E (G (NOT(E (F (FIREABLE(C_refuse_4_8_10_10)))))) AND ((A (G (FIREABLE(C_refuse_1_5_2_2))) OR ((FIREABLE(I_ask1_7_9) AND FIREABLE(C_provide_9_1_1) AND FIREABLE(C_refuse_8_5_1_1) AND FIREABLE(I_reemit_1_7)) OR FIREABLE(I_ask1_7_10))) OR E (X ((NOT FIREABLE(C_refuse_5_9_10_10) AND NOT FIREABLE(C_refuse_4_3_5_5)))))) : E (F (FIREABLE(C_refuse_10_8_9_9))) : A (G (NOT(E (F ((FIREABLE(C_provide_4_3_3) OR FIREABLE(Gto_5))))))) : (A (G (((NOT FIREABLE(C_refuse_1_6_9_9) OR NOT FIREABLE(C_refuse_10_4_9_9)) AND (NOT FIREABLE(C_refuse_4_1_7_7) OR NOT FIREABLE(C_refuse_6_10_3_3))))) OR (FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_5_1_8_8)))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:476
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (X ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREAB... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (AX((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREAB... (shortened)
lola: processed formula length: 5293
lola: 41 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 253393 markings, 543622 edges, 50679 markings/sec, 0 secs
lola: 485704 markings, 1087486 edges, 46462 markings/sec, 5 secs
lola: 707511 markings, 1625334 edges, 44361 markings/sec, 10 secs
lola: 923657 markings, 2163173 edges, 43229 markings/sec, 15 secs
lola: 1151832 markings, 2706541 edges, 45635 markings/sec, 20 secs
lola: 1361663 markings, 3237087 edges, 41966 markings/sec, 25 secs
lola: 1566586 markings, 3763883 edges, 40985 markings/sec, 30 secs
lola: 1768215 markings, 4286081 edges, 40326 markings/sec, 35 secs
lola: 1967152 markings, 4804719 edges, 39787 markings/sec, 40 secs
lola: 2165400 markings, 5324501 edges, 39650 markings/sec, 45 secs
lola: 2361233 markings, 5844305 edges, 39167 markings/sec, 50 secs
lola: 2553955 markings, 6350826 edges, 38544 markings/sec, 55 secs
lola: 2754633 markings, 6881491 edges, 40136 markings/sec, 60 secs
lola: 2956956 markings, 7417919 edges, 40465 markings/sec, 65 secs
lola: 3151654 markings, 7935888 edges, 38940 markings/sec, 70 secs
lola: 3345384 markings, 8457015 edges, 38746 markings/sec, 75 secs
lola: 3536375 markings, 8968415 edges, 38198 markings/sec, 80 secs
lola: 3724404 markings, 9476535 edges, 37606 markings/sec, 85 secs
lola: 3916696 markings, 9992264 edges, 38458 markings/sec, 90 secs
lola: 4104043 markings, 10496392 edges, 37469 markings/sec, 95 secs
lola: 4292790 markings, 11006640 edges, 37749 markings/sec, 100 secs
lola: 4480226 markings, 11520312 edges, 37487 markings/sec, 105 secs
lola: 4665504 markings, 12029596 edges, 37056 markings/sec, 110 secs
lola: 4850612 markings, 12533460 edges, 37022 markings/sec, 115 secs
lola: 5034345 markings, 13038641 edges, 36747 markings/sec, 120 secs
lola: 5219563 markings, 13540909 edges, 37044 markings/sec, 125 secs
lola: 5404018 markings, 14047678 edges, 36891 markings/sec, 130 secs
lola: 5587796 markings, 14560931 edges, 36756 markings/sec, 135 secs
lola: 5771556 markings, 15070359 edges, 36752 markings/sec, 140 secs
lola: 5953840 markings, 15578012 edges, 36457 markings/sec, 145 secs
lola: 6135285 markings, 16083698 edges, 36289 markings/sec, 150 secs
lola: 6318296 markings, 16577599 edges, 36602 markings/sec, 155 secs
lola: 6499926 markings, 17079880 edges, 36326 markings/sec, 160 secs
lola: 6679286 markings, 17577656 edges, 35872 markings/sec, 165 secs
lola: 6858552 markings, 18083418 edges, 35853 markings/sec, 170 secs
lola: 7037277 markings, 18590061 edges, 35745 markings/sec, 175 secs
lola: 7216299 markings, 19087031 edges, 35804 markings/sec, 180 secs
lola: 7395134 markings, 19581178 edges, 35767 markings/sec, 185 secs
lola: 7572986 markings, 20080303 edges, 35570 markings/sec, 190 secs
lola: 7751653 markings, 20572377 edges, 35733 markings/sec, 195 secs
lola: 7931856 markings, 21055479 edges, 36041 markings/sec, 200 secs
lola: 8109663 markings, 21566124 edges, 35561 markings/sec, 205 secs
lola: 8288356 markings, 22064945 edges, 35739 markings/sec, 210 secs
lola: 8466611 markings, 22569215 edges, 35651 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1451556 KB
lola: time consumption: 223 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (((FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10)) U (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (((FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10)) U (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_r... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A((FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(I_rec2_6_6) OR FIREABLE(I_rec2_7_7) OR FIREABLE(I_rec2_8_8) OR FIREABLE(I_rec2_9_9) OR FIREABLE(I_rec2_10_10)) U (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6... (shortened)
lola: processed formula length: 508
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(I_e... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREABLE(... (shortened)
lola: processed formula length: 4929
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 137 markings, 137 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(I_emit_8_8_2) OR (E (X (FIREABLE(C_refuse_7_1_10_10))) OR (E (G (FIREABLE(C_refuse_9_7_8_8))) OR E (F (FIREABLE(C_provide_8_10_10))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(A(TRUE U (NOT FIREABLE(I_emit_8_8_2) AND (NOT(EX(FIREABLE(C_refuse_7_1_10_10))) AND (A(TRUE U NOT FIREABLE(C_refuse_9_7_8_8)) AND NOT(E(TRUE U FIREABLE(C_provide_8_10_10))))))))
lola: processed formula length: 181
lola: 48 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 303 markings, 758 edges
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(C_refuse_4_8_10_10))) AND (A (G (FIREABLE(C_refuse_1_5_2_2))) OR (((FIREABLE(I_ask1_7_9) AND FIREABLE(C_provide_9_1_1) AND FIREABLE(C_refuse_8_5_1_1) AND FIREABLE(I_reemit_1_7)) OR FIREABLE(I_ask1_7_10)) OR E (X ((NOT FIREABLE(C_refuse_5_9_10_10) AND NOT FIREABLE(C_refuse_4_3_5_5)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(I_ask1_7_9) AND FIREABLE(C_provide_9_1_1) AND FIREABLE(C_refuse_8_5_1_1) AND FIREABLE(I_reemit_1_7)) OR FIREABLE(I_ask1_7_10))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(I_ask1_7_9) AND FIREABLE(C_provide_9_1_1) AND FIREABLE(C_refuse_8_5_1_1) AND FIREABLE(I_reemit_1_7)) OR FIREABLE(I_ask1_7_10))
lola: processed formula length: 138
lola: 38 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(C_refuse_1_5_2_2)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(C_refuse_1_5_2_2)))
lola: processed formula length: 34
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(C_refuse_1_5_2_2)
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-4-0.sara========================================
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(C_refuse_4_8_10_10)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G (NOT FIREABLE(C_refuse_4_8_10_10)))
lola: processed formula length: 40
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: FIREABLE(C_refuse_4_8_10_10)
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file SafeBus-PT-10-CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 13828 markings, 15419 edges, 2766 markings/sec, 0 secs
lola: sara is running 5 secs || 28660 markings, 33096 edges, 2966 markings/sec, 5 secs
lola: sara is running 10 secs || 43411 markings, 51339 edges, 2950 markings/sec, 10 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(C_refuse_10_8_9_9)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(C_refuse_10_8_9_9)))
lola: processed formula length: 35
lola: 39 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(C_refuse_10_8_9_9)
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file SafeBus-PT-10-CTLFireability-4-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 10728 markings, 12191 edges, 2146 markings/sec, 0 secs
lola: sara is running 5 secs || 21477 markings, 24692 edges, 2150 markings/sec, 5 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(C_refuse_7_6_5_5) AND FIREABLE(C_refuse_3_5_7_7))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(C_refuse_7_6_5_5) AND FIREABLE(C_refuse_3_5_7_7))))
lola: processed formula length: 67
lola: 39 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(C_refuse_7_6_5_5) AND FIREABLE(C_refuse_3_5_7_7))
lola: state equation: Generated DNF with 8 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-5-0.sara
lola: state equation: calling and running sara
sara: try reading problem file SafeBus-PT-10-CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 331 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(C_provide_4_3_3) AND NOT FIREABLE(Gto_5))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(C_provide_4_3_3) AND NOT FIREABLE(Gto_5))))
lola: processed formula length: 63
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(C_provide_4_3_3) OR FIREABLE(Gto_5))
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file SafeBus-PT-10-CTLFireability-6-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10 markings, 9 edges
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(loss_a)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(loss_a)))
lola: processed formula length: 28
lola: 38 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 104 markings, 104 edges
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(C_refuse_7_5_2_2) OR FIREABLE(I_reemit_1_3) OR NOT FIREABLE(C_provide_8_1_1))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(C_refuse_7_5_2_2) OR FIREABLE(I_reemit_1_3) OR NOT FIREABLE(C_provide_8_1_1))))
lola: processed formula length: 97
lola: 38 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 114 markings, 114 edges
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((NOT FIREABLE(I_rec1_1_1) AND NOT FIREABLE(I_rec1_2_2) AND NOT FIREABLE(I_rec1_3_3) AND NOT FIREABLE(I_rec1_4_4) AND NOT FIREABLE(I_rec1_5_5) AND NOT FIREABLE(I_rec1_6_6) AND NOT FIREABLE(I_rec1_7_7) AND NOT FIREABLE(I_rec1_8_8) AND NOT FIREABLE(I_rec1_9_9) AND NOT FIREABLE(I_rec1_10_10) AND (FIREABLE(I_refused_1_1) OR FIREABLE(I_refused_2_2) OR FIREABLE(I_refused_3_3) OR FIREABLE(I... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6_6) OR FIREABLE(I_rec1_7_7) OR FIREABLE(I_rec1_8_8) OR FIREABLE(I_rec1_9_9) OR FIREABLE(I_rec1_10_10) OR (NOT FIREABLE(I_refused_1_1) AND NOT FIREABLE(I_refused_2_2) AND NOT FIREABLE(I_refused_3_3) AND NOT FIREABLE(I_refused_4_4) AND NOT FIREABLE(I_ref... (shortened)
lola: processed formula length: 865
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 29394 markings, 44176 edges, 5879 markings/sec, 0 secs
lola: 52688 markings, 83908 edges, 4659 markings/sec, 5 secs
lola: 73409 markings, 121373 edges, 4144 markings/sec, 10 secs
lola: 95900 markings, 162763 edges, 4498 markings/sec, 15 secs
lola: 115432 markings, 200258 edges, 3906 markings/sec, 20 secs
lola: 134682 markings, 236885 edges, 3850 markings/sec, 25 secs
lola: 154184 markings, 274572 edges, 3900 markings/sec, 30 secs
lola: 172605 markings, 311638 edges, 3684 markings/sec, 35 secs
lola: 191834 markings, 349465 edges, 3846 markings/sec, 40 secs
lola: 210231 markings, 385711 edges, 3679 markings/sec, 45 secs
lola: 228621 markings, 423118 edges, 3678 markings/sec, 50 secs
lola: 246960 markings, 460288 edges, 3668 markings/sec, 55 secs
lola: 266416 markings, 499474 edges, 3891 markings/sec, 60 secs
lola: 285330 markings, 536984 edges, 3783 markings/sec, 65 secs
lola: 304137 markings, 575386 edges, 3761 markings/sec, 70 secs
lola: 322278 markings, 612511 edges, 3628 markings/sec, 75 secs
lola: 339941 markings, 647915 edges, 3533 markings/sec, 80 secs
lola: 358501 markings, 685870 edges, 3712 markings/sec, 85 secs
lola: 377531 markings, 725049 edges, 3806 markings/sec, 90 secs
lola: 396465 markings, 763953 edges, 3787 markings/sec, 95 secs
lola: 414417 markings, 801915 edges, 3590 markings/sec, 100 secs
lola: 433082 markings, 840715 edges, 3733 markings/sec, 105 secs
lola: 451883 markings, 879583 edges, 3760 markings/sec, 110 secs
lola: 471959 markings, 920301 edges, 4015 markings/sec, 115 secs
lola: 489660 markings, 957914 edges, 3540 markings/sec, 120 secs
lola: 508496 markings, 996729 edges, 3767 markings/sec, 125 secs
lola: 527008 markings, 1035699 edges, 3702 markings/sec, 130 secs
lola: 544513 markings, 1073073 edges, 3501 markings/sec, 135 secs
lola: 562692 markings, 1110900 edges, 3636 markings/sec, 140 secs
lola: 581086 markings, 1149380 edges, 3679 markings/sec, 145 secs
lola: 599629 markings, 1188272 edges, 3709 markings/sec, 150 secs
lola: 617641 markings, 1225287 edges, 3602 markings/sec, 155 secs
lola: 636712 markings, 1266708 edges, 3814 markings/sec, 160 secs
lola: 654946 markings, 1305190 edges, 3647 markings/sec, 165 secs
lola: 673488 markings, 1344979 edges, 3708 markings/sec, 170 secs
lola: 692887 markings, 1385851 edges, 3880 markings/sec, 175 secs
lola: 710841 markings, 1423552 edges, 3591 markings/sec, 180 secs
lola: 729095 markings, 1463000 edges, 3651 markings/sec, 185 secs
lola: 748076 markings, 1504354 edges, 3796 markings/sec, 190 secs
lola: 767637 markings, 1545776 edges, 3912 markings/sec, 195 secs
lola: 786451 markings, 1586067 edges, 3763 markings/sec, 200 secs
lola: 804815 markings, 1625369 edges, 3673 markings/sec, 205 secs
lola: 821941 markings, 1662830 edges, 3425 markings/sec, 210 secs
lola: 840608 markings, 1702198 edges, 3733 markings/sec, 215 secs
lola: 858983 markings, 1741607 edges, 3675 markings/sec, 220 secs
lola: 878089 markings, 1781863 edges, 3821 markings/sec, 225 secs
lola: 894978 markings, 1817777 edges, 3378 markings/sec, 230 secs
lola: 912347 markings, 1854649 edges, 3474 markings/sec, 235 secs
lola: 930750 markings, 1894032 edges, 3681 markings/sec, 240 secs
lola: 948853 markings, 1933699 edges, 3621 markings/sec, 245 secs
lola: 966705 markings, 1972961 edges, 3570 markings/sec, 250 secs
lola: 984686 markings, 2012165 edges, 3596 markings/sec, 255 secs
lola: 1001156 markings, 2047393 edges, 3294 markings/sec, 260 secs
lola: 1019722 markings, 2087185 edges, 3713 markings/sec, 265 secs
lola: 1037285 markings, 2125375 edges, 3513 markings/sec, 270 secs
lola: 1055547 markings, 2165352 edges, 3652 markings/sec, 275 secs
lola: 1073032 markings, 2203694 edges, 3497 markings/sec, 280 secs
lola: 1090525 markings, 2241488 edges, 3499 markings/sec, 285 secs
lola: 1108093 markings, 2280568 edges, 3514 markings/sec, 290 secs
lola: 1126358 markings, 2322175 edges, 3653 markings/sec, 295 secs
lola: 1143471 markings, 2359214 edges, 3423 markings/sec, 300 secs
lola: 1161485 markings, 2398854 edges, 3603 markings/sec, 305 secs
lola: 1179474 markings, 2438186 edges, 3598 markings/sec, 310 secs
lola: 1196814 markings, 2476292 edges, 3468 markings/sec, 315 secs
lola: 1214320 markings, 2515470 edges, 3501 markings/sec, 320 secs
lola: 1231953 markings, 2553703 edges, 3527 markings/sec, 325 secs
lola: 1249797 markings, 2592577 edges, 3569 markings/sec, 330 secs
lola: 1267151 markings, 2631914 edges, 3471 markings/sec, 335 secs
lola: 1284294 markings, 2669871 edges, 3429 markings/sec, 340 secs
lola: 1302440 markings, 2710147 edges, 3629 markings/sec, 345 secs
lola: 1320044 markings, 2749322 edges, 3521 markings/sec, 350 secs
lola: 1338601 markings, 2791516 edges, 3711 markings/sec, 355 secs
lola: 1356018 markings, 2829658 edges, 3483 markings/sec, 360 secs
lola: 1373052 markings, 2867514 edges, 3407 markings/sec, 365 secs
lola: 1390861 markings, 2907491 edges, 3562 markings/sec, 370 secs
lola: 1407982 markings, 2945286 edges, 3424 markings/sec, 375 secs
lola: 1425539 markings, 2984207 edges, 3511 markings/sec, 380 secs
lola: 1443041 markings, 3022656 edges, 3500 markings/sec, 385 secs
lola: 1460173 markings, 3061366 edges, 3426 markings/sec, 390 secs
lola: 1476981 markings, 3099965 edges, 3362 markings/sec, 395 secs
lola: 1495011 markings, 3141958 edges, 3606 markings/sec, 400 secs
lola: 1512583 markings, 3181585 edges, 3514 markings/sec, 405 secs
lola: 1528380 markings, 3217226 edges, 3159 markings/sec, 410 secs
lola: 1545189 markings, 3254236 edges, 3362 markings/sec, 415 secs
lola: 1562449 markings, 3292791 edges, 3452 markings/sec, 420 secs
lola: 1578901 markings, 3329294 edges, 3290 markings/sec, 425 secs
lola: 1596382 markings, 3368961 edges, 3496 markings/sec, 430 secs
lola: 1613077 markings, 3407028 edges, 3339 markings/sec, 435 secs
lola: 1628696 markings, 3441886 edges, 3124 markings/sec, 440 secs
lola: 1646630 markings, 3481697 edges, 3587 markings/sec, 445 secs
lola: 1664393 markings, 3521768 edges, 3553 markings/sec, 450 secs
lola: 1681833 markings, 3561064 edges, 3488 markings/sec, 455 secs
lola: 1697522 markings, 3596508 edges, 3138 markings/sec, 460 secs
lola: 1715202 markings, 3637015 edges, 3536 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no unknown
lola: memory consumption: 186432 KB
lola: time consumption: 727 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 473 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((NOT FIREABLE(I_reemit_2_1) AND NOT FIREABLE(I_reemit_3_1) AND NOT FIREABLE(I_reemit_4_1) AND NOT FIREABLE(I_reemit_5_1) AND NOT FIREABLE(I_reemit_6_1) AND NOT FIREABLE(I_reemit_7_1) AND NOT FIREABLE(I_reemit_8_1) AND NOT FIREABLE(I_reemit_9_1) AND NOT FIREABLE(I_reemit_10_1) AND NOT FIREABLE(I_reemit_1_2) AND NOT FIREABLE(I_reemit_3_2) AND NOT FIREABLE(I_reemit_4_2) AND NOT FIREABLE(I... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (FIREABLE(I_reemit_2_1) OR FIREABLE(I_reemit_3_1) OR FIREABLE(I_reemit_4_1) OR FIREABLE(I_reemit_5_1) OR FIREABLE(I_reemit_6_1) OR FIREABLE(I_reemit_7_1) OR FIREABLE(I_reemit_8_1) OR FIREABLE(I_reemit_9_1) OR FIREABLE(I_reemit_10_1) OR FIREABLE(I_reemit_1_2) OR FIREABLE(I_reemit_3_2) OR FIREABLE(I_reemit_4_2) OR FIREABLE(I_reemit_5_2) OR FIREABLE(I_reemit_6_2) OR FIREABLE(I_reemit_7_... (shortened)
lola: processed formula length: 2445
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: 10829 markings, 14630 edges, 2166 markings/sec, 0 secs
lola: 21314 markings, 29606 edges, 2097 markings/sec, 5 secs
lola: 31385 markings, 44718 edges, 2014 markings/sec, 10 secs
lola: 42118 markings, 61186 edges, 2147 markings/sec, 15 secs
lola: 52503 markings, 77327 edges, 2077 markings/sec, 20 secs
lola: 62976 markings, 93556 edges, 2095 markings/sec, 25 secs
lola: 73323 markings, 109951 edges, 2069 markings/sec, 30 secs
lola: 84082 markings, 126144 edges, 2152 markings/sec, 35 secs
lola: 94392 markings, 142617 edges, 2062 markings/sec, 40 secs
lola: 104898 markings, 159082 edges, 2101 markings/sec, 45 secs
lola: 115479 markings, 176445 edges, 2116 markings/sec, 50 secs
lola: 125905 markings, 192686 edges, 2085 markings/sec, 55 secs
lola: 136624 markings, 211040 edges, 2144 markings/sec, 60 secs
lola: 147001 markings, 227396 edges, 2075 markings/sec, 65 secs
lola: 157534 markings, 244937 edges, 2107 markings/sec, 70 secs
lola: 168075 markings, 262159 edges, 2108 markings/sec, 75 secs
lola: 178648 markings, 280072 edges, 2115 markings/sec, 80 secs
lola: 189222 markings, 297700 edges, 2115 markings/sec, 85 secs
lola: 199667 markings, 315383 edges, 2089 markings/sec, 90 secs
lola: 210152 markings, 333096 edges, 2097 markings/sec, 95 secs
lola: 220672 markings, 351134 edges, 2104 markings/sec, 100 secs
lola: 231223 markings, 369197 edges, 2110 markings/sec, 105 secs
lola: 241820 markings, 387969 edges, 2119 markings/sec, 110 secs
lola: 252376 markings, 405947 edges, 2111 markings/sec, 115 secs
lola: 262860 markings, 424189 edges, 2097 markings/sec, 120 secs
lola: 273542 markings, 442796 edges, 2136 markings/sec, 125 secs
lola: 284096 markings, 461079 edges, 2111 markings/sec, 130 secs
lola: 294708 markings, 479598 edges, 2122 markings/sec, 135 secs
lola: 305172 markings, 497588 edges, 2093 markings/sec, 140 secs
lola: 315705 markings, 516498 edges, 2107 markings/sec, 145 secs
lola: 326338 markings, 532222 edges, 2127 markings/sec, 150 secs
lola: 336751 markings, 548775 edges, 2083 markings/sec, 155 secs
lola: 347370 markings, 566483 edges, 2124 markings/sec, 160 secs
lola: 357760 markings, 583862 edges, 2078 markings/sec, 165 secs
lola: 368371 markings, 601512 edges, 2122 markings/sec, 170 secs
lola: 378866 markings, 619604 edges, 2099 markings/sec, 175 secs
lola: 389376 markings, 638544 edges, 2102 markings/sec, 180 secs
lola: 400001 markings, 657831 edges, 2125 markings/sec, 185 secs
lola: 410508 markings, 676596 edges, 2101 markings/sec, 190 secs
lola: 421159 markings, 695611 edges, 2130 markings/sec, 195 secs
lola: 431648 markings, 713163 edges, 2098 markings/sec, 200 secs
lola: 441949 markings, 731430 edges, 2060 markings/sec, 205 secs
lola: 452496 markings, 750039 edges, 2109 markings/sec, 210 secs
lola: 463154 markings, 768522 edges, 2132 markings/sec, 215 secs
lola: 473801 markings, 786791 edges, 2129 markings/sec, 220 secs
lola: 484372 markings, 805385 edges, 2114 markings/sec, 225 secs
lola: 494662 markings, 823032 edges, 2058 markings/sec, 230 secs
lola: 505175 markings, 841507 edges, 2103 markings/sec, 235 secs
lola: 515657 markings, 860511 edges, 2096 markings/sec, 240 secs
lola: 526296 markings, 880014 edges, 2128 markings/sec, 245 secs
lola: 536455 markings, 897741 edges, 2032 markings/sec, 250 secs
lola: 547199 markings, 917135 edges, 2149 markings/sec, 255 secs
lola: 557676 markings, 936002 edges, 2095 markings/sec, 260 secs
lola: 568174 markings, 953988 edges, 2100 markings/sec, 265 secs
lola: 578761 markings, 972720 edges, 2117 markings/sec, 270 secs
lola: 589381 markings, 992158 edges, 2124 markings/sec, 275 secs
lola: 599915 markings, 1011097 edges, 2107 markings/sec, 280 secs
lola: 610365 markings, 1029225 edges, 2090 markings/sec, 285 secs
lola: 620990 markings, 1048416 edges, 2125 markings/sec, 290 secs
lola: 631612 markings, 1067535 edges, 2124 markings/sec, 295 secs
lola: 642084 markings, 1086253 edges, 2094 markings/sec, 300 secs
lola: 652327 markings, 1104205 edges, 2049 markings/sec, 305 secs
lola: 662792 markings, 1123236 edges, 2093 markings/sec, 310 secs
lola: 673312 markings, 1141856 edges, 2104 markings/sec, 315 secs
lola: 683925 markings, 1160986 edges, 2123 markings/sec, 320 secs
lola: 694524 markings, 1179725 edges, 2120 markings/sec, 325 secs
lola: 704960 markings, 1198944 edges, 2087 markings/sec, 330 secs
lola: 715625 markings, 1217941 edges, 2133 markings/sec, 335 secs
lola: 726185 markings, 1237484 edges, 2112 markings/sec, 340 secs
lola: 736632 markings, 1256120 edges, 2089 markings/sec, 345 secs
lola: 747168 markings, 1275153 edges, 2107 markings/sec, 350 secs
lola: 757807 markings, 1295274 edges, 2128 markings/sec, 355 secs
lola: 768118 markings, 1313860 edges, 2062 markings/sec, 360 secs
lola: 778611 markings, 1333205 edges, 2099 markings/sec, 365 secs
lola: 789027 markings, 1351073 edges, 2083 markings/sec, 370 secs
lola: 799650 markings, 1370043 edges, 2125 markings/sec, 375 secs
lola: 810218 markings, 1389278 edges, 2114 markings/sec, 380 secs
lola: 820858 markings, 1409142 edges, 2128 markings/sec, 385 secs
lola: 831373 markings, 1427924 edges, 2103 markings/sec, 390 secs
lola: 841605 markings, 1446599 edges, 2046 markings/sec, 395 secs
lola: 852302 markings, 1466670 edges, 2139 markings/sec, 400 secs
lola: 862920 markings, 1486833 edges, 2124 markings/sec, 405 secs
lola: 873404 markings, 1506637 edges, 2097 markings/sec, 410 secs
lola: 883809 markings, 1526199 edges, 2081 markings/sec, 415 secs
lola: 894281 markings, 1545493 edges, 2094 markings/sec, 420 secs
lola: 904856 markings, 1564104 edges, 2115 markings/sec, 425 secs
lola: 915430 markings, 1583133 edges, 2115 markings/sec, 430 secs
lola: 926173 markings, 1603239 edges, 2149 markings/sec, 435 secs
lola: 936681 markings, 1622491 edges, 2102 markings/sec, 440 secs
lola: 947332 markings, 1642344 edges, 2130 markings/sec, 445 secs
lola: 957955 markings, 1661914 edges, 2125 markings/sec, 450 secs
lola: 967829 markings, 1680949 edges, 1975 markings/sec, 455 secs
lola: 978379 markings, 1700413 edges, 2110 markings/sec, 460 secs
lola: 988749 markings, 1720034 edges, 2074 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no unknown
lola: memory consumption: 127232 KB
lola: time consumption: 1200 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F ((FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6_6) OR FIREABLE(I_rec1_7_7) OR FIREABLE(I_rec1_8_8) OR FIREABLE(I_rec1_9_9) OR FIREABLE(I_rec1_10_10) OR FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U (FIREABLE(I_rec1_1_1) OR FIREABLE(I_rec1_2_2) OR FIREABLE(I_rec1_3_3) OR FIREABLE(I_rec1_4_4) OR FIREABLE(I_rec1_5_5) OR FIREABLE(I_rec1_6_6) OR FIREABLE(I_rec1_7_7) OR FIREABLE(I_rec1_8_8) OR FIREABLE(I_rec1_9_9) OR FIREABLE(I_rec1_10_10) OR FIREABLE(I_rec2_1_1) OR FIREABLE(I_rec2_2_2) OR FIREABLE(I_rec2_3_3) OR FIREABLE(I_rec2_4_4) OR FIREABLE(I_rec2_5_5)... (shortened)
lola: processed formula length: 806
lola: 42 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 180934 markings, 715277 edges, 36187 markings/sec, 0 secs
lola: 363417 markings, 1476906 edges, 36497 markings/sec, 5 secs
lola: 541791 markings, 2236217 edges, 35675 markings/sec, 10 secs
lola: 716159 markings, 2987050 edges, 34874 markings/sec, 15 secs
lola: 887302 markings, 3734610 edges, 34229 markings/sec, 20 secs
lola: 1060133 markings, 4471559 edges, 34566 markings/sec, 25 secs
lola: 1231165 markings, 5215740 edges, 34206 markings/sec, 30 secs
lola: 1399435 markings, 5956131 edges, 33654 markings/sec, 35 secs
lola: 1565436 markings, 6694111 edges, 33200 markings/sec, 40 secs
lola: 1729108 markings, 7427024 edges, 32734 markings/sec, 45 secs
lola: 1892988 markings, 8159101 edges, 32776 markings/sec, 50 secs
lola: 2055764 markings, 8891834 edges, 32555 markings/sec, 55 secs
lola: 2218081 markings, 9624661 edges, 32463 markings/sec, 60 secs
lola: 2378774 markings, 10353463 edges, 32139 markings/sec, 65 secs
lola: 2539119 markings, 11075444 edges, 32069 markings/sec, 70 secs
lola: 2702182 markings, 11807350 edges, 32613 markings/sec, 75 secs
lola: 2863022 markings, 12538391 edges, 32168 markings/sec, 80 secs
lola: 3024089 markings, 13270485 edges, 32213 markings/sec, 85 secs
lola: 3182118 markings, 13986867 edges, 31606 markings/sec, 90 secs
lola: 3339734 markings, 14709752 edges, 31523 markings/sec, 95 secs
lola: 3497261 markings, 15427680 edges, 31505 markings/sec, 100 secs
lola: 3653850 markings, 16142197 edges, 31318 markings/sec, 105 secs
lola: 3811569 markings, 16860920 edges, 31544 markings/sec, 110 secs
lola: 3969064 markings, 17582635 edges, 31499 markings/sec, 115 secs
lola: 4126581 markings, 18305238 edges, 31503 markings/sec, 120 secs
lola: 4283762 markings, 19024729 edges, 31436 markings/sec, 125 secs
lola: 4440093 markings, 19745103 edges, 31266 markings/sec, 130 secs
lola: 4596353 markings, 20465495 edges, 31252 markings/sec, 135 secs
lola: 4751734 markings, 21188743 edges, 31076 markings/sec, 140 secs
lola: 4906977 markings, 21901370 edges, 31049 markings/sec, 145 secs
lola: 5061058 markings, 22614675 edges, 30816 markings/sec, 150 secs
lola: 5215755 markings, 23324241 edges, 30939 markings/sec, 155 secs
lola: 5370055 markings, 24036051 edges, 30860 markings/sec, 160 secs
lola: 5523102 markings, 24748769 edges, 30609 markings/sec, 165 secs
lola: 5675418 markings, 25466973 edges, 30463 markings/sec, 170 secs
lola: 5828366 markings, 26176059 edges, 30590 markings/sec, 175 secs
lola: 5978375 markings, 26873890 edges, 30002 markings/sec, 180 secs
lola: 6130581 markings, 27585335 edges, 30441 markings/sec, 185 secs
lola: 6284784 markings, 28291667 edges, 30841 markings/sec, 190 secs
lola: 6438751 markings, 29000870 edges, 30793 markings/sec, 195 secs
lola: 6590494 markings, 29712087 edges, 30349 markings/sec, 200 secs
lola: 6743036 markings, 30421155 edges, 30508 markings/sec, 205 secs
lola: 6893856 markings, 31133569 edges, 30164 markings/sec, 210 secs
lola: 7044900 markings, 31846602 edges, 30209 markings/sec, 215 secs
lola: 7196636 markings, 32554604 edges, 30347 markings/sec, 220 secs
lola: 7348470 markings, 33259408 edges, 30367 markings/sec, 225 secs
lola: 7500629 markings, 33971043 edges, 30432 markings/sec, 230 secs
lola: 7652522 markings, 34673595 edges, 30379 markings/sec, 235 secs
lola: 7805447 markings, 35384598 edges, 30585 markings/sec, 240 secs
lola: 7959374 markings, 36089510 edges, 30785 markings/sec, 245 secs
lola: 8109425 markings, 36804075 edges, 30010 markings/sec, 250 secs
lola: 8260504 markings, 37511556 edges, 30216 markings/sec, 255 secs
lola: 8411789 markings, 38220085 edges, 30257 markings/sec, 260 secs
lola: 8562695 markings, 38929727 edges, 30181 markings/sec, 265 secs
lola: 8713817 markings, 39639972 edges, 30224 markings/sec, 270 secs
lola: 8864045 markings, 40348964 edges, 30046 markings/sec, 275 secs
lola: 9013477 markings, 41060712 edges, 29886 markings/sec, 280 secs
lola: 9165796 markings, 41766653 edges, 30464 markings/sec, 285 secs
lola: 9317144 markings, 42474503 edges, 30270 markings/sec, 290 secs
lola: 9467351 markings, 43177379 edges, 30041 markings/sec, 295 secs
lola: 9618219 markings, 43879828 edges, 30174 markings/sec, 300 secs
lola: 9768370 markings, 44584129 edges, 30030 markings/sec, 305 secs
lola: 9917767 markings, 45289224 edges, 29879 markings/sec, 310 secs
lola: 10067354 markings, 45990948 edges, 29917 markings/sec, 315 secs
lola: 10216939 markings, 46689805 edges, 29917 markings/sec, 320 secs
lola: 10365352 markings, 47395908 edges, 29683 markings/sec, 325 secs
lola: 10515007 markings, 48098005 edges, 29931 markings/sec, 330 secs
lola: 10665096 markings, 48795405 edges, 30018 markings/sec, 335 secs
lola: 10815048 markings, 49497704 edges, 29990 markings/sec, 340 secs
lola: 10964252 markings, 50196921 edges, 29841 markings/sec, 345 secs
lola: 11112697 markings, 50900804 edges, 29689 markings/sec, 350 secs
lola: 11262085 markings, 51596664 edges, 29878 markings/sec, 355 secs
lola: 11410831 markings, 52295881 edges, 29749 markings/sec, 360 secs
lola: 11559717 markings, 52996789 edges, 29777 markings/sec, 365 secs
lola: 11707067 markings, 53697922 edges, 29470 markings/sec, 370 secs
lola: 11856751 markings, 54392158 edges, 29937 markings/sec, 375 secs
lola: 12005527 markings, 55088691 edges, 29755 markings/sec, 380 secs
lola: 12152265 markings, 55787422 edges, 29348 markings/sec, 385 secs
lola: 12301209 markings, 56486338 edges, 29789 markings/sec, 390 secs
lola: 12447114 markings, 57187120 edges, 29181 markings/sec, 395 secs
lola: 12595513 markings, 57886452 edges, 29680 markings/sec, 400 secs
lola: 12743521 markings, 58583228 edges, 29602 markings/sec, 405 secs
lola: 12891421 markings, 59279688 edges, 29580 markings/sec, 410 secs
lola: 13039089 markings, 59980291 edges, 29534 markings/sec, 415 secs
lola: 13186278 markings, 60682570 edges, 29438 markings/sec, 420 secs
lola: 13333592 markings, 61382356 edges, 29463 markings/sec, 425 secs
lola: 13482185 markings, 62077287 edges, 29719 markings/sec, 430 secs
lola: 13628843 markings, 62772750 edges, 29332 markings/sec, 435 secs
lola: 13775282 markings, 63470259 edges, 29288 markings/sec, 440 secs
lola: 13921758 markings, 64166672 edges, 29295 markings/sec, 445 secs
lola: 14068546 markings, 64858235 edges, 29358 markings/sec, 450 secs
lola: 14214591 markings, 65554005 edges, 29209 markings/sec, 455 secs
lola: 14360444 markings, 66248887 edges, 29171 markings/sec, 460 secs
lola: 14506795 markings, 66943197 edges, 29270 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no unknown
lola: memory consumption: 1935312 KB
lola: time consumption: 1674 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((FIREABLE(I_free_6_9) AND FIREABLE(C_refuse_2_3_5_5)))) U A (G (FIREABLE(C_refuse_4_7_8_8)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E(E(TRUE U (FIREABLE(I_free_6_9) AND FIREABLE(C_refuse_2_3_5_5))) U NOT(E(TRUE U NOT FIREABLE(C_refuse_4_7_8_8))))
lola: processed formula length: 114
lola: 42 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 393343 markings, 868878 edges, 78669 markings/sec, 0 secs
lola: 760754 markings, 1756858 edges, 73482 markings/sec, 5 secs
lola: 1120859 markings, 2629989 edges, 72021 markings/sec, 10 secs
lola: 1459378 markings, 3487073 edges, 67704 markings/sec, 15 secs
lola: 1785294 markings, 4329803 edges, 65183 markings/sec, 20 secs
lola: 2104248 markings, 5166651 edges, 63791 markings/sec, 25 secs
lola: 2416952 markings, 5990506 edges, 62541 markings/sec, 30 secs
lola: 2732602 markings, 6820244 edges, 63130 markings/sec, 35 secs
lola: 3046220 markings, 7656108 edges, 62724 markings/sec, 40 secs
lola: 3352324 markings, 8476961 edges, 61221 markings/sec, 45 secs
lola: 3653713 markings, 9284559 edges, 60278 markings/sec, 50 secs
lola: 3954503 markings, 10093351 edges, 60158 markings/sec, 55 secs
lola: 4251156 markings, 10895143 edges, 59331 markings/sec, 60 secs
lola: 4544990 markings, 11696908 edges, 58767 markings/sec, 65 secs
lola: 4831174 markings, 12480429 edges, 57237 markings/sec, 70 secs
lola: 5119806 markings, 13268891 edges, 57726 markings/sec, 75 secs
lola: 5411075 markings, 14066396 edges, 58254 markings/sec, 80 secs
lola: 5698622 markings, 14870596 edges, 57509 markings/sec, 85 secs
lola: 5985791 markings, 15664918 edges, 57434 markings/sec, 90 secs
lola: 6272879 markings, 16453143 edges, 57418 markings/sec, 95 secs
lola: 6558301 markings, 17240111 edges, 57084 markings/sec, 100 secs
lola: 6839491 markings, 18032154 edges, 56238 markings/sec, 105 secs
lola: 7119718 markings, 18818444 edges, 56045 markings/sec, 110 secs
lola: 7400899 markings, 19598683 edges, 56236 markings/sec, 115 secs
lola: 7680012 markings, 20370796 edges, 55823 markings/sec, 120 secs
lola: 7962683 markings, 21141985 edges, 56534 markings/sec, 125 secs
lola: 8237445 markings, 21921808 edges, 54952 markings/sec, 130 secs
lola: 8513952 markings, 22700595 edges, 55301 markings/sec, 135 secs
lola: 8788895 markings, 23475061 edges, 54989 markings/sec, 140 secs
lola: 9060928 markings, 24250709 edges, 54407 markings/sec, 145 secs
lola: 9337315 markings, 25016221 edges, 55277 markings/sec, 150 secs
lola: 9609738 markings, 25776157 edges, 54485 markings/sec, 155 secs
lola: 9879933 markings, 26542521 edges, 54039 markings/sec, 160 secs
lola: 10154018 markings, 27304097 edges, 54817 markings/sec, 165 secs
lola: 10423168 markings, 28071486 edges, 53830 markings/sec, 170 secs
lola: 10694922 markings, 28830611 edges, 54351 markings/sec, 175 secs
lola: 10966036 markings, 29587852 edges, 54223 markings/sec, 180 secs
lola: 11236494 markings, 30346989 edges, 54092 markings/sec, 185 secs
lola: 11506017 markings, 31105707 edges, 53905 markings/sec, 190 secs
lola: 11773801 markings, 31867453 edges, 53557 markings/sec, 195 secs
lola: 12045786 markings, 32624568 edges, 54397 markings/sec, 200 secs
lola: 12313742 markings, 33389462 edges, 53591 markings/sec, 205 secs
lola: 12577793 markings, 34151508 edges, 52810 markings/sec, 210 secs
lola: 12847760 markings, 34908703 edges, 53993 markings/sec, 215 secs
lola: 13112050 markings, 35668269 edges, 52858 markings/sec, 220 secs
lola: 13377842 markings, 36427386 edges, 53158 markings/sec, 225 secs
lola: 13643514 markings, 37181263 edges, 53134 markings/sec, 230 secs
lola: 13906729 markings, 37936390 edges, 52643 markings/sec, 235 secs
lola: 14170005 markings, 38687875 edges, 52655 markings/sec, 240 secs
lola: 14434439 markings, 39438847 edges, 52887 markings/sec, 245 secs
lola: 14698225 markings, 40189947 edges, 52757 markings/sec, 250 secs
lola: 14961406 markings, 40941520 edges, 52636 markings/sec, 255 secs
lola: 15223661 markings, 41689532 edges, 52451 markings/sec, 260 secs
lola: 15482916 markings, 42431143 edges, 51851 markings/sec, 265 secs
lola: 15742081 markings, 43173558 edges, 51833 markings/sec, 270 secs
lola: 16001191 markings, 43914458 edges, 51822 markings/sec, 275 secs
lola: 16259805 markings, 44660844 edges, 51723 markings/sec, 280 secs
lola: 16520222 markings, 45408515 edges, 52083 markings/sec, 285 secs
lola: 16779155 markings, 46153211 edges, 51787 markings/sec, 290 secs
lola: 17036329 markings, 46893220 edges, 51435 markings/sec, 295 secs
lola: 17294052 markings, 47630986 edges, 51545 markings/sec, 300 secs
lola: 17550616 markings, 48365155 edges, 51313 markings/sec, 305 secs
lola: 17805627 markings, 49103475 edges, 51002 markings/sec, 310 secs
lola: 18058125 markings, 49839510 edges, 50500 markings/sec, 315 secs
lola: 18310153 markings, 50575525 edges, 50406 markings/sec, 320 secs
lola: 18566354 markings, 51312407 edges, 51240 markings/sec, 325 secs
lola: 18823545 markings, 52047363 edges, 51438 markings/sec, 330 secs
lola: 19078337 markings, 52782771 edges, 50958 markings/sec, 335 secs
lola: 19332960 markings, 53520383 edges, 50925 markings/sec, 340 secs
lola: 19586843 markings, 54253571 edges, 50777 markings/sec, 345 secs
lola: 19841645 markings, 54987634 edges, 50960 markings/sec, 350 secs
lola: 20094722 markings, 55725794 edges, 50615 markings/sec, 355 secs
lola: 20348867 markings, 56466698 edges, 50829 markings/sec, 360 secs
lola: 20604465 markings, 57198514 edges, 51120 markings/sec, 365 secs
lola: 20859032 markings, 57926346 edges, 50913 markings/sec, 370 secs
lola: 21112073 markings, 58657094 edges, 50608 markings/sec, 375 secs
lola: 21365087 markings, 59385218 edges, 50603 markings/sec, 380 secs
lola: 21615133 markings, 60118883 edges, 50009 markings/sec, 385 secs
lola: 21866671 markings, 60845551 edges, 50308 markings/sec, 390 secs
lola: 22116548 markings, 61574788 edges, 49975 markings/sec, 395 secs
lola: 22370894 markings, 62295174 edges, 50869 markings/sec, 400 secs
lola: 22621543 markings, 63019854 edges, 50130 markings/sec, 405 secs
lola: 22872169 markings, 63740777 edges, 50125 markings/sec, 410 secs
lola: 23122607 markings, 64460970 edges, 50088 markings/sec, 415 secs
lola: 23372096 markings, 65185194 edges, 49898 markings/sec, 420 secs
lola: 23620669 markings, 65909376 edges, 49715 markings/sec, 425 secs
lola: 23872264 markings, 66633272 edges, 50319 markings/sec, 430 secs
lola: 24119243 markings, 67358887 edges, 49396 markings/sec, 435 secs
lola: 24368564 markings, 68083636 edges, 49864 markings/sec, 440 secs
lola: 24618138 markings, 68802432 edges, 49915 markings/sec, 445 secs
lola: 24867835 markings, 69522563 edges, 49939 markings/sec, 450 secs
lola: 25116504 markings, 70241162 edges, 49734 markings/sec, 455 secs
lola: 25367942 markings, 70955351 edges, 50288 markings/sec, 460 secs
lola: 25616181 markings, 71671141 edges, 49648 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no unknown
lola: memory consumption: 3379784 KB
lola: time consumption: 2148 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (((NOT FIREABLE(C_refuse_1_1_1_1) AND NOT FIREABLE(C_refuse_2_1_1_1) AND NOT FIREABLE(C_refuse_3_1_1_1) AND NOT FIREABLE(C_refuse_4_1_1_1) AND NOT FIREABLE(C_refuse_5_1_1_1) AND NOT FIREABLE(C_refuse_6_1_1_1) AND NOT FIREABLE(C_refuse_7_1_1_1) AND NOT FIREABLE(C_refuse_8_1_1_1) AND NOT FIREABLE(C_refuse_9_1_1_1) AND NOT FIREABLE(C_refuse_10_1_1_1) AND NOT FIREABLE(C_refuse_1_2_1_1) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:729
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: ((NOT(A((FIREABLE(C_refuse_1_1_1_1) OR FIREABLE(C_refuse_2_1_1_1) OR FIREABLE(C_refuse_3_1_1_1) OR FIREABLE(C_refuse_4_1_1_1) OR FIREABLE(C_refuse_5_1_1_1) OR FIREABLE(C_refuse_6_1_1_1) OR FIREABLE(C_refuse_7_1_1_1) OR FIREABLE(C_refuse_8_1_1_1) OR FIREABLE(C_refuse_9_1_1_1) OR FIREABLE(C_refuse_10_1_1_1) OR FIREABLE(C_refuse_1_2_1_1) OR FIREABLE(C_refuse_2_2_1_1) OR FIREABLE(C_refuse_... (shortened)
lola: processed formula length: 41150
lola: 46 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 5 significant temporal operators and needs 22 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 314956 markings, 1096583 edges, 62991 markings/sec, 0 secs
lola: 548269 markings, 2553228 edges, 46663 markings/sec, 5 secs
lola: 861847 markings, 4060570 edges, 62716 markings/sec, 10 secs
lola: 1184867 markings, 5550841 edges, 64604 markings/sec, 15 secs
lola: 1544878 markings, 7050324 edges, 72002 markings/sec, 20 secs
lola: 1879835 markings, 8540987 edges, 66991 markings/sec, 25 secs
lola: 2222911 markings, 9997197 edges, 68615 markings/sec, 30 secs
lola: 2551037 markings, 11469174 edges, 65625 markings/sec, 35 secs
lola: 2875984 markings, 12957584 edges, 64989 markings/sec, 40 secs
lola: 3224250 markings, 14410061 edges, 69653 markings/sec, 45 secs
lola: 3552017 markings, 15881011 edges, 65553 markings/sec, 50 secs
lola: 3918370 markings, 17327893 edges, 73271 markings/sec, 55 secs
lola: 4299646 markings, 18757743 edges, 76255 markings/sec, 60 secs
lola: 4609072 markings, 20204533 edges, 61885 markings/sec, 65 secs
lola: 4958023 markings, 21591597 edges, 69790 markings/sec, 70 secs
lola: 5278014 markings, 22948641 edges, 63998 markings/sec, 75 secs
lola: 5578082 markings, 24310889 edges, 60014 markings/sec, 80 secs
lola: 5884617 markings, 25717573 edges, 61307 markings/sec, 85 secs
lola: 6214301 markings, 27087117 edges, 65937 markings/sec, 90 secs
lola: 6519368 markings, 28488669 edges, 61013 markings/sec, 95 secs
lola: 6861319 markings, 29855992 edges, 68390 markings/sec, 100 secs
lola: 7220584 markings, 31217542 edges, 71853 markings/sec, 105 secs
lola: 7510198 markings, 32663089 edges, 57923 markings/sec, 110 secs
lola: 7907729 markings, 33943204 edges, 79506 markings/sec, 115 secs
lola: 8236548 markings, 35293856 edges, 65764 markings/sec, 120 secs
lola: 8594722 markings, 36640324 edges, 71635 markings/sec, 125 secs
lola: 8923457 markings, 37942179 edges, 65747 markings/sec, 130 secs
lola: 9293113 markings, 39207621 edges, 73931 markings/sec, 135 secs
lola: 9578242 markings, 40576647 edges, 57026 markings/sec, 140 secs
lola: 9862055 markings, 41968059 edges, 56763 markings/sec, 145 secs
lola: 10152412 markings, 43376975 edges, 58071 markings/sec, 150 secs
lola: 10510273 markings, 44716344 edges, 71572 markings/sec, 155 secs
lola: 10878078 markings, 45966567 edges, 73561 markings/sec, 160 secs
lola: 11171195 markings, 47341764 edges, 58623 markings/sec, 165 secs
lola: 11489890 markings, 48737863 edges, 63739 markings/sec, 170 secs
lola: 11817709 markings, 50059308 edges, 65564 markings/sec, 175 secs
lola: 12156439 markings, 51396909 edges, 67746 markings/sec, 180 secs
lola: 12510253 markings, 52708217 edges, 70763 markings/sec, 185 secs
lola: 12866153 markings, 54032884 edges, 71180 markings/sec, 190 secs
lola: 13249096 markings, 55327276 edges, 76589 markings/sec, 195 secs
lola: 13639509 markings, 56617096 edges, 78083 markings/sec, 200 secs
lola: 13997813 markings, 57965040 edges, 71661 markings/sec, 205 secs
lola: 14237857 markings, 59413259 edges, 48009 markings/sec, 210 secs
lola: 14552585 markings, 60740318 edges, 62946 markings/sec, 215 secs
lola: 14940601 markings, 61965977 edges, 77603 markings/sec, 220 secs
lola: 15257970 markings, 62963217 edges, 63474 markings/sec, 225 secs
lola: 15532839 markings, 63895548 edges, 54974 markings/sec, 230 secs
lola: 15816589 markings, 64962386 edges, 56750 markings/sec, 235 secs
lola: 16085643 markings, 66107427 edges, 53811 markings/sec, 240 secs
lola: 16371910 markings, 67423596 edges, 57253 markings/sec, 245 secs
lola: 16660767 markings, 68634510 edges, 57771 markings/sec, 250 secs
lola: 16917472 markings, 69829734 edges, 51341 markings/sec, 255 secs
lola: 17200519 markings, 71000890 edges, 56609 markings/sec, 260 secs
lola: 17464682 markings, 72211782 edges, 52833 markings/sec, 265 secs
lola: 17727287 markings, 73265656 edges, 52521 markings/sec, 270 secs
lola: 18000152 markings, 74317716 edges, 54573 markings/sec, 275 secs
lola: 18275571 markings, 75371663 edges, 55084 markings/sec, 280 secs
lola: 18521830 markings, 76484288 edges, 49252 markings/sec, 285 secs
lola: 18821944 markings, 77564016 edges, 60023 markings/sec, 290 secs
lola: 19075342 markings, 78662802 edges, 50680 markings/sec, 295 secs
lola: 19355511 markings, 79724731 edges, 56034 markings/sec, 300 secs
lola: 19631279 markings, 80728251 edges, 55154 markings/sec, 305 secs
lola: 19931051 markings, 81976283 edges, 59954 markings/sec, 310 secs
lola: 20234163 markings, 83304065 edges, 60622 markings/sec, 315 secs
lola: 20518830 markings, 84475741 edges, 56933 markings/sec, 320 secs
lola: 20821864 markings, 85627441 edges, 60607 markings/sec, 325 secs
lola: 21119384 markings, 86786592 edges, 59504 markings/sec, 330 secs
lola: 21352094 markings, 88032144 edges, 46542 markings/sec, 335 secs
lola: 21615397 markings, 89022711 edges, 52661 markings/sec, 340 secs
lola: 21889341 markings, 90067002 edges, 54789 markings/sec, 345 secs
lola: 22185025 markings, 91198247 edges, 59137 markings/sec, 350 secs
lola: 22481645 markings, 92341616 edges, 59324 markings/sec, 355 secs
lola: 22777772 markings, 93491692 edges, 59225 markings/sec, 360 secs
lola: 23003851 markings, 94608003 edges, 45216 markings/sec, 365 secs
lola: 23268564 markings, 95592446 edges, 52943 markings/sec, 370 secs
lola: 23522189 markings, 96596153 edges, 50725 markings/sec, 375 secs
lola: 23797802 markings, 97571044 edges, 55123 markings/sec, 380 secs
lola: 24072162 markings, 98564122 edges, 54872 markings/sec, 385 secs
lola: 24373178 markings, 99525572 edges, 60203 markings/sec, 390 secs
lola: 24656146 markings, 100518052 edges, 56594 markings/sec, 395 secs
lola: 24918156 markings, 101528908 edges, 52402 markings/sec, 400 secs
lola: 25206842 markings, 102510054 edges, 57737 markings/sec, 405 secs
lola: 25498823 markings, 103478817 edges, 58396 markings/sec, 410 secs
lola: 25702735 markings, 104609391 edges, 40782 markings/sec, 415 secs
lola: 25921958 markings, 105838750 edges, 43845 markings/sec, 420 secs
lola: 26303028 markings, 107072393 edges, 76214 markings/sec, 425 secs
lola: 26680420 markings, 108350321 edges, 75478 markings/sec, 430 secs
lola: 27060476 markings, 109598749 edges, 76011 markings/sec, 435 secs
lola: 27385987 markings, 110906999 edges, 65102 markings/sec, 440 secs
lola: 27721774 markings, 112155014 edges, 67157 markings/sec, 445 secs
lola: 28066502 markings, 113474651 edges, 68946 markings/sec, 450 secs
lola: 28372591 markings, 114742092 edges, 61218 markings/sec, 455 secs
lola: 28659683 markings, 116045058 edges, 57418 markings/sec, 460 secs
lola: 28988117 markings, 117319316 edges, 65687 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no unknown
lola: memory consumption: 2527392 KB
lola: time consumption: 2622 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((NOT FIREABLE(C_refuse_1_6_9_9) OR NOT FIREABLE(C_refuse_10_4_9_9)) AND (NOT FIREABLE(C_refuse_4_1_7_7) OR NOT FIREABLE(C_refuse_6_10_3_3))))) OR (FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_5_1_8_8)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 474 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_5_1_8_8))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(C_refuse_6_8_7_7) OR FIREABLE(C_refuse_5_1_8_8))
lola: processed formula length: 59
lola: 38 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 948 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(C_refuse_1_6_9_9) OR NOT FIREABLE(C_refuse_10_4_9_9)) AND (NOT FIREABLE(C_refuse_4_1_7_7) OR NOT FIREABLE(C_refuse_6_10_3_3)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((NOT FIREABLE(C_refuse_1_6_9_9) OR NOT FIREABLE(C_refuse_10_4_9_9)) AND (NOT FIREABLE(C_refuse_4_1_7_7) OR NOT FIREABLE(C_refuse_6_10_3_3)))))
lola: processed formula length: 151
lola: 40 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((FIREABLE(C_refuse_1_6_9_9) AND FIREABLE(C_refuse_10_4_9_9)) OR (FIREABLE(C_refuse_4_1_7_7) AND FIREABLE(C_refuse_6_10_3_3)))
lola: state equation: Generated DNF with 16 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to SafeBus-PT-10-CTLFireability-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file SafeBus-PT-10-CTLFireability-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 14255 markings, 16049 edges, 2851 markings/sec, 0 secs
lola: sara is running 5 secs || 28778 markings, 33891 edges, 2905 markings/sec, 5 secs
lola: sara is running 10 secs || 43335 markings, 52295 edges, 2911 markings/sec, 10 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA SafeBus-PT-10-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 930 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (G (((NOT FIREABLE(C_refuse_1_1_1_1) AND NOT FIREABLE(C_refuse_2_1_1_1) AND NOT FIREABLE(C_refuse_3_1_1_1) AND NOT FIREABLE(C_refuse_4_1_1_1) AND NOT FIREABLE(C_refuse_5_1_1_1) AND NOT FIREABLE(C_refuse_6_1_1_1) AND NOT FIREABLE(C_refuse_7_1_1_1) AND NOT FIREABLE(C_refuse_8_1_1_1) AND NOT FIREABLE(C_refuse_9_1_1_1) AND NOT FIREABLE(C_refuse_10_1_1_1) AND NOT FIREABLE(C_refuse_1_2_1_1) AND NOT ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 930 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((FIREABLE(I_reemit_2_1) OR FIREABLE(I_reemit_3_1) OR FIREABLE(I_reemit_4_1) OR FIREABLE(I_reemit_5_1) OR FIREABLE(I_reemit_6_1) OR FIREABLE(I_reemit_7_1) OR FIREABLE(I_reemit_8_1) OR FIREABLE(I_reemit_9_1) OR FIREABLE(I_reemit_10_1) OR FIREABLE(I_reemit_1_2) OR FIREABLE(I_reemit_3_2) OR FIREABLE(I_reemit_4_2) OR FIREABLE(I_reemit_5_2) OR FIREABLE(I_reemit_6_2) OR FIREABLE(I_ree... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((FIREABLE(I_reemit_2_1) OR FIREABLE(I_reemit_3_1) OR FIREABLE(I_reemit_4_1) OR FIREABLE(I_reemit_5_1) OR FIREABLE(I_reemit_6_1) OR FIREABLE(I_reemit_7_1) OR FIREABLE(I_reemit_8_1) OR FIREABLE(I_reemit_9_1) OR FIREABLE(I_reemit_10_1) OR FIREABLE(I_reemit_1_2) OR FIREABLE(I_reemit_3_2) OR FIREABLE(I_reemit_4_2) OR FIREABLE(I_reemit_5_2) OR FIREABLE(I_reemit_6_2) OR FIREABLE(I_ree... (shortened)
lola: processed formula length: 2453
lola: 38 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F ((A (X ((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREAB... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (AX((FIREABLE(I_emit_2_2_1) OR FIREABLE(I_emit_3_3_1) OR FIREABLE(I_emit_4_4_1) OR FIREABLE(I_emit_5_5_1) OR FIREABLE(I_emit_6_6_1) OR FIREABLE(I_emit_7_7_1) OR FIREABLE(I_emit_8_8_1) OR FIREABLE(I_emit_9_9_1) OR FIREABLE(I_emit_10_10_1) OR FIREABLE(I_emit_1_1_2) OR FIREABLE(I_emit_3_3_2) OR FIREABLE(I_emit_4_4_2) OR FIREABLE(I_emit_5_5_2) OR FIREABLE(I_emit_6_6_2) OR FIREAB... (shortened)
lola: processed formula length: 5293
lola: 41 rewrites
lola: closed formula file SafeBus-PT-10-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 244484 markings, 523064 edges, 48897 markings/sec, 0 secs
lola: 477058 markings, 1066564 edges, 46515 markings/sec, 5 secs
lola: 697995 markings, 1601971 edges, 44187 markings/sec, 10 secs
lola: 913686 markings, 2139231 edges, 43138 markings/sec, 15 secs
lola: 1141778 markings, 2681666 edges, 45618 markings/sec, 20 secs
lola: 1351292 markings, 3210821 edges, 41903 markings/sec, 25 secs
lola: 1555383 markings, 3735987 edges, 40818 markings/sec, 30 secs
lola: 1757014 markings, 4257879 edges, 40326 markings/sec, 35 secs
lola: 1955567 markings, 4775092 edges, 39711 markings/sec, 40 secs
lola: 2153522 markings, 5292927 edges, 39591 markings/sec, 45 secs
lola: 2349059 markings, 5812554 edges, 39107 markings/sec, 50 secs
lola: 2541346 markings, 6317449 edges, 38457 markings/sec, 55 secs
lola: 2742157 markings, 6846274 edges, 40162 markings/sec, 60 secs
lola: 2942896 markings, 7380094 edges, 40148 markings/sec, 65 secs
lola: 3138124 markings, 7898544 edges, 39046 markings/sec, 70 secs
lola: 3330638 markings, 8419390 edges, 38503 markings/sec, 75 secs
lola: 3521419 markings, 8928311 edges, 38156 markings/sec, 80 secs
lola: 3708654 markings, 9434837 edges, 37447 markings/sec, 85 secs
lola: 3898555 markings, 9943445 edges, 37980 markings/sec, 90 secs
lola: 4086917 markings, 10449371 edges, 37672 markings/sec, 95 secs
lola: 4274765 markings, 10959608 edges, 37570 markings/sec, 100 secs
lola: 4461968 markings, 11471594 edges, 37441 markings/sec, 105 secs
lola: 4646747 markings, 11975772 edges, 36956 markings/sec, 110 secs
lola: 4831113 markings, 12480325 edges, 36873 markings/sec, 115 secs
lola: 5014491 markings, 12986451 edges, 36676 markings/sec, 120 secs
lola: 5199503 markings, 13485459 edges, 37002 markings/sec, 125 secs
lola: 5383123 markings, 13989858 edges, 36724 markings/sec, 130 secs
lola: 5566798 markings, 14501346 edges, 36735 markings/sec, 135 secs
lola: 5750243 markings, 15010475 edges, 36689 markings/sec, 140 secs
lola: 5932389 markings, 15519000 edges, 36429 markings/sec, 145 secs
lola: 6113273 markings, 16021436 edges, 36177 markings/sec, 150 secs
lola: 6295552 markings, 16517290 edges, 36456 markings/sec, 155 secs
lola: 6477275 markings, 17015084 edges, 36345 markings/sec, 160 secs
lola: 6656866 markings, 17514771 edges, 35918 markings/sec, 165 secs
lola: 6835593 markings, 18021495 edges, 35745 markings/sec, 170 secs
lola: 7013664 markings, 18524903 edges, 35614 markings/sec, 175 secs
lola: 7192691 markings, 19023197 edges, 35805 markings/sec, 180 secs
lola: 7371368 markings, 19515590 edges, 35735 markings/sec, 185 secs
lola: 7549249 markings, 20014335 edges, 35576 markings/sec, 190 secs
lola: 7728019 markings, 20504688 edges, 35754 markings/sec, 195 secs
lola: 7908078 markings, 20993029 edges, 36012 markings/sec, 200 secs
lola: 8085849 markings, 21498398 edges, 35554 markings/sec, 205 secs
lola: 8262252 markings, 21993188 edges, 35281 markings/sec, 210 secs
lola: 8439247 markings, 22489280 edges, 35399 markings/sec, 215 secs
lola: 8615866 markings, 22988718 edges, 35324 markings/sec, 220 secs
lola: 8792041 markings, 23483765 edges, 35235 markings/sec, 225 secs
lola: 8966816 markings, 23984845 edges, 34955 markings/sec, 230 secs
lola: 9142102 markings, 24474357 edges, 35057 markings/sec, 235 secs
lola: 9319369 markings, 24967134 edges, 35453 markings/sec, 240 secs
lola: 9493420 markings, 25454653 edges, 34810 markings/sec, 245 secs
lola: 9667896 markings, 25939866 edges, 34895 markings/sec, 250 secs
lola: 9842345 markings, 26434051 edges, 34890 markings/sec, 255 secs
lola: 10017276 markings, 26927232 edges, 34986 markings/sec, 260 secs
lola: 10191216 markings, 27411651 edges, 34788 markings/sec, 265 secs
lola: 10363928 markings, 27904467 edges, 34542 markings/sec, 270 secs
lola: 10537886 markings, 28394300 edges, 34792 markings/sec, 275 secs
lola: 10713104 markings, 28879699 edges, 35044 markings/sec, 280 secs
lola: 10887362 markings, 29365791 edges, 34852 markings/sec, 285 secs
lola: 11060276 markings, 29854265 edges, 34583 markings/sec, 290 secs
lola: 11234148 markings, 30339150 edges, 34774 markings/sec, 295 secs
lola: 11406582 markings, 30829338 edges, 34487 markings/sec, 300 secs
lola: 11578348 markings, 31314325 edges, 34353 markings/sec, 305 secs
lola: 11749477 markings, 31800266 edges, 34226 markings/sec, 310 secs
lola: 11923930 markings, 32284214 edges, 34891 markings/sec, 315 secs
lola: 12096245 markings, 32769042 edges, 34463 markings/sec, 320 secs
lola: 12267496 markings, 33261027 edges, 34250 markings/sec, 325 secs
lola: 12439393 markings, 33756860 edges, 34379 markings/sec, 330 secs
lola: 12611376 markings, 34240652 edges, 34397 markings/sec, 335 secs
lola: 12782637 markings, 34729144 edges, 34252 markings/sec, 340 secs
lola: 12955422 markings, 35214696 edges, 34557 markings/sec, 345 secs
lola: 13125443 markings, 35705064 edges, 34004 markings/sec, 350 secs
lola: 13296582 markings, 36200152 edges, 34228 markings/sec, 355 secs
lola: 13468415 markings, 36680647 edges, 34367 markings/sec, 360 secs
lola: 13637700 markings, 37164028 edges, 33857 markings/sec, 365 secs
lola: 13807013 markings, 37652771 edges, 33863 markings/sec, 370 secs
lola: 13976475 markings, 38137063 edges, 33892 markings/sec, 375 secs
lola: 14146208 markings, 38618038 edges, 33947 markings/sec, 380 secs
lola: 14315318 markings, 39104485 edges, 33822 markings/sec, 385 secs
lola: 14484963 markings, 39588245 edges, 33929 markings/sec, 390 secs
lola: 14655635 markings, 40068242 edges, 34134 markings/sec, 395 secs
lola: 14826830 markings, 40553983 edges, 34239 markings/sec, 400 secs
lola: 14995028 markings, 41037191 edges, 33640 markings/sec, 405 secs
lola: 15164465 markings, 41524357 edges, 33887 markings/sec, 410 secs
lola: 15332460 markings, 42002132 edges, 33599 markings/sec, 415 secs
lola: 15500598 markings, 42481786 edges, 33628 markings/sec, 420 secs
lola: 15667844 markings, 42962534 edges, 33449 markings/sec, 425 secs
lola: 15835943 markings, 43440187 edges, 33620 markings/sec, 430 secs
lola: 16003261 markings, 43921071 edges, 33464 markings/sec, 435 secs
lola: 16170694 markings, 44398216 edges, 33487 markings/sec, 440 secs
lola: 16338988 markings, 44884923 edges, 33659 markings/sec, 445 secs
lola: 16506605 markings, 45367613 edges, 33523 markings/sec, 450 secs
lola: 16673981 markings, 45851385 edges, 33475 markings/sec, 455 secs
lola: 16842042 markings, 46335652 edges, 33612 markings/sec, 460 secs
lola: 17008520 markings, 46812379 edges, 33296 markings/sec, 465 secs
lola: 17175002 markings, 47291215 edges, 33296 markings/sec, 470 secs
lola: 17341502 markings, 47765809 edges, 33300 markings/sec, 475 secs
lola: 17506793 markings, 48239667 edges, 33058 markings/sec, 480 secs
lola: 17671414 markings, 48713920 edges, 32924 markings/sec, 485 secs
lola: 17837455 markings, 49198554 edges, 33208 markings/sec, 490 secs
lola: 18002414 markings, 49678455 edges, 32992 markings/sec, 495 secs
lola: 18166908 markings, 50154389 edges, 32899 markings/sec, 500 secs
lola: 18331350 markings, 50633059 edges, 32888 markings/sec, 505 secs
lola: 18497198 markings, 51112540 edges, 33170 markings/sec, 510 secs
lola: 18662960 markings, 51586744 edges, 33152 markings/sec, 515 secs
lola: 18829810 markings, 52066379 edges, 33370 markings/sec, 520 secs
lola: 18995451 markings, 52542769 edges, 33128 markings/sec, 525 secs
lola: 19160287 markings, 53023079 edges, 32967 markings/sec, 530 secs
lola: 19325306 markings, 53499238 edges, 33004 markings/sec, 535 secs
lola: 19490085 markings, 53971172 edges, 32956 markings/sec, 540 secs
lola: 19654586 markings, 54447801 edges, 32900 markings/sec, 545 secs
lola: 19819215 markings, 54922884 edges, 32926 markings/sec, 550 secs
lola: 19984477 markings, 55398425 edges, 33052 markings/sec, 555 secs
lola: 20147445 markings, 55880119 edges, 32594 markings/sec, 560 secs
lola: 20312318 markings, 56360260 edges, 32975 markings/sec, 565 secs
lola: 20478887 markings, 56840221 edges, 33314 markings/sec, 570 secs
lola: 20643662 markings, 57306257 edges, 32955 markings/sec, 575 secs
lola: 20808547 markings, 57779922 edges, 32977 markings/sec, 580 secs
lola: 20972472 markings, 58256495 edges, 32785 markings/sec, 585 secs
lola: 21136720 markings, 58726310 edges, 32850 markings/sec, 590 secs
lola: 21300190 markings, 59200361 edges, 32694 markings/sec, 595 secs
lola: 21462920 markings, 59674158 edges, 32546 markings/sec, 600 secs
lola: 21626201 markings, 60150886 edges, 32656 markings/sec, 605 secs
lola: 21790316 markings, 60618634 edges, 32823 markings/sec, 610 secs
lola: 21951743 markings, 61096755 edges, 32285 markings/sec, 615 secs
lola: 22115483 markings, 61571515 edges, 32748 markings/sec, 620 secs
lola: 22278849 markings, 62033625 edges, 32673 markings/sec, 625 secs
lola: 22442633 markings, 62506831 edges, 32757 markings/sec, 630 secs
lola: 22605524 markings, 62972713 edges, 32578 markings/sec, 635 secs
lola: 22755179 markings, 63400075 edges, 29931 markings/sec, 640 secs
lola: 22918240 markings, 63871768 edges, 32612 markings/sec, 645 secs
lola: 23080686 markings, 64341999 edges, 32489 markings/sec, 650 secs
lola: 23243055 markings, 64804652 edges, 32474 markings/sec, 655 secs
lola: 23403926 markings, 65279656 edges, 32174 markings/sec, 660 secs
lola: 23564694 markings, 65748915 edges, 32154 markings/sec, 665 secs
lola: 23728853 markings, 66224789 edges, 32832 markings/sec, 670 secs
lola: 23891857 markings, 66688682 edges, 32601 markings/sec, 675 secs
lola: 24052108 markings, 67163470 edges, 32050 markings/sec, 680 secs
lola: 24214126 markings, 67633062 edges, 32404 markings/sec, 685 secs
lola: 24376114 markings, 68106402 edges, 32398 markings/sec, 690 secs
lola: 24538922 markings, 68571725 edges, 32562 markings/sec, 695 secs
lola: 24702185 markings, 69038034 edges, 32653 markings/sec, 700 secs
lola: 24864049 markings, 69511866 edges, 32373 markings/sec, 705 secs
lola: 25025029 markings, 69976222 edges, 32196 markings/sec, 710 secs
lola: 25181566 markings, 70423002 edges, 31307 markings/sec, 715 secs
lola: 25345226 markings, 70891499 edges, 32732 markings/sec, 720 secs
lola: 25507345 markings, 71358023 edges, 32424 markings/sec, 725 secs
lola: 25669483 markings, 71823999 edges, 32428 markings/sec, 730 secs
lola: 25830231 markings, 72291343 edges, 32150 markings/sec, 735 secs
lola: 25991661 markings, 72754570 edges, 32286 markings/sec, 740 secs
lola: 26151794 markings, 73224952 edges, 32027 markings/sec, 745 secs
lola: 26312121 markings, 73690049 edges, 32065 markings/sec, 750 secs
lola: 26475704 markings, 74160147 edges, 32717 markings/sec, 755 secs
lola: 26637764 markings, 74626211 edges, 32412 markings/sec, 760 secs
lola: 26798319 markings, 75093979 edges, 32111 markings/sec, 765 secs
lola: 26958783 markings, 75560087 edges, 32093 markings/sec, 770 secs
lola: 27118409 markings, 76025456 edges, 31925 markings/sec, 775 secs
lola: 27278220 markings, 76492503 edges, 31962 markings/sec, 780 secs
lola: 27436891 markings, 76952636 edges, 31734 markings/sec, 785 secs
lola: 27596696 markings, 77413657 edges, 31961 markings/sec, 790 secs
lola: 27757249 markings, 77878652 edges, 32111 markings/sec, 795 secs
lola: 27918892 markings, 78341813 edges, 32329 markings/sec, 800 secs
lola: 28078176 markings, 78808387 edges, 31857 markings/sec, 805 secs
lola: 28239883 markings, 79274490 edges, 32341 markings/sec, 810 secs
lola: 28398945 markings, 79733472 edges, 31812 markings/sec, 815 secs
lola: 28556541 markings, 80203759 edges, 31519 markings/sec, 820 secs
lola: 28716398 markings, 80672873 edges, 31971 markings/sec, 825 secs
lola: 28876229 markings, 81139219 edges, 31966 markings/sec, 830 secs
lola: 29035478 markings, 81610255 edges, 31850 markings/sec, 835 secs
lola: 29194895 markings, 82076321 edges, 31883 markings/sec, 840 secs
lola: 29354208 markings, 82547415 edges, 31863 markings/sec, 845 secs
lola: 29514945 markings, 83013543 edges, 32147 markings/sec, 850 secs
lola: 29675143 markings, 83474731 edges, 32040 markings/sec, 855 secs
lola: 29836695 markings, 83942468 edges, 32310 markings/sec, 860 secs
lola: 29997247 markings, 84413987 edges, 32110 markings/sec, 865 secs
lola: 30155792 markings, 84881897 edges, 31709 markings/sec, 870 secs
lola: 30315482 markings, 85348843 edges, 31938 markings/sec, 875 secs
lola: 30475555 markings, 85814955 edges, 32015 markings/sec, 880 secs
lola: 30633809 markings, 86285388 edges, 31651 markings/sec, 885 secs
lola: 30790944 markings, 86754355 edges, 31427 markings/sec, 890 secs
lola: 30950620 markings, 87220497 edges, 31935 markings/sec, 895 secs
lola: 31111462 markings, 87684415 edges, 32168 markings/sec, 900 secs
lola: 31270521 markings, 88147239 edges, 31812 markings/sec, 905 secs
lola: 31429245 markings, 88619192 edges, 31745 markings/sec, 910 secs
lola: 31587064 markings, 89077871 edges, 31564 markings/sec, 915 secs
lola: 31746855 markings, 89548725 edges, 31958 markings/sec, 920 secs
lola: 31904257 markings, 90018207 edges, 31480 markings/sec, 925 secs
lola: time limit reached - aborting
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no yes
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no yes
lola: memory consumption: 5302352 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes unknown no unknown unknown unknown unknown unknown yes no yes unknown no yes no yes
lola: memory consumption: 5302560 KB
lola: time consumption: 3570 seconds
BK_STOP 1527033985728
--------------------
content from 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="SafeBus-PT-10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-10.tgz
mv SafeBus-PT-10 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 lola"
echo " Input is SafeBus-PT-10, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r148-smll-152685547200242"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;