fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r222-ebro-152732364000024
Last Updated
June 26, 2018

About the Execution of Irma.full for BART-PT-020

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
450.730 46349.00 9062.00 195.70 ???????????????? 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 14M
-rw-r--r-- 1 mcc users 660K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 150K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 401K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 189K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 444K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 117K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 278K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 812K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 102 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 340 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 657K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 70K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 135K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 4.7M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is BART-PT-020, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r222-ebro-152732364000024
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1527499624518


BK_STOP 1527499670867

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

Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-020 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'LTLFireability', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 42196, 'Memory': 871.71, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'marcie'}].
LTLFireability lola BART-PT-020...

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


checking for too many tokens
===========================================================================================
BART-PT-020: translating PT formula LTLFireability into LoLA format
===========================================================================================
syntax error
make: [formulae] Error 1 (ignored)
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
LTLFireability @ BART-PT-020 @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 1 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6890/65536 symbol table entries, 581 collisions
lola: preprocessing...
lola: finding significant places
lola: 2850 places, 4040 transitions, 2620 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2647 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-020-LTLFireability.task
lola: syntax error, unexpected end of file
lola: BART-PT-020-LTLFireability.task:1:57864 - error near ''

1 A(X((X(G((FIREABLE(TrainStable_1_1_1_2_1_0_3) OR FIREABLE(TrainStable_1_2_1_2_1_0_3) OR FIREABLE(TrainStable_1_3_1_2_1_0_3) OR FIREABLE(TrainStable_1_4_1_2_1_0_3) OR FIREABLE(TrainStable_1_5_1_2_1_0_3) OR FIREABLE(TrainStable_1_6_1_2_1_0_3) OR FIREABLE(TrainStable_1_7_1_2_1_0_3) OR FIREABLE(TrainStable_1_8_1_2_1_0_3) OR FIREABLE(TrainStable_1_9_1_2_1_0_3) OR FIREABLE(TrainStable_1_10_1_2_1_0_3) OR FIREABLE(TrainStable_1_11_1_2_1_0_3) OR FIREABLE(TrainStable_1_12_1_2_1_0_3) OR FIREABLE(TrainStable_1_13_1_2_1_0_3) OR FIREABLE(TrainStable_1_14_1_2_1_0_3) OR FIREABLE(TrainStable_1_15_1_2_1_0_3) OR FIREABLE(TrainStable_1_16_1_2_1_0_3) OR FIREABLE(TrainStable_1_17_1_2_1_0_3) OR FIREABLE(TrainStable_1_18_1_2_1_0_3) OR FIREABLE(TrainStable_1_19_1_2_1_0_3) OR FIREABLE(TrainStable_1_20_1_2_1_0_3) OR FIREABLE(TrainStable_1_1_1_3_2_1_3) OR FIREABLE(TrainStable_1_2_1_3_2_1_3) OR FIREABLE(TrainStable_1_3_1_3_2_1_3) OR FIREABLE(TrainStable_1_4_1_3_2_1_3) OR FIREABLE(TrainStable_1_5_1_3_2_1_3) OR FIREABLE(TrainStable_1_6_1_3_2_1_3) OR FIREABLE(TrainStable_1_7_1_3_2_1_3) OR FIREABLE(TrainStable_1_8_1_3_2_1_3) OR FIREABLE(TrainStable_1_9_1_3_2_1_3) OR FIREABLE(TrainStable_1_10_1_3_2_1_3) OR FIREABLE(TrainStable_1_11_1_3_2_1_3) OR FIREABLE(TrainStable_1_12_1_3_2_1_3) OR FIREABLE(TrainStable_1_13_1_3_2_1_3) OR FIREABLE(TrainStable_1_14_1_3_2_1_3) OR FIREABLE(TrainStable_1_15_1_3_2_1_3) OR FIREABLE(TrainStable_1_16_1_3_2_1_3) OR FIREABLE(TrainStable_1_17_1_3_2_1_3) OR FIREABLE(TrainStable_1_18_1_3_2_1_3) OR FIREABLE(TrainStable_1_19_1_3_2_1_3) OR FIREABLE(TrainStable_1_20_1_3_2_1_3) OR FIREABLE(TrainStable_1_1_1_4_3_2_3) OR FIREABLE(TrainStable_1_2_1_4_3_2_3) OR FIREABLE(TrainStable_1_3_1_4_3_2_3) OR FIREABLE(TrainStable_1_4_1_4_3_2_3) OR FIREABLE(TrainStable_1_5_1_4_3_2_3) OR FIREABLE(TrainStable_1_6_1_4_3_2_3) OR FIREABLE(TrainStable_1_7_1_4_3_2_3) OR FIREABLE(TrainStable_1_8_1_4_3_2_3) OR FIREABLE(TrainStable_1_9_1_4_3_2_3) OR FIREABLE(TrainStable_1_10_1_4_3_2_3) OR FIREABLE(TrainStable_1_11_1_4_3_2_3) OR FIREABLE(TrainStable_1_12_1_4_3_2_3) OR FIREABLE(TrainStable_1_13_1_4_3_2_3) OR FIREABLE(TrainStable_1_14_1_4_3_2_3) OR FIREABLE(TrainStable_1_15_1_4_3_2_3) OR FIREABLE(TrainStable_1_16_1_4_3_2_3) OR FIREABLE(TrainStable_1_17_1_4_3_2_3) OR FIREABLE(TrainStable_1_18_1_4_3_2_3) OR FIREABLE(TrainStable_1_19_1_4_3_2_3) OR FIREABLE(TrainStable_1_20_1_4_3_2_3) OR FIREABLE(TrainStable_1_1_1_5_4_3_3) OR FIREABLE(TrainStable_1_2_1_5_4_3_3) OR FIREABLE(TrainStable_1_3_1_5_4_3_3) OR FIREABLE(TrainStable_1_4_1_5_4_3_3) OR FIREABLE(TrainStable_1_5_1_5_4_3_3) OR FIREABLE(TrainStable_1_6_1_5_4_3_3) OR FIREABLE(TrainStable_1_7_1_5_4_3_3) OR FIREABLE(TrainStable_1_8_1_5_4_3_3) OR FIREABLE(TrainStable_1_9_1_5_4_3_3) OR FIREABLE(TrainStable_1_10_1_5_4_3_3) OR FIREABLE(TrainStable_1_11_1_5_4_3_3) OR FIREABLE(TrainStable_1_12_1_5_4_3_3) OR FIREABLE(TrainStable_1_13_1_5_4_3_3) OR FIREABLE(TrainStable_1_14_1_5_4_3_3) OR FIREABLE(TrainStable_1_15_1_5_4_3_3) OR FIREABLE(TrainStable_1_16_1_5_4_3_3) OR FIREABLE(TrainStable_1_17_1_5_4_3_3) OR FIREABLE(TrainStable_1_18_1_5_4_3_3) OR FIREABLE(TrainStable_1_19_1_5_4_3_3) OR FIREABLE(TrainStable_1_20_1_5_4_3_3) OR FIREABLE(TrainStable_1_1_1_6_5_4_3) OR FIREABLE(TrainStable_1_2_1_6_5_4_3) OR FIREABLE(TrainStable_1_3_1_6_5_4_3) OR FIREABLE(TrainStable_1_4_1_6_5_4_3) OR FIREABLE(TrainStable_1_5_1_6_5_4_3) OR FIREABLE(TrainStable_1_6_1_6_5_4_3) OR FIREABLE(TrainStable_1_7_1_6_5_4_3) OR FIREABLE(TrainStable_1_8_1_6_5_4_3) OR FIREABLE(TrainStable_1_9_1_6_5_4_3) OR FIREABLE(TrainStable_1_10_1_6_5_4_3) OR FIREABLE(TrainStable_1_11_1_6_5_4_3) OR FIREABLE(TrainStable_1_12_1_6_5_4_3) OR FIREABLE(TrainStable_1_13_1_6_5_4_3) OR FIREABLE(TrainStable_1_14_1_6_5_4_3) OR FIREABLE(TrainStable_1_15_1_6_5_4_3) OR FIREABLE(TrainStable_1_16_1_6_5_4_3) OR FIREABLE(TrainStable_1_17_1_6_5_4_3) OR FIREABLE(TrainStable_1_18_1_6_5_4_3) OR FIREABLE(TrainStable_1_19_1_6_5_4_3) OR FIREABLE(TrainStable_1_20_1_6_5_4_3) OR FIREABLE(TrainStable_1_1_1_7_6_5_3) OR FIREABLE(TrainStable_1_2_1_7_6_5_3) OR FIREABLE(TrainStable_1_3_1_7_6_5_3) OR FIREABLE(TrainStable_1_4_1_7_6_5_3) OR FIREABLE(TrainStable_1_5_1_7_6_5_3) OR FIREABLE(TrainStable_1_6_1_7_6_5_3) OR FIREABLE(TrainStable_1_7_1_7_6_5_3) OR FIREABLE(TrainStable_1_8_1_7_6_5_3) OR FIREABLE(TrainStable_1_9_1_7_6_5_3) OR FIREABLE(TrainStable_1_10_1_7_6_5_3) OR FIREABLE(TrainStable_1_11_1_7_6_5_3) OR FIREABLE(TrainStable_1_12_1_7_6_5_3) OR FIREABLE(TrainStable_1_13_1_7_6_5_3) OR FIREABLE(TrainStable_1_14_1_7_6_5_3) OR FIREABLE(TrainStable_1_15_1_7_6_5_3) OR FIREABLE(TrainStable_1_16_1_7_6_5_3) OR FIREABLE(TrainStable_1_17_1_7_6_5_3) OR FIREABLE(TrainStable_1_18_1_7_6_5_3) OR FIREABLE(TrainStable_1_19_1_7_6_5_3) OR FIREABLE(TrainStable_1_20_1_7_6_5_3) OR FIREABLE(TrainStable_1_1_1_8_7_6_3) OR FIREABLE(TrainStable_1_2_1_8_7_6_3) OR FIREABLE(TrainStable_1_3_1_8_7_6_3) OR FIREABLE(TrainStable_1_4_1_8_7_6_3) OR FIREABLE(TrainStable_1_5_1_8_7_6_3) OR FIREABLE(TrainStable_1_6_1_8_7_6_3) OR FIREABLE(TrainStable_1_7_1_8_7_6_3) OR FIREABLE(TrainStable_1_8_1_8_7_6_3) OR FIREABLE(TrainStable_1_9_1_8_7_6_3) OR FIREABLE(TrainStable_1_10_1_8_7_6_3) OR FIREABLE(TrainStable_1_11_1_8_7_6_3) OR FIREABLE(TrainStable_1_12_1_8_7_6_3) OR FIREABLE(TrainStable_1_13_1_8_7_6_3) OR FIREABLE(TrainStable_1_14_1_8_7_6_3) OR FIREABLE(TrainStable_1_15_1_8_7_6_3) OR FIREABLE(TrainStable_1_16_1_8_7_6_3) OR FIREABLE(TrainStable_1_17_1_8_7_6_3) OR FIREABLE(TrainStable_1_18_1_8_7_6_3) OR FIREABLE(TrainStable_1_19_1_8_7_6_3) OR FIREABLE(TrainStable_1_20_1_8_7_6_3) OR FIREABLE(TrainStable_1_1_1_9_8_7_3) OR FIREABLE(TrainStable_1_2_1_9_8_7_3) OR FIREABLE(TrainStable_1_3_1_9_8_7_3) OR FIREABLE(TrainStable_1_4_1_9_8_7_3) OR FIREABLE(TrainStable_1_5_1_9_8_7_3) OR FIREABLE(TrainStable_1_6_1_9_8_7_3) OR FIREABLE(TrainStable_1_7_1_9_8_7_3) OR FIREABLE(TrainStable_1_8_1_9_8_7_3) OR FIREABLE(TrainStable_1_9_1_9_8_7_3) OR FIREABLE(TrainStable_1_10_1_9_8_7_3) OR FIREABLE(TrainStable_1_11_1_9_8_7_3) OR FIREABLE(TrainStable_1_12_1_9_8_7_3) OR FIREABLE(TrainStable_1_13_1_9_8_7_3) OR FIREABLE(TrainStable_1_14_1_9_8_7_3) OR FIREABLE(TrainStable_1_15_1_9_8_7_3) OR FIREABLE(TrainStable_1_16_1_9_8_7_3) OR FIREABLE(TrainStable_1_17_1_9_8_7_3) OR FIREABLE(TrainStable_1_18_1_9_8_7_3) OR FIREABLE(TrainStable_1_19_1_9_8_7_3) OR FIREABLE(TrainStable_1_20_1_9_8_7_3) OR FIREABLE(TrainStable_1_1_1_10_9_8_3) OR FIREABLE(TrainStable_1_2_1_10_9_8_3) OR FIREABLE(TrainStable_1_3_1_10_9_8_3) OR FIREABLE(TrainStable_1_4_1_10_9_8_3) OR FIREABLE(TrainStable_1_5_1_10_9_8_3) OR FIREABLE(TrainStable_1_6_1_10_9_8_3) OR FIREABLE(TrainStable_1_7_1_10_9_8_3) OR FIREABLE(TrainStable_1_8_1_10_9_8_3) OR FIREABLE(TrainStable_1_9_1_10_9_8_3) OR FIREABLE(TrainStable_1_10_1_10_9_8_3) OR FIREABLE(TrainStable_1_11_1_10_9_8_3) OR FIREABLE(TrainStable_1_12_1_10_9_8_3) OR FIREABLE(TrainStable_1_13_1_10_9_8_3) OR FIREABLE(TrainStable_1_14_1_10_9_8_3) OR FIREABLE(TrainStable_1_15_1_10_9_8_3) OR FIREABLE(TrainStable_1_16_1_10_9_8_3) OR FIREABLE(TrainStable_1_17_1_10_9_8_3) OR FIREABLE(TrainStable_1_18_1_10_9_8_3) OR FIREABLE(TrainStable_1_19_1_10_9_8_3) OR FIREABLE(TrainStable_1_20_1_10_9_8_3) OR FIREABLE(TrainStable_1_1_1_11_10_9_3) OR FIREABLE(TrainStable_1_2_1_11_10_9_3) OR FIREABLE(TrainStable_1_3_1_11_10_9_3) OR FIREABLE(TrainStable_1_4_1_11_10_9_3) OR FIREABLE(TrainStable_1_5_1_11_10_9_3) OR FIREABLE(TrainStable_1_6_1_11_10_9_3) OR FIREABLE(TrainStable_1_7_1_11_10_9_3) OR FIREABLE(TrainStable_1_8_1_11_10_9_3) OR FIREABLE(TrainStable_1_9_1_11_10_9_3) OR FIREABLE(TrainStable_1_10_1_11_10_9_3) OR FIREABLE(TrainStable_1_11_1_11_10_9_3) OR FIREABLE(TrainStable_1_12_1_11_10_9_3) OR FIREABLE(TrainStable_1_13_1_11_10_9_3) OR FIREABLE(TrainStable_1_14_1_11_10_9_3) OR FIREABLE(TrainStable_1_15_1_11_10_9_3) OR FIREABLE(TrainStable_1_16_1_11_10_9_3) OR FIREABLE(TrainStable_1_17_1_11_10_9_3) OR FIREABLE(TrainStable_1_18_1_11_10_9_3) OR FIREABLE(TrainStable_1_19_1_11_10_9_3) OR FIREABLE(TrainStable_1_20_1_11_10_9_3) OR FIREABLE(TrainStable_1_1_1_12_11_10_3) OR FIREABLE(TrainStable_1_2_1_12_11_10_3) OR FIREABLE(TrainStable_1_3_1_12_11_10_3) OR FIREABLE(TrainStable_1_4_1_12_11_10_3) OR FIREABLE(TrainStable_1_5_1_12_11_10_3) OR FIREABLE(TrainStable_1_6_1_12_11_10_3) OR FIREABLE(TrainStable_1_7_1_12_11_10_3) OR FIREABLE(TrainStable_1_8_1_12_11_10_3) OR FIREABLE(TrainStable_1_9_1_12_11_10_3) OR FIREABLE(TrainStable_1_10_1_12_11_10_3) OR FIREABLE(TrainStable_1_11_1_12_11_10_3) OR FIREABLE(TrainStable_1_12_1_12_11_10_3) OR FIREABLE(TrainStable_1_13_1_12_11_10_3) OR FIREABLE(TrainStable_1_14_1_12_11_10_3) OR FIREABLE(TrainStable_1_15_1_12_11_10_3) OR FIREABLE(TrainStable_1_16_1_12_11_10_3) OR FIREABLE(TrainStable_1_17_1_12_11_10_3) OR FIREABLE(TrainStable_1_18_1_12_11_10_3) OR FIREABLE(TrainStable_1_19_1_12_11_10_3) OR FIREABLE(TrainStable_1_20_1_12_11_10_3) OR FIREABLE(TrainStable_1_1_1_13_12_11_3) OR FIREABLE(TrainStable_1_2_1_13_12_11_3) OR FIREABLE(TrainStable_1_3_1_13_12_11_3) OR FIREABLE(TrainStable_1_4_1_13_12_11_3) OR FIREABLE(TrainStable_1_5_1_13_12_11_3) OR FIREABLE(TrainStable_1_6_1_13_12_11_3) OR FIREABLE(TrainStable_1_7_1_13_12_11_3) OR FIREABLE(TrainStable_1_8_1_13_12_11_3) OR FIREABLE(TrainStable_1_9_1_13_12_11_3) OR FIREABLE(TrainStable_1_10_1_13_12_11_3) OR FIREABLE(TrainStable_1_11_1_13_12_11_3) OR FIREABLE(TrainStable_1_12_1_13_12_11_3) OR FIREABLE(TrainStable_1_13_1_13_12_11_3) OR FIREABLE(TrainStable_1_14_1_13_12_11_3) OR FIREABLE(TrainStable_1_15_1_13_12_11_3) OR FIREABLE(TrainStable_1_16_1_13_12_11_3) OR FIREABLE(TrainStable_1_17_1_13_12_11_3) OR FIREABLE(TrainStable_1_18_1_13_12_11_3) OR FIREABLE(TrainStable_1_19_1_13_12_11_3) OR FIREABLE(TrainStable_1_20_1_13_12_11_3) OR FIREABLE(TrainStable_1_1_1_14_13_12_3) OR FIREABLE(TrainStable_1_2_1_14_13_12_3) OR FIREABLE(TrainStable_1_3_1_14_13_12_3) OR FIREABLE(TrainStable_1_4_1_14_13_12_3) OR FIREABLE(TrainStable_1_5_1_14_13_12_3) OR FIREABLE(TrainStable_1_6_1_14_13_12_3) OR FIREABLE(TrainStable_1_7_1_14_13_12_3) OR FIREABLE(TrainStable_1_8_1_14_13_12_3) OR FIREABLE(TrainStable_1_9_1_14_13_12_3) OR FIREABLE(TrainStable_1_10_1_14_13_12_3) OR FIREABLE(TrainStable_1_11_1_14_13_12_3) OR FIREABLE(TrainStable_1_12_1_14_13_12_3) OR FIREABLE(TrainStable_1_13_1_14_13_12_3) OR FIREABLE(TrainStable_1_14_1_14_13_12_3) OR FIREABLE(TrainStable_1_15_1_14_13_12_3) OR FIREABLE(TrainStable_1_16_1_14_13_12_3) OR FIREABLE(TrainStable_1_17_1_14_13_12_3) OR FIREABLE(TrainStable_1_18_1_14_13_12_3) OR FIREABLE(TrainStable_1_19_1_14_13_12_3) OR FIREABLE(TrainStable_1_20_1_14_13_12_3) OR FIREABLE(TrainStable_1_1_1_15_14_13_3) OR FIREABLE(TrainStable_1_2_1_15_14_13_3) OR FIREABLE(TrainStable_1_3_1_15_14_13_3) OR FIREABLE(TrainStable_1_4_1_15_14_13_3) OR FIREABLE(TrainStable_1_5_1_15_14_13_3) OR FIREABLE(TrainStable_1_6_1_15_14_13_3) OR FIREABLE(TrainStable_1_7_1_15_14_13_3) OR FIREABLE(TrainStable_1_8_1_15_14_13_3) OR FIREABLE(TrainStable_1_9_1_15_14_13_3) OR FIREABLE(TrainStable_1_10_1_15_14_13_3) OR FIREABLE(TrainStable_1_11_1_15_14_13_3) OR FIREABLE(TrainStable_1_12_1_15_14_13_3) OR FIREABLE(TrainStable_1_13_1_15_14_13_3) OR FIREABLE(TrainStable_1_14_1_15_14_13_3) OR FIREABLE(TrainStable_1_15_1_15_14_13_3) OR FIREABLE(TrainStable_1_16_1_15_14_13_3) OR FIREABLE(TrainStable_1_17_1_15_14_13_3) OR FIREABLE(TrainStable_1_18_1_15_14_13_3) OR FIREABLE(TrainStable_1_19_1_15_14_13_3) OR FIREABLE(TrainStable_1_20_1_15_14_13_3) OR FIREABLE(TrainStable_1_1_1_16_15_14_3) OR FIREABLE(TrainStable_1_2_1_16_15_14_3) OR FIREABLE(TrainStable_1_3_1_16_15_14_3) OR FIREABLE(TrainStable_1_4_1_16_15_14_3) OR FIREABLE(TrainStable_1_5_1_16_15_14_3) OR FIREABLE(TrainStable_1_6_1_16_15_14_3) OR FIREABLE(TrainStable_1_7_1_16_15_14_3) OR FIREABLE(TrainStable_1_8_1_16_15_14_3) OR FIREABLE(TrainStable_1_9_1_16_15_14_3) OR FIREABLE(TrainStable_1_10_1_16_15_14_3) OR FIREABLE(TrainStable_1_11_1_16_15_14_3) OR FIREABLE(TrainStable_1_12_1_16_15_14_3) OR FIREABLE(TrainStable_1_13_1_16_15_14_3) OR FIREABLE(TrainStable_1_14_1_16_15_14_3) OR FIREABLE(TrainStable_1_15_1_16_15_14_3) OR FIREABLE(TrainStable_1_16_1_16_15_14_3) OR FIREABLE(TrainStable_1_17_1_16_15_14_3) OR FIREABLE(TrainStable_1_18_1_16_15_14_3) OR FIREABLE(TrainStable_1_19_1_16_15_14_3) OR FIREABLE(TrainStable_1_20_1_16_15_14_3) OR FIREABLE(TrainStable_1_1_1_17_16_15_3) OR FIREABLE(TrainStable_1_2_1_17_16_15_3) OR FIREABLE(TrainStable_1_3_1_17_16_15_3) OR FIREABLE(TrainStable_1_4_1_17_16_15_3) OR FIREABLE(TrainStable_1_5_1_17_16_15_3) OR FIREABLE(TrainStable_1_6_1_17_16_15_3) OR FIREABLE(TrainStable_1_7_1_17_16_15_3) OR FIREABLE(TrainStable_1_8_1_17_16_15_3) OR FIREABLE(TrainStable_1_9_1_17_16_15_3) OR FIREABLE(TrainStable_1_10_1_17_16_15_3) OR FIREABLE(TrainStable_1_11_1_17_16_15_3) OR FIREABLE(TrainStable_1_12_1_17_16_15_3) OR FIREABLE(TrainStable_1_13_1_17_16_15_3) OR FIREABLE(TrainStable_1_14_1_17_16_15_3) OR FIREABLE(TrainStable_1_15_1_17_16_15_3) OR FIREABLE(TrainStable_1_16_1_17_16_15_3) OR FIREABLE(TrainStable_1_17_1_17_16_15_3) OR FIREABLE(TrainStable_1_18_1_17_16_15_3) OR FIREABLE(TrainStable_1_19_1_17_16_15_3) OR FIREABLE(TrainStable_1_20_1_17_16_15_3) OR FIREABLE(TrainStable_1_1_1_18_17_16_3) OR FIREABLE(TrainStable_1_2_1_18_17_16_3) OR FIREABLE(TrainStable_1_3_1_18_17_16_3) OR FIREABLE(TrainStable_1_4_1_18_17_16_3) OR FIREABLE(TrainStable_1_5_1_18_17_16_3) OR FIREABLE(TrainStable_1_6_1_18_17_16_3) OR FIREABLE(TrainStable_1_7_1_18_17_16_3) OR FIREABLE(TrainStable_1_8_1_18_17_16_3) OR FIREABLE(TrainStable_1_9_1_18_17_16_3) OR FIREABLE(TrainStable_1_10_1_18_17_16_3) OR FIREABLE(TrainStable_1_11_1_18_17_16_3) OR FIREABLE(TrainStable_1_12_1_18_17_16_3) OR FIREABLE(TrainStable_1_13_1_18_17_16_3) OR FIREABLE(TrainStable_1_14_1_18_17_16_3) OR FIREABLE(TrainStable_1_15_1_18_17_16_3) OR FIREABLE(TrainStable_1_16_1_18_17_16_3) OR FIREABLE(TrainStable_1_17_1_18_17_16_3) OR FIREABLE(TrainStable_1_18_1_18_17_16_3) OR FIREABLE(TrainStable_1_19_1_18_17_16_3) OR FIREABLE(TrainStable_1_20_1_18_17_16_3) OR FIREABLE(TrainStable_1_1_1_19_18_17_3) OR FIREABLE(TrainStable_1_2_1_19_18_17_3) OR FIREABLE(TrainStable_1_3_1_19_18_17_3) OR FIREABLE(TrainStable_1_4_1_19_18_17_3) OR FIREABLE(TrainStable_1_5_1_19_18_17_3) OR FIREABLE(TrainStable_1_6_1_19_18_17_3) OR FIREABLE(TrainStable_1_7_1_19_18_17_3) OR FIREABLE(TrainStable_1_8_1_19_18_17_3) OR FIREABLE(TrainStable_1_9_1_19_18_17_3) OR FIREABLE(TrainStable_1_10_1_19_18_17_3) OR FIREABLE(TrainStable_1_11_1_19_18_17_3) OR FIREABLE(TrainStable_1_12_1_19_18_17_3) OR FIREABLE(TrainStable_1_13_1_19_18_17_3) OR FIREABLE(TrainStable_1_14_1_19_18_17_3) OR FIREABLE(TrainStable_1_15_1_19_18_17_3) OR FIREABLE(TrainStable_1_16_1_19_18_17_3) OR FIREABLE(TrainStable_1_17_1_19_18_17_3) OR FIREABLE(TrainStable_1_18_1_19_18_17_3) OR FIREABLE(TrainStable_1_19_1_19_18_17_3) OR FIREABLE(TrainStable_1_20_1_19_18_17_3) OR FIREABLE(TrainStable_1_1_1_20_19_18_3) OR FIREABLE(TrainStable_1_2_1_20_19_18_3) OR FIREABLE(TrainStable_1_3_1_20_19_18_3) OR FIREABLE(TrainStable_1_4_1_20_19_18_3) OR FIREABLE(TrainStable_1_5_1_20_19_18_3) OR FIREABLE(TrainStable_1_6_1_20_19_18_3) OR FIREABLE(TrainStable_1_7_1_20_19_18_3) OR FIREABLE(TrainStable_1_8_1_20_19_18_3) OR FIREABLE(TrainStable_1_9_1_20_19_18_3) OR FIREABLE(TrainStable_1_10_1_20_19_18_3) OR FIREABLE(TrainStable_1_11_1_20_19_18_3) OR FIREABLE(TrainStable_1_12_1_20_19_18_3) OR FIREABLE(TrainStable_1_13_1_20_19_18_3) OR FIREABLE(TrainStable_1_14_1_20_19_18_3) OR FIREABLE(TrainStable_1_15_1_20_19_18_3) OR FIREABLE(TrainStable_1_16_1_20_19_18_3) OR FIREABLE(TrainStable_1_17_1_20_19_18_3) OR FIREABLE(TrainStable_1_18_1_20_19_18_3) OR FIREABLE(TrainStable_1_19_1_20_19_18_3) OR FIREABLE(TrainStable_1_20_1_20_19_18_3) OR FIREABLE(TrainStable_1_1_1_21_20_19_3) OR FIREABLE(TrainStable_1_2_1_21_20_19_3) OR FIREABLE(TrainStable_1_3_1_21_20_19_3) OR FIREABLE(TrainStable_1_4_1_21_20_19_3) OR FIREABLE(TrainStable_1_5_1_21_20_19_3) OR FIREABLE(TrainStable_1_6_1_21_20_19_3) OR FIREABLE(TrainStable_1_7_1_21_20_19_3) OR FIREABLE(TrainStable_1_8_1_21_20_19_3) OR FIREABLE(TrainStable_1_9_1_21_20_19_3) OR FIREABLE(TrainStable_1_10_1_21_20_19_3) OR FIREABLE(TrainStable_1_11_1_21_20_19_3) OR FIREABLE(TrainStable_1_12_1_21_20_19_3) OR FIREABLE(TrainStable_1_13_1_21_20_19_3) OR FIREABLE(TrainStable_1_14_1_21_20_19_3) OR FIREABLE(TrainStable_1_15_1_21_20_19_3) OR FIREABLE(TrainStable_1_16_1_21_20_19_3) OR FIREABLE(TrainStable_1_17_1_21_20_19_3) OR FIREABLE(TrainStab
le_1_18_1_21_20_19_3) OR FIREABLE(TrainStable_1_19_1_21_20_19_3) OR FIREABLE(TrainStable_1_20_1_21_20_19_3) OR FIREABLE(TrainStable_1_1_1_22_21_20_3) OR FIREABLE(TrainStable_1_2_1_22_21_20_3) OR FIREABLE(TrainStable_1_3_1_22_21_20_3) OR FIREABLE(TrainStable_1_4_1_22_21_20_3) OR FIREABLE(TrainStable_1_5_1_22_21_20_3) OR FIREABLE(TrainStable_1_6_1_22_21_20_3) OR FIREABLE(TrainStable_1_7_1_22_21_20_3) OR FIREABLE(TrainStable_1_8_1_22_21_20_3) OR FIREABLE(TrainStable_1_9_1_22_21_20_3) OR FIREABLE(TrainStable_1_10_1_22_21_20_3) OR FIREABLE(TrainStable_1_11_1_22_21_20_3) OR FIREABLE(TrainStable_1_12_1_22_21_20_3) OR FIREABLE(TrainStable_1_13_1_22_21_20_3) OR FIREABLE(TrainStable_1_14_1_22_21_20_3) OR FIREABLE(TrainStable_1_15_1_22_21_20_3) OR FIREABLE(TrainStable_1_16_1_22_21_20_3) OR FIREABLE(TrainStable_1_17_1_22_21_20_3) OR FIREABLE(TrainStable_1_18_1_22_21_20_3) OR FIREABLE(TrainStable_1_19_1_22_21_20_3) OR FIREABLE(TrainStable_1_20_1_22_21_20_3) OR FIREABLE(TrainStable_1_1_1_23_22_21_3) OR FIREABLE(TrainStable_1_2_1_23_22_21_3) OR FIREABLE(TrainStable_1_3_1_23_22_21_3) OR FIREABLE(TrainStable_1_4_1_23_22_21_3) OR FIREABLE(TrainStable_1_5_1_23_22_21_3) OR FIREABLE(TrainStable_1_6_1_23_22_21_3) OR FIREABLE(TrainStable_1_7_1_23_22_21_3) OR FIREABLE(TrainStable_1_8_1_23_22_21_3) OR FIREABLE(TrainStable_1_9_1_23_22_21_3) OR FIREABLE(TrainStable_1_10_1_23_22_21_3) OR FIREABLE(TrainStable_1_11_1_23_22_21_3) OR FIREABLE(TrainStable_1_12_1_23_22_21_3) OR FIREABLE(TrainStable_1_13_1_23_22_21_3) OR FIREABLE(TrainStable_1_14_1_23_22_21_3) OR FIREABLE(TrainStable_1_15_1_23_22_21_3) OR FIREABLE(TrainStable_1_16_1_23_22_21_3) OR FIREABLE(TrainStable_1_17_1_23_22_21_3) OR FIREABLE(TrainStable_1_18_1_23_22_21_3) OR FIREABLE(TrainStable_1_19_1_23_22_21_3) OR FIREABLE(TrainStable_1_20_1_23_22_21_3) OR FIREABLE(TrainStable_1_1_1_24_23_22_3) OR FIREABLE(TrainStable_1_2_1_24_23_22_3) OR FIREABLE(TrainStable_1_3_1_24_23_22_3) OR FIREABLE(TrainStable_1_4_1_24_23_22_3) OR FIREABLE(TrainStable_1_5_1_24_23_22_3) OR FIREABLE(TrainStable_1_6_1_24_23_22_3) OR FIREABLE(TrainStable_1_7_1_24_23_22_3) OR FIREABLE(TrainStable_1_8_1_24_23_22_3) OR FIREABLE(TrainStable_1_9_1_24_23_22_3) OR FIREABLE(TrainStable_1_10_1_24_23_22_3) OR FIREABLE(TrainStable_1_11_1_24_23_22_3) OR FIREABLE(TrainStable_1_12_1_24_23_22_3) OR FIREABLE(TrainStable_1_13_1_24_23_22_3) OR FIREABLE(TrainStable_1_14_1_24_23_22_3) OR FIREABLE(TrainStable_1_15_1_24_23_22_3) OR FIREABLE(TrainStable_1_16_1_24_23_22_3) OR FIREABLE(TrainStable_1_17_1_24_23_22_3) OR FIREABLE(TrainStable_1_18_1_24_23_22_3) OR FIREABLE(TrainStable_1_19_1_24_23_22_3) OR FIREABLE(TrainStable_1_20_1_24_23_22_3) OR FIREABLE(TrainStable_1_1_1_25_24_23_3) OR FIREABLE(TrainStable_1_2_1_25_24_23_3) OR FIREABLE(TrainStable_1_3_1_25_24_23_3) OR FIREABLE(TrainStable_1_4_1_25_24_23_3) OR FIREABLE(TrainStable_1_5_1_25_24_23_3) OR FIREABLE(TrainStable_1_6_1_25_24_23_3) OR FIREABLE(TrainStable_1_7_1_25_24_23_3) OR FIREABLE(TrainStable_1_8_1_25_24_23_3) OR FIREABLE(TrainStable_1_9_1_25_24_23_3) OR FIREABLE(TrainStable_1_10_1_25_24_23_3) OR FIREABLE(TrainStable_1_11_1_25_24_23_3) OR FIREABLE(TrainStable_1_12_1_25_24_23_3) OR FIREABLE(TrainStable_1_13_1_25_24_23_3) OR FIREABLE(TrainStable_1_14_1_25_24_23_3) OR FIREABLE(TrainStable_1_15_1_25_24_23_3) OR FIREABLE(TrainStable_1_16_1_25_24_23_3) OR FIREABLE(TrainStable_1_17_1_25_24_23_3) OR FIREABLE(TrainStable_1_18_1_25_24_23_3) OR FIREABLE(TrainStable_1_19_1_25_24_23_3) OR FIREABLE(TrainStable_1_20_1_25_24_23_3) OR FIREABLE(TrainStable_1_1_1_26_25_24_3) OR FIREABLE(TrainStable_1_2_1_26_25_24_3) OR FIREABLE(TrainStable_1_3_1_26_25_24_3) OR FIREABLE(TrainStable_1_4_1_26_25_24_3) OR FIREABLE(TrainStable_1_5_1_26_25_24_3) OR FIREABLE(TrainStable_1_6_1_26_25_24_3) OR FIREABLE(TrainStable_1_7_1_26_25_24_3) OR FIREABLE(TrainStable_1_8_1_26_25_24_3) OR FIREABLE(TrainStable_1_9_1_26_25_24_3) OR FIREABLE(TrainStable_1_10_1_26_25_24_3) OR FIREABLE(TrainStable_1_11_1_26_25_24_3) OR FIREABLE(TrainStable_1_12_1_26_25_24_3) OR FIREABLE(TrainStable_1_13_1_26_25_24_3) OR FIREABLE(TrainStable_1_14_1_26_25_24_3) OR FIREABLE(TrainStable_1_15_1_26_25_24_3) OR FIREABLE(TrainStable_1_16_1_26_25_24_3) OR FIREABLE(TrainStable_1_17_1_26_25_24_3) OR FIREABLE(TrainStable_1_18_1_26_25_24_3) OR FIREABLE(TrainStable_1_19_1_26_25_24_3) OR FIREABLE(TrainStable_1_20_1_26_25_24_3) OR FIREABLE(TrainStable_1_1_1_27_26_25_3) OR FIREABLE(TrainStable_1_2_1_27_26_25_3) OR FIREABLE(TrainStable_1_3_1_27_26_25_3) OR FIREABLE(TrainStable_1_4_1_27_26_25_3) OR FIREABLE(TrainStable_1_5_1_27_26_25_3) OR FIREABLE(TrainStable_1_6_1_27_26_25_3) OR FIREABLE(TrainStable_1_7_1_27_26_25_3) OR FIREABLE(TrainStable_1_8_1_27_26_25_3) OR FIREABLE(TrainStable_1_9_1_27_26_25_3) OR FIREABLE(TrainStable_1_10_1_27_26_25_3) OR FIREABLE(TrainStable_1_11_1_27_26_25_3) OR FIREABLE(TrainStable_1_12_1_27_26_25_3) OR FIREABLE(TrainStable_1_13_1_27_26_25_3) OR FIREABLE(TrainStable_1_14_1_27_26_25_3) OR FIREABLE(TrainStable_1_15_1_27_26_25_3) OR FIREABLE(TrainStable_1_16_1_27_26_25_3) OR FIREABLE(TrainStable_1_17_1_27_26_25_3) OR FIREABLE(TrainStable_1_18_1_27_26_25_3) OR FIREABLE(TrainStable_1_19_1_27_26_25_3) OR FIREABLE(TrainStable_1_20_1_27_26_25_3) OR FIREABLE(TrainStable_1_1_1_28_27_26_3) OR FIREABLE(TrainStable_1_2_1_28_27_26_3) OR FIREABLE(TrainStable_1_3_1_28_27_26_3) OR FIREABLE(TrainStable_1_4_1_28_27_26_3) OR FIREABLE(TrainStable_1_5_1_28_27_26_3) OR FIREABLE(TrainStable_1_6_1_28_27_26_3) OR FIREABLE(TrainStable_1_7_1_28_27_26_3) OR FIREABLE(TrainStable_1_8_1_28_27_26_3) OR FIREABLE(TrainStable_1_9_1_28_27_26_3) OR FIREABLE(TrainStable_1_10_1_28_27_26_3) OR FIREABLE(TrainStable_1_11_1_28_27_26_3) OR FIREABLE(TrainStable_1_12_1_28_27_26_3) OR FIREABLE(TrainStable_1_13_1_28_27_26_3) OR FIREABLE(TrainStable_1_14_1_28_27_26_3) OR FIREABLE(TrainStable_1_15_1_28_27_26_3) OR FIREABLE(TrainStable_1_16_1_28_27_26_3) OR FIREABLE(TrainStable_1_17_1_28_27_26_3) OR FIREABLE(TrainStable_1_18_1_28_27_26_3) OR FIREABLE(TrainStable_1_19_1_28_27_26_3) OR FIREABLE(TrainStable_1_20_1_28_27_26_3) OR FIREABLE(TrainStable_1_1_1_29_28_27_3) OR FIREABLE(TrainStable_1_2_1_29_28_27_3) OR FIREABLE(TrainStable_1_3_1_29_28_27_3) OR FIREABLE(TrainStable_1_4_1_29_28_27_3) OR FIREABLE(TrainStable_1_5_1_29_28_27_3) OR FIREABLE(TrainStable_1_6_1_29_28_27_3) OR FIREABLE(TrainStable_1_7_1_29_28_27_3) OR FIREABLE(TrainStable_1_8_1_29_28_27_3) OR FIREABLE(TrainStable_1_9_1_29_28_27_3) OR FIREABLE(TrainStable_1_10_1_29_28_27_3) OR FIREABLE(TrainStable_1_11_1_29_28_27_3) OR FIREABLE(TrainStable_1_12_1_29_28_27_3) OR FIREABLE(TrainStable_1_13_1_29_28_27_3) OR FIREABLE(TrainStable_1_14_1_29_28_27_3) OR FIREABLE(TrainStable_1_15_1_29_28_27_3) OR FIREABLE(TrainStable_1_16_1_29_28_27_3) OR FIREABLE(TrainStable_1_17_1_29_28_27_3) OR FIREABLE(TrainStable_1_18_1_29_28_27_3) OR FIREABLE(TrainStable_1_19_1_29_28_27_3) OR FIREABLE(TrainStable_1_20_1_29_28_27_3) OR FIREABLE(TrainStable_1_1_1_30_29_28_3) OR FIREABLE(TrainStable_1_2_1_30_29_28_3) OR FIREABLE(TrainStable_1_3_1_30_29_28_3) OR FIREABLE(TrainStable_1_4_1_30_29_28_3) OR FIREABLE(TrainStable_1_5_1_30_29_28_3) OR FIREABLE(TrainStable_1_6_1_30_29_28_3) OR FIREABLE(TrainStable_1_7_1_30_29_28_3) OR FIREABLE(TrainStable_1_8_1_30_29_28_3) OR FIREABLE(TrainStable_1_9_1_30_29_28_3) OR FIREABLE(TrainStable_1_10_1_30_29_28_3) OR FIREABLE(TrainStable_1_11_1_30_29_28_3) OR FIREABLE(TrainStable_1_12_1_30_29_28_3) OR FIREABLE(TrainStable_1_13_1_30_29_28_3) OR FIREABLE(TrainStable_1_14_1_30_29_28_3) OR FIREABLE(TrainStable_1_15_1_30_29_28_3) OR FIREABLE(TrainStable_1_16_1_30_29_28_3) OR FIREABLE(TrainStable_1_17_1_30_29_28_3) OR FIREABLE(TrainStable_1_18_1_30_29_28_3) OR FIREABLE(TrainStable_1_19_1_30_29_28_3) OR FIREABLE(TrainStable_1_20_1_30_29_28_3) OR FIREABLE(TrainStable_1_1_1_31_30_29_3) OR FIREABLE(TrainStable_1_2_1_31_30_29_3) OR FIREABLE(TrainStable_1_3_1_31_30_29_3) OR FIREABLE(TrainStable_1_4_1_31_30_29_3) OR FIREABLE(TrainStable_1_5_1_31_30_29_3) OR FIREABLE(TrainStable_1_6_1_31_30_29_3) OR FIREABLE(TrainStable_1_7_1_31_30_29_3) OR FIREABLE(TrainStable_1_8_1_31_30_29_3) OR FIREABLE(TrainStable_1_9_1_31_30_29_3) OR FIREABLE(TrainStable_1_10_1_31_30_29_3) OR FIREABLE(TrainStable_1_11_1_31_30_29_3) OR FIREABLE(TrainStable_1_12_1_31_30_29_3) OR FIREABLE(TrainStable_1_13_1_31_30_29_3) OR FIREABLE(TrainStable_1_14_1_31_30_29_3) OR FIREABLE(TrainStable_1_15_1_31_30_29_3) OR FIREABLE(TrainStable_1_16_1_31_30_29_3) OR FIREABLE(TrainStable_1_17_1_31_30_29_3) OR FIREABLE(TrainStable_1_18_1_31_30_29_3) OR FIREABLE(TrainStable_1_19_1_31_30_29_3) OR FIREABLE(TrainStable_1_20_1_31_30_29_3) OR FIREABLE(TrainStable_1_1_1_32_31_30_3) OR FIREABLE(TrainStable_1_2_1_32_31_30_3) OR FIREABLE(TrainStable_1_3_1_32_31_30_3) OR FIREABLE(TrainStable_1_4_1_32_31_30_3) OR FIREABLE(TrainStable_1_5_1_32_31_30_3) OR FIREABLE(TrainStable_1_6_1_32_31_30_3) OR FIREABLE(TrainStable_1_7_1_32_31_30_3) OR FIREABLE(TrainStable_1_8_1_32_31_30_3) OR FIREABLE(TrainStable_1_9_1_32_31_30_3) OR FIREABLE(TrainStable_1_10_1_32_31_30_3) OR FIREABLE(TrainStable_1_11_1_32_31_30_3) OR FIREABLE(TrainStable_1_12_1_32_31_30_3) OR FIREABLE(TrainStable_1_13_1_32_31_30_3) OR FIREABLE(TrainStable_1_14_1_32_31_30_3) OR FIREABLE(TrainStable_1_15_1_32_31_30_3) OR FIREABLE(TrainStable_1_16_1_32_31_30_3) OR FIREABLE(TrainStable_1_17_1_32_31_30_3) OR FIREABLE(TrainStable_1_18_1_32_31_30_3) OR FIREABLE(TrainStable_1_19_1_32_31_30_3) OR FIREABLE(TrainStable_1_20_1_32_31_30_3) OR FIREABLE(TrainStable_1_1_1_33_32_31_3) OR FIREABLE(TrainStable_1_2_1_33_32_31_3) OR FIREABLE(TrainStable_1_3_1_33_32_31_3) OR FIREABLE(TrainStable_1_4_1_33_32_31_3) OR FIREABLE(TrainStable_1_5_1_33_32_31_3) OR FIREABLE(TrainStable_1_6_1_33_32_31_3) OR FIREABLE(TrainStable_1_7_1_33_32_31_3) OR FIREABLE(TrainStable_1_8_1_33_32_31_3) OR FIREABLE(TrainStable_1_9_1_33_32_31_3) OR FIREABLE(TrainStable_1_10_1_33_32_31_3) OR FIREABLE(TrainStable_1_11_1_33_32_31_3) OR FIREABLE(TrainStable_1_12_1_33_32_31_3) OR FIREABLE(TrainStable_1_13_1_33_32_31_3) OR FIREABLE(TrainStable_1_14_1_33_32_31_3) OR FIREABLE(TrainStable_1_15_1_33_32_31_3) OR FIREABLE(TrainStable_1_16_1_33_32_31_3) OR FIREABLE(TrainStable_1_17_1_33_32_31_3) OR FIREABLE(TrainStable_1_18_1_33_32_31_3) OR FIREABLE(TrainStable_1_19_1_33_32_31_3) OR FIREABLE(TrainStable_1_20_1_33_32_31_3) OR FIREABLE(TrainStable_1_1_1_34_33_32_3) OR FIREABLE(TrainStable_1_2_1_34_33_32_3) OR FIREABLE(TrainStable_1_3_1_34_33_32_3) OR FIREABLE(TrainStable_1_4_1_34_33_32_3) OR FIREABLE(TrainStable_1_5_1_34_33_32_3) OR FIREABLE(TrainStable_1_6_1_34_33_32_3) OR FIREABLE(TrainStable_1_7_1_34_33_32_3) OR FIREABLE(TrainStable_1_8_1_34_33_32_3) OR FIREABLE(TrainStable_1_9_1_34_33_32_3) OR FIREABLE(TrainStable_1_10_1_34_33_32_3) OR FIREABLE(TrainStable_1_11_1_34_33_32_3) OR FIREABLE(TrainStable_1_12_1_34_33_32_3) OR FIREABLE(TrainStable_1_13_1_34_33_32_3) OR FIREABLE(TrainStable_1_14_1_34_33_32_3) OR FIREABLE(TrainStable_1_15_1_34_33_32_3) OR FIREABLE(TrainStable_1_16_1_34_33_32_3) OR FIREABLE(TrainStable_1_17_1_34_33_32_3) OR FIREABLE(TrainStable_1_18_1_34_33_32_3) OR FIREABLE(TrainStable_1_19_1_34_33_32_3) OR FIREABLE(TrainStable_1_20_1_34_33_32_3) OR FIREABLE(TrainStable_1_1_1_35_34_33_3) OR FIREABLE(TrainStable_1_2_1_35_34_33_3) OR FIREABLE(TrainStable_1_3_1_35_34_33_3) OR FIREABLE(TrainStable_1_4_1_35_34_33_3) OR FIREABLE(TrainStable_1_5_1_35_34_33_3) OR FIREABLE(TrainStable_1_6_1_35_34_33_3) OR FIREABLE(TrainStable_1_7_1_35_34_33_3) OR FIREABLE(TrainStable_1_8_1_35_34_33_3) OR FIREABLE(TrainStable_1_9_1_35_34_33_3) OR FIREABLE(TrainStable_1_10_1_35_34_33_3) OR FIREABLE(TrainStable_1_11_1_35_34_33_3) OR FIREABLE(TrainStable_1_12_1_35_34_33_3) OR FIREABLE(TrainStable_1_13_1_35_34_33_3) OR FIREABLE(TrainStable_1_14_1_35_34_33_3) OR FIREABLE(TrainStable_1_15_1_35_34_33_3) OR FIREABLE(TrainStable_1_16_1_35_34_33_3) OR FIREABLE(TrainStable_1_17_1_35_34_33_3) OR FIREABLE(TrainStable_1_18_1_35_34_33_3) OR FIREABLE(TrainStable_1_19_1_35_34_33_3) OR FIREABLE(TrainStable_1_20_1_35_34_33_3) OR FIREABLE(TrainStable_1_1_1_36_35_34_3) OR FIREABLE(TrainStable_1_2_1_36_35_34_3) OR FIREABLE(TrainStable_1_3_1_36_35_34_3) OR FIREABLE(TrainStable_1_4_1_36_35_34_3) OR FIREABLE(TrainStable_1_5_1_36_35_34_3) OR FIREABLE(TrainStable_1_6_1_36_35_34_3) OR FIREABLE(TrainStable_1_7_1_36_35_34_3) OR FIREABLE(TrainStable_1_8_1_36_35_34_3) OR FIREABLE(TrainStable_1_9_1_36_35_34_3) OR FIREABLE(TrainStable_1_10_1_36_35_34_3) OR FIREABLE(TrainStable_1_11_1_36_35_34_3) OR FIREABLE(TrainStable_1_12_1_36_35_34_3) OR FIREABLE(TrainStable_1_13_1_36_35_34_3) OR FIREABLE(TrainStable_1_14_1_36_35_34_3) OR FIREABLE(TrainStable_1_15_1_36_35_34_3) OR FIREABLE(TrainStable_1_16_1_36_35_34_3) OR FIREABLE(TrainStable_1_17_1_36_35_34_3) OR FIREABLE(TrainStable_1_18_1_36_35_34_3) OR FIREABLE(TrainStable_1_19_1_36_35_34_3) OR FIREABLE(TrainStable_1_20_1_36_35_34_3) OR FIREABLE(TrainStable_1_1_1_37_36_35_3) OR FIREABLE(TrainStable_1_2_1_37_36_35_3) OR FIREABLE(TrainStable_1_3_1_37_36_35_3) OR FIREABLE(TrainStable_1_4_1_37_36_35_3) OR FIREABLE(TrainStable_1_5_1_37_36_35_3) OR FIREABLE(TrainStable_1_6_1_37_36_35_3) OR FIREABLE(TrainStable_1_7_1_37_36_35_3) OR FIREABLE(TrainStable_1_8_1_37_36_35_3) OR FIREABLE(TrainStable_1_9_1_37_36_35_3) OR FIREABLE(TrainStable_1_10_1_37_36_35_3) OR FIREABLE(TrainStable_1_11_1_37_36_35_3) OR FIREABLE(TrainStable_1_12_1_37_36_35_3) OR FIREABLE(TrainStable_1_13_1_37_36_35_3) OR FIREABLE(TrainStable_1_14_1_37_36_35_3) OR FIREABLE(TrainStable_1_15_1_37_36_35_3) OR FIREABLE(TrainStable_1_16_1_37_36_35_3) OR FIREABLE(TrainStable_1_17_1_37_36_35_3) OR FIREABLE(TrainStable_1_18_1_37_36_35_3) OR FIREABLE(TrainStable_1_19_1_37_36_35_3) OR FIREABLE(TrainStable_1_20_1_37_36_35_3) OR FIREABLE(TrainStable_1_1_1_38_37_36_3) OR FIREABLE(TrainStable_1_2_1_38_37_36_3) OR FIREABLE(TrainStable_1_3_1_38_37_36_3) OR FIREABLE(TrainStable_1_4_1_38_37_36_3) OR FIREABLE(TrainStable_1_5_1_38_37_36_3) OR FIREABLE(TrainStable_1_6_1_38_37_36_3) OR FIREABLE(TrainStable_1_7_1_38_37_36_3) OR FIREABLE(TrainStable_1_8_1_38_37_36_3) OR FIREABLE(TrainStable_1_9_1_38_37_36_3) OR FIREABLE(TrainStable_1_10_1_38_37_36_3) OR FIREABLE(TrainStable_1_11_1_38_37_36_3) OR FIREABLE(TrainStable_1_12_1_38_37_36_3) OR FIREABLE(TrainStable_1_13_1_38_37_36_3) OR FIREABLE(TrainStable_1_14_1_38_37_36_3) OR FIREABLE(TrainStable_1_15_1_38_37_36_3) OR FIREABLE(TrainStable_1_16_1_38_37_36_3) OR FIREABLE(TrainStable_1_17_1_38_37_36_3) OR FIREABLE(TrainStable_1_18_1_38_37_36_3) OR FIREABLE(TrainStable_1_19_1_38_37_36_3) OR FIREABLE(TrainStable_1_20_1_38_37_36_3) OR FIREABLE(TrainStable_1_1_1_39_38_37_3) OR FIREABLE(TrainStable_1_2_1_39_38_37_3) OR FIREABLE(TrainStable_1_3_1_39_38_37_3) OR FIREABLE(TrainStable_1_4_1_39_38_37_3) OR FIREABLE(TrainStable_1_5_1_39_38_37_3) OR FIREABLE(TrainStable_1_6_1_39_38_37_3) OR FIREABLE(TrainStable_1_7_1_39_38_37_3) OR FIREABLE(TrainStable_1_8_1_39_38_37_3) OR FIREABLE(TrainStable_1_9_1_39_38_37_3) OR FIREABLE(TrainStable_1_10_1_39_38_37_3) OR FIREABLE(TrainStable_1_11_1_39_38_37_3) OR FIREABLE(TrainStable_1_12_1_39_38_37_3) OR FIREABLE(TrainStable_1_13_1_39_38_37_3) OR FIREABLE(TrainStable_1_14_1_39_38_37_3) OR FIREABLE(TrainStable_1_15_1_39_38_37_3) OR FIREABLE(TrainStable_1_16_1_39_38_37_3) OR FIREABLE(TrainStable_1_17_1_39_38_37_3) OR FIREABLE(TrainStable_1_18_1_39_38_37_3) OR FIREABLE(TrainStable_1_19_1_39_38_37_3) OR FIREABLE(TrainStable_1_20_1_39_38_37_3) OR FIREABLE(TrainStable_1_1_1_40_39_38_3) OR FIREABLE(TrainStable_1_2_1_40_39_38_3) OR FIREABLE(TrainStable_1_3_1_40_39_38_3) OR FIREABLE(TrainStable_1_4_1_40_39_38_3) OR FIREABLE(TrainStable_1_5_1_40_39_38_3) OR FIREABLE(TrainStable_1_6_1_40_39_38_3) OR FIREABLE(TrainStable_1_7_1_40_39_38_3) OR FIREABLE(TrainStable_1_8_1_40_39_38_3) OR FIREABLE(TrainStable_1_9_1_40_39_38_3) OR FIREABLE(TrainStable_1_10_1_40_39_38_3) OR FIREABLE(TrainStable_1_11_1_40_39_38_3) OR FIREABLE(TrainStable_1_12_1_40_39_38_3) OR FIREABLE(TrainStable_1_13_1_40_39_38_3) OR FIREABLE(TrainStable_1_14_1_40_39_38_3) OR FIREABLE(TrainStable_1_15_1_40_39_38_3) OR FIREABLE(TrainStable_1_16_1_40_39_38_3) OR FIREABLE(TrainStable_1_17_1_40_39_38_3) OR FIREABLE(TrainStable_1_18_1_40_39_38_3) OR FIREABLE(TrainStable_1_19_1_40_39_38_3) OR FIREABLE(TrainStable_1_20_1_40_39_38_3) OR FIREABLE(TrainStable_2_1_3_6_4_3_6) OR FIREABLE(TrainStable_2_2_3_6_4_3_6) OR FIREABLE(TrainStable_2_3_3
_6_4_3_6) OR FIREABLE(TrainStable_2_4_3_6_4_3_6) OR FIREABLE(TrainStable_2_5_3_6_4_3_6) OR FIREABLE(TrainStable_2_6_3_6_4_3_6) OR FIREABLE(TrainStable_2_7_3_6_4_3_6) OR FIREABLE(TrainStable_2_8_3_6_4_3_6) OR FIREABLE(TrainStable_2_9_3_6_4_3_6) OR FIREABLE(TrainStable_2_10_3_6_4_3_6) OR FIREABLE(TrainStable_2_11_3_6_4_3_6) OR FIREABLE(TrainStable_2_12_3_6_4_3_6) OR FIREABLE(TrainStable_2_13_3_6_4_3_6) OR FIREABLE(TrainStable_2_14_3_6_4_3_6) OR FIREABLE(TrainStable_2_15_3_6_4_3_6) OR FIREABLE(TrainStable_2_16_3_6_4_3_6) OR FIREABLE(TrainStable_2_17_3_6_4_3_6) OR FIREABLE(TrainStable_2_18_3_6_4_3_6) OR FIREABLE(TrainStable_2_19_3_6_4_3_6) OR FIREABLE(TrainStable_2_20_3_6_4_3_6) OR FIREABLE(TrainStable_2_1_3_7_5_4_6) OR FIREABLE(TrainStable_2_2_3_7_5_4_6) OR FIREABLE(TrainStable_2_3_3_7_5_4_6) OR FIREABLE(TrainStable_2_4_3_7_5_4_6) OR FIREABLE(TrainStable_2_5_3_7_5_4_6) OR FIREABLE(TrainStable_2_6_3_7_5_4_6) OR FIREABLE(TrainStable_2_7_3_7_5_4_6) OR FIREABLE(TrainStable_2_8_3_7_5_4_6) OR FIREABLE(TrainStable_2_9_3_7_5_4_6) OR FIREABLE(TrainStable_2_10_3_7_5_4_6) OR FIREABLE(TrainStable_2_11_3_7_5_4_6) OR FIREABLE(TrainStable_2_12_3_7_5_4_6) OR FIREABLE(TrainStable_2_13_3_7_5_4_6) OR FIREABLE(TrainStable_2_14_3_7_5_4_6) OR FIREABLE(TrainStable_2_15_3_7_5_4_6) OR FIREABLE(TrainStable_2_16_3_7_5_4_6) OR FIREABLE(TrainStable_2_17_3_7_5_4_6) OR FIREABLE(TrainStable_2_18_3_7_5_4_6) OR FIREABLE(TrainStable_2_19_3_7_5_4_6) OR FIREABLE(TrainStable_2_20_3_7_5_4_6) OR FIREABLE(TrainStable_2_1_3_8_6_5_6) OR FIREABLE(TrainStable_2_2_3_8_6_5_6) OR FIREABLE(TrainStable_2_3_3_8_6_5_6) OR FIREABLE(TrainStable_2_4_3_8_6_5_6) OR FIREABLE(TrainStable_2_5_3_8_6_5_6) OR FIREABLE(TrainStable_2_6_3_8_6_5_6) OR FIREABLE(TrainStable_2_7_3_8_6_5_6) OR FIREABLE(TrainStable_2_8_3_8_6_5_6) OR FIREABLE(TrainStable_2_9_3_8_6_5_6) OR FIREABLE(TrainStable_2_10_3_8_6_5_6) OR FIREABLE(TrainStable_2_11_3_8_6_5_6) OR FIREABLE(TrainStable_2_12_3_8_6_5_6) OR FIREABLE(TrainStable_2_13_3_8_6_5_6) OR FIREABLE(TrainStable_2_14_3_8_6_5_6) OR FIREABLE(TrainStable_2_15_3_8_6_5_6) OR FIREABLE(TrainStable_2_16_3_8_6_5_6) OR FIREABLE(TrainStable_2_17_3_8_6_5_6) OR FIREABLE(TrainStable_2_18_3_8_6_5_6) OR FIREABLE(TrainStable_2_19_3_8_6_5_6) OR FIREABLE(TrainStable_2_20_3_8_6_5_6) OR FIREABLE(TrainStable_2_1_3_9_7_6_6) OR FIREABLE(TrainStable_2_2_3_9_7_6_6) OR FIREABLE(TrainStable_2_3_3_9_7_6_6) OR FIREABLE(TrainStable_2_4_3_9_7_6_6) OR FIREABLE(TrainStable_2_5_3_9_7_6_6) OR FIREABLE(TrainStable_2_6_3_9_7_6_6) OR FIREABLE(TrainStable_2_7_3_9_7_6_6) OR FIREABLE(TrainStable_2_8_3_9_7_6_6) OR FIREABLE(TrainStable_2_9_3_9_7_6_6) OR FIREABLE(TrainStable_2_10_3_9_7_6_6) OR FIREABLE(TrainStable_2_11_3_9_7_6_6) OR FIREABLE(TrainStable_2_12_3_9_7_6_6) OR FIREABLE(TrainStable_2_13_3_9_7_6_6) OR FIREABLE(TrainStable_2_14_3_9_7_6_6) OR FIREABLE(TrainStable_2_15_3_9_7_6_6) OR FIREABLE(TrainStable_2_16_3_9_7_6_6) OR FIREABLE(TrainStable_2_17_3_9_7_6_6) OR FIREABLE(TrainStable_2_18_3_9_7_6_6) OR FIREABLE(TrainStable_2_19_3_9_7_6_6) OR FIREABLE(TrainStable_2_20_3_9_7_6_6) OR FIREABLE(TrainStable_3_1_6_10_7_6_10) OR FIREABLE(TrainStable_3_2_6_10_7_6_10) OR FIREABLE(TrainStable_3_3_6_10_7_6_10) OR FIREABLE(TrainStable_3_4_6_10_7_6_10) OR FIREABLE(TrainStable_3_5_6_10_7_6_10) OR FIREABLE(TrainStable_3_6_6_10_7_6_10) OR FIREABLE(TrainStable_3_7_6_10_7_6_10) OR FIREABLE(TrainStable_3_8_6_10_7_6_10) OR FIREABLE(TrainStable_3_9_6_10_7_6_10) OR FIREABLE(TrainStable_3_10_6_10_7_6_10) OR FIREABLE(TrainStable_3_11_6_10_7_6_10) OR FIREABLE(TrainStable_3_12_6_10_7_6_10) OR FIREABLE(TrainStable_3_13_6_10_7_6_10) OR FIREABLE(TrainStable_3_14_6_10_7_6_10) OR FIREABLE(TrainStable_3_15_6_10_7_6_10) OR FIREABLE(TrainStable_3_16_6_10_7_6_10) OR FIREABLE(TrainStable_3_17_6_10_7_6_10) OR FIREABLE(TrainStable_3_18_6_10_7_6_10) OR FIREABLE(TrainStable_3_19_6_10_7_6_10) OR FIREABLE(TrainStable_3_20_6_10_7_6_10) OR FIREABLE(TrainStable_3_1_6_11_8_7_10) OR FIREABLE(TrainStable_3_2_6_11_8_7_10) OR FIREABLE(TrainStable_3_3_6_11_8_7_10) OR FIREABLE(TrainStable_3_4_6_11_8_7_10) OR FIREABLE(TrainStable_3_5_6_11_8_7_10) OR FIREABLE(TrainStable_3_6_6_11_8_7_10) OR FIREABLE(TrainStable_3_7_6_11_8_7_10) OR FIREABLE(TrainStable_3_8_6_11_8_7_10) OR FIREABLE(TrainStable_3_9_6_11_8_7_10) OR FIREABLE(TrainStable_3_10_6_11_8_7_10) OR FIREABLE(TrainStable_3_11_6_11_8_7_10) OR FIREABLE(TrainStable_3_12_6_11_8_7_10) OR FIREABLE(TrainStable_3_13_6_11_8_7_10) OR FIREABLE(TrainStable_3_14_6_11_8_7_10) OR FIREABLE(TrainStable_3_15_6_11_8_7_10) OR FIREABLE(TrainStable_3_16_6_11_8_7_10) OR FIREABLE(TrainStable_3_17_6_11_8_7_10) OR FIREABLE(TrainStable_3_18_6_11_8_7_10) OR FIREABLE(TrainStable_3_19_6_11_8_7_10) OR FIREABLE(TrainStable_3_20_6_11_8_7_10) OR FIREABLE(TrainStable_3_1_6_12_9_8_10) OR FIREABLE(TrainStable_3_2_6_12_9_8_10) OR FIREABLE(TrainStable_3_3_6_12_9_8_10) OR FIREABLE(TrainStable_3_4_6_12_9_8_10) OR FIREABLE(TrainStable_3_5_6_12_9_8_10) OR FIREABLE(TrainStable_3_6_6_12_9_8_10) OR FIREABLE(TrainStable_3_7_6_12_9_8_10) OR FIREABLE(TrainStable_3_8_6_12_9_8_10) OR FIREABLE(TrainStable_3_9_6_12_9_8_10) OR FIREABLE(TrainStable_3_10_6_12_9_8_10) OR FIREABLE(TrainStable_3_11_6_12_9_8_10) OR FIREABLE(TrainStable_3_12_6_12_9_8_10) OR FIREABLE(TrainStable_3_13_6_12_9_8_10) OR FIREABLE(TrainStable_3_14_6_12_9_8_10) OR FIREABLE(TrainStable_3_15_6_12_9_8_10) OR FIREABLE(TrainStable_3_16_6_12_9_8_10) OR FIREABLE(TrainStable_3_17_6_12_9_8_10) OR FIREABLE(TrainStable_3_18_6_12_9_8_10) OR FIREABLE(TrainStable_3_19_6_12_9_8_10) OR FIREABLE(TrainStable_3_20_6_12_9_8_10) OR FIREABLE(TrainStable_3_1_6_13_10_9_10) OR FIREABLE(TrainStable_3_2_6_13_10_9_10) OR FIREABLE(TrainStable_3_3_6_13_10_9_10) OR FIREABLE(TrainStable_3_4_6_13_10_9_10) OR FIREABLE(TrainStable_3_5_6_13_10_9_10) OR FIREABLE(TrainStable_3_6_6_13_10_9_10) OR FIREABLE(TrainStable_3_7_6_13_10_9_10) OR FIREABLE(TrainStable_3_8_6_13_10_9_10) OR FIREABLE(TrainStable_3_9_6_13_10_9_10) OR FIREABLE(TrainStable_3_10_6_13_10_9_10) OR FIREABLE(TrainStable_3_11_6_13_10_9_10) OR FIREABLE(TrainStable_3_12_6_13_10_9_10) OR FIREABLE(TrainStable_3_13_6_13_10_9_10) OR FIREABLE(TrainStable_3_14_6_13_10_9_10) OR FIREABLE(TrainStable_3_15_6_13_10_9_10) OR FIREABLE(TrainStable_3_16_6_13_10_9_10) OR FIREABLE(TrainStable_3_17_6_13_10_9_10) OR FIREABLE(TrainStable_3_18_6_13_10_9_10) OR FIREABLE(TrainStable_3_19_6_13_10_9_10) OR FIREABLE(TrainStable_3_20_6_13_10_9_10) OR FIREABLE(TrainStable_3_1_6_14_11_10_10) OR FIREABLE(TrainStable_3_2_6_14_11_10_10) OR FIREABLE(TrainStable_3_3_6_14_11_10_10) OR FIREABLE(TrainStable_3_4_6_14_11_10_10) OR FIREABLE(TrainStable_3_5_6_14_11_10_10) OR FIREABLE(TrainStable_3_6_6_14_11_10_10) OR FIREABLE(TrainStable_3_7_6_14_11_10_10) OR FIREABLE(TrainStable_3_8_6_14_11_10_10) OR FIREABLE(TrainStable_3_9_6_14_11_10_10) OR FIREABLE(TrainStable_3_10_6_14_11_10_10) OR FIREABLE(TrainStable_3_11_6_14_11_10_10) OR FIREABLE(TrainStable_3_12_6_14_11_10_10) OR FIREABLE(TrainStable_3_13_6_14_11_10_10) OR FIREABLE(TrainStable_3_14_6_14_11_10_10) OR FIREABLE(TrainStable_3_15_6_14_11_10_10) OR FIREABLE(TrainStable_3_16_6_14_11_10_10) OR FIREABLE(TrainStable_3_17_6_14_11_10_10) OR FIREABLE(TrainStable_3_18_6_14_11_10_10) OR FIREABLE(TrainStable_3_19_6_14_11_10_10) OR FIREABLE(TrainStable_3_20_6_14_11_10_10) OR FIREABLE(TrainStable_4_1_10_15_11_10_15) OR FIREABLE(TrainStable_4_2_10_15_11_10_15) OR FIREABLE(TrainStable_4_3_10_15_11_10_15) OR FIREABLE(TrainStable_4_4_10_15_11_10_15) OR FIREABLE(TrainStable_4_5_10_15_11_10_15) OR FIREABLE(TrainStable_4_6_10_15_11_10_15) OR FIREABLE(TrainStable_4_7_10_15_11_10_15) OR FIREABLE(TrainStable_4_8_10_15_11_10_15) OR FIREABLE(TrainStable_4_9_10_15_11_10_15) OR FIREABLE(TrainStable_4_10_10_15_11_10_15) OR FIREABLE(TrainStable_4_11_10_15_11_10_15) OR FIREABLE(TrainStable_4_12_10_15_11_10_15) OR FIREABLE(TrainStable_4_13_10_15_11_10_15) OR FIREABLE(TrainStable_4_14_10_15_11_10_15) OR FIREABLE(TrainStable_4_15_10_15_11_10_15) OR FIREABLE(TrainStable_4_16_10_15_11_10_15) OR FIREABLE(TrainStable_4_17_10_15_11_10_15) OR FIREABLE(TrainStable_4_18_10_15_11_10_15) OR FIREABLE(TrainStable_4_19_10_15_11_10_15) OR FIREABLE(TrainStable_4_20_10_15_11_10_15) OR FIREABLE(TrainStable_4_1_10_16_12_11_15) OR FIREABLE(TrainStable_4_2_10_16_12_11_15) OR FIREABLE(TrainStable_4_3_10_16_12_11_15) OR FIREABLE(TrainStable_4_4_10_16_12_11_15) OR FIREABLE(TrainStable_4_5_10_16_12_11_15) OR FIREABLE(TrainStable_4_6_10_16_12_11_15) OR FIREABLE(TrainStable_4_7_10_16_12_11_15) OR FIREABLE(TrainStable_4_8_10_16_12_11_15) OR FIREABLE(TrainStable_4_9_10_16_12_11_15) OR FIREABLE(TrainStable_4_10_10_16_12_11_15) OR FIREABLE(TrainStable_4_11_10_16_12_11_15) OR FIREABLE(TrainStable_4_12_10_16_12_11_15) OR FIREABLE(TrainStable_4_13_10_16_12_11_15) OR FIREABLE(TrainStable_4_14_10_16_12_11_15) OR FIREABLE(TrainStable_4_15_10_16_12_11_15) OR FIREABLE(TrainStable_4_16_10_16_12_11_15) OR FIREABLE(TrainStable_4_17_10_16_12_11_15) OR FIREABLE(TrainStable_4_18_10_16_12_11_15) OR FIREABLE(TrainStable_4_19_10_16_12_11_15) OR FIREABLE(TrainStable_4_20_10_16_12_11_15) OR FIREABLE(TrainStable_4_1_10_17_13_12_15) OR FIREABLE(TrainStable_4_2_10_17_13_12_15) OR FIREABLE(TrainStable_4_3_10_17_13_12_15) OR FIREABLE(TrainStable_4_4_10_17_13_12_15) OR FIREABLE(TrainStable_4_5_10_17_13_12_15) OR FIREABLE(TrainStable_4_6_10_17_13_12_15) OR FIREABLE(TrainStable_4_7_10_17_13_12_15) OR FIREABLE(TrainStable_4_8_10_17_13_12_15) OR FIREABLE(TrainStable_4_9_10_17_13_12_15) OR FIREABLE(TrainStable_4_10_10_17_13_12_15) OR FIREABLE(TrainStable_4_11_10_17_13_12_15) OR FIREABLE(TrainStable_4_12_10_17_13_12_15) OR FIREABLE(TrainStable_4_13_10_17_13_12_15) OR FIREABLE(TrainStable_4_14_10_17_13_12_15) OR FIREABLE(TrainStable_4_15_10_17_13_12_15) OR FIREABLE(TrainStable_4_16_10_17_13_12_15) OR FIREABLE(TrainStable_4_17_10_17_13_12_15) OR FIREABLE(TrainStable_4_18_10_17_13_12_15) OR FIREABLE(TrainStable_4_19_10_17_13_12_15) OR FIREABLE(TrainStable_4_20_10_17_13_12_15) OR FIREABLE(TrainStable_4_1_10_18_14_13_15) OR FIREABLE(TrainStable_4_2_10_18_14_13_15) OR FIREABLE(TrainStable_4_3_10_18_14_13_15) OR FIREABLE(TrainStable_4_4_10_18_14_13_15) OR FIREABLE(TrainStable_4_5_10_18_14_13_15) OR FIREABLE(TrainStable_4_6_10_18_14_13_15) OR FIREABLE(TrainStable_4_7_10_18_14_13_15) OR FIREABLE(TrainStable_4_8_10_18_14_13_15) OR FIREABLE(TrainStable_4_9_10_18_14_13_15) OR FIREABLE(TrainStable_4_10_10_18_14_13_15) OR FIREABLE(TrainStable_4_11_10_18_14_13_15) OR FIREABLE(TrainStable_4_12_10_18_14_13_15) OR FIREABLE(TrainStable_4_13_10_18_14_13_15) OR FIREABLE(TrainStable_4_14_10_18_14_13_15) OR FIREABLE(TrainStable_4_15_10_18_14_13_15) OR FIREABLE(TrainStable_4_16_10_18_14_13_15) OR FIREABLE(TrainStable_4_17_10_18_14_13_15) OR FIREABLE(TrainStable_4_18_10_18_14_13_15) OR FIREABLE(TrainStable_4_19_10_18_14_13_15) OR FIREABLE(TrainStable_4_20_10_18_14_13_15) OR FIREABLE(TrainStable_4_1_10_19_15_14_15) OR FIREABLE(TrainStable_4_2_10_19_15_14_15) OR FIREABLE(TrainStable_4_3_10_19_15_14_15) OR FIREABLE(TrainStable_4_4_10_19_15_14_15) OR FIREABLE(TrainStable_4_5_10_19_15_14_15) OR FIREABLE(TrainStable_4_6_10_19_15_14_15) OR FIREABLE(TrainStable_4_7_10_19_15_14_15) OR FIREABLE(TrainStable_4_8_10_19_15_14_15) OR FIREABLE(TrainStable_4_9_10_19_15_14_15) OR FIREABLE(TrainStable_4_10_10_19_15_14_15) OR FIREABLE(TrainStable_4_11_10_19_15_14_15) OR FIREABLE(TrainStable_4_12_10_19_15_14_15) OR FIREABLE(TrainStable_4_13_10_19_15_14_15) OR FIREABLE(TrainStable_4_14_10_19_15_14_15) OR FIREABLE(TrainStable_4_15_10_19_15_14_15) OR FIREABLE(TrainStable_4_16_10_19_15_14_15) OR FIREABLE(TrainStable_4_17_10_19_15_14_15) OR FIREABLE(TrainStable_4_18_10_19_15_14_15) OR FIREABLE(TrainStable_4_19_10_19_15_14_15) OR FIREABLE(TrainStable_4_20_10_19_15_14_15) OR FIREABLE(TrainStable_4_1_10_20_16_15_15) OR FIREABLE(TrainStable_4_2_10_20_16_15_15) OR FIREABLE(TrainStable_4_3_10_20_16_15_15) OR FIREABLE(TrainStable_4_4_10_20_16_15_15) OR FIREABLE(TrainStable_4_5_10_20_16_15_15) OR FIREABLE(TrainStable_4_6_10_20_16_15_15) OR FIREABLE(TrainStable_4_7_10_20_16_15_15) OR FIREABLE(TrainStable_4_8_10_20_16_15_15) OR FIREABLE(TrainStable_4_9_10_20_16_15_15) OR FIREABLE(TrainStable_4_10_10_20_16_15_15) OR FIREABLE(TrainStable_4_11_10_20_16_15_15) OR FIREABLE(TrainStable_4_12_10_20_16_15_15) OR FIREABLE(TrainStable_4_13_10_20_16_15_15) OR FIREABLE(TrainStable_4_14_10_20_16_15_15) OR FIREABLE(TrainStable_4_15_10_20_16_15_15) OR FIREABLE(TrainStable_4_16_10_20_16_15_15) OR FIREABLE(TrainStable_4_17_10_20_16_15_15) OR FIREABLE(TrainStable_4_18_10_20_16_15_15) OR FIREABLE(TrainStable_4_19_10_20_16_15_15) OR FIREABLE(TrainStable_4_20_10_20_16_15_15) OR FIREABLE(TrainStable_4_1_10_21_17_16_15) OR FIREABLE(TrainStable_4_2_10_21_17_16_15) OR FIREABLE(TrainStable_4_3_10_21_17_16_15) OR FIREABLE(TrainStable_4_4_10_21_17_16_15) OR FIREABLE(TrainStable_4_5_10_21_17_16_15) OR FIREABLE(TrainStable_4_6_10_21_17_16_15) OR FIREABLE(TrainStable_4_7_10_21_17_16_15) OR FIREABLE(TrainStable_4_8_10_21_17_16_15) OR FIREABLE(TrainStable_4_9_10_21_17_16_15) OR FIREABLE(TrainStable_4_10_10_21_17_16_15) OR FIREABLE(TrainStable_4_11_10_21_17_16_15) OR FIREABLE(TrainStable_4_12_10_21_17_16_15) OR FIREABLE(TrainStable_4_13_10_21_17_16_15) OR FIREABLE(TrainStable_4_14_10_21_17_16_15) OR FIREABLE(TrainStable_4_15_10_21_17_16_15) OR FIREABLE(TrainStable_4_16_10_21_17_16_15) OR FIREABLE(TrainStable_4_17_10_21_17_16_15) OR FIREABLE(TrainStable_4_18_10_21_17_16_15) OR FIREABLE(TrainStable_4_19_10_21_17_16_15) OR FIREABLE(TrainStable_4_20_10_21_17_16_15) OR FIREABLE(TrainStable_4_1_10_22_18_17_15) OR FIREABLE(TrainStable_4_2_10_22_18_17_15) OR FIREABLE(TrainStable_4_3_10_22_18_17_15) OR FIREABLE(TrainStable_4_4_10_22_18_17_15) OR FIREABLE(TrainStable_4_5_10_22_18_17_15) OR FIREABLE(TrainStable_4_6_10_22_18_17_15) OR FIREABLE(TrainStable_4_7_10_22_18_17_15) OR FIREABLE(TrainStable_4_8_10_22_18_17_15) OR FIREABLE(TrainStable_4_9_10_22_18_17_15) OR FIREABLE(TrainStable_4_10_10_22_18_17_15) OR FIREABLE(TrainStable_4_11_10_22_18_17_15) OR FIREABLE(TrainStable_4_12_10_22_18_17_15) OR FIREABLE(TrainStable_4_13_10_22_18_17_15) OR FIREABLE(TrainStable_4_14_10_22_18_17_15) OR FIREABLE(TrainStable_4_15_10_22_18_17_15) OR FIREABLE(TrainStable_4_16_10_22_18_17_15) OR FIREABLE(TrainStable_4_17_10_22_18_17_15) OR FIREABLE(TrainStable_4_18_10_22_18_17_15) OR FIREABLE(TrainStable_4_19_10_22_18_17_15) OR FIREABLE(TrainStable_4_20_10_22_18_17_15) OR FIREABLE(TrainStable_4_1_10_23_19_18_15) OR FIREABLE(TrainStable_4_2_10_23_19_18_15) OR FIREABLE(TrainStable_4_3_10_23_19_18_15) OR FIREABLE(TrainStable_4_4_10_23_19_18_15) OR FIREABLE(TrainStable_4_5_10_23_19_18_15) OR FIREABLE(TrainStable_4_6_10_23_19_18_15) OR FIREABLE(TrainStable_4_7_10_23_19_18_15) OR FIREABLE(TrainStable_4_8_10_23_19_18_15) OR FIREABLE(TrainStable_4_9_10_23_19_18_15) OR FIREABLE(TrainStable_4_10_10_23_19_18_15) OR FIREABLE(TrainStable_4_11_10_23_19_18_15) OR FIREABLE(TrainStable_4_12_10_23_19_18_15) OR FIREABLE(TrainStable_4_13_10_23_19_18_15) OR FIREABLE(TrainStable_4_14_10_23_19_18_15) OR FIREABLE(TrainStable_4_15_10_23_19_18_15) OR FIREABLE(TrainStable_4_16_10_23_19_18_15) OR FIREABLE(TrainStable_4_17_10_23_19_18_15) OR FIREABLE(TrainStable_4_18_10_23_19_18_15) OR FIREABLE(TrainStable_4_19_10_23_19_18_15) OR FIREABLE(TrainStable_4_20_10_23_19_18_15) OR FIREABLE(TrainStable_4_1_10_24_20_19_15) OR FIREABLE(TrainStable_4_2_10_24_20_19_15) OR FIREABLE(TrainStable_4_3_10_24_20_19_15) OR FIREABLE(TrainStable_4_4_10_24_20_19_15) OR FIREABLE(TrainStable_4_5_10_24_20_19_15) OR FIREABLE(TrainStable_4_6_10_24_20_19_15) OR FIREABLE(TrainStable_4_7_10_24_20_19_15) OR FIREABLE(TrainStable_4_8_10_24_20_19_15) OR FIREABLE(TrainStable_4_9_10_24_20_19_15) OR FIREABLE(TrainStable_4_10_10_24_20_19_15) OR FIREABLE(TrainStable_4_11_10_24_20_19_15) OR FIREABLE(TrainStable_4_12_10_24_20_19_15) OR FIREABLE(TrainStable_4_13_10_24_20_19_15) OR FIREABLE(TrainStable_4_14_10_24_20_19_15) OR FIREABLE(TrainStable_4_15_10_24_20_19_15) OR FIREABLE(TrainStable_4_16_10_24_20_19_15) OR FIREABLE(TrainStable_4_17_10_24_20_19_15) OR FIREABLE(TrainStable_4_18_10_24_20_19_15) OR FIREABLE(TrainStable_4_19_10_24_20_19_15) OR FIREABLE(TrainStable_4_20_10_24_20_19_15) OR FIREABLE(TrainStable_4_1_10_25_21_20_15) OR FIREABLE(TrainStable_4_2_10_25_21_20_15) OR FIREABLE(TrainStable_4_3_10_25_21_20_15) OR FIREABLE(TrainStable_4_4_10_25_21_20_15) OR FIREABLE(TrainStable_4_
5_10_25_21_20_15) OR FIREABLE(TrainStable_4_6_10_25_21_20_15) OR FIREABLE(TrainStable_4_7_10_25_21_20_15) OR FIREABLE(TrainStable_4_8_10_25_21_20_15) OR FIREABLE(TrainStable_4_9_10_25_21_20_15) OR FIREABLE(TrainStable_4_10_10_25_21_20_15) OR FIREABLE(TrainStable_4_11_10_25_21_20_15) OR FIREABLE(TrainStable_4_12_10_25_21_20_15) OR FIREABLE(TrainStable_4_13_10_25_21_20_15) OR FIREABLE(TrainStable_4_14_10_25_21_20_15) OR FIREABLE(TrainStable_4_15_10_25_21_20_15) OR FIREABLE(TrainStable_4_16_10_25_21_20_15) OR FIREABLE(TrainStable_4_17_10_25_21_20_15) OR FIREABLE(TrainStable_4_18_10_25_21_20_15) OR FIREABLE(TrainStable_4_19_10_25_21_20_15) OR FIREABLE(TrainStable_4_20_10_25_21_20_15) OR FIREABLE(TrainStable_4_1_10_26_22_21_15) OR FIREABLE(TrainStable_4_2_10_26_22_21_15) OR FIREABLE(TrainStable_4_3_10_26_22_21_15) OR FIREABLE(TrainStable_4_4_10_26_22_21_15) OR FIREABLE(TrainStable_4_5_10_26_22_21_15) OR FIREABLE(TrainStable_4_6_10_26_22_21_15) OR FIREABLE(TrainStable_4_7_10_26_22_21_15) OR FIREABLE(TrainStable_4_8_10_26_22_21_15) OR FIREABLE(TrainStable_4_9_10_26_22_21_15) OR FIREABLE(TrainStable_4_10_10_26_22_21_15) OR FIREABLE(TrainStable_4_11_10_26_22_21_15) OR FIREABLE(TrainStable_4_12_10_26_22_21_15) OR FIREABLE(TrainStable_4_13_10_26_22_21_15) OR FIREABLE(TrainStable_4_14_10_26_22_21_15) OR FIREABLE(TrainStable_4_15_10_26_22_21_15) OR FIREABLE(TrainStable_4_16_10_26_22_21_15) OR FIREABLE(TrainStable_4_17_10_26_22_21_15) OR FIREABLE(TrainStable_4_18_10_26_22_21_15) OR FIREABLE(TrainStable_4_19_10_26_22_21_15) OR FIREABLE(TrainStable_4_20_10_26_22_21_15) OR FIREABLE(TrainStable_4_1_10_27_23_22_15) OR FIREABLE(TrainStable_4_2_10_27_23_22_15) OR FIREABLE(TrainStable_4_3_10_27_23_22_15) OR FIREABLE(TrainStable_4_4_10_27_23_22_15) OR FIREABLE(TrainStable_4_5_10_27_23_22_15) OR FIREABLE(TrainStable_4_6_10_27_23_22_15) OR FIREABLE(TrainStable_4_7_10_27_23_22_15) OR FIREABLE(TrainStable_4_8_10_27_23_22_15) OR FIREABLE(TrainStable_4_9_10_27_23_22_15) OR FIREABLE(TrainStable_4_10_10_27_23_22_15) OR FIREABLE(TrainStable_4_11_10_27_23_22_15) OR FIREABLE(TrainStable_4_12_10_27_23_22_15) OR FIREABLE(TrainStable_4_13_10_27_23_22_15) OR FIREABLE(TrainStable_4_14_10_27_23_22_15) OR FIREABLE(TrainStable_4_15_10_27_23_22_15) OR FIREABLE(TrainStable_4_16_10_27_23_22_15) OR FIREABLE(TrainStable_4_17_10_27_23_22_15) OR FIREABLE(TrainStable_4_18_10_27_23_22_15) OR FIREABLE(TrainStable_4_19_10_27_23_22_15) OR FIREABLE(TrainStable_4_20_10_27_23_22_15) OR FIREABLE(TrainStable_4_1_10_28_24_23_15) OR FIREABLE(TrainStable_4_2_10_28_24_23_15) OR FIREABLE(TrainStable_4_3_10_28_24_23_15) OR FIREABLE(TrainStable_4_4_10_28_24_23_15) OR FIREABLE(TrainStable_4_5_10_28_24_23_15) OR FIREABLE(TrainStable_4_6_10_28_24_23_15) OR FIREABLE(TrainStable_4_7_10_28_24_23_15) OR FIREABLE(TrainStable_4_8_10_28_24_23_15) OR FIREABLE(TrainStable_4_9_10_28_24_23_15) OR FIREABLE(TrainStable_4_10_10_28_24_23_15) OR FIREABLE(TrainStable_4_11_10_28_24_23_15) OR FIREABLE(TrainStable_4_12_10_28_24_23_15) OR FIREABLE(TrainStable_4_13_10_28_24_23_15) OR FIREABLE(TrainStable_4_14_10_28_24_23_15) OR FIREABLE(TrainStable_4_15_10_28_24_23_15) OR FIREABLE(TrainStable_4_16_10_28_24_23_15) OR FIREABLE(TrainStable_4_17_10_28_24_23_15) OR FIREABLE(TrainStable_4_18_10_28_24_23_15) OR FIREABLE(TrainStable_4_19_10_28_24_23_15) OR FIREABLE(TrainStable_4_20_10_28_24_23_15) OR FIREABLE(TrainStable_4_1_10_29_25_24_15) OR FIREABLE(TrainStable_4_2_10_29_25_24_15) OR FIREABLE(TrainStable_4_3_10_29_25_24_15) OR FIREABLE(TrainStable_4_4_10_29_25_24_15) OR FIREABLE(TrainStable_4_5_10_29_25_24_15) OR FIREABLE(TrainStable_4_6_10_29_25_24_15) OR FIREABLE(TrainStable_4_7_10_29_25_24_15) OR FIREABLE(TrainStable_4_8_10_29_25_24_15) OR FIREABLE(TrainStable_4_9_10_29_25_24_15) OR FIREABLE(TrainStable_4_10_10_29_25_24_15) OR FIREABLE(TrainStable_4_11_10_29_25_24_15) OR FIREABLE(TrainStable_4_12_10_29_25_24_15) OR FIREABLE(TrainStable_4_13_10_29_25_24_15) OR FIREABLE(TrainStable_4_14_10_29_25_24_15) OR FIREABLE(TrainStable_4_15_10_29_25_24_15) OR FIREABLE(TrainStable_4_16_10_29_25_24_15) OR FIREABLE(TrainStable_4_17_10_29_25_24_15) OR FIREABLE(TrainStable_4_18_10_29_25_24_15) OR FIREABLE(TrainStable_4_19_10_29_25_24_15) OR FIREABLE(TrainStable_4_20_10_29_25_24_15) OR FIREABLE(TrainStable_4_1_10_30_26_25_15) OR FIREABLE(TrainStable_4_2_10_30_26_25_15) OR FIREABLE(TrainStable_4_3_10_30_26_25_15) OR FIREABLE(TrainStable_4_4_10_30_26_25_15) OR FIREABLE(TrainStable_4_5_10_30_26_25_15) OR FIREABLE(TrainStable_4_6_10_30_26_25_15) OR FIREABLE(TrainStable_4_7_10_30_26_25_15) OR FIREABLE(TrainStable_4_8_10_30_26_25_15) OR FIREABLE(TrainStable_4_9_10_30_26_25_15) OR FIREABLE(TrainStable_4_10_10_30_26_25_15) OR FIREABLE(TrainStable_4_11_10_30_26_25_15) OR FIREABLE(TrainStable_4_12_10_30_26_25_15) OR FIREABLE(TrainStable_4_13_10_30_26_25_15) OR FIREABLE(TrainStable_4_14_10_30_26_25_15) OR FIREABLE(TrainStable_4_15_10_30_26_25_15) OR FIREABLE(TrainStable_4_16_10_30_26_25_15) OR FIREABLE(TrainStable_4_17_10_30_26_25_15) OR FIREABLE(TrainStable_4_18_10_30_26_25_15) OR FIREABLE(TrainStable_4_19_10_30_26_25_15) OR FIREABLE(TrainStable_4_20_10_30_26_25_15) OR FIREABLE(TrainStable_4_1_10_31_27_26_15) OR FIREABLE(TrainStable_4_2_10_31_27_26_15) OR FIREABLE(TrainStable_4_3_10_31_27_26_15) OR FIREABLE(TrainStable_4_4_10_31_27_26_15) OR FIREABLE(TrainStable_4_5_10_31_27_26_15) OR FIREABLE(TrainStable_4_6_10_31_27_26_15) OR FIREABLE(TrainStable_4_7_10_31_27_26_15) OR FIREABLE(TrainStable_4_8_10_31_27_26_15) OR FIREABLE(TrainStable_4_9_10_31_27_26_15) OR FIREABLE(TrainStable_4_10_10_31_27_26_15) OR FIREABLE(TrainStable_4_11_10_31_27_26_15) OR FIREABLE(TrainStable_4_12_10_31_27_26_15) OR FIREABLE(TrainStable_4_13_10_31_27_26_15) OR FIREABLE(TrainStable_4_14_10_31_27_26_15) OR FIREABLE(TrainStable_4_15_10_31_27_26_15) OR FIREABLE(TrainStable_4_16_10_31_27_26_15) OR FIREABLE(TrainStable_4_17_10_31_27_26_15) OR FIREABLE(TrainStable_4_18_10_31_27_26_15) OR FIREABLE(TrainStable_4_19_10_31_27_26_15) OR FIREABLE(TrainStable_4_20_10_31_27_26_15) OR FIREABLE(TrainStable_4_1_10_32_28_27_15) OR FIREABLE(TrainStable_4_2_10_32_28_27_15) OR FIREABLE(TrainStable_4_3_10_32_28_27_15) OR FIREABLE(TrainStable_4_4_10_32_28_27_15) OR FIREABLE(TrainStable_4_5_10_32_28_27_15) OR FIREABLE(TrainStable_4_6_10_32_28_27_15) OR FIREABLE(TrainStable_4_7_10_32_28_27_15) OR FIREABLE(TrainStable_4_8_10_32_28_27_15) OR FIREABLE(TrainStable_4_9_10_32_28_27_15) OR FIREABLE(TrainStable_4_10_10_32_28_27_15) OR FIREABLE(TrainStable_4_11_10_32_28_27_15) OR FIREABLE(TrainStable_4_12_10_32_28_27_15) OR FIREABLE(TrainStable_4_13_10_32_28_27_15) OR FIREABLE(TrainStable_4_14_10_32_28_27_15) OR FIREABLE(TrainStable_4_15_10_32_28_27_15) OR FIREABLE(TrainStable_4_16_10_32_28_27_15) OR FIREABLE(TrainStable_4_17_10_32_28_27_15) OR FIREABLE(TrainStable_4_18_10_32_28_27_15) OR FIREABLE(TrainStable_4_19_10_32_28_27_15) OR FIREABLE(TrainStable_4_20_10_32_28_27_15) OR FIREABLE(TrainStable_4_1_10_33_29_28_15) OR FIREABLE(TrainStable_4_2_10_33_29_28_15) OR FIREABLE(TrainStable_4_3_10_33_29_28_15) OR FIREABLE(TrainStable_4_4_10_33_29_28_15) OR FIREABLE(TrainStable_4_5_10_33_29_28_15) OR FIREABLE(TrainStable_4_6_10_33_29_28_15) OR FIREABLE(TrainStable_4_7_10_33_29_28_15) OR FIREABLE(TrainStable_4_8_10_33_29_28_15) OR FIREABLE(TrainStable_4_9_10_33_29_28_15) OR FIREABLE(TrainStable_4_10_10_33_29_28_15) OR FIREABLE(TrainStable_4_11_10_33_29_28_15) OR FIREABLE(TrainStable_4_12_10_33_29_28_15) OR FIREABLE(TrainStable_4_13_10_33_29_28_15) OR FIREABLE(TrainStable_4_14_10_33_29_28_15) OR FIREABLE(TrainStable_4_15_10_33_29_28_15) OR FIREABLE(TrainStable_4_16_10_33_29_28_15) OR FIREABLE(TrainStable_4_17_10_33_29_28_15) OR FIREABLE(TrainStable_4_18_10_33_29_28_15) OR FIREABLE(TrainStable_4_19_10_33_29_28_15) OR FIREABLE(TrainStable_4_20_10_33_29_28_15) OR FIREABLE(TrainStable_4_1_10_34_30_29_15) OR FIREABLE(TrainStable_4_2_10_34_30_29_15) OR FIREABLE(TrainStable_4_3_10_34_30_29_15) OR FIREABLE(TrainStable_4_4_10_34_30_29_15) OR FIREABLE(TrainStable_4_5_10_34_30_29_15) OR FIREABLE(TrainStable_4_6_10_34_30_29_15) OR FIREABLE(TrainStable_4_7_10_34_30_29_15) OR FIREABLE(TrainStable_4_8_10_34_30_29_15) OR FIREABLE(TrainStable_4_9_10_34_30_29_15) OR FIREABLE(TrainStable_4_10_10_34_30_29_15) OR FIREABLE(TrainStable_4_11_10_34_30_29_15) OR FIREABLE(TrainStable_4_12_10_34_30_29_15) OR FIREABLE(TrainStable_4_13_10_34_30_29_15) OR FIREABLE(TrainStable_4_14_10_34_30_29_15) OR FIREABLE(TrainStable_4_15_10_34_30_29_15) OR FIREABLE(TrainStable_4_16_10_34_30_29_15) OR FIREABLE(TrainStable_4_17_10_34_30_29_15) OR FIREABLE(TrainStable_4_18_10_34_30_29_15) OR FIREABLE(TrainStable_4_19_10_34_30_29_15) OR FIREABLE(TrainStable_4_20_10_34_30_29_15)))) U G(G(



^

lola: syntax error -- aborting [#01]
lola: see manual for a documentation of this error
FORMULA BART-PT-020-LTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-020-LTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----

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="BART-PT-020"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="irma4mcc-full"
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/BART-PT-020.tgz
mv BART-PT-020 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-full"
echo " Input is BART-PT-020, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r222-ebro-152732364000024"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;