About the Execution of M4M.struct for BART-PT-050
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
601.130 | 46147.00 | 7152.00 | 187.80 | ???????????????? | 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 32M
-rw-r--r-- 1 mcc users 1.2M May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 2.8M May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.6M 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 438K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 996K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 651K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.6M May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.2M May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.8M 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 918K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.2M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 15K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 29K 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 12M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is BART-PT-050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r035-ebro-152646315000102
=====================================================================
--------------------
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-050-CTLFireability-00
FORMULA_NAME BART-PT-050-CTLFireability-01
FORMULA_NAME BART-PT-050-CTLFireability-02
FORMULA_NAME BART-PT-050-CTLFireability-03
FORMULA_NAME BART-PT-050-CTLFireability-04
FORMULA_NAME BART-PT-050-CTLFireability-05
FORMULA_NAME BART-PT-050-CTLFireability-06
FORMULA_NAME BART-PT-050-CTLFireability-07
FORMULA_NAME BART-PT-050-CTLFireability-08
FORMULA_NAME BART-PT-050-CTLFireability-09
FORMULA_NAME BART-PT-050-CTLFireability-10
FORMULA_NAME BART-PT-050-CTLFireability-11
FORMULA_NAME BART-PT-050-CTLFireability-12
FORMULA_NAME BART-PT-050-CTLFireability-13
FORMULA_NAME BART-PT-050-CTLFireability-14
FORMULA_NAME BART-PT-050-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1527079855763
BK_STOP 1527079901910
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-PT-050 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLFireability', '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': 1606531, 'Memory': 5960.47, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola BART-PT-050...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
BART-PT-050: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
BART-PT-050: translating PT formula CTLFireability into LoLA format
===========================================================================================
syntax error
make: [formulae] Error 1 (ignored)
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLFireability @ BART-PT-050 @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 1 (ignored)
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 16910/65536 symbol table entries, 1593 collisions
lola: preprocessing...
lola: finding significant places
lola: 6810 places, 10100 transitions, 6550 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6487 transition conflict sets
lola: TASK
lola: reading formula from BART-PT-050-CTLFireability.task
lola: syntax error, unexpected end of file
lola: BART-PT-050-CTLFireability.task:1:52930 - error near ''
1 (((((((FIREABLE(AtStation_1_5) OR FIREABLE(AtStation_2_5) OR FIREABLE(AtStation_3_5) OR FIREABLE(AtStation_4_5) OR FIREABLE(AtStation_5_5) OR FIREABLE(AtStation_6_5) OR FIREABLE(AtStation_7_5) OR FIREABLE(AtStation_8_5) OR FIREABLE(AtStation_9_5) OR FIREABLE(AtStation_10_5) OR FIREABLE(AtStation_11_5) OR FIREABLE(AtStation_12_5) OR FIREABLE(AtStation_13_5) OR FIREABLE(AtStation_14_5) OR FIREABLE(AtStation_15_5) OR FIREABLE(AtStation_16_5) OR FIREABLE(AtStation_17_5) OR FIREABLE(AtStation_18_5) OR FIREABLE(AtStation_19_5) OR FIREABLE(AtStation_20_5) OR FIREABLE(AtStation_21_5) OR FIREABLE(AtStation_22_5) OR FIREABLE(AtStation_23_5) OR FIREABLE(AtStation_24_5) OR FIREABLE(AtStation_25_5) OR FIREABLE(AtStation_26_5) OR FIREABLE(AtStation_27_5) OR FIREABLE(AtStation_28_5) OR FIREABLE(AtStation_29_5) OR FIREABLE(AtStation_30_5) OR FIREABLE(AtStation_31_5) OR FIREABLE(AtStation_32_5) OR FIREABLE(AtStation_33_5) OR FIREABLE(AtStation_34_5) OR FIREABLE(AtStation_35_5) OR FIREABLE(AtStation_36_5) OR FIREABLE(AtStation_37_5) OR FIREABLE(AtStation_38_5) OR FIREABLE(AtStation_39_5) OR FIREABLE(AtStation_40_5) OR FIREABLE(AtStation_41_5) OR FIREABLE(AtStation_42_5) OR FIREABLE(AtStation_43_5) OR FIREABLE(AtStation_44_5) OR FIREABLE(AtStation_45_5) OR FIREABLE(AtStation_46_5) OR FIREABLE(AtStation_47_5) OR FIREABLE(AtStation_48_5) OR FIREABLE(AtStation_49_5) OR FIREABLE(AtStation_50_5) OR FIREABLE(AtStation_1_6) OR FIREABLE(AtStation_2_6) OR FIREABLE(AtStation_3_6) OR FIREABLE(AtStation_4_6) OR FIREABLE(AtStation_5_6) OR FIREABLE(AtStation_6_6) OR FIREABLE(AtStation_7_6) OR FIREABLE(AtStation_8_6) OR FIREABLE(AtStation_9_6) OR FIREABLE(AtStation_10_6) OR FIREABLE(AtStation_11_6) OR FIREABLE(AtStation_12_6) OR FIREABLE(AtStation_13_6) OR FIREABLE(AtStation_14_6) OR FIREABLE(AtStation_15_6) OR FIREABLE(AtStation_16_6) OR FIREABLE(AtStation_17_6) OR FIREABLE(AtStation_18_6) OR FIREABLE(AtStation_19_6) OR FIREABLE(AtStation_20_6) OR FIREABLE(AtStation_21_6) OR FIREABLE(AtStation_22_6) OR FIREABLE(AtStation_23_6) OR FIREABLE(AtStation_24_6) OR FIREABLE(AtStation_25_6) OR FIREABLE(AtStation_26_6) OR FIREABLE(AtStation_27_6) OR FIREABLE(AtStation_28_6) OR FIREABLE(AtStation_29_6) OR FIREABLE(AtStation_30_6) OR FIREABLE(AtStation_31_6) OR FIREABLE(AtStation_32_6) OR FIREABLE(AtStation_33_6) OR FIREABLE(AtStation_34_6) OR FIREABLE(AtStation_35_6) OR FIREABLE(AtStation_36_6) OR FIREABLE(AtStation_37_6) OR FIREABLE(AtStation_38_6) OR FIREABLE(AtStation_39_6) OR FIREABLE(AtStation_40_6) OR FIREABLE(AtStation_41_6) OR FIREABLE(AtStation_42_6) OR FIREABLE(AtStation_43_6) OR FIREABLE(AtStation_44_6) OR FIREABLE(AtStation_45_6) OR FIREABLE(AtStation_46_6) OR FIREABLE(AtStation_47_6) OR FIREABLE(AtStation_48_6) OR FIREABLE(AtStation_49_6) OR FIREABLE(AtStation_50_6) OR FIREABLE(AtStation_1_7) OR FIREABLE(AtStation_2_7) OR FIREABLE(AtStation_3_7) OR FIREABLE(AtStation_4_7) OR FIREABLE(AtStation_5_7) OR FIREABLE(AtStation_6_7) OR FIREABLE(AtStation_7_7) OR FIREABLE(AtStation_8_7) OR FIREABLE(AtStation_9_7) OR FIREABLE(AtStation_10_7) OR FIREABLE(AtStation_11_7) OR FIREABLE(AtStation_12_7) OR FIREABLE(AtStation_13_7) OR FIREABLE(AtStation_14_7) OR FIREABLE(AtStation_15_7) OR FIREABLE(AtStation_16_7) OR FIREABLE(AtStation_17_7) OR FIREABLE(AtStation_18_7) OR FIREABLE(AtStation_19_7) OR FIREABLE(AtStation_20_7) OR FIREABLE(AtStation_21_7) OR FIREABLE(AtStation_22_7) OR FIREABLE(AtStation_23_7) OR FIREABLE(AtStation_24_7) OR FIREABLE(AtStation_25_7) OR FIREABLE(AtStation_26_7) OR FIREABLE(AtStation_27_7) OR FIREABLE(AtStation_28_7) OR FIREABLE(AtStation_29_7) OR FIREABLE(AtStation_30_7) OR FIREABLE(AtStation_31_7) OR FIREABLE(AtStation_32_7) OR FIREABLE(AtStation_33_7) OR FIREABLE(AtStation_34_7) OR FIREABLE(AtStation_35_7) OR FIREABLE(AtStation_36_7) OR FIREABLE(AtStation_37_7) OR FIREABLE(AtStation_38_7) OR FIREABLE(AtStation_39_7) OR FIREABLE(AtStation_40_7) OR FIREABLE(AtStation_41_7) OR FIREABLE(AtStation_42_7) OR FIREABLE(AtStation_43_7) OR FIREABLE(AtStation_44_7) OR FIREABLE(AtStation_45_7) OR FIREABLE(AtStation_46_7) OR FIREABLE(AtStation_47_7) OR FIREABLE(AtStation_48_7) OR FIREABLE(AtStation_49_7) OR FIREABLE(AtStation_50_7) OR FIREABLE(AtStation_1_8) OR FIREABLE(AtStation_2_8) OR FIREABLE(AtStation_3_8) OR FIREABLE(AtStation_4_8) OR FIREABLE(AtStation_5_8) OR FIREABLE(AtStation_6_8) OR FIREABLE(AtStation_7_8) OR FIREABLE(AtStation_8_8) OR FIREABLE(AtStation_9_8) OR FIREABLE(AtStation_10_8) OR FIREABLE(AtStation_11_8) OR FIREABLE(AtStation_12_8) OR FIREABLE(AtStation_13_8) OR FIREABLE(AtStation_14_8) OR FIREABLE(AtStation_15_8) OR FIREABLE(AtStation_16_8) OR FIREABLE(AtStation_17_8) OR FIREABLE(AtStation_18_8) OR FIREABLE(AtStation_19_8) OR FIREABLE(AtStation_20_8) OR FIREABLE(AtStation_21_8) OR FIREABLE(AtStation_22_8) OR FIREABLE(AtStation_23_8) OR FIREABLE(AtStation_24_8) OR FIREABLE(AtStation_25_8) OR FIREABLE(AtStation_26_8) OR FIREABLE(AtStation_27_8) OR FIREABLE(AtStation_28_8) OR FIREABLE(AtStation_29_8) OR FIREABLE(AtStation_30_8) OR FIREABLE(AtStation_31_8) OR FIREABLE(AtStation_32_8) OR FIREABLE(AtStation_33_8) OR FIREABLE(AtStation_34_8) OR FIREABLE(AtStation_35_8) OR FIREABLE(AtStation_36_8) OR FIREABLE(AtStation_37_8) OR FIREABLE(AtStation_38_8) OR FIREABLE(AtStation_39_8) OR FIREABLE(AtStation_40_8) OR FIREABLE(AtStation_41_8) OR FIREABLE(AtStation_42_8) OR FIREABLE(AtStation_43_8) OR FIREABLE(AtStation_44_8) OR FIREABLE(AtStation_45_8) OR FIREABLE(AtStation_46_8) OR FIREABLE(AtStation_47_8) OR FIREABLE(AtStation_48_8) OR FIREABLE(AtStation_49_8) OR FIREABLE(AtStation_50_8) OR FIREABLE(AtStation_1_9) OR FIREABLE(AtStation_2_9) OR FIREABLE(AtStation_3_9) OR FIREABLE(AtStation_4_9) OR FIREABLE(AtStation_5_9) OR FIREABLE(AtStation_6_9) OR FIREABLE(AtStation_7_9) OR FIREABLE(AtStation_8_9) OR FIREABLE(AtStation_9_9) OR FIREABLE(AtStation_10_9) OR FIREABLE(AtStation_11_9) OR FIREABLE(AtStation_12_9) OR FIREABLE(AtStation_13_9) OR FIREABLE(AtStation_14_9) OR FIREABLE(AtStation_15_9) OR FIREABLE(AtStation_16_9) OR FIREABLE(AtStation_17_9) OR FIREABLE(AtStation_18_9) OR FIREABLE(AtStation_19_9) OR FIREABLE(AtStation_20_9) OR FIREABLE(AtStation_21_9) OR FIREABLE(AtStation_22_9) OR FIREABLE(AtStation_23_9) OR FIREABLE(AtStation_24_9) OR FIREABLE(AtStation_25_9) OR FIREABLE(AtStation_26_9) OR FIREABLE(AtStation_27_9) OR FIREABLE(AtStation_28_9) OR FIREABLE(AtStation_29_9) OR FIREABLE(AtStation_30_9) OR FIREABLE(AtStation_31_9) OR FIREABLE(AtStation_32_9) OR FIREABLE(AtStation_33_9) OR FIREABLE(AtStation_34_9) OR FIREABLE(AtStation_35_9) OR FIREABLE(AtStation_36_9) OR FIREABLE(AtStation_37_9) OR FIREABLE(AtStation_38_9) OR FIREABLE(AtStation_39_9) OR FIREABLE(AtStation_40_9) OR FIREABLE(AtStation_41_9) OR FIREABLE(AtStation_42_9) OR FIREABLE(AtStation_43_9) OR FIREABLE(AtStation_44_9) OR FIREABLE(AtStation_45_9) OR FIREABLE(AtStation_46_9) OR FIREABLE(AtStation_47_9) OR FIREABLE(AtStation_48_9) OR FIREABLE(AtStation_49_9) OR FIREABLE(AtStation_50_9) OR FIREABLE(AtStation_1_10) OR FIREABLE(AtStation_2_10) OR FIREABLE(AtStation_3_10) OR FIREABLE(AtStation_4_10) OR FIREABLE(AtStation_5_10) OR FIREABLE(AtStation_6_10) OR FIREABLE(AtStation_7_10) OR FIREABLE(AtStation_8_10) OR FIREABLE(AtStation_9_10) OR FIREABLE(AtStation_10_10) OR FIREABLE(AtStation_11_10) OR FIREABLE(AtStation_12_10) OR FIREABLE(AtStation_13_10) OR FIREABLE(AtStation_14_10) OR FIREABLE(AtStation_15_10) OR FIREABLE(AtStation_16_10) OR FIREABLE(AtStation_17_10) OR FIREABLE(AtStation_18_10) OR FIREABLE(AtStation_19_10) OR FIREABLE(AtStation_20_10) OR FIREABLE(AtStation_21_10) OR FIREABLE(AtStation_22_10) OR FIREABLE(AtStation_23_10) OR FIREABLE(AtStation_24_10) OR FIREABLE(AtStation_25_10) OR FIREABLE(AtStation_26_10) OR FIREABLE(AtStation_27_10) OR FIREABLE(AtStation_28_10) OR FIREABLE(AtStation_29_10) OR FIREABLE(AtStation_30_10) OR FIREABLE(AtStation_31_10) OR FIREABLE(AtStation_32_10) OR FIREABLE(AtStation_33_10) OR FIREABLE(AtStation_34_10) OR FIREABLE(AtStation_35_10) OR FIREABLE(AtStation_36_10) OR FIREABLE(AtStation_37_10) OR FIREABLE(AtStation_38_10) OR FIREABLE(AtStation_39_10) OR FIREABLE(AtStation_40_10) OR FIREABLE(AtStation_41_10) OR FIREABLE(AtStation_42_10) OR FIREABLE(AtStation_43_10) OR FIREABLE(AtStation_44_10) OR FIREABLE(AtStation_45_10) OR FIREABLE(AtStation_46_10) OR FIREABLE(AtStation_47_10) OR FIREABLE(AtStation_48_10) OR FIREABLE(AtStation_49_10) OR FIREABLE(AtStation_50_10) OR FIREABLE(AtStation_1_11) OR FIREABLE(AtStation_2_11) OR FIREABLE(AtStation_3_11) OR FIREABLE(AtStation_4_11) OR FIREABLE(AtStation_5_11) OR FIREABLE(AtStation_6_11) OR FIREABLE(AtStation_7_11) OR FIREABLE(AtStation_8_11) OR FIREABLE(AtStation_9_11) OR FIREABLE(AtStation_10_11) OR FIREABLE(AtStation_11_11) OR FIREABLE(AtStation_12_11) OR FIREABLE(AtStation_13_11) OR FIREABLE(AtStation_14_11) OR FIREABLE(AtStation_15_11) OR FIREABLE(AtStation_16_11) OR FIREABLE(AtStation_17_11) OR FIREABLE(AtStation_18_11) OR FIREABLE(AtStation_19_11) OR FIREABLE(AtStation_20_11) OR FIREABLE(AtStation_21_11) OR FIREABLE(AtStation_22_11) OR FIREABLE(AtStation_23_11) OR FIREABLE(AtStation_24_11) OR FIREABLE(AtStation_25_11) OR FIREABLE(AtStation_26_11) OR FIREABLE(AtStation_27_11) OR FIREABLE(AtStation_28_11) OR FIREABLE(AtStation_29_11) OR FIREABLE(AtStation_30_11) OR FIREABLE(AtStation_31_11) OR FIREABLE(AtStation_32_11) OR FIREABLE(AtStation_33_11) OR FIREABLE(AtStation_34_11) OR FIREABLE(AtStation_35_11) OR FIREABLE(AtStation_36_11) OR FIREABLE(AtStation_37_11) OR FIREABLE(AtStation_38_11) OR FIREABLE(AtStation_39_11) OR FIREABLE(AtStation_40_11) OR FIREABLE(AtStation_41_11) OR FIREABLE(AtStation_42_11) OR FIREABLE(AtStation_43_11) OR FIREABLE(AtStation_44_11) OR FIREABLE(AtStation_45_11) OR FIREABLE(AtStation_46_11) OR FIREABLE(AtStation_47_11) OR FIREABLE(AtStation_48_11) OR FIREABLE(AtStation_49_11) OR FIREABLE(AtStation_50_11) OR FIREABLE(AtStation_1_12) OR FIREABLE(AtStation_2_12) OR FIREABLE(AtStation_3_12) OR FIREABLE(AtStation_4_12) OR FIREABLE(AtStation_5_12) OR FIREABLE(AtStation_6_12) OR FIREABLE(AtStation_7_12) OR FIREABLE(AtStation_8_12) OR FIREABLE(AtStation_9_12) OR FIREABLE(AtStation_10_12) OR FIREABLE(AtStation_11_12) OR FIREABLE(AtStation_12_12) OR FIREABLE(AtStation_13_12) OR FIREABLE(AtStation_14_12) OR FIREABLE(AtStation_15_12) OR FIREABLE(AtStation_16_12) OR FIREABLE(AtStation_17_12) OR FIREABLE(AtStation_18_12) OR FIREABLE(AtStation_19_12) OR FIREABLE(AtStation_20_12) OR FIREABLE(AtStation_21_12) OR FIREABLE(AtStation_22_12) OR FIREABLE(AtStation_23_12) OR FIREABLE(AtStation_24_12) OR FIREABLE(AtStation_25_12) OR FIREABLE(AtStation_26_12) OR FIREABLE(AtStation_27_12) OR FIREABLE(AtStation_28_12) OR FIREABLE(AtStation_29_12) OR FIREABLE(AtStation_30_12) OR FIREABLE(AtStation_31_12) OR FIREABLE(AtStation_32_12) OR FIREABLE(AtStation_33_12) OR FIREABLE(AtStation_34_12) OR FIREABLE(AtStation_35_12) OR FIREABLE(AtStation_36_12) OR FIREABLE(AtStation_37_12) OR FIREABLE(AtStation_38_12) OR FIREABLE(AtStation_39_12) OR FIREABLE(AtStation_40_12) OR FIREABLE(AtStation_41_12) OR FIREABLE(AtStation_42_12) OR FIREABLE(AtStation_43_12) OR FIREABLE(AtStation_44_12) OR FIREABLE(AtStation_45_12) OR FIREABLE(AtStation_46_12) OR FIREABLE(AtStation_47_12) OR FIREABLE(AtStation_48_12) OR FIREABLE(AtStation_49_12) OR FIREABLE(AtStation_50_12) OR FIREABLE(AtStation_1_13) OR FIREABLE(AtStation_2_13) OR FIREABLE(AtStation_3_13) OR FIREABLE(AtStation_4_13) OR FIREABLE(AtStation_5_13) OR FIREABLE(AtStation_6_13) OR FIREABLE(AtStation_7_13) OR FIREABLE(AtStation_8_13) OR FIREABLE(AtStation_9_13) OR FIREABLE(AtStation_10_13) OR FIREABLE(AtStation_11_13) OR FIREABLE(AtStation_12_13) OR FIREABLE(AtStation_13_13) OR FIREABLE(AtStation_14_13) OR FIREABLE(AtStation_15_13) OR FIREABLE(AtStation_16_13) OR FIREABLE(AtStation_17_13) OR FIREABLE(AtStation_18_13) OR FIREABLE(AtStation_19_13) OR FIREABLE(AtStation_20_13) OR FIREABLE(AtStation_21_13) OR FIREABLE(AtStation_22_13) OR FIREABLE(AtStation_23_13) OR FIREABLE(AtStation_24_13) OR FIREABLE(AtStation_25_13) OR FIREABLE(AtStation_26_13) OR FIREABLE(AtStation_27_13) OR FIREABLE(AtStation_28_13) OR FIREABLE(AtStation_29_13) OR FIREABLE(AtStation_30_13) OR FIREABLE(AtStation_31_13) OR FIREABLE(AtStation_32_13) OR FIREABLE(AtStation_33_13) OR FIREABLE(AtStation_34_13) OR FIREABLE(AtStation_35_13) OR FIREABLE(AtStation_36_13) OR FIREABLE(AtStation_37_13) OR FIREABLE(AtStation_38_13) OR FIREABLE(AtStation_39_13) OR FIREABLE(AtStation_40_13) OR FIREABLE(AtStation_41_13) OR FIREABLE(AtStation_42_13) OR FIREABLE(AtStation_43_13) OR FIREABLE(AtStation_44_13) OR FIREABLE(AtStation_45_13) OR FIREABLE(AtStation_46_13) OR FIREABLE(AtStation_47_13) OR FIREABLE(AtStation_48_13) OR FIREABLE(AtStation_49_13) OR FIREABLE(AtStation_50_13) OR FIREABLE(AtStation_1_14) OR FIREABLE(AtStation_2_14) OR FIREABLE(AtStation_3_14) OR FIREABLE(AtStation_4_14) OR FIREABLE(AtStation_5_14) OR FIREABLE(AtStation_6_14) OR FIREABLE(AtStation_7_14) OR FIREABLE(AtStation_8_14) OR FIREABLE(AtStation_9_14) OR FIREABLE(AtStation_10_14) OR FIREABLE(AtStation_11_14) OR FIREABLE(AtStation_12_14) OR FIREABLE(AtStation_13_14) OR FIREABLE(AtStation_14_14) OR FIREABLE(AtStation_15_14) OR FIREABLE(AtStation_16_14) OR FIREABLE(AtStation_17_14) OR FIREABLE(AtStation_18_14) OR FIREABLE(AtStation_19_14) OR FIREABLE(AtStation_20_14) OR FIREABLE(AtStation_21_14) OR FIREABLE(AtStation_22_14) OR FIREABLE(AtStation_23_14) OR FIREABLE(AtStation_24_14) OR FIREABLE(AtStation_25_14) OR FIREABLE(AtStation_26_14) OR FIREABLE(AtStation_27_14) OR FIREABLE(AtStation_28_14) OR FIREABLE(AtStation_29_14) OR FIREABLE(AtStation_30_14) OR FIREABLE(AtStation_31_14) OR FIREABLE(AtStation_32_14) OR FIREABLE(AtStation_33_14) OR FIREABLE(AtStation_34_14) OR FIREABLE(AtStation_35_14) OR FIREABLE(AtStation_36_14) OR FIREABLE(AtStation_37_14) OR FIREABLE(AtStation_38_14) OR FIREABLE(AtStation_39_14) OR FIREABLE(AtStation_40_14) OR FIREABLE(AtStation_41_14) OR FIREABLE(AtStation_42_14) OR FIREABLE(AtStation_43_14) OR FIREABLE(AtStation_44_14) OR FIREABLE(AtStation_45_14) OR FIREABLE(AtStation_46_14) OR FIREABLE(AtStation_47_14) OR FIREABLE(AtStation_48_14) OR FIREABLE(AtStation_49_14) OR FIREABLE(AtStation_50_14) OR FIREABLE(AtStation_1_15) OR FIREABLE(AtStation_2_15) OR FIREABLE(AtStation_3_15) OR FIREABLE(AtStation_4_15) OR FIREABLE(AtStation_5_15) OR FIREABLE(AtStation_6_15) OR FIREABLE(AtStation_7_15) OR FIREABLE(AtStation_8_15) OR FIREABLE(AtStation_9_15) OR FIREABLE(AtStation_10_15) OR FIREABLE(AtStation_11_15) OR FIREABLE(AtStation_12_15) OR FIREABLE(AtStation_13_15) OR FIREABLE(AtStation_14_15) OR FIREABLE(AtStation_15_15) OR FIREABLE(AtStation_16_15) OR FIREABLE(AtStation_17_15) OR FIREABLE(AtStation_18_15) OR FIREABLE(AtStation_19_15) OR FIREABLE(AtStation_20_15) OR FIREABLE(AtStation_21_15) OR FIREABLE(AtStation_22_15) OR FIREABLE(AtStation_23_15) OR FIREABLE(AtStation_24_15) OR FIREABLE(AtStation_25_15) OR FIREABLE(AtStation_26_15) OR FIREABLE(AtStation_27_15) OR FIREABLE(AtStation_28_15) OR FIREABLE(AtStation_29_15) OR FIREABLE(AtStation_30_15) OR FIREABLE(AtStation_31_15) OR FIREABLE(AtStation_32_15) OR FIREABLE(AtStation_33_15) OR FIREABLE(AtStation_34_15) OR FIREABLE(AtStation_35_15) OR FIREABLE(AtStation_36_15) OR FIREABLE(AtStation_37_15) OR FIREABLE(AtStation_38_15) OR FIREABLE(AtStation_39_15) OR FIREABLE(AtStation_40_15) OR FIREABLE(AtStation_41_15) OR FIREABLE(AtStation_42_15) OR FIREABLE(AtStation_43_15) OR FIREABLE(AtStation_44_15) OR FIREABLE(AtStation_45_15) OR FIREABLE(AtStation_46_15) OR FIREABLE(AtStation_47_15) OR FIREABLE(AtStation_48_15) OR FIREABLE(AtStation_49_15) OR FIREABLE(AtStation_50_15) OR FIREABLE(AtStation_1_16) OR FIREABLE(AtStation_2_16) OR FIREABLE(AtStation_3_16) OR FIREABLE(AtStation_4_16) OR FIREABLE(AtStation_5_16) OR FIREABLE(AtStation_6_16) OR FIREABLE(AtStation_7_16) OR FIREABLE(AtStation_8_16) OR FIREABLE(AtStation_9_16) OR FIREABLE(AtStation_10_16) OR FIREABLE(AtStation_11_16) OR FIREABLE(AtStation_12_16) OR FIREABLE(AtStation_13_16) OR FIREABLE(AtStation_14_16) OR FIREABLE(AtStation_15_16) OR FIREABLE(AtStation_16_16) OR FIREABLE(AtStation_17_16) OR FIREABLE(AtStation_18_16) OR FIREABLE(AtStation_19_16) OR FIREABLE(AtStation_20_16) OR FIREABLE(AtStation_21_16) OR FIREABLE(AtStation_22_16) OR FIREABLE(AtStation_23_16) OR FIREABLE(AtStation_24_16) OR FIREABLE(AtStation_25_16) OR FIREABLE(AtStation_26_16) OR FIREABLE(AtStation_27_16)
OR FIREABLE(AtStation_28_16) OR FIREABLE(AtStation_29_16) OR FIREABLE(AtStation_30_16) OR FIREABLE(AtStation_31_16) OR FIREABLE(AtStation_32_16) OR FIREABLE(AtStation_33_16) OR FIREABLE(AtStation_34_16) OR FIREABLE(AtStation_35_16) OR FIREABLE(AtStation_36_16) OR FIREABLE(AtStation_37_16) OR FIREABLE(AtStation_38_16) OR FIREABLE(AtStation_39_16) OR FIREABLE(AtStation_40_16) OR FIREABLE(AtStation_41_16) OR FIREABLE(AtStation_42_16) OR FIREABLE(AtStation_43_16) OR FIREABLE(AtStation_44_16) OR FIREABLE(AtStation_45_16) OR FIREABLE(AtStation_46_16) OR FIREABLE(AtStation_47_16) OR FIREABLE(AtStation_48_16) OR FIREABLE(AtStation_49_16) OR FIREABLE(AtStation_50_16) OR FIREABLE(AtStation_1_17) OR FIREABLE(AtStation_2_17) OR FIREABLE(AtStation_3_17) OR FIREABLE(AtStation_4_17) OR FIREABLE(AtStation_5_17) OR FIREABLE(AtStation_6_17) OR FIREABLE(AtStation_7_17) OR FIREABLE(AtStation_8_17) OR FIREABLE(AtStation_9_17) OR FIREABLE(AtStation_10_17) OR FIREABLE(AtStation_11_17) OR FIREABLE(AtStation_12_17) OR FIREABLE(AtStation_13_17) OR FIREABLE(AtStation_14_17) OR FIREABLE(AtStation_15_17) OR FIREABLE(AtStation_16_17) OR FIREABLE(AtStation_17_17) OR FIREABLE(AtStation_18_17) OR FIREABLE(AtStation_19_17) OR FIREABLE(AtStation_20_17) OR FIREABLE(AtStation_21_17) OR FIREABLE(AtStation_22_17) OR FIREABLE(AtStation_23_17) OR FIREABLE(AtStation_24_17) OR FIREABLE(AtStation_25_17) OR FIREABLE(AtStation_26_17) OR FIREABLE(AtStation_27_17) OR FIREABLE(AtStation_28_17) OR FIREABLE(AtStation_29_17) OR FIREABLE(AtStation_30_17) OR FIREABLE(AtStation_31_17) OR FIREABLE(AtStation_32_17) OR FIREABLE(AtStation_33_17) OR FIREABLE(AtStation_34_17) OR FIREABLE(AtStation_35_17) OR FIREABLE(AtStation_36_17) OR FIREABLE(AtStation_37_17) OR FIREABLE(AtStation_38_17) OR FIREABLE(AtStation_39_17) OR FIREABLE(AtStation_40_17) OR FIREABLE(AtStation_41_17) OR FIREABLE(AtStation_42_17) OR FIREABLE(AtStation_43_17) OR FIREABLE(AtStation_44_17) OR FIREABLE(AtStation_45_17) OR FIREABLE(AtStation_46_17) OR FIREABLE(AtStation_47_17) OR FIREABLE(AtStation_48_17) OR FIREABLE(AtStation_49_17) OR FIREABLE(AtStation_50_17) OR FIREABLE(AtStation_1_18) OR FIREABLE(AtStation_2_18) OR FIREABLE(AtStation_3_18) OR FIREABLE(AtStation_4_18) OR FIREABLE(AtStation_5_18) OR FIREABLE(AtStation_6_18) OR FIREABLE(AtStation_7_18) OR FIREABLE(AtStation_8_18) OR FIREABLE(AtStation_9_18) OR FIREABLE(AtStation_10_18) OR FIREABLE(AtStation_11_18) OR FIREABLE(AtStation_12_18) OR FIREABLE(AtStation_13_18) OR FIREABLE(AtStation_14_18) OR FIREABLE(AtStation_15_18) OR FIREABLE(AtStation_16_18) OR FIREABLE(AtStation_17_18) OR FIREABLE(AtStation_18_18) OR FIREABLE(AtStation_19_18) OR FIREABLE(AtStation_20_18) OR FIREABLE(AtStation_21_18) OR FIREABLE(AtStation_22_18) OR FIREABLE(AtStation_23_18) OR FIREABLE(AtStation_24_18) OR FIREABLE(AtStation_25_18) OR FIREABLE(AtStation_26_18) OR FIREABLE(AtStation_27_18) OR FIREABLE(AtStation_28_18) OR FIREABLE(AtStation_29_18) OR FIREABLE(AtStation_30_18) OR FIREABLE(AtStation_31_18) OR FIREABLE(AtStation_32_18) OR FIREABLE(AtStation_33_18) OR FIREABLE(AtStation_34_18) OR FIREABLE(AtStation_35_18) OR FIREABLE(AtStation_36_18) OR FIREABLE(AtStation_37_18) OR FIREABLE(AtStation_38_18) OR FIREABLE(AtStation_39_18) OR FIREABLE(AtStation_40_18) OR FIREABLE(AtStation_41_18) OR FIREABLE(AtStation_42_18) OR FIREABLE(AtStation_43_18) OR FIREABLE(AtStation_44_18) OR FIREABLE(AtStation_45_18) OR FIREABLE(AtStation_46_18) OR FIREABLE(AtStation_47_18) OR FIREABLE(AtStation_48_18) OR FIREABLE(AtStation_49_18) OR FIREABLE(AtStation_50_18) OR FIREABLE(AtStation_1_19) OR FIREABLE(AtStation_2_19) OR FIREABLE(AtStation_3_19) OR FIREABLE(AtStation_4_19) OR FIREABLE(AtStation_5_19) OR FIREABLE(AtStation_6_19) OR FIREABLE(AtStation_7_19) OR FIREABLE(AtStation_8_19) OR FIREABLE(AtStation_9_19) OR FIREABLE(AtStation_10_19) OR FIREABLE(AtStation_11_19) OR FIREABLE(AtStation_12_19) OR FIREABLE(AtStation_13_19) OR FIREABLE(AtStation_14_19) OR FIREABLE(AtStation_15_19) OR FIREABLE(AtStation_16_19) OR FIREABLE(AtStation_17_19) OR FIREABLE(AtStation_18_19) OR FIREABLE(AtStation_19_19) OR FIREABLE(AtStation_20_19) OR FIREABLE(AtStation_21_19) OR FIREABLE(AtStation_22_19) OR FIREABLE(AtStation_23_19) OR FIREABLE(AtStation_24_19) OR FIREABLE(AtStation_25_19) OR FIREABLE(AtStation_26_19) OR FIREABLE(AtStation_27_19) OR FIREABLE(AtStation_28_19) OR FIREABLE(AtStation_29_19) OR FIREABLE(AtStation_30_19) OR FIREABLE(AtStation_31_19) OR FIREABLE(AtStation_32_19) OR FIREABLE(AtStation_33_19) OR FIREABLE(AtStation_34_19) OR FIREABLE(AtStation_35_19) OR FIREABLE(AtStation_36_19) OR FIREABLE(AtStation_37_19) OR FIREABLE(AtStation_38_19) OR FIREABLE(AtStation_39_19) OR FIREABLE(AtStation_40_19) OR FIREABLE(AtStation_41_19) OR FIREABLE(AtStation_42_19) OR FIREABLE(AtStation_43_19) OR FIREABLE(AtStation_44_19) OR FIREABLE(AtStation_45_19) OR FIREABLE(AtStation_46_19) OR FIREABLE(AtStation_47_19) OR FIREABLE(AtStation_48_19) OR FIREABLE(AtStation_49_19) OR FIREABLE(AtStation_50_19) OR FIREABLE(AtStation_1_20) OR FIREABLE(AtStation_2_20) OR FIREABLE(AtStation_3_20) OR FIREABLE(AtStation_4_20) OR FIREABLE(AtStation_5_20) OR FIREABLE(AtStation_6_20) OR FIREABLE(AtStation_7_20) OR FIREABLE(AtStation_8_20) OR FIREABLE(AtStation_9_20) OR FIREABLE(AtStation_10_20) OR FIREABLE(AtStation_11_20) OR FIREABLE(AtStation_12_20) OR FIREABLE(AtStation_13_20) OR FIREABLE(AtStation_14_20) OR FIREABLE(AtStation_15_20) OR FIREABLE(AtStation_16_20) OR FIREABLE(AtStation_17_20) OR FIREABLE(AtStation_18_20) OR FIREABLE(AtStation_19_20) OR FIREABLE(AtStation_20_20) OR FIREABLE(AtStation_21_20) OR FIREABLE(AtStation_22_20) OR FIREABLE(AtStation_23_20) OR FIREABLE(AtStation_24_20) OR FIREABLE(AtStation_25_20) OR FIREABLE(AtStation_26_20) OR FIREABLE(AtStation_27_20) OR FIREABLE(AtStation_28_20) OR FIREABLE(AtStation_29_20) OR FIREABLE(AtStation_30_20) OR FIREABLE(AtStation_31_20) OR FIREABLE(AtStation_32_20) OR FIREABLE(AtStation_33_20) OR FIREABLE(AtStation_34_20) OR FIREABLE(AtStation_35_20) OR FIREABLE(AtStation_36_20) OR FIREABLE(AtStation_37_20) OR FIREABLE(AtStation_38_20) OR FIREABLE(AtStation_39_20) OR FIREABLE(AtStation_40_20) OR FIREABLE(AtStation_41_20) OR FIREABLE(AtStation_42_20) OR FIREABLE(AtStation_43_20) OR FIREABLE(AtStation_44_20) OR FIREABLE(AtStation_45_20) OR FIREABLE(AtStation_46_20) OR FIREABLE(AtStation_47_20) OR FIREABLE(AtStation_48_20) OR FIREABLE(AtStation_49_20) OR FIREABLE(AtStation_50_20) OR FIREABLE(AtStation_1_21) OR FIREABLE(AtStation_2_21) OR FIREABLE(AtStation_3_21) OR FIREABLE(AtStation_4_21) OR FIREABLE(AtStation_5_21) OR FIREABLE(AtStation_6_21) OR FIREABLE(AtStation_7_21) OR FIREABLE(AtStation_8_21) OR FIREABLE(AtStation_9_21) OR FIREABLE(AtStation_10_21) OR FIREABLE(AtStation_11_21) OR FIREABLE(AtStation_12_21) OR FIREABLE(AtStation_13_21) OR FIREABLE(AtStation_14_21) OR FIREABLE(AtStation_15_21) OR FIREABLE(AtStation_16_21) OR FIREABLE(AtStation_17_21) OR FIREABLE(AtStation_18_21) OR FIREABLE(AtStation_19_21) OR FIREABLE(AtStation_20_21) OR FIREABLE(AtStation_21_21) OR FIREABLE(AtStation_22_21) OR FIREABLE(AtStation_23_21) OR FIREABLE(AtStation_24_21) OR FIREABLE(AtStation_25_21) OR FIREABLE(AtStation_26_21) OR FIREABLE(AtStation_27_21) OR FIREABLE(AtStation_28_21) OR FIREABLE(AtStation_29_21) OR FIREABLE(AtStation_30_21) OR FIREABLE(AtStation_31_21) OR FIREABLE(AtStation_32_21) OR FIREABLE(AtStation_33_21) OR FIREABLE(AtStation_34_21) OR FIREABLE(AtStation_35_21) OR FIREABLE(AtStation_36_21) OR FIREABLE(AtStation_37_21) OR FIREABLE(AtStation_38_21) OR FIREABLE(AtStation_39_21) OR FIREABLE(AtStation_40_21) OR FIREABLE(AtStation_41_21) OR FIREABLE(AtStation_42_21) OR FIREABLE(AtStation_43_21) OR FIREABLE(AtStation_44_21) OR FIREABLE(AtStation_45_21) OR FIREABLE(AtStation_46_21) OR FIREABLE(AtStation_47_21) OR FIREABLE(AtStation_48_21) OR FIREABLE(AtStation_49_21) OR FIREABLE(AtStation_50_21) OR FIREABLE(AtStation_1_22) OR FIREABLE(AtStation_2_22) OR FIREABLE(AtStation_3_22) OR FIREABLE(AtStation_4_22) OR FIREABLE(AtStation_5_22) OR FIREABLE(AtStation_6_22) OR FIREABLE(AtStation_7_22) OR FIREABLE(AtStation_8_22) OR FIREABLE(AtStation_9_22) OR FIREABLE(AtStation_10_22) OR FIREABLE(AtStation_11_22) OR FIREABLE(AtStation_12_22) OR FIREABLE(AtStation_13_22) OR FIREABLE(AtStation_14_22) OR FIREABLE(AtStation_15_22) OR FIREABLE(AtStation_16_22) OR FIREABLE(AtStation_17_22) OR FIREABLE(AtStation_18_22) OR FIREABLE(AtStation_19_22) OR FIREABLE(AtStation_20_22) OR FIREABLE(AtStation_21_22) OR FIREABLE(AtStation_22_22) OR FIREABLE(AtStation_23_22) OR FIREABLE(AtStation_24_22) OR FIREABLE(AtStation_25_22) OR FIREABLE(AtStation_26_22) OR FIREABLE(AtStation_27_22) OR FIREABLE(AtStation_28_22) OR FIREABLE(AtStation_29_22) OR FIREABLE(AtStation_30_22) OR FIREABLE(AtStation_31_22) OR FIREABLE(AtStation_32_22) OR FIREABLE(AtStation_33_22) OR FIREABLE(AtStation_34_22) OR FIREABLE(AtStation_35_22) OR FIREABLE(AtStation_36_22) OR FIREABLE(AtStation_37_22) OR FIREABLE(AtStation_38_22) OR FIREABLE(AtStation_39_22) OR FIREABLE(AtStation_40_22) OR FIREABLE(AtStation_41_22) OR FIREABLE(AtStation_42_22) OR FIREABLE(AtStation_43_22) OR FIREABLE(AtStation_44_22) OR FIREABLE(AtStation_45_22) OR FIREABLE(AtStation_46_22) OR FIREABLE(AtStation_47_22) OR FIREABLE(AtStation_48_22) OR FIREABLE(AtStation_49_22) OR FIREABLE(AtStation_50_22) OR FIREABLE(AtStation_1_23) OR FIREABLE(AtStation_2_23) OR FIREABLE(AtStation_3_23) OR FIREABLE(AtStation_4_23) OR FIREABLE(AtStation_5_23) OR FIREABLE(AtStation_6_23) OR FIREABLE(AtStation_7_23) OR FIREABLE(AtStation_8_23) OR FIREABLE(AtStation_9_23) OR FIREABLE(AtStation_10_23) OR FIREABLE(AtStation_11_23) OR FIREABLE(AtStation_12_23) OR FIREABLE(AtStation_13_23) OR FIREABLE(AtStation_14_23) OR FIREABLE(AtStation_15_23) OR FIREABLE(AtStation_16_23) OR FIREABLE(AtStation_17_23) OR FIREABLE(AtStation_18_23) OR FIREABLE(AtStation_19_23) OR FIREABLE(AtStation_20_23) OR FIREABLE(AtStation_21_23) OR FIREABLE(AtStation_22_23) OR FIREABLE(AtStation_23_23) OR FIREABLE(AtStation_24_23) OR FIREABLE(AtStation_25_23) OR FIREABLE(AtStation_26_23) OR FIREABLE(AtStation_27_23) OR FIREABLE(AtStation_28_23) OR FIREABLE(AtStation_29_23) OR FIREABLE(AtStation_30_23) OR FIREABLE(AtStation_31_23) OR FIREABLE(AtStation_32_23) OR FIREABLE(AtStation_33_23) OR FIREABLE(AtStation_34_23) OR FIREABLE(AtStation_35_23) OR FIREABLE(AtStation_36_23) OR FIREABLE(AtStation_37_23) OR FIREABLE(AtStation_38_23) OR FIREABLE(AtStation_39_23) OR FIREABLE(AtStation_40_23) OR FIREABLE(AtStation_41_23) OR FIREABLE(AtStation_42_23) OR FIREABLE(AtStation_43_23) OR FIREABLE(AtStation_44_23) OR FIREABLE(AtStation_45_23) OR FIREABLE(AtStation_46_23) OR FIREABLE(AtStation_47_23) OR FIREABLE(AtStation_48_23) OR FIREABLE(AtStation_49_23) OR FIREABLE(AtStation_50_23) OR FIREABLE(AtStation_1_24) OR FIREABLE(AtStation_2_24) OR FIREABLE(AtStation_3_24) OR FIREABLE(AtStation_4_24) OR FIREABLE(AtStation_5_24) OR FIREABLE(AtStation_6_24) OR FIREABLE(AtStation_7_24) OR FIREABLE(AtStation_8_24) OR FIREABLE(AtStation_9_24) OR FIREABLE(AtStation_10_24) OR FIREABLE(AtStation_11_24) OR FIREABLE(AtStation_12_24) OR FIREABLE(AtStation_13_24) OR FIREABLE(AtStation_14_24) OR FIREABLE(AtStation_15_24) OR FIREABLE(AtStation_16_24) OR FIREABLE(AtStation_17_24) OR FIREABLE(AtStation_18_24) OR FIREABLE(AtStation_19_24) OR FIREABLE(AtStation_20_24) OR FIREABLE(AtStation_21_24) OR FIREABLE(AtStation_22_24) OR FIREABLE(AtStation_23_24) OR FIREABLE(AtStation_24_24) OR FIREABLE(AtStation_25_24) OR FIREABLE(AtStation_26_24) OR FIREABLE(AtStation_27_24) OR FIREABLE(AtStation_28_24) OR FIREABLE(AtStation_29_24) OR FIREABLE(AtStation_30_24) OR FIREABLE(AtStation_31_24) OR FIREABLE(AtStation_32_24) OR FIREABLE(AtStation_33_24) OR FIREABLE(AtStation_34_24) OR FIREABLE(AtStation_35_24) OR FIREABLE(AtStation_36_24) OR FIREABLE(AtStation_37_24) OR FIREABLE(AtStation_38_24) OR FIREABLE(AtStation_39_24) OR FIREABLE(AtStation_40_24) OR FIREABLE(AtStation_41_24) OR FIREABLE(AtStation_42_24) OR FIREABLE(AtStation_43_24) OR FIREABLE(AtStation_44_24) OR FIREABLE(AtStation_45_24) OR FIREABLE(AtStation_46_24) OR FIREABLE(AtStation_47_24) OR FIREABLE(AtStation_48_24) OR FIREABLE(AtStation_49_24) OR FIREABLE(AtStation_50_24) OR FIREABLE(AtStation_1_25) OR FIREABLE(AtStation_2_25) OR FIREABLE(AtStation_3_25) OR FIREABLE(AtStation_4_25) OR FIREABLE(AtStation_5_25) OR FIREABLE(AtStation_6_25) OR FIREABLE(AtStation_7_25) OR FIREABLE(AtStation_8_25) OR FIREABLE(AtStation_9_25) OR FIREABLE(AtStation_10_25) OR FIREABLE(AtStation_11_25) OR FIREABLE(AtStation_12_25) OR FIREABLE(AtStation_13_25) OR FIREABLE(AtStation_14_25) OR FIREABLE(AtStation_15_25) OR FIREABLE(AtStation_16_25) OR FIREABLE(AtStation_17_25) OR FIREABLE(AtStation_18_25) OR FIREABLE(AtStation_19_25) OR FIREABLE(AtStation_20_25) OR FIREABLE(AtStation_21_25) OR FIREABLE(AtStation_22_25) OR FIREABLE(AtStation_23_25) OR FIREABLE(AtStation_24_25) OR FIREABLE(AtStation_25_25) OR FIREABLE(AtStation_26_25) OR FIREABLE(AtStation_27_25) OR FIREABLE(AtStation_28_25) OR FIREABLE(AtStation_29_25) OR FIREABLE(AtStation_30_25) OR FIREABLE(AtStation_31_25) OR FIREABLE(AtStation_32_25) OR FIREABLE(AtStation_33_25) OR FIREABLE(AtStation_34_25) OR FIREABLE(AtStation_35_25) OR FIREABLE(AtStation_36_25) OR FIREABLE(AtStation_37_25) OR FIREABLE(AtStation_38_25) OR FIREABLE(AtStation_39_25) OR FIREABLE(AtStation_40_25) OR FIREABLE(AtStation_41_25) OR FIREABLE(AtStation_42_25) OR FIREABLE(AtStation_43_25) OR FIREABLE(AtStation_44_25) OR FIREABLE(AtStation_45_25) OR FIREABLE(AtStation_46_25) OR FIREABLE(AtStation_47_25) OR FIREABLE(AtStation_48_25) OR FIREABLE(AtStation_49_25) OR FIREABLE(AtStation_50_25) OR FIREABLE(AtStation_1_26) OR FIREABLE(AtStation_2_26) OR FIREABLE(AtStation_3_26) OR FIREABLE(AtStation_4_26) OR FIREABLE(AtStation_5_26) OR FIREABLE(AtStation_6_26) OR FIREABLE(AtStation_7_26) OR FIREABLE(AtStation_8_26) OR FIREABLE(AtStation_9_26) OR FIREABLE(AtStation_10_26) OR FIREABLE(AtStation_11_26) OR FIREABLE(AtStation_12_26) OR FIREABLE(AtStation_13_26) OR FIREABLE(AtStation_14_26) OR FIREABLE(AtStation_15_26) OR FIREABLE(AtStation_16_26) OR FIREABLE(AtStation_17_26) OR FIREABLE(AtStation_18_26) OR FIREABLE(AtStation_19_26) OR FIREABLE(AtStation_20_26) OR FIREABLE(AtStation_21_26) OR FIREABLE(AtStation_22_26) OR FIREABLE(AtStation_23_26) OR FIREABLE(AtStation_24_26) OR FIREABLE(AtStation_25_26) OR FIREABLE(AtStation_26_26) OR FIREABLE(AtStation_27_26) OR FIREABLE(AtStation_28_26) OR FIREABLE(AtStation_29_26) OR FIREABLE(AtStation_30_26) OR FIREABLE(AtStation_31_26) OR FIREABLE(AtStation_32_26) OR FIREABLE(AtStation_33_26) OR FIREABLE(AtStation_34_26) OR FIREABLE(AtStation_35_26) OR FIREABLE(AtStation_36_26) OR FIREABLE(AtStation_37_26) OR FIREABLE(AtStation_38_26) OR FIREABLE(AtStation_39_26) OR FIREABLE(AtStation_40_26) OR FIREABLE(AtStation_41_26) OR FIREABLE(AtStation_42_26) OR FIREABLE(AtStation_43_26) OR FIREABLE(AtStation_44_26) OR FIREABLE(AtStation_45_26) OR FIREABLE(AtStation_46_26) OR FIREABLE(AtStation_47_26) OR FIREABLE(AtStation_48_26) OR FIREABLE(AtStation_49_26) OR FIREABLE(AtStation_50_26) OR FIREABLE(AtStation_1_27) OR FIREABLE(AtStation_2_27) OR FIREABLE(AtStation_3_27) OR FIREABLE(AtStation_4_27) OR FIREABLE(AtStation_5_27) OR FIREABLE(AtStation_6_27) OR FIREABLE(AtStation_7_27) OR FIREABLE(AtStation_8_27) OR FIREABLE(AtStation_9_27) OR FIREABLE(AtStation_10_27) OR FIREABLE(AtStation_11_27) OR FIREABLE(AtStation_12_27) OR FIREABLE(AtStation_13_27) OR FIREABLE(AtStation_14_27) OR FIREABLE(AtStation_15_27) OR FIREABLE(AtStation_16_27) OR FIREABLE(AtStation_17_27) OR FIREABLE(AtStation_18_27) OR FIREABLE(AtStation_19_27) OR FIREABLE(AtStation_20_27) OR FIREABLE(AtStation_21_27) OR FIREABLE(AtStation_22_27) OR FIREABLE(AtStation_23_27) OR FIREABLE(AtStation_24_27) OR FIREABLE(AtStation_25_27) OR FIREABLE(AtStation_26_27) OR FIREABLE(AtStation_27_27) OR FIREABLE(AtStation_28_27) OR FIREABLE(AtStation_29_27) OR FIREABLE(AtStation_30_27) OR FIREABLE(AtStation_31_27) OR FIREABLE(AtStation_32_27) OR FIREABLE(AtStation_33_27) OR FIREABLE(AtStation_34_27) OR FIREABLE(AtStation_35_27) OR FIREABLE(AtStation_36_27) OR FIREABLE(AtStation_37_27) OR FIREABLE(AtStation_38_27) OR FIREABLE(AtStation_39_27) OR FIREABLE(AtStation_40_27) OR FIREABLE(AtStation_41_27) OR FIREABLE(AtStation_42_27) OR FIREABLE(AtStation_43_27) OR FIREABLE(AtStation_44_27) OR FIREABLE(AtStation_45_27) OR FIREABLE
(AtStation_46_27) OR FIREABLE(AtStation_47_27) OR FIREABLE(AtStation_48_27) OR FIREABLE(AtStation_49_27) OR FIREABLE(AtStation_50_27) OR FIREABLE(AtStation_1_28) OR FIREABLE(AtStation_2_28) OR FIREABLE(AtStation_3_28) OR FIREABLE(AtStation_4_28) OR FIREABLE(AtStation_5_28) OR FIREABLE(AtStation_6_28) OR FIREABLE(AtStation_7_28) OR FIREABLE(AtStation_8_28) OR FIREABLE(AtStation_9_28) OR FIREABLE(AtStation_10_28) OR FIREABLE(AtStation_11_28) OR FIREABLE(AtStation_12_28) OR FIREABLE(AtStation_13_28) OR FIREABLE(AtStation_14_28) OR FIREABLE(AtStation_15_28) OR FIREABLE(AtStation_16_28) OR FIREABLE(AtStation_17_28) OR FIREABLE(AtStation_18_28) OR FIREABLE(AtStation_19_28) OR FIREABLE(AtStation_20_28) OR FIREABLE(AtStation_21_28) OR FIREABLE(AtStation_22_28) OR FIREABLE(AtStation_23_28) OR FIREABLE(AtStation_24_28) OR FIREABLE(AtStation_25_28) OR FIREABLE(AtStation_26_28) OR FIREABLE(AtStation_27_28) OR FIREABLE(AtStation_28_28) OR FIREABLE(AtStation_29_28) OR FIREABLE(AtStation_30_28) OR FIREABLE(AtStation_31_28) OR FIREABLE(AtStation_32_28) OR FIREABLE(AtStation_33_28) OR FIREABLE(AtStation_34_28) OR FIREABLE(AtStation_35_28) OR FIREABLE(AtStation_36_28) OR FIREABLE(AtStation_37_28) OR FIREABLE(AtStation_38_28) OR FIREABLE(AtStation_39_28) OR FIREABLE(AtStation_40_28) OR FIREABLE(AtStation_41_28) OR FIREABLE(AtStation_42_28) OR FIREABLE(AtStation_43_28) OR FIREABLE(AtStation_44_28) OR FIREABLE(AtStation_45_28) OR FIREABLE(AtStation_46_28) OR FIREABLE(AtStation_47_28) OR FIREABLE(AtStation_48_28) OR FIREABLE(AtStation_49_28) OR FIREABLE(AtStation_50_28) OR FIREABLE(AtStation_1_29) OR FIREABLE(AtStation_2_29) OR FIREABLE(AtStation_3_29) OR FIREABLE(AtStation_4_29) OR FIREABLE(AtStation_5_29) OR FIREABLE(AtStation_6_29) OR FIREABLE(AtStation_7_29) OR FIREABLE(AtStation_8_29) OR FIREABLE(AtStation_9_29) OR FIREABLE(AtStation_10_29) OR FIREABLE(AtStation_11_29) OR FIREABLE(AtStation_12_29) OR FIREABLE(AtStation_13_29) OR FIREABLE(AtStation_14_29) OR FIREABLE(AtStation_15_29) OR FIREABLE(AtStation_16_29) OR FIREABLE(AtStation_17_29) OR FIREABLE(AtStation_18_29) OR FIREABLE(AtStation_19_29) OR FIREABLE(AtStation_20_29) OR FIREABLE(AtStation_21_29) OR FIREABLE(AtStation_22_29) OR FIREABLE(AtStation_23_29) OR FIREABLE(AtStation_24_29) OR FIREABLE(AtStation_25_29) OR FIREABLE(AtStation_26_29) OR FIREABLE(AtStation_27_29) OR FIREABLE(AtStation_28_29) OR FIREABLE(AtStation_29_29) OR FIREABLE(AtStation_30_29) OR FIREABLE(AtStation_31_29) OR FIREABLE(AtStation_32_29) OR FIREABLE(AtStation_33_29) OR FIREABLE(AtStation_34_29) OR FIREABLE(AtStation_35_29) OR FIREABLE(AtStation_36_29) OR FIREABLE(AtStation_37_29) OR FIREABLE(AtStation_38_29) OR FIREABLE(AtStation_39_29) OR FIREABLE(AtStation_40_29) OR FIREABLE(AtStation_41_29) OR FIREABLE(AtStation_42_29) OR FIREABLE(AtStation_43_29) OR FIREABLE(AtStation_44_29) OR FIREABLE(AtStation_45_29) OR FIREABLE(AtStation_46_29) OR FIREABLE(AtStation_47_29) OR FIREABLE(AtStation_48_29) OR FIREABLE(AtStation_49_29) OR FIREABLE(AtStation_50_29) OR FIREABLE(AtStation_1_30) OR FIREABLE(AtStation_2_30) OR FIREABLE(AtStation_3_30) OR FIREABLE(AtStation_4_30) OR FIREABLE(AtStation_5_30) OR FIREABLE(AtStation_6_30) OR FIREABLE(AtStation_7_30) OR FIREABLE(AtStation_8_30) OR FIREABLE(AtStation_9_30) OR FIREABLE(AtStation_10_30) OR FIREABLE(AtStation_11_30) OR FIREABLE(AtStation_12_30) OR FIREABLE(AtStation_13_30) OR FIREABLE(AtStation_14_30) OR FIREABLE(AtStation_15_30) OR FIREABLE(AtStation_16_30) OR FIREABLE(AtStation_17_30) OR FIREABLE(AtStation_18_30) OR FIREABLE(AtStation_19_30) OR FIREABLE(AtStation_20_30) OR FIREABLE(AtStation_21_30) OR FIREABLE(AtStation_22_30) OR FIREABLE(AtStation_23_30) OR FIREABLE(AtStation_24_30) OR FIREABLE(AtStation_25_30) OR FIREABLE(AtStation_26_30) OR FIREABLE(AtStation_27_30) OR FIREABLE(AtStation_28_30) OR FIREABLE(AtStation_29_30) OR FIREABLE(AtStation_30_30) OR FIREABLE(AtStation_31_30) OR FIREABLE(AtStation_32_30) OR FIREABLE(AtStation_33_30) OR FIREABLE(AtStation_34_30) OR FIREABLE(AtStation_35_30) OR FIREABLE(AtStation_36_30) OR FIREABLE(AtStation_37_30) OR FIREABLE(AtStation_38_30) OR FIREABLE(AtStation_39_30) OR FIREABLE(AtStation_40_30) OR FIREABLE(AtStation_41_30) OR FIREABLE(AtStation_42_30) OR FIREABLE(AtStation_43_30) OR FIREABLE(AtStation_44_30) OR FIREABLE(AtStation_45_30) OR FIREABLE(AtStation_46_30) OR FIREABLE(AtStation_47_30) OR FIREABLE(AtStation_48_30) OR FIREABLE(AtStation_49_30) OR FIREABLE(AtStation_50_30) OR FIREABLE(AtStation_1_31) OR FIREABLE(AtStation_2_31) OR FIREABLE(AtStation_3_31) OR FIREABLE(AtStation_4_31) OR FIREABLE(AtStation_5_31) OR FIREABLE(AtStation_6_31) OR FIREABLE(AtStation_7_31) OR FIREABLE(AtStation_8_31) OR FIREABLE(AtStation_9_31) OR FIREABLE(AtStation_10_31) OR FIREABLE(AtStation_11_31) OR FIREABLE(AtStation_12_31) OR FIREABLE(AtStation_13_31) OR FIREABLE(AtStation_14_31) OR FIREABLE(AtStation_15_31) OR FIREABLE(AtStation_16_31) OR FIREABLE(AtStation_17_31) OR FIREABLE(AtStation_18_31) OR FIREABLE(AtStation_19_31) OR FIREABLE(AtStation_20_31) OR FIREABLE(AtStation_21_31) OR FIREABLE(AtStation_22_31) OR FIREABLE(AtStation_23_31) OR FIREABLE(AtStation_24_31) OR FIREABLE(AtStation_25_31) OR FIREABLE(AtStation_26_31) OR FIREABLE(AtStation_27_31) OR FIREABLE(AtStation_28_31) OR FIREABLE(AtStation_29_31) OR FIREABLE(AtStation_30_31) OR FIREABLE(AtStation_31_31) OR FIREABLE(AtStation_32_31) OR FIREABLE(AtStation_33_31) OR FIREABLE(AtStation_34_31) OR FIREABLE(AtStation_35_31) OR FIREABLE(AtStation_36_31) OR FIREABLE(AtStation_37_31) OR FIREABLE(AtStation_38_31) OR FIREABLE(AtStation_39_31) OR FIREABLE(AtStation_40_31) OR FIREABLE(AtStation_41_31) OR FIREABLE(AtStation_42_31) OR FIREABLE(AtStation_43_31) OR FIREABLE(AtStation_44_31) OR FIREABLE(AtStation_45_31) OR FIREABLE(AtStation_46_31) OR FIREABLE(AtStation_47_31) OR FIREABLE(AtStation_48_31) OR FIREABLE(AtStation_49_31) OR FIREABLE(AtStation_50_31) OR FIREABLE(AtStation_1_32) OR FIREABLE(AtStation_2_32) OR FIREABLE(AtStation_3_32) OR FIREABLE(AtStation_4_32) OR FIREABLE(AtStation_5_32) OR FIREABLE(AtStation_6_32) OR FIREABLE(AtStation_7_32) OR FIREABLE(AtStation_8_32) OR FIREABLE(AtStation_9_32) OR FIREABLE(AtStation_10_32) OR FIREABLE(AtStation_11_32) OR FIREABLE(AtStation_12_32) OR FIREABLE(AtStation_13_32) OR FIREABLE(AtStation_14_32) OR FIREABLE(AtStation_15_32) OR FIREABLE(AtStation_16_32) OR FIREABLE(AtStation_17_32) OR FIREABLE(AtStation_18_32) OR FIREABLE(AtStation_19_32) OR FIREABLE(AtStation_20_32) OR FIREABLE(AtStation_21_32) OR FIREABLE(AtStation_22_32) OR FIREABLE(AtStation_23_32) OR FIREABLE(AtStation_24_32) OR FIREABLE(AtStation_25_32) OR FIREABLE(AtStation_26_32) OR FIREABLE(AtStation_27_32) OR FIREABLE(AtStation_28_32) OR FIREABLE(AtStation_29_32) OR FIREABLE(AtStation_30_32) OR FIREABLE(AtStation_31_32) OR FIREABLE(AtStation_32_32) OR FIREABLE(AtStation_33_32) OR FIREABLE(AtStation_34_32) OR FIREABLE(AtStation_35_32) OR FIREABLE(AtStation_36_32) OR FIREABLE(AtStation_37_32) OR FIREABLE(AtStation_38_32) OR FIREABLE(AtStation_39_32) OR FIREABLE(AtStation_40_32) OR FIREABLE(AtStation_41_32) OR FIREABLE(AtStation_42_32) OR FIREABLE(AtStation_43_32) OR FIREABLE(AtStation_44_32) OR FIREABLE(AtStation_45_32) OR FIREABLE(AtStation_46_32) OR FIREABLE(AtStation_47_32) OR FIREABLE(AtStation_48_32) OR FIREABLE(AtStation_49_32) OR FIREABLE(AtStation_50_32) OR FIREABLE(AtStation_1_33) OR FIREABLE(AtStation_2_33) OR FIREABLE(AtStation_3_33) OR FIREABLE(AtStation_4_33) OR FIREABLE(AtStation_5_33) OR FIREABLE(AtStation_6_33) OR FIREABLE(AtStation_7_33) OR FIREABLE(AtStation_8_33) OR FIREABLE(AtStation_9_33) OR FIREABLE(AtStation_10_33) OR FIREABLE(AtStation_11_33) OR FIREABLE(AtStation_12_33) OR FIREABLE(AtStation_13_33) OR FIREABLE(AtStation_14_33) OR FIREABLE(AtStation_15_33) OR FIREABLE(AtStation_16_33) OR FIREABLE(AtStation_17_33) OR FIREABLE(AtStation_18_33) OR FIREABLE(AtStation_19_33) OR FIREABLE(AtStation_20_33) OR FIREABLE(AtStation_21_33) OR FIREABLE(AtStation_22_33) OR FIREABLE(AtStation_23_33) OR FIREABLE(AtStation_24_33) OR FIREABLE(AtStation_25_33) OR FIREABLE(AtStation_26_33) OR FIREABLE(AtStation_27_33) OR FIREABLE(AtStation_28_33) OR FIREABLE(AtStation_29_33) OR FIREABLE(AtStation_30_33) OR FIREABLE(AtStation_31_33) OR FIREABLE(AtStation_32_33) OR FIREABLE(AtStation_33_33) OR FIREABLE(AtStation_34_33) OR FIREABLE(AtStation_35_33) OR FIREABLE(AtStation_36_33) OR FIREABLE(AtStation_37_33) OR FIREABLE(AtStation_38_33) OR FIREABLE(AtStation_39_33) OR FIREABLE(AtStation_40_33) OR FIREABLE(AtStation_41_33) OR FIREABLE(AtStation_42_33) OR FIREABLE(AtStation_43_33) OR FIREABLE(AtStation_44_33) OR FIREABLE(AtStation_45_33) OR FIREABLE(AtStation_46_33) OR FIREABLE(AtStation_47_33) OR FIREABLE(AtStation_48_33) OR FIREABLE(AtStation_49_33) OR FIREABLE(AtStation_50_33) OR FIREABLE(AtStation_1_34) OR FIREABLE(AtStation_2_34) OR FIREABLE(AtStation_3_34) OR FIREABLE(AtStation_4_34) OR FIREABLE(AtStation_5_34) OR FIREABLE(AtStation_6_34) OR FIREABLE(AtStation_7_34) OR FIREABLE(AtStation_8_34) OR FIREABLE(AtStation_9_34) OR FIREABLE(AtStation_10_34) OR FIREABLE(AtStation_11_34) OR FIREABLE(AtStation_12_34) OR FIREABLE(AtStation_13_34) OR FIREABLE(AtStation_14_34) OR FIREABLE(AtStation_15_34) OR FIREABLE(AtStation_16_34) OR FIREABLE(AtStation_17_34) OR FIREABLE(AtStation_18_34) OR FIREABLE(AtStation_19_34) OR FIREABLE(AtStation_20_34) OR FIREABLE(AtStation_21_34) OR FIREABLE(AtStation_22_34) OR FIREABLE(AtStation_23_34) OR FIREABLE(AtStation_24_34) OR FIREABLE(AtStation_25_34) OR FIREABLE(AtStation_26_34) OR FIREABLE(AtStation_27_34) OR FIREABLE(AtStation_28_34) OR FIREABLE(AtStation_29_34) OR FIREABLE(AtStation_30_34) OR FIREABLE(AtStation_31_34) OR FIREABLE(AtStation_32_34) OR FIREABLE(AtStation_33_34) OR FIREABLE(AtStation_34_34) OR FIREABLE(AtStation_35_34) OR FIREABLE(AtStation_36_34) OR FIREABLE(AtStation_37_34) OR FIREABLE(AtStation_38_34) OR FIREABLE(AtStation_39_34) OR FIREABLE(AtStation_40_34) OR FIREABLE(AtStation_41_34) OR FIREABLE(AtStation_42_34) OR FIREABLE(AtStation_43_34) OR FIREABLE(AtStation_44_34) OR FIREABLE(AtStation_45_34) OR FIREABLE(AtStation_46_34) OR FIREABLE(AtStation_47_34) OR FIREABLE(AtStation_48_34) OR FIREABLE(AtStation_49_34) OR FIREABLE(AtStation_50_34) OR FIREABLE(AtStation_1_35) OR FIREABLE(AtStation_2_35) OR FIREABLE(AtStation_3_35) OR FIREABLE(AtStation_4_35) OR FIREABLE(AtStation_5_35) OR FIREABLE(AtStation_6_35) OR FIREABLE(AtStation_7_35) OR FIREABLE(AtStation_8_35) OR FIREABLE(AtStation_9_35) OR FIREABLE(AtStation_10_35) OR FIREABLE(AtStation_11_35) OR FIREABLE(AtStation_12_35) OR FIREABLE(AtStation_13_35) OR FIREABLE(AtStation_14_35) OR FIREABLE(AtStation_15_35) OR FIREABLE(AtStation_16_35) OR FIREABLE(AtStation_17_35) OR FIREABLE(AtStation_18_35) OR FIREABLE(AtStation_19_35) OR FIREABLE(AtStation_20_35) OR FIREABLE(AtStation_21_35) OR FIREABLE(AtStation_22_35) OR FIREABLE(AtStation_23_35) OR FIREABLE(AtStation_24_35) OR FIREABLE(AtStation_25_35) OR FIREABLE(AtStation_26_35) OR FIREABLE(AtStation_27_35) OR FIREABLE(AtStation_28_35) OR FIREABLE(AtStation_29_35) OR FIREABLE(AtStation_30_35) OR FIREABLE(AtStation_31_35) OR FIREABLE(AtStation_32_35) OR FIREABLE(AtStation_33_35) OR FIREABLE(AtStation_34_35) OR FIREABLE(AtStation_35_35) OR FIREABLE(AtStation_36_35) OR FIREABLE(AtStation_37_35) OR FIREABLE(AtStation_38_35) OR FIREABLE(AtStation_39_35) OR FIREABLE(AtStation_40_35) OR FIREABLE(AtStation_41_35) OR FIREABLE(AtStation_42_35) OR FIREABLE(AtStation_43_35) OR FIREABLE(AtStation_44_35) OR FIREABLE(AtStation_45_35) OR FIREABLE(AtStation_46_35) OR FIREABLE(AtStation_47_35) OR FIREABLE(AtStation_48_35) OR FIREABLE(AtStation_49_35) OR FIREABLE(AtStation_50_35) OR FIREABLE(AtStation_1_36) OR FIREABLE(AtStation_2_36) OR FIREABLE(AtStation_3_36) OR FIREABLE(AtStation_4_36) OR FIREABLE(AtStation_5_36) OR FIREABLE(AtStation_6_36) OR FIREABLE(AtStation_7_36) OR FIREABLE(AtStation_8_36) OR FIREABLE(AtStation_9_36) OR FIREABLE(AtStation_10_36) OR FIREABLE(AtStation_11_36) OR FIREABLE(AtStation_12_36) OR FIREABLE(AtStation_13_36) OR FIREABLE(AtStation_14_36) OR FIREABLE(AtStation_15_36) OR FIREABLE(AtStation_16_36) OR FIREABLE(AtStation_17_36) OR FIREABLE(AtStation_18_36) OR FIREABLE(AtStation_19_36) OR FIREABLE(AtStation_20_36) OR FIREABLE(AtStation_21_36) OR FIREABLE(AtStation_22_36) OR FIREABLE(AtStation_23_36) OR FIREABLE(AtStation_24_36) OR FIREABLE(AtStation_25_36) OR FIREABLE(AtStation_26_36) OR FIREABLE(AtStation_27_36) OR FIREABLE(AtStation_28_36) OR FIREABLE(AtStation_29_36) OR FIREABLE(AtStation_30_36) OR FIREABLE(AtStation_31_36) OR FIREABLE(AtStation_32_36) OR FIREABLE(AtStation_33_36) OR FIREABLE(AtStation_34_36) OR FIREABLE(AtStation_35_36) OR FIREABLE(AtStation_36_36) OR FIREABLE(AtStation_37_36) OR FIREABLE(AtStation_38_36) OR FIREABLE(AtStation_39_36) OR FIREABLE(AtStation_40_36) OR FIREABLE(AtStation_41_36) OR FIREABLE(AtStation_42_36) OR FIREABLE(AtStation_43_36) OR FIREABLE(AtStation_44_36) OR FIREABLE(AtStation_45_36) OR FIREABLE(AtStation_46_36) OR FIREABLE(AtStation_47_36) OR FIREABLE(AtStation_48_36) OR FIREABLE(AtStation_49_36) OR FIREABLE(AtStation_50_36) OR FIREABLE(AtStation_1_37) OR FIREABLE(AtStation_2_37) OR FIREABLE(AtStation_3_37) OR FIREABLE(AtStation_4_37) OR FIREABLE(AtStation_5_37) OR FIREABLE(AtStation_6_37) OR FIREABLE(AtStation_7_37) OR FIREABLE(AtStation_8_37) OR FIREABLE(AtStation_9_37) OR FIREABLE(AtStation_10_37) OR FIREABLE(AtStation_11_37) OR FIREABLE(AtStation_12_37) OR FIREABLE(AtStation_13_37) OR FIREABLE(AtStation_14_37) OR FIREABLE(AtStation_15_37) OR FIREABLE(AtStation_16_37) OR FIREABLE(AtStation_17_37) OR FIREABLE(AtStation_18_37) OR FIREABLE(AtStation_19_37) OR FIREABLE(AtStation_20_37) OR FIREABLE(AtStation_21_37) OR FIREABLE(AtStation_22_37) OR FIREABLE(AtStation_23_37) OR FIREABLE(AtStation_24_37) OR FIREABLE(AtStation_25_37) OR FIREABLE(AtStation_26_37) OR FIREABLE(AtStation_27_37) OR FIREABLE(AtStation_28_37) OR FIREABLE(AtStation_29_37) OR FIREABLE(AtStation_30_37) OR FIREABLE(AtStation_31_37) OR FIREABLE(AtStation_32_37) OR FIREABLE(AtStation_33_37) OR FIREABLE(AtStation_34_37) OR FIREABLE(AtStation_35_37) OR FIREABLE(AtStation_36_37) OR FIREABLE(AtStation_37_37) OR FIREABLE(AtStation_38_37) OR FIREABLE(AtStation_39_37) OR FIREABLE(AtStation_40_37) OR FIREABLE(AtStation_41_37) OR FIREABLE(AtStation_42_37) OR FIREABLE(AtStation_43_37) OR FIREABLE(AtStation_44_37) OR FIREABLE(AtStation_45_37) OR FIREABLE(AtStation_46_37) OR FIREABLE(AtStation_47_37) OR FIREABLE(AtStation_48_37) OR FIREABLE(AtStation_49_37) OR FIREABLE(AtStation_50_37) OR FIREABLE(AtStation_1_38) OR FIREABLE(AtStation_2_38) OR FIREABLE(AtStation_3_38) OR FIREABLE(AtStation_4_38) OR FIREABLE(AtStation_5_38) OR FIREABLE(AtStation_6_38) OR FIREABLE(AtStation_7_38) OR FIREABLE(AtStation_8_38) OR FIREABLE(AtStation_9_38) OR FIREABLE(AtStation_10_38) OR FIREABLE(AtStation_11_38) OR FIREABLE(AtStation_12_38) OR FIREABLE(AtStation_13_38) OR FIREABLE(AtStation_14_38) OR FIREABLE(AtStation_15_38) OR FIREABLE(AtStation_16_38) OR FIREABLE(AtStation_17_38) OR FIREABLE(AtStation_18_38) OR FIREABLE(AtStation_19_38) OR FIREABLE(AtStation_20_38) OR FIREABLE(AtStation_21_38) OR FIREABLE(AtStation_22_38) OR FIREABLE(AtStation_23_38) OR FIREABLE(AtStation_24_38) OR FIREABLE(AtStation_25_38) OR FIREABLE(AtStation_26_38) OR FIREABLE(AtStation_27_38) OR FIREABLE(AtStation_28_38) OR FIREABLE(AtStation_29_38) OR FIREABLE(AtStation_30_38) OR FIREABLE(AtStation_31_38) OR FIREABLE(AtStation_32_38) OR FIREABLE(AtStation_33_38) OR FIREABLE(AtStation_34_38) OR FIREABLE(AtStation_35_38) OR FIREABLE(AtStation_36_38) OR FIREABLE(AtStation_37_38) OR FIREABLE(AtStation_38_38) OR FIREABLE(AtStation_39_38) OR FIREABLE(AtStation_40_38) OR FIREABLE(AtStation_41_38) OR FIREABLE(AtStation_42_38) OR FIREABLE(AtStation_43_38) OR FIREABLE(AtStation_44_38) OR FIREABLE(AtStation_45_38) OR FIREABLE(AtStation_46_38) OR FIREABLE(AtStation_47_38) OR FIREABLE(AtStation_48_38) OR FIREABLE(AtStation_49_38) OR FIREABLE(AtStation_50_38) OR FIREABLE(AtStation_1_39) OR FIREABLE(AtStation_2_39) OR FIREABLE(AtStation_3_39) OR FIREABLE(AtStation_4_39) OR FIREABLE(AtStation_5_39) OR FIREABLE(AtStation_6_39) OR FIREABLE(AtStation_7_39) OR FIREABLE(AtStation_8_39) OR FIREABLE(AtStation_9_39) OR FIREABLE(AtStation_10_39) OR FIREABLE(AtStation_11_39) OR FIREABLE(AtStation_12_39) OR FIREABLE(AtStation_13_39) OR FIREABLE(AtStation_14_39) OR
FIREABLE(AtStation_15_39) OR FIREABLE(AtStation_16_39) OR FIREABLE(AtStation_17_39) OR FIREABLE(AtStation_18_39) OR FIREABLE(AtStation_19_39) OR FIREABLE(AtStation_20_39) OR FIREABLE(AtStation_21_39) OR FIREABLE(AtStation_22_39) OR FIREABLE(AtStation_23_39) OR FIREABLE(AtStation_24_39) OR FIREABLE(AtStation_25_39) OR FIREABLE(AtStation_26_39) OR FIREABLE(AtStation_27_39) OR FIREABLE(AtStation_28_39) OR FIREABLE(AtStation_29_39) OR FIREABLE(AtStation_30_39) OR FIREABLE(AtStation_31_39) OR FIREABLE(AtStation_32_39) OR FIREABLE(AtStation_33_39) OR FIREABLE(AtStation_34_39) OR FIREABLE(AtStation_35_39) OR FIREABLE(AtStation_36_39) OR FIREABLE(AtStation_37_39) OR FIREABLE(AtStation_38_39) OR FIREABLE(AtStation_39_39) OR FIREABLE(AtStation_40_39) OR FIREABLE(AtStation_41_39) OR FIREABLE(AtStation_42_39) OR FIREABLE(AtStation_43_39) OR FIREABLE(AtStation_44_39) OR FIREABLE(AtStation_45_39) OR FIREABLE(AtStation_46_39) OR FIREABLE(AtStation_47_39) OR FIREABLE(AtStation_48_39) OR FIREABLE(AtStation_49_39) OR FIREABLE(AtStation_50_39) OR FIREABLE(AtStation_1_40) OR FIREABLE(AtStation_2_40) OR FIREABLE(AtStation_3_40) OR FIREABLE(AtStation_4_40) OR FIREABLE(AtStation_5_40) OR FIREABLE(AtStation_6_40) OR FIREABLE(AtStation_7_40) OR FIREABLE(AtStation_8_40) OR FIREABLE(AtStation_9_40) OR FIREABLE(AtStation_10_40) OR FIREABLE(AtStation_11_40) OR FIREABLE(AtStation_12_40) OR FIREABLE(AtStation_13_40) OR FIREABLE(AtStation_14_40) OR FIREABLE(AtStation_15_40) OR FIREABLE(AtStation_16_40) OR FIREABLE(AtStation_17_40) OR FIREABLE(AtStation_18_40) OR FIREABLE(AtStation_19_40) OR FIREABLE(AtStation_20_40) OR FIREABLE(AtStation_21_40) OR FIREABLE(AtStation_22_40) OR FIREABLE(AtStation_23_40) OR FIREABLE(AtStation_24_40) OR FIREABLE(AtStation_25_40) OR FIREABLE(AtStation_26_40) OR FIREABLE(AtStation_27_40) OR FIREABLE(AtStation_28_40) OR FIREABLE(AtStation_29_40) OR FIREABLE(AtStation_30_40) OR FIREABLE(AtStation_31_40) OR FIREABLE(AtStation_32_40) OR FIREABLE(AtStation_33_40) OR FIREABLE(AtStation_34_40) OR FIREABLE(AtStation_35_40) OR FIREABLE(AtStation_36_40) OR FIREABLE(AtStation_37_40) OR FIREABLE(AtStation_38_40) OR FIREABLE(AtStation_39_40) OR FIREABLE(AtStation_40_40) OR FIREABLE(AtStation_41_40) OR FIREABLE(AtStation_42_40) OR FIREABLE(AtStation_43_40) OR FIREABLE(AtStation_44_40) OR FIREABLE(AtStation_45_40) OR FIREABLE(AtStation_46_40) OR FIREABLE(AtStation_47_40) OR FIREABLE(AtStation_48_40) OR FIREABLE(AtStation_49_40) OR FIREABLE(AtStation_50_40)) OR (FIREABLE(TrainStop_1) OR FIREABLE(TrainStop_2) OR FIREABLE(TrainStop_3) OR FIREABLE(TrainStop_4) OR FIREABLE(TrainStop_5) OR FIREABLE(TrainStop_6) OR FIREABLE(TrainStop_7) OR FIREABLE(TrainStop_8) OR FIREABLE(TrainStop_9) OR FIREABLE(TrainStop_10) OR FIREABLE(TrainStop_11) OR FIREABLE(TrainStop_12) OR FIREABLE(TrainStop_13) OR FIREABLE(TrainStop_14) OR FIREABLE(TrainStop_15) OR FIREABLE(TrainStop_16) OR FIREABLE(TrainStop_17) OR FIREABLE(TrainStop_18) OR FIREABLE(TrainStop_19) OR FIREABLE(TrainStop_20) OR FIREABLE(TrainStop_21) OR FIREABLE(TrainStop_22) OR FIREABLE(TrainStop_23) OR FIREABLE(TrainStop_24) OR FIREABLE(TrainStop_25) OR FIREABLE(TrainStop_26) OR FIREABLE(TrainStop_27) OR FIREABLE(TrainStop_28) OR FIREABLE(TrainStop_29) OR FIREABLE(TrainStop_30) OR FIREABLE(TrainStop_31) OR FIREABLE(TrainStop_32) OR FIREABLE(TrainStop_33) OR FIREABLE(TrainStop_34) OR FIREABLE(TrainStop_35) OR FIREABLE(TrainStop_36) OR FIREABLE(TrainStop_37) OR FIREABLE(TrainStop_38) OR FIREABLE(TrainStop_39) OR FIREABLE(TrainStop_40) OR FIREABLE(TrainStop_41) OR FIREABLE(TrainStop_42) OR FIREABLE(TrainStop_43) OR FIREABLE(TrainStop_44) OR FIREABLE(TrainStop_45) OR FIREABLE(TrainStop_46) OR FIREABLE(TrainStop_47) OR FIREABLE(TrainStop_48) OR FIREABLE(TrainStop_49) OR FIREABLE(TrainStop_50))) AND (
^
lola: syntax error -- aborting [#01]
lola: see manual for a documentation of this error
FORMULA BART-PT-050-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA BART-PT-050-CTLFireability-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 stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-PT-050"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/BART-PT-050.tgz
mv BART-PT-050 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 mcc4mcc-structural"
echo " Input is BART-PT-050, 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 r035-ebro-152646315000102"
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 ;