fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r064kn-blw3-143254880800627
Last Updated
August 19, 2015

About the Execution of Marcie for Philosophers-PT-000200

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8299.550 3600000.00 3600029.00 20.40 T??????????????? 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)
.........
=====================================================================
Generated by BenchKit 2-2265
Executing tool marcie
Input is Philosophers-PT-000200, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r064kn-blw3-143254880800627
=====================================================================


--------------------
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 Philosophers-COL-000200-CTLFireability-0
FORMULA_NAME Philosophers-COL-000200-CTLFireability-1
FORMULA_NAME Philosophers-COL-000200-CTLFireability-10
FORMULA_NAME Philosophers-COL-000200-CTLFireability-11
FORMULA_NAME Philosophers-COL-000200-CTLFireability-12
FORMULA_NAME Philosophers-COL-000200-CTLFireability-13
FORMULA_NAME Philosophers-COL-000200-CTLFireability-14
FORMULA_NAME Philosophers-COL-000200-CTLFireability-15
FORMULA_NAME Philosophers-COL-000200-CTLFireability-2
FORMULA_NAME Philosophers-COL-000200-CTLFireability-3
FORMULA_NAME Philosophers-COL-000200-CTLFireability-4
FORMULA_NAME Philosophers-COL-000200-CTLFireability-5
FORMULA_NAME Philosophers-COL-000200-CTLFireability-6
FORMULA_NAME Philosophers-COL-000200-CTLFireability-7
FORMULA_NAME Philosophers-COL-000200-CTLFireability-8
FORMULA_NAME Philosophers-COL-000200-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1432753689799

Model: Philosophers-PT-000200
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5

Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

(NrP: 1000 NrTr: 1000 NrArc: 3200)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m1sec

init dd package: 0m3sec


RS generation: 0m3sec


-> reachability set: #nodes 5180 (5.2e+03) #states 265,613,988,875,874,769,338,781,322,035,779,626,829,233,452,653,394,495,974,574,961,739,092,490,901,302,182,994,384,699,044,001 (95)



starting MCC model checker
--------------------------

checking: EF [[~ [EG [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF1b_98] | [IS-FIREABLE [FF1b_99] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF1b_168] | [IS-FIREABLE [FF1b_169] | [IS-FIREABLE [FF1b_170] | [IS-FIREABLE [FF1b_171] | [[IS-FIREABLE [FF1b_173] | [IS-FIREABLE [FF1b_11] | [[IS-FIREABLE [FF1b_13] | [IS-FIREABLE [FF1b_12] | [IS-FIREABLE [FF1b_7] | [IS-FIREABLE [FF1b_6] | [IS-FIREABLE [FF1b_9] | [IS-FIREABLE [FF1b_8] | [IS-FIREABLE [FF1b_3] | [IS-FIREABLE [FF1b_2] | [IS-FIREABLE [FF1b_5] | [IS-FIREABLE [FF1b_4] | [IS-FIREABLE [FF1b_1] | [IS-FIREABLE [FF1b_71] | [IS-FIREABLE [FF1b_70] | [IS-FIREABLE [FF1b_73] | [IS-FIREABLE [FF1b_72] | [IS-FIREABLE [FF1b_75] | [IS-FIREABLE [FF1b_74] | [IS-FIREABLE [FF1b_77] | [IS-FIREABLE [FF1b_76] | [IS-FIREABLE [FF1b_63] | [IS-FIREABLE [FF1b_62] | [IS-FIREABLE [FF1b_65] | [IS-FIREABLE [FF1b_64] | [IS-FIREABLE [FF1b_67] | [IS-FIREABLE [FF1b_66] | [IS-FIREABLE [FF1b_69] | [IS-FIREABLE [FF1b_68] | [IS-FIREABLE [FF1b_54] | [IS-FIREABLE [FF1b_55] | [IS-FIREABLE [FF1b_56] | [IS-FIREABLE [FF1b_57] | [IS-FIREABLE [FF1b_58] | [IS-FIREABLE [FF1b_59] | [IS-FIREABLE [FF1b_60] | [IS-FIREABLE [FF1b_61] | [IS-FIREABLE [FF1b_46] | [IS-FIREABLE [FF1b_47] | [IS-FIREABLE [FF1b_48] | [IS-FIREABLE [FF1b_49] | [IS-FIREABLE [FF1b_50] | [IS-FIREABLE [FF1b_51] | [IS-FIREABLE [FF1b_52] | [IS-FIREABLE [FF1b_53] | [IS-FIREABLE [FF1b_41] | [IS-FIREABLE [FF1b_40] | [IS-FIREABLE [FF1b_39] | [IS-FIREABLE [FF1b_38] | [IS-FIREABLE [FF1b_45] | [IS-FIREABLE [FF1b_44] | [IS-FIREABLE [FF1b_43] | [IS-FIREABLE [FF1b_42] | [IS-FIREABLE [FF1b_33] | [IS-FIREABLE [FF1b_32] | [IS-FIREABLE [FF1b_31] | [IS-FIREABLE [FF1b_30] | [IS-FIREABLE [FF1b_37] | [IS-FIREABLE [FF1b_36] | [IS-FIREABLE [FF1b_35] | [IS-FIREABLE [FF1b_34] | [IS-FIREABLE [FF1b_24] | [IS-FIREABLE [FF1b_25] | [IS-FIREABLE [FF1b_22] | [IS-FIREABLE [FF1b_23] | [IS-FIREABLE [FF1b_28] | [IS-FIREABLE [FF1b_29] | [IS-FIREABLE [FF1b_26] | [IS-FIREABLE [FF1b_27] | [IS-FIREABLE [FF1b_16] | [IS-FIREABLE [FF1b_17] | [IS-FIREABLE [FF1b_14] | [IS-FIREABLE [FF1b_15] | [IS-FIREABLE [FF1b_20] | [IS-FIREABLE [FF1b_21] | [IS-FIREABLE [FF1b_18] | IS-FIREABLE [FF1b_19]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | IS-FIREABLE [FF1b_10]]]] | IS-FIREABLE [FF1b_172]]]]]] | IS-FIREABLE [FF1b_167]] | IS-FIREABLE [FF1b_166]] | IS-FIREABLE [FF1b_165]] | IS-FIREABLE [FF1b_164]] | IS-FIREABLE [FF1b_163]] | IS-FIREABLE [FF1b_162]] | IS-FIREABLE [FF1b_161]] | IS-FIREABLE [FF1b_160]] | IS-FIREABLE [FF1b_159]] | IS-FIREABLE [FF1b_158]] | IS-FIREABLE [FF1b_156]] | IS-FIREABLE [FF1b_157]] | IS-FIREABLE [FF1b_154]] | IS-FIREABLE [FF1b_155]] | IS-FIREABLE [FF1b_152]] | IS-FIREABLE [FF1b_153]] | IS-FIREABLE [FF1b_150]] | IS-FIREABLE [FF1b_151]] | IS-FIREABLE [FF1b_148]] | IS-FIREABLE [FF1b_149]] | IS-FIREABLE [FF1b_146]] | IS-FIREABLE [FF1b_147]] | IS-FIREABLE [FF1b_144]] | IS-FIREABLE [FF1b_145]] | IS-FIREABLE [FF1b_142]] | IS-FIREABLE [FF1b_143]] | IS-FIREABLE [FF1b_199]] | IS-FIREABLE [FF1b_198]] | IS-FIREABLE [FF1b_200]] | IS-FIREABLE [FF1b_195]] | IS-FIREABLE [FF1b_194]] | IS-FIREABLE [FF1b_197]] | IS-FIREABLE [FF1b_196]] | IS-FIREABLE [FF1b_191]] | IS-FIREABLE [FF1b_190]] | IS-FIREABLE [FF1b_193]] | IS-FIREABLE [FF1b_192]] | IS-FIREABLE [FF1b_186]] | IS-FIREABLE [FF1b_187]] | IS-FIREABLE [FF1b_188]] | IS-FIREABLE [FF1b_189]] | IS-FIREABLE [FF1b_182]] | IS-FIREABLE [FF1b_183]] | IS-FIREABLE [FF1b_184]] | IS-FIREABLE [FF1b_185]] | IS-FIREABLE [FF1b_178]] | IS-FIREABLE [FF1b_179]] | IS-FIREABLE [FF1b_180]] | IS-FIREABLE [FF1b_181]] | IS-FIREABLE [FF1b_174]] | IS-FIREABLE [FF1b_175]] | IS-FIREABLE [FF1b_176]] | IS-FIREABLE [FF1b_177]] | IS-FIREABLE [FF1b_105]] | IS-FIREABLE [FF1b_104]] | IS-FIREABLE [FF1b_103]] | IS-FIREABLE [FF1b_102]] | IS-FIREABLE [FF1b_109]] | IS-FIREABLE [FF1b_108]] | IS-FIREABLE [FF1b_107]] | IS-FIREABLE [FF1b_106]] | IS-FIREABLE [FF1b_97]] | IS-FIREABLE [FF1b_96]] | IS-FIREABLE [FF1b_95]] | IS-FIREABLE [FF1b_94]] | IS-FIREABLE [FF1b_101]] | IS-FIREABLE [FF1b_100]]]] | IS-FIREABLE [FF1b_88]] | IS-FIREABLE [FF1b_89]] | IS-FIREABLE [FF1b_86]] | IS-FIREABLE [FF1b_87]] | IS-FIREABLE [FF1b_92]] | IS-FIREABLE [FF1b_93]] | IS-FIREABLE [FF1b_90]] | IS-FIREABLE [FF1b_91]] | IS-FIREABLE [FF1b_80]] | IS-FIREABLE [FF1b_81]] | IS-FIREABLE [FF1b_78]] | IS-FIREABLE [FF1b_79]] | IS-FIREABLE [FF1b_84]] | IS-FIREABLE [FF1b_85]] | IS-FIREABLE [FF1b_82]] | IS-FIREABLE [FF1b_83]] | IS-FIREABLE [FF1b_135]] | IS-FIREABLE [FF1b_134]] | IS-FIREABLE [FF1b_137]] | IS-FIREABLE [FF1b_136]] | IS-FIREABLE [FF1b_139]] | IS-FIREABLE [FF1b_138]] | IS-FIREABLE [FF1b_141]] | IS-FIREABLE [FF1b_140]] | IS-FIREABLE [FF1b_127]] | IS-FIREABLE [FF1b_126]] | IS-FIREABLE [FF1b_129]] | IS-FIREABLE [FF1b_128]] | IS-FIREABLE [FF1b_131]] | IS-FIREABLE [FF1b_130]] | IS-FIREABLE [FF1b_133]] | IS-FIREABLE [FF1b_132]] | IS-FIREABLE [FF1b_118]] | IS-FIREABLE [FF1b_119]] | IS-FIREABLE [FF1b_120]] | IS-FIREABLE [FF1b_121]] | IS-FIREABLE [FF1b_122]] | IS-FIREABLE [FF1b_123]] | IS-FIREABLE [FF1b_124]] | IS-FIREABLE [FF1b_125]] | IS-FIREABLE [FF1b_110]] | IS-FIREABLE [FF1b_111]] | IS-FIREABLE [FF1b_112]] | IS-FIREABLE [FF1b_113]] | IS-FIREABLE [FF1b_114]] | IS-FIREABLE [FF1b_115]] | IS-FIREABLE [FF1b_116]] | IS-FIREABLE [FF1b_117]]]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]] | IS-FIREABLE [FF2a_5]] | IS-FIREABLE [FF2a_4]] | IS-FIREABLE [FF2a_1]] | IS-FIREABLE [FF2a_92]] | IS-FIREABLE [FF2a_93]] | IS-FIREABLE [FF2a_90]] | IS-FIREABLE [FF2a_91]] | IS-FIREABLE [FF2a_88]] | IS-FIREABLE [FF2a_89]] | IS-FIREABLE [FF2a_86]] | IS-FIREABLE [FF2a_87]] | IS-FIREABLE [FF2a_100]] | IS-FIREABLE [FF2a_101]] | IS-FIREABLE [FF2a_98]] | IS-FIREABLE [FF2a_99]] | IS-FIREABLE [FF2a_96]] | IS-FIREABLE [FF2a_97]] | IS-FIREABLE [FF2a_94]] | IS-FIREABLE [FF2a_95]] | IS-FIREABLE [FF2a_77]] | IS-FIREABLE [FF2a_76]] | IS-FIREABLE [FF2a_75]] | IS-FIREABLE [FF2a_74]] | IS-FIREABLE [FF2a_73]] | IS-FIREABLE [FF2a_72]] | IS-FIREABLE [FF2a_71]] | IS-FIREABLE [FF2a_70]] | IS-FIREABLE [FF2a_85]] | IS-FIREABLE [FF2a_84]] | IS-FIREABLE [FF2a_83]] | IS-FIREABLE [FF2a_82]] | IS-FIREABLE [FF2a_81]] | IS-FIREABLE [FF2a_80]] | IS-FIREABLE [FF2a_79]] | IS-FIREABLE [FF2a_78]] | IS-FIREABLE [FF2a_122]] | IS-FIREABLE [FF2a_123]] | IS-FIREABLE [FF2a_124]] | IS-FIREABLE [FF2a_125]] | IS-FIREABLE [FF2a_118]] | IS-FIREABLE [FF2a_119]] | IS-FIREABLE [FF2a_120]] | IS-FIREABLE [FF2a_121]] | IS-FIREABLE [FF2a_130]] | IS-FIREABLE [FF2a_131]] | IS-FIREABLE [FF2a_132]] | IS-FIREABLE [FF2a_133]] | IS-FIREABLE [FF2a_126]] | IS-FIREABLE [FF2a_127]] | IS-FIREABLE [FF2a_128]] | IS-FIREABLE [FF2a_129]] | IS-FIREABLE [FF2a_107]] | IS-FIREABLE [FF2a_106]] | IS-FIREABLE [FF2a_109]] | IS-FIREABLE [FF2a_108]] | IS-FIREABLE [FF2a_103]] | IS-FIREABLE [FF2a_102]] | IS-FIREABLE [FF2a_105]] | IS-FIREABLE [FF2a_104]] | IS-FIREABLE [FF2a_115]] | IS-FIREABLE [FF2a_114]] | IS-FIREABLE [FF2a_117]] | IS-FIREABLE [FF2a_116]] | IS-FIREABLE [FF2a_111]] | IS-FIREABLE [FF2a_110]] | IS-FIREABLE [FF2a_113]] | IS-FIREABLE [FF2a_112]] | IS-FIREABLE [FF2a_24]] | IS-FIREABLE [FF2a_25]] | IS-FIREABLE [FF2a_22]] | IS-FIREABLE [FF2a_23]] | IS-FIREABLE [FF2a_28]] | IS-FIREABLE [FF2a_29]] | IS-FIREABLE [FF2a_26]] | IS-FIREABLE [FF2a_27]] | IS-FIREABLE [FF2a_32]] | IS-FIREABLE [FF2a_33]] | IS-FIREABLE [FF2a_30]] | IS-FIREABLE [FF2a_31]] | IS-FIREABLE [FF2a_36]] | IS-FIREABLE [FF2a_37]] | IS-FIREABLE [FF2a_34]] | IS-FIREABLE [FF2a_35]] | IS-FIREABLE [FF2a_9]] | IS-FIREABLE [FF2a_8]] | IS-FIREABLE [FF2a_7]] | IS-FIREABLE [FF2a_6]] | IS-FIREABLE [FF2a_13]] | IS-FIREABLE [FF2a_12]] | IS-FIREABLE [FF2a_11]] | IS-FIREABLE [FF2a_10]] | IS-FIREABLE [FF2a_17]] | IS-FIREABLE [FF2a_16]] | IS-FIREABLE [FF2a_15]] | IS-FIREABLE [FF2a_14]] | IS-FIREABLE [FF2a_21]] | IS-FIREABLE [FF2a_20]] | IS-FIREABLE [FF2a_19]] | IS-FIREABLE [FF2a_18]] | IS-FIREABLE [FF2a_54]] | IS-FIREABLE [FF2a_55]] | IS-FIREABLE [FF2a_56]] | IS-FIREABLE [FF2a_57]] | IS-FIREABLE [FF2a_58]] | IS-FIREABLE [FF2a_59]] | IS-FIREABLE [FF2a_60]] | IS-FIREABLE [FF2a_61]] | IS-FIREABLE [FF2a_62]] | IS-FIREABLE [FF2a_63]] | IS-FIREABLE [FF2a_64]] | IS-FIREABLE [FF2a_65]] | IS-FIREABLE [FF2a_66]] | IS-FIREABLE [FF2a_67]] | IS-FIREABLE [FF2a_68]] | IS-FIREABLE [FF2a_69]] | IS-FIREABLE [FF2a_39]] | IS-FIREABLE [FF2a_38]] | IS-FIREABLE [FF2a_41]] | IS-FIREABLE [FF2a_40]] | IS-FIREABLE [FF2a_43]] | IS-FIREABLE [FF2a_42]] | IS-FIREABLE [FF2a_45]] | IS-FIREABLE [FF2a_44]] | IS-FIREABLE [FF2a_47]] | IS-FIREABLE [FF2a_46]] | IS-FIREABLE [FF2a_49]] | IS-FIREABLE [FF2a_48]] | IS-FIREABLE [FF2a_51]] | IS-FIREABLE [FF2a_50]] | IS-FIREABLE [FF2a_53]] | IS-FIREABLE [FF2a_52]] | IS-FIREABLE [FF2a_198]] | IS-FIREABLE [FF2a_199]] | IS-FIREABLE [FF2a_200]] | IS-FIREABLE [FF2a_180]] | IS-FIREABLE [FF2a_181]] | IS-FIREABLE [FF2a_178]] | IS-FIREABLE [FF2a_179]] | IS-FIREABLE [FF2a_176]] | IS-FIREABLE [FF2a_177]] | IS-FIREABLE [FF2a_174]] | IS-FIREABLE [FF2a_175]] | IS-FIREABLE [FF2a_172]] | IS-FIREABLE [FF2a_173]] | IS-FIREABLE [FF2a_170]] | IS-FIREABLE [FF2a_171]] | IS-FIREABLE [FF2a_168]] | IS-FIREABLE [FF2a_169]] | IS-FIREABLE [FF2a_166]] | IS-FIREABLE [FF2a_167]] | IS-FIREABLE [FF2a_197]] | IS-FIREABLE [FF2a_196]] | IS-FIREABLE [FF2a_195]] | IS-FIREABLE [FF2a_194]] | IS-FIREABLE [FF2a_193]] | IS-FIREABLE [FF2a_192]] | IS-FIREABLE [FF2a_191]] | IS-FIREABLE [FF2a_190]] | IS-FIREABLE [FF2a_189]] | IS-FIREABLE [FF2a_188]] | IS-FIREABLE [FF2a_187]] | IS-FIREABLE [FF2a_186]] | IS-FIREABLE [FF2a_185]] | IS-FIREABLE [FF2a_184]] | IS-FIREABLE [FF2a_183]] | IS-FIREABLE [FF2a_182]] | IS-FIREABLE [FF2a_146]] | IS-FIREABLE [FF2a_147]] | IS-FIREABLE [FF2a_148]] | IS-FIREABLE [FF2a_149]] | IS-FIREABLE [FF2a_142]] | IS-FIREABLE [FF2a_143]] | IS-FIREABLE [FF2a_144]] | IS-FIREABLE [FF2a_145]] | IS-FIREABLE [FF2a_138]] | IS-FIREABLE [FF2a_139]] | IS-FIREABLE [FF2a_140]] | IS-FIREABLE [FF2a_141]] | IS-FIREABLE [FF2a_134]] | IS-FIREABLE [FF2a_135]] | IS-FIREABLE [FF2a_136]] | IS-FIREABLE [FF2a_137]] | IS-FIREABLE [FF2a_163]] | IS-FIREABLE [FF2a_162]] | IS-FIREABLE [FF2a_165]] | IS-FIREABLE [FF2a_164]] | IS-FIREABLE [FF2a_159]] | IS-FIREABLE [FF2a_158]] | IS-FIREABLE [FF2a_161]] | IS-FIREABLE [FF2a_160]] | IS-FIREABLE [FF2a_155]] | IS-FIREABLE [FF2a_154]] | IS-FIREABLE [FF2a_157]] | IS-FIREABLE [FF2a_156]] | IS-FIREABLE [FF2a_151]] | IS-FIREABLE [FF2a_150]] | IS-FIREABLE [FF2a_153]] | IS-FIREABLE [FF2a_152]]]]
normalized: E [true U [~ [EG [[IS-FIREABLE [FF1b_117] | [IS-FIREABLE [FF1b_116] | [IS-FIREABLE [FF1b_115] | [IS-FIREABLE [FF1b_114] | [IS-FIREABLE [FF1b_113] | [IS-FIREABLE [FF1b_112] | [IS-FIREABLE [FF1b_111] | [IS-FIREABLE [FF1b_110] | [IS-FIREABLE [FF1b_125] | [IS-FIREABLE [FF1b_124] | [IS-FIREABLE [FF1b_123] | [IS-FIREABLE [FF1b_122] | [IS-FIREABLE [FF1b_121] | [IS-FIREABLE [FF1b_120] | [IS-FIREABLE [FF1b_119] | [IS-FIREABLE [FF1b_118] | [IS-FIREABLE [FF1b_132] | [IS-FIREABLE [FF1b_133] | [IS-FIREABLE [FF1b_130] | [IS-FIREABLE [FF1b_131] | [IS-FIREABLE [FF1b_128] | [IS-FIREABLE [FF1b_129] | [IS-FIREABLE [FF1b_126] | [IS-FIREABLE [FF1b_127] | [IS-FIREABLE [FF1b_140] | [IS-FIREABLE [FF1b_141] | [IS-FIREABLE [FF1b_138] | [IS-FIREABLE [FF1b_139] | [IS-FIREABLE [FF1b_136] | [IS-FIREABLE [FF1b_137] | [IS-FIREABLE [FF1b_134] | [IS-FIREABLE [FF1b_135] | [IS-FIREABLE [FF1b_83] | [IS-FIREABLE [FF1b_82] | [IS-FIREABLE [FF1b_85] | [IS-FIREABLE [FF1b_84] | [IS-FIREABLE [FF1b_79] | [IS-FIREABLE [FF1b_78] | [IS-FIREABLE [FF1b_81] | [IS-FIREABLE [FF1b_80] | [IS-FIREABLE [FF1b_91] | [IS-FIREABLE [FF1b_90] | [IS-FIREABLE [FF1b_93] | [IS-FIREABLE [FF1b_92] | [IS-FIREABLE [FF1b_87] | [IS-FIREABLE [FF1b_86] | [IS-FIREABLE [FF1b_89] | [IS-FIREABLE [FF1b_88] | [IS-FIREABLE [FF1b_98] | [IS-FIREABLE [FF1b_99] | [IS-FIREABLE [FF1b_100] | [IS-FIREABLE [FF1b_101] | [IS-FIREABLE [FF1b_94] | [IS-FIREABLE [FF1b_95] | [IS-FIREABLE [FF1b_96] | [IS-FIREABLE [FF1b_97] | [IS-FIREABLE [FF1b_106] | [IS-FIREABLE [FF1b_107] | [IS-FIREABLE [FF1b_108] | [IS-FIREABLE [FF1b_109] | [IS-FIREABLE [FF1b_102] | [IS-FIREABLE [FF1b_103] | [IS-FIREABLE [FF1b_104] | [IS-FIREABLE [FF1b_105] | [IS-FIREABLE [FF1b_177] | [IS-FIREABLE [FF1b_176] | [IS-FIREABLE [FF1b_175] | [IS-FIREABLE [FF1b_174] | [IS-FIREABLE [FF1b_181] | [IS-FIREABLE [FF1b_180] | [IS-FIREABLE [FF1b_179] | [IS-FIREABLE [FF1b_178] | [IS-FIREABLE [FF1b_185] | [IS-FIREABLE [FF1b_184] | [IS-FIREABLE [FF1b_183] | [IS-FIREABLE [FF1b_182] | [IS-FIREABLE [FF1b_189] | [IS-FIREABLE [FF1b_188] | [IS-FIREABLE [FF1b_187] | [IS-FIREABLE [FF1b_186] | [IS-FIREABLE [FF1b_192] | [IS-FIREABLE [FF1b_193] | [IS-FIREABLE [FF1b_190] | [IS-FIREABLE [FF1b_191] | [IS-FIREABLE [FF1b_196] | [IS-FIREABLE [FF1b_197] | [IS-FIREABLE [FF1b_194] | [IS-FIREABLE [FF1b_195] | [IS-FIREABLE [FF1b_200] | [IS-FIREABLE [FF1b_198] | [IS-FIREABLE [FF1b_199] | [IS-FIREABLE [FF1b_143] | [IS-FIREABLE [FF1b_142] | [IS-FIREABLE [FF1b_145] | [IS-FIREABLE [FF1b_144] | [IS-FIREABLE [FF1b_147] | [IS-FIREABLE [FF1b_146] | [IS-FIREABLE [FF1b_149] | [IS-FIREABLE [FF1b_148] | [IS-FIREABLE [FF1b_151] | [IS-FIREABLE [FF1b_150] | [IS-FIREABLE [FF1b_153] | [IS-FIREABLE [FF1b_152] | [IS-FIREABLE [FF1b_155] | [IS-FIREABLE [FF1b_154] | [IS-FIREABLE [FF1b_157] | [IS-FIREABLE [FF1b_156] | [IS-FIREABLE [FF1b_158] | [IS-FIREABLE [FF1b_159] | [IS-FIREABLE [FF1b_160] | [IS-FIREABLE [FF1b_161] | [IS-FIREABLE [FF1b_162] | [IS-FIREABLE [FF1b_163] | [IS-FIREABLE [FF1b_164] | [IS-FIREABLE [FF1b_165] | [IS-FIREABLE [FF1b_166] | [IS-FIREABLE [FF1b_167] | [IS-FIREABLE [FF1b_168] | [IS-FIREABLE [FF1b_169] | [IS-FIREABLE [FF1b_170] | [IS-FIREABLE [FF1b_171] | [IS-FIREABLE [FF1b_172] | [IS-FIREABLE [FF1b_173] | [IS-FIREABLE [FF1b_11] | [IS-FIREABLE [FF1b_10] | [IS-FIREABLE [FF1b_13] | [IS-FIREABLE [FF1b_12] | [IS-FIREABLE [FF1b_7] | [IS-FIREABLE [FF1b_6] | [IS-FIREABLE [FF1b_9] | [IS-FIREABLE [FF1b_8] | [IS-FIREABLE [FF1b_3] | [IS-FIREABLE [FF1b_2] | [IS-FIREABLE [FF1b_5] | [IS-FIREABLE [FF1b_4] | [IS-FIREABLE [FF1b_1] | [IS-FIREABLE [FF1b_71] | [IS-FIREABLE [FF1b_70] | [IS-FIREABLE [FF1b_73] | [IS-FIREABLE [FF1b_72] | [IS-FIREABLE [FF1b_75] | [IS-FIREABLE [FF1b_74] | [IS-FIREABLE [FF1b_77] | [IS-FIREABLE [FF1b_76] | [IS-FIREABLE [FF1b_63] | [IS-FIREABLE [FF1b_62] | [IS-FIREABLE [FF1b_65] | [IS-FIREABLE [FF1b_64] | [IS-FIREABLE [FF1b_67] | [IS-FIREABLE [FF1b_66] | [IS-FIREABLE [FF1b_69] | [IS-FIREABLE [FF1b_68] | [IS-FIREABLE [FF1b_54] | [IS-FIREABLE [FF1b_55] | [IS-FIREABLE [FF1b_56] | [IS-FIREABLE [FF1b_57] | [IS-FIREABLE [FF1b_58] | [IS-FIREABLE [FF1b_59] | [IS-FIREABLE [FF1b_60] | [IS-FIREABLE [FF1b_61] | [IS-FIREABLE [FF1b_46] | [IS-FIREABLE [FF1b_47] | [IS-FIREABLE [FF1b_48] | [IS-FIREABLE [FF1b_49] | [IS-FIREABLE [FF1b_50] | [IS-FIREABLE [FF1b_51] | [IS-FIREABLE [FF1b_52] | [IS-FIREABLE [FF1b_53] | [IS-FIREABLE [FF1b_41] | [IS-FIREABLE [FF1b_40] | [IS-FIREABLE [FF1b_39] | [IS-FIREABLE [FF1b_38] | [IS-FIREABLE [FF1b_45] | [IS-FIREABLE [FF1b_44] | [IS-FIREABLE [FF1b_43] | [IS-FIREABLE [FF1b_42] | [IS-FIREABLE [FF1b_33] | [IS-FIREABLE [FF1b_32] | [IS-FIREABLE [FF1b_31] | [IS-FIREABLE [FF1b_30] | [IS-FIREABLE [FF1b_37] | [IS-FIREABLE [FF1b_36] | [IS-FIREABLE [FF1b_35] | [IS-FIREABLE [FF1b_34] | [IS-FIREABLE [FF1b_24] | [IS-FIREABLE [FF1b_25] | [IS-FIREABLE [FF1b_22] | [IS-FIREABLE [FF1b_23] | [IS-FIREABLE [FF1b_28] | [IS-FIREABLE [FF1b_29] | [IS-FIREABLE [FF1b_26] | [IS-FIREABLE [FF1b_27] | [IS-FIREABLE [FF1b_16] | [IS-FIREABLE [FF1b_17] | [IS-FIREABLE [FF1b_14] | [IS-FIREABLE [FF1b_15] | [IS-FIREABLE [FF1b_20] | [IS-FIREABLE [FF1b_21] | [IS-FIREABLE [FF1b_18] | IS-FIREABLE [FF1b_19]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS-FIREABLE [FF2a_152] | [IS-FIREABLE [FF2a_153] | [IS-FIREABLE [FF2a_150] | [IS-FIREABLE [FF2a_151] | [IS-FIREABLE [FF2a_156] | [IS-FIREABLE [FF2a_157] | [IS-FIREABLE [FF2a_154] | [IS-FIREABLE [FF2a_155] | [IS-FIREABLE [FF2a_160] | [IS-FIREABLE [FF2a_161] | [IS-FIREABLE [FF2a_158] | [IS-FIREABLE [FF2a_159] | [IS-FIREABLE [FF2a_164] | [IS-FIREABLE [FF2a_165] | [IS-FIREABLE [FF2a_162] | [IS-FIREABLE [FF2a_163] | [IS-FIREABLE [FF2a_137] | [IS-FIREABLE [FF2a_136] | [IS-FIREABLE [FF2a_135] | [IS-FIREABLE [FF2a_134] | [IS-FIREABLE [FF2a_141] | [IS-FIREABLE [FF2a_140] | [IS-FIREABLE [FF2a_139] | [IS-FIREABLE [FF2a_138] | [IS-FIREABLE [FF2a_145] | [IS-FIREABLE [FF2a_144] | [IS-FIREABLE [FF2a_143] | [IS-FIREABLE [FF2a_142] | [IS-FIREABLE [FF2a_149] | [IS-FIREABLE [FF2a_148] | [IS-FIREABLE [FF2a_147] | [IS-FIREABLE [FF2a_146] | [IS-FIREABLE [FF2a_182] | [IS-FIREABLE [FF2a_183] | [IS-FIREABLE [FF2a_184] | [IS-FIREABLE [FF2a_185] | [IS-FIREABLE [FF2a_186] | [IS-FIREABLE [FF2a_187] | [IS-FIREABLE [FF2a_188] | [IS-FIREABLE [FF2a_189] | [IS-FIREABLE [FF2a_190] | [IS-FIREABLE [FF2a_191] | [IS-FIREABLE [FF2a_192] | [IS-FIREABLE [FF2a_193] | [IS-FIREABLE [FF2a_194] | [IS-FIREABLE [FF2a_195] | [IS-FIREABLE [FF2a_196] | [IS-FIREABLE [FF2a_197] | [IS-FIREABLE [FF2a_167] | [IS-FIREABLE [FF2a_166] | [IS-FIREABLE [FF2a_169] | [IS-FIREABLE [FF2a_168] | [IS-FIREABLE [FF2a_171] | [IS-FIREABLE [FF2a_170] | [IS-FIREABLE [FF2a_173] | [IS-FIREABLE [FF2a_172] | [IS-FIREABLE [FF2a_175] | [IS-FIREABLE [FF2a_174] | [IS-FIREABLE [FF2a_177] | [IS-FIREABLE [FF2a_176] | [IS-FIREABLE [FF2a_179] | [IS-FIREABLE [FF2a_178] | [IS-FIREABLE [FF2a_181] | [IS-FIREABLE [FF2a_180] | [IS-FIREABLE [FF2a_200] | [IS-FIREABLE [FF2a_199] | [IS-FIREABLE [FF2a_198] | [IS-FIREABLE [FF2a_52] | [IS-FIREABLE [FF2a_53] | [IS-FIREABLE [FF2a_50] | [IS-FIREABLE [FF2a_51] | [IS-FIREABLE [FF2a_48] | [IS-FIREABLE [FF2a_49] | [IS-FIREABLE [FF2a_46] | [IS-FIREABLE [FF2a_47] | [IS-FIREABLE [FF2a_44] | [IS-FIREABLE [FF2a_45] | [IS-FIREABLE [FF2a_42] | [IS-FIREABLE [FF2a_43] | [IS-FIREABLE [FF2a_40] | [IS-FIREABLE [FF2a_41] | [IS-FIREABLE [FF2a_38] | [IS-FIREABLE [FF2a_39] | [IS-FIREABLE [FF2a_69] | [IS-FIREABLE [FF2a_68] | [IS-FIREABLE [FF2a_67] | [IS-FIREABLE [FF2a_66] | [IS-FIREABLE [FF2a_65] | [IS-FIREABLE [FF2a_64] | [IS-FIREABLE [FF2a_63] | [IS-FIREABLE [FF2a_62] | [IS-FIREABLE [FF2a_61] | [IS-FIREABLE [FF2a_60] | [IS-FIREABLE [FF2a_59] | [IS-FIREABLE [FF2a_58] | [IS-FIREABLE [FF2a_57] | [IS-FIREABLE [FF2a_56] | [IS-FIREABLE [FF2a_55] | [IS-FIREABLE [FF2a_54] | [IS-FIREABLE [FF2a_18] | [IS-FIREABLE [FF2a_19] | [IS-FIREABLE [FF2a_20] | [IS-FIREABLE [FF2a_21] | [IS-FIREABLE [FF2a_14] | [IS-FIREABLE [FF2a_15] | [IS-FIREABLE [FF2a_16] | [IS-FIREABLE [FF2a_17] | [IS-FIREABLE [FF2a_10] | [IS-FIREABLE [FF2a_11] | [IS-FIREABLE [FF2a_12] | [IS-FIREABLE [FF2a_13] | [IS-FIREABLE [FF2a_6] | [IS-FIREABLE [FF2a_7] | [IS-FIREABLE [FF2a_8] | [IS-FIREABLE [FF2a_9] | [IS-FIREABLE [FF2a_35] | [IS-FIREABLE [FF2a_34] | [IS-FIREABLE [FF2a_37] | [IS-FIREABLE [FF2a_36] | [IS-FIREABLE [FF2a_31] | [IS-FIREABLE [FF2a_30] | [IS-FIREABLE [FF2a_33] | [IS-FIREABLE [FF2a_32] | [IS-FIREABLE [FF2a_27] | [IS-FIREABLE [FF2a_26] | [IS-FIREABLE [FF2a_29] | [IS-FIREABLE [FF2a_28] | [IS-FIREABLE [FF2a_23] | [IS-FIREABLE [FF2a_22] | [IS-FIREABLE [FF2a_25] | [IS-FIREABLE [FF2a_24] | [IS-FIREABLE [FF2a_112] | [IS-FIREABLE [FF2a_113] | [IS-FIREABLE [FF2a_110] | [IS-FIREABLE [FF2a_111] | [IS-FIREABLE [FF2a_116] | [IS-FIREABLE [FF2a_117] | [IS-FIREABLE [FF2a_114] | [IS-FIREABLE [FF2a_115] | [IS-FIREABLE [FF2a_104] | [IS-FIREABLE [FF2a_105] | [IS-FIREABLE [FF2a_102] | [IS-FIREABLE [FF2a_103] | [IS-FIREABLE [FF2a_108] | [IS-FIREABLE [FF2a_109] | [IS-FIREABLE [FF2a_106] | [IS-FIREABLE [FF2a_107] | [IS-FIREABLE [FF2a_129] | [IS-FIREABLE [FF2a_128] | [IS-FIREABLE [FF2a_127] | [IS-FIREABLE [FF2a_126] | [IS-FIREABLE [FF2a_133] | [IS-FIREABLE [FF2a_132] | [IS-FIREABLE [FF2a_131] | [IS-FIREABLE [FF2a_130] | [IS-FIREABLE [FF2a_121] | [IS-FIREABLE [FF2a_120] | [IS-FIREABLE [FF2a_119] | [IS-FIREABLE [FF2a_118] | [IS-FIREABLE [FF2a_125] | [IS-FIREABLE [FF2a_124] | [IS-FIREABLE [FF2a_123] | [IS-FIREABLE [FF2a_122] | [IS-FIREABLE [FF2a_78] | [IS-FIREABLE [FF2a_79] | [IS-FIREABLE [FF2a_80] | [IS-FIREABLE [FF2a_81] | [IS-FIREABLE [FF2a_82] | [IS-FIREABLE [FF2a_83] | [IS-FIREABLE [FF2a_84] | [IS-FIREABLE [FF2a_85] | [IS-FIREABLE [FF2a_70] | [IS-FIREABLE [FF2a_71] | [IS-FIREABLE [FF2a_72] | [IS-FIREABLE [FF2a_73] | [IS-FIREABLE [FF2a_74] | [IS-FIREABLE [FF2a_75] | [IS-FIREABLE [FF2a_76] | [IS-FIREABLE [FF2a_77] | [IS-FIREABLE [FF2a_95] | [IS-FIREABLE [FF2a_94] | [IS-FIREABLE [FF2a_97] | [IS-FIREABLE [FF2a_96] | [IS-FIREABLE [FF2a_99] | [IS-FIREABLE [FF2a_98] | [IS-FIREABLE [FF2a_101] | [IS-FIREABLE [FF2a_100] | [IS-FIREABLE [FF2a_87] | [IS-FIREABLE [FF2a_86] | [IS-FIREABLE [FF2a_89] | [IS-FIREABLE [FF2a_88] | [IS-FIREABLE [FF2a_91] | [IS-FIREABLE [FF2a_90] | [IS-FIREABLE [FF2a_93] | [IS-FIREABLE [FF2a_92] | [IS-FIREABLE [FF2a_1] | [IS-FIREABLE [FF2a_4] | [IS-FIREABLE [FF2a_5] | [IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

..
EG iterations: 2

before gc: list nodes free: 6457535

after gc: idd nodes used:34673, unused:63965327; list nodes free:285050153

before gc: list nodes free: 7145975

after gc: idd nodes used:32865, unused:63967135; list nodes free:285057980
-> the formula is TRUE

FORMULA Philosophers-COL-000200-CTLFireability-0 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 23m59sec

checking: A [EG [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]] | IS-FIREABLE [FF2a_5]] | IS-FIREABLE [FF2a_4]] | IS-FIREABLE [FF2a_1]] | IS-FIREABLE [FF2a_92]] | IS-FIREABLE [FF2a_93]] | IS-FIREABLE [FF2a_90]] | IS-FIREABLE [FF2a_91]] | IS-FIREABLE [FF2a_88]] | IS-FIREABLE [FF2a_89]] | IS-FIREABLE [FF2a_86]] | IS-FIREABLE [FF2a_87]] | IS-FIREABLE [FF2a_100]] | IS-FIREABLE [FF2a_101]] | IS-FIREABLE [FF2a_98]] | IS-FIREABLE [FF2a_99]] | IS-FIREABLE [FF2a_96]] | IS-FIREABLE [FF2a_97]] | IS-FIREABLE [FF2a_94]] | IS-FIREABLE [FF2a_95]] | IS-FIREABLE [FF2a_77]] | IS-FIREABLE [FF2a_76]] | IS-FIREABLE [FF2a_75]] | IS-FIREABLE [FF2a_74]] | IS-FIREABLE [FF2a_73]] | IS-FIREABLE [FF2a_72]] | IS-FIREABLE [FF2a_71]] | IS-FIREABLE [FF2a_70]] | IS-FIREABLE [FF2a_85]] | IS-FIREABLE [FF2a_84]] | IS-FIREABLE [FF2a_83]] | IS-FIREABLE [FF2a_82]] | IS-FIREABLE [FF2a_81]] | IS-FIREABLE [FF2a_80]] | IS-FIREABLE [FF2a_79]] | IS-FIREABLE [FF2a_78]] | IS-FIREABLE [FF2a_122]] | IS-FIREABLE [FF2a_123]] | IS-FIREABLE [FF2a_124]] | IS-FIREABLE [FF2a_125]] | IS-FIREABLE [FF2a_118]] | IS-FIREABLE [FF2a_119]] | IS-FIREABLE [FF2a_120]] | IS-FIREABLE [FF2a_121]] | IS-FIREABLE [FF2a_130]] | IS-FIREABLE [FF2a_131]] | IS-FIREABLE [FF2a_132]] | IS-FIREABLE [FF2a_133]] | IS-FIREABLE [FF2a_126]] | IS-FIREABLE [FF2a_127]] | IS-FIREABLE [FF2a_128]] | IS-FIREABLE [FF2a_129]] | IS-FIREABLE [FF2a_107]] | IS-FIREABLE [FF2a_106]] | IS-FIREABLE [FF2a_109]] | IS-FIREABLE [FF2a_108]] | IS-FIREABLE [FF2a_103]] | IS-FIREABLE [FF2a_102]] | IS-FIREABLE [FF2a_105]] | IS-FIREABLE [FF2a_104]] | IS-FIREABLE [FF2a_115]] | IS-FIREABLE [FF2a_114]] | IS-FIREABLE [FF2a_117]] | IS-FIREABLE [FF2a_116]] | IS-FIREABLE [FF2a_111]] | IS-FIREABLE [FF2a_110]] | IS-FIREABLE [FF2a_113]] | IS-FIREABLE [FF2a_112]] | IS-FIREABLE [FF2a_24]] | IS-FIREABLE [FF2a_25]] | IS-FIREABLE [FF2a_22]] | IS-FIREABLE [FF2a_23]] | IS-FIREABLE [FF2a_28]] | IS-FIREABLE [FF2a_29]] | IS-FIREABLE [FF2a_26]] | IS-FIREABLE [FF2a_27]] | IS-FIREABLE [FF2a_32]] | IS-FIREABLE [FF2a_33]] | IS-FIREABLE [FF2a_30]] | IS-FIREABLE [FF2a_31]] | IS-FIREABLE [FF2a_36]] | IS-FIREABLE [FF2a_37]] | IS-FIREABLE [FF2a_34]] | IS-FIREABLE [FF2a_35]] | IS-FIREABLE [FF2a_9]] | IS-FIREABLE [FF2a_8]] | IS-FIREABLE [FF2a_7]] | IS-FIREABLE [FF2a_6]] | IS-FIREABLE [FF2a_13]] | IS-FIREABLE [FF2a_12]] | IS-FIREABLE [FF2a_11]] | IS-FIREABLE [FF2a_10]] | IS-FIREABLE [FF2a_17]] | IS-FIREABLE [FF2a_16]] | IS-FIREABLE [FF2a_15]] | IS-FIREABLE [FF2a_14]] | IS-FIREABLE [FF2a_21]] | IS-FIREABLE [FF2a_20]] | IS-FIREABLE [FF2a_19]] | IS-FIREABLE [FF2a_18]] | IS-FIREABLE [FF2a_54]] | IS-FIREABLE [FF2a_55]] | IS-FIREABLE [FF2a_56]] | IS-FIREABLE [FF2a_57]] | IS-FIREABLE [FF2a_58]] | IS-FIREABLE [FF2a_59]] | IS-FIREABLE [FF2a_60]] | IS-FIREABLE [FF2a_61]] | IS-FIREABLE [FF2a_62]] | IS-FIREABLE [FF2a_63]] | IS-FIREABLE [FF2a_64]] | IS-FIREABLE [FF2a_65]] | IS-FIREABLE [FF2a_66]] | IS-FIREABLE [FF2a_67]] | IS-FIREABLE [FF2a_68]] | IS-FIREABLE [FF2a_69]] | IS-FIREABLE [FF2a_39]] | IS-FIREABLE [FF2a_38]] | IS-FIREABLE [FF2a_41]] | IS-FIREABLE [FF2a_40]] | IS-FIREABLE [FF2a_43]] | IS-FIREABLE [FF2a_42]] | IS-FIREABLE [FF2a_45]] | IS-FIREABLE [FF2a_44]] | IS-FIREABLE [FF2a_47]] | IS-FIREABLE [FF2a_46]] | IS-FIREABLE [FF2a_49]] | IS-FIREABLE [FF2a_48]] | IS-FIREABLE [FF2a_51]] | IS-FIREABLE [FF2a_50]] | IS-FIREABLE [FF2a_53]] | IS-FIREABLE [FF2a_52]] | IS-FIREABLE [FF2a_198]] | IS-FIREABLE [FF2a_199]] | IS-FIREABLE [FF2a_200]] | IS-FIREABLE [FF2a_180]] | IS-FIREABLE [FF2a_181]] | IS-FIREABLE [FF2a_178]] | IS-FIREABLE [FF2a_179]] | IS-FIREABLE [FF2a_176]] | IS-FIREABLE [FF2a_177]] | IS-FIREABLE [FF2a_174]] | IS-FIREABLE [FF2a_175]] | IS-FIREABLE [FF2a_172]] | IS-FIREABLE [FF2a_173]] | IS-FIREABLE [FF2a_170]] | IS-FIREABLE [FF2a_171]] | IS-FIREABLE [FF2a_168]] | IS-FIREABLE [FF2a_169]] | IS-FIREABLE [FF2a_166]] | IS-FIREABLE [FF2a_167]] | IS-FIREABLE [FF2a_197]] | IS-FIREABLE [FF2a_196]] | IS-FIREABLE [FF2a_195]] | IS-FIREABLE [FF2a_194]] | IS-FIREABLE [FF2a_193]] | IS-FIREABLE [FF2a_192]] | IS-FIREABLE [FF2a_191]] | IS-FIREABLE [FF2a_190]] | IS-FIREABLE [FF2a_189]] | IS-FIREABLE [FF2a_188]] | IS-FIREABLE [FF2a_187]] | IS-FIREABLE [FF2a_186]] | IS-FIREABLE [FF2a_185]] | IS-FIREABLE [FF2a_184]] | IS-FIREABLE [FF2a_183]] | IS-FIREABLE [FF2a_182]] | IS-FIREABLE [FF2a_146]] | IS-FIREABLE [FF2a_147]] | IS-FIREABLE [FF2a_148]] | IS-FIREABLE [FF2a_149]] | IS-FIREABLE [FF2a_142]] | IS-FIREABLE [FF2a_143]] | IS-FIREABLE [FF2a_144]] | IS-FIREABLE [FF2a_145]] | IS-FIREABLE [FF2a_138]] | IS-FIREABLE [FF2a_139]] | IS-FIREABLE [FF2a_140]] | IS-FIREABLE [FF2a_141]] | IS-FIREABLE [FF2a_134]] | IS-FIREABLE [FF2a_135]] | IS-FIREABLE [FF2a_136]] | IS-FIREABLE [FF2a_137]] | IS-FIREABLE [FF2a_163]] | IS-FIREABLE [FF2a_162]] | IS-FIREABLE [FF2a_165]] | IS-FIREABLE [FF2a_164]] | IS-FIREABLE [FF2a_159]] | IS-FIREABLE [FF2a_158]] | IS-FIREABLE [FF2a_161]] | IS-FIREABLE [FF2a_160]] | IS-FIREABLE [FF2a_155]] | IS-FIREABLE [FF2a_154]] | IS-FIREABLE [FF2a_157]] | IS-FIREABLE [FF2a_156]] | IS-FIREABLE [FF2a_151]] | IS-FIREABLE [FF2a_150]] | IS-FIREABLE [FF2a_153]] | IS-FIREABLE [FF2a_152]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF1a_14] | IS-FIREABLE [FF1a_15]] | IS-FIREABLE [FF1a_16]] | IS-FIREABLE [FF1a_17]] | IS-FIREABLE [FF1a_18]] | IS-FIREABLE [FF1a_19]] | IS-FIREABLE [FF1a_20]] | IS-FIREABLE [FF1a_21]] | IS-FIREABLE [FF1a_6]] | IS-FIREABLE [FF1a_7]] | IS-FIREABLE [FF1a_8]] | IS-FIREABLE [FF1a_9]] | IS-FIREABLE [FF1a_10]] | IS-FIREABLE [FF1a_11]] | IS-FIREABLE [FF1a_12]] | IS-FIREABLE [FF1a_13]] | IS-FIREABLE [FF1a_1]] | IS-FIREABLE [FF1a_3]] | IS-FIREABLE [FF1a_2]] | IS-FIREABLE [FF1a_5]] | IS-FIREABLE [FF1a_4]] | IS-FIREABLE [FF1a_98]] | IS-FIREABLE [FF1a_99]] | IS-FIREABLE [FF1a_100]] | IS-FIREABLE [FF1a_101]] | IS-FIREABLE [FF1a_94]] | IS-FIREABLE [FF1a_95]] | IS-FIREABLE [FF1a_96]] | IS-FIREABLE [FF1a_97]] | IS-FIREABLE [FF1a_90]] | IS-FIREABLE [FF1a_91]] | IS-FIREABLE [FF1a_92]] | IS-FIREABLE [FF1a_93]] | IS-FIREABLE [FF1a_86]] | IS-FIREABLE [FF1a_87]] | IS-FIREABLE [FF1a_88]] | IS-FIREABLE [FF1a_89]] | IS-FIREABLE [FF1a_115]] | IS-FIREABLE [FF1a_114]] | IS-FIREABLE [FF1a_117]] | IS-FIREABLE [FF1a_116]] | IS-FIREABLE [FF1a_111]] | IS-FIREABLE [FF1a_110]] | IS-FIREABLE [FF1a_113]] | IS-FIREABLE [FF1a_112]] | IS-FIREABLE [FF1a_107]] | IS-FIREABLE [FF1a_106]] | IS-FIREABLE [FF1a_109]] | IS-FIREABLE [FF1a_108]] | IS-FIREABLE [FF1a_103]] | IS-FIREABLE [FF1a_102]] | IS-FIREABLE [FF1a_105]] | IS-FIREABLE [FF1a_104]] | IS-FIREABLE [FF1a_132]] | IS-FIREABLE [FF1a_133]] | IS-FIREABLE [FF1a_130]] | IS-FIREABLE [FF1a_131]] | IS-FIREABLE [FF1a_128]] | IS-FIREABLE [FF1a_129]] | IS-FIREABLE [FF1a_126]] | IS-FIREABLE [FF1a_127]] | IS-FIREABLE [FF1a_124]] | IS-FIREABLE [FF1a_125]] | IS-FIREABLE [FF1a_122]] | IS-FIREABLE [FF1a_123]] | IS-FIREABLE [FF1a_120]] | IS-FIREABLE [FF1a_121]] | IS-FIREABLE [FF1a_118]] | IS-FIREABLE [FF1a_119]] | IS-FIREABLE [FF1a_149]] | IS-FIREABLE [FF1a_148]] | IS-FIREABLE [FF1a_147]] | IS-FIREABLE [FF1a_146]] | IS-FIREABLE [FF1a_145]] | IS-FIREABLE [FF1a_144]] | IS-FIREABLE [FF1a_143]] | IS-FIREABLE [FF1a_142]] | IS-FIREABLE [FF1a_141]] | IS-FIREABLE [FF1a_140]] | IS-FIREABLE [FF1a_139]] | IS-FIREABLE [FF1a_138]] | IS-FIREABLE [FF1a_137]] | IS-FIREABLE [FF1a_136]] | IS-FIREABLE [FF1a_135]] | IS-FIREABLE [FF1a_134]] | IS-FIREABLE [FF1a_30]] | IS-FIREABLE [FF1a_31]] | IS-FIREABLE [FF1a_32]] | IS-FIREABLE [FF1a_33]] | IS-FIREABLE [FF1a_34]] | IS-FIREABLE [FF1a_35]] | IS-FIREABLE [FF1a_36]] | IS-FIREABLE [FF1a_37]] | IS-FIREABLE [FF1a_22]] | IS-FIREABLE [FF1a_23]] | IS-FIREABLE [FF1a_24]] | IS-FIREABLE [FF1a_25]] | IS-FIREABLE [FF1a_26]] | IS-FIREABLE [FF1a_27]] | IS-FIREABLE [FF1a_28]] | IS-FIREABLE [FF1a_29]] | IS-FIREABLE [FF1a_47]] | IS-FIREABLE [FF1a_46]] | IS-FIREABLE [FF1a_49]] | IS-FIREABLE [FF1a_48]] | IS-FIREABLE [FF1a_51]] | IS-FIREABLE [FF1a_50]] | IS-FIREABLE [FF1a_53]] | IS-FIREABLE [FF1a_52]] | IS-FIREABLE [FF1a_39]] | IS-FIREABLE [FF1a_38]] | IS-FIREABLE [FF1a_41]] | IS-FIREABLE [FF1a_40]] | IS-FIREABLE [FF1a_43]] | IS-FIREABLE [FF1a_42]] | IS-FIREABLE [FF1a_45]] | IS-FIREABLE [FF1a_44]] | IS-FIREABLE [FF1a_64]] | IS-FIREABLE [FF1a_65]] | IS-FIREABLE [FF1a_62]] | IS-FIREABLE [FF1a_63]] | IS-FIREABLE [FF1a_68]] | IS-FIREABLE [FF1a_69]] | IS-FIREABLE [FF1a_66]] | IS-FIREABLE [FF1a_67]] | IS-FIREABLE [FF1a_56]] | IS-FIREABLE [FF1a_57]] | IS-FIREABLE [FF1a_54]] | IS-FIREABLE [FF1a_55]] | IS-FIREABLE [FF1a_60]] | IS-FIREABLE [FF1a_61]] | IS-FIREABLE [FF1a_58]] | IS-FIREABLE [FF1a_59]] | IS-FIREABLE [FF1a_81]] | IS-FIREABLE [FF1a_80]] | IS-FIREABLE [FF1a_79]] | IS-FIREABLE [FF1a_78]] | IS-FIREABLE [FF1a_85]] | IS-FIREABLE [FF1a_84]] | IS-FIREABLE [FF1a_83]] | IS-FIREABLE [FF1a_82]] | IS-FIREABLE [FF1a_73]] | IS-FIREABLE [FF1a_72]] | IS-FIREABLE [FF1a_71]] | IS-FIREABLE [FF1a_70]] | IS-FIREABLE [FF1a_77]] | IS-FIREABLE [FF1a_76]] | IS-FIREABLE [FF1a_75]] | IS-FIREABLE [FF1a_74]] | IS-FIREABLE [FF1a_151]] | IS-FIREABLE [FF1a_150]] | IS-FIREABLE [FF1a_153]] | IS-FIREABLE [FF1a_152]] | IS-FIREABLE [FF1a_155]] | IS-FIREABLE [FF1a_154]] | IS-FIREABLE [FF1a_157]] | IS-FIREABLE [FF1a_156]] | IS-FIREABLE [FF1a_159]] | IS-FIREABLE [FF1a_158]] | IS-FIREABLE [FF1a_161]] | IS-FIREABLE [FF1a_160]] | IS-FIREABLE [FF1a_163]] | IS-FIREABLE [FF1a_162]] | IS-FIREABLE [FF1a_165]] | IS-FIREABLE [FF1a_164]] | IS-FIREABLE [FF1a_166]] | IS-FIREABLE [FF1a_167]] | IS-FIREABLE [FF1a_168]] | IS-FIREABLE [FF1a_169]] | IS-FIREABLE [FF1a_170]] | IS-FIREABLE [FF1a_171]] | IS-FIREABLE [FF1a_172]] | IS-FIREABLE [FF1a_173]] | IS-FIREABLE [FF1a_174]] | IS-FIREABLE [FF1a_175]] | IS-FIREABLE [FF1a_176]] | IS-FIREABLE [FF1a_177]] | IS-FIREABLE [FF1a_178]] | IS-FIREABLE [FF1a_179]] | IS-FIREABLE [FF1a_180]] | IS-FIREABLE [FF1a_181]] | IS-FIREABLE [FF1a_185]] | IS-FIREABLE [FF1a_184]] | IS-FIREABLE [FF1a_183]] | IS-FIREABLE [FF1a_182]] | IS-FIREABLE [FF1a_189]] | IS-FIREABLE [FF1a_188]] | IS-FIREABLE [FF1a_187]] | IS-FIREABLE [FF1a_186]] | IS-FIREABLE [FF1a_193]] | IS-FIREABLE [FF1a_192]] | IS-FIREABLE [FF1a_191]] | IS-FIREABLE [FF1a_190]] | IS-FIREABLE [FF1a_197]] | IS-FIREABLE [FF1a_196]] | IS-FIREABLE [FF1a_195]] | IS-FIREABLE [FF1a_194]] | IS-FIREABLE [FF1a_200]] | IS-FIREABLE [FF1a_198]] | IS-FIREABLE [FF1a_199]]]] U ~ [AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]] | IS-FIREABLE [FF2a_5]] | IS-FIREABLE [FF2a_4]] | IS-FIREABLE [FF2a_1]] | IS-FIREABLE [FF2a_92]] | IS-FIREABLE [FF2a_93]] | IS-FIREABLE [FF2a_90]] | IS-FIREABLE [FF2a_91]] | IS-FIREABLE [FF2a_88]] | IS-FIREABLE [FF2a_89]] | IS-FIREABLE [FF2a_86]] | IS-FIREABLE [FF2a_87]] | IS-FIREABLE [FF2a_100]] | IS-FIREABLE [FF2a_101]] | IS-FIREABLE [FF2a_98]] | IS-FIREABLE [FF2a_99]] | IS-FIREABLE [FF2a_96]] | IS-FIREABLE [FF2a_97]] | IS-FIREABLE [FF2a_94]] | IS-FIREABLE [FF2a_95]] | IS-FIREABLE [FF2a_77]] | IS-FIREABLE [FF2a_76]] | IS-FIREABLE [FF2a_75]] | IS-FIREABLE [FF2a_74]] | IS-FIREABLE [FF2a_73]] | IS-FIREABLE [FF2a_72]] | IS-FIREABLE [FF2a_71]] | IS-FIREABLE [FF2a_70]] | IS-FIREABLE [FF2a_85]] | IS-FIREABLE [FF2a_84]] | IS-FIREABLE [FF2a_83]] | IS-FIREABLE [FF2a_82]] | IS-FIREABLE [FF2a_81]] | IS-FIREABLE [FF2a_80]] | IS-FIREABLE [FF2a_79]] | IS-FIREABLE [FF2a_78]] | IS-FIREABLE [FF2a_122]] | IS-FIREABLE [FF2a_123]] | IS-FIREABLE [FF2a_124]] | IS-FIREABLE [FF2a_125]] | IS-FIREABLE [FF2a_118]] | IS-FIREABLE [FF2a_119]] | IS-FIREABLE [FF2a_120]] | IS-FIREABLE [FF2a_121]] | IS-FIREABLE [FF2a_130]] | IS-FIREABLE [FF2a_131]] | IS-FIREABLE [FF2a_132]] | IS-FIREABLE [FF2a_133]] | IS-FIREABLE [FF2a_126]] | IS-FIREABLE [FF2a_127]] | IS-FIREABLE [FF2a_128]] | IS-FIREABLE [FF2a_129]] | IS-FIREABLE [FF2a_107]] | IS-FIREABLE [FF2a_106]] | IS-FIREABLE [FF2a_109]] | IS-FIREABLE [FF2a_108]] | IS-FIREABLE [FF2a_103]] | IS-FIREABLE [FF2a_102]] | IS-FIREABLE [FF2a_105]] | IS-FIREABLE [FF2a_104]] | IS-FIREABLE [FF2a_115]] | IS-FIREABLE [FF2a_114]] | IS-FIREABLE [FF2a_117]] | IS-FIREABLE [FF2a_116]] | IS-FIREABLE [FF2a_111]] | IS-FIREABLE [FF2a_110]] | IS-FIREABLE [FF2a_113]] | IS-FIREABLE [FF2a_112]] | IS-FIREABLE [FF2a_24]] | IS-FIREABLE [FF2a_25]] | IS-FIREABLE [FF2a_22]] | IS-FIREABLE [FF2a_23]] | IS-FIREABLE [FF2a_28]] | IS-FIREABLE [FF2a_29]] | IS-FIREABLE [FF2a_26]] | IS-FIREABLE [FF2a_27]] | IS-FIREABLE [FF2a_32]] | IS-FIREABLE [FF2a_33]] | IS-FIREABLE [FF2a_30]] | IS-FIREABLE [FF2a_31]] | IS-FIREABLE [FF2a_36]] | IS-FIREABLE [FF2a_37]] | IS-FIREABLE [FF2a_34]] | IS-FIREABLE [FF2a_35]] | IS-FIREABLE [FF2a_9]] | IS-FIREABLE [FF2a_8]] | IS-FIREABLE [FF2a_7]] | IS-FIREABLE [FF2a_6]] | IS-FIREABLE [FF2a_13]] | IS-FIREABLE [FF2a_12]] | IS-FIREABLE [FF2a_11]] | IS-FIREABLE [FF2a_10]] | IS-FIREABLE [FF2a_17]] | IS-FIREABLE [FF2a_16]] | IS-FIREABLE [FF2a_15]] | IS-FIREABLE [FF2a_14]] | IS-FIREABLE [FF2a_21]] | IS-FIREABLE [FF2a_20]] | IS-FIREABLE [FF2a_19]] | IS-FIREABLE [FF2a_18]] | IS-FIREABLE [FF2a_54]] | IS-FIREABLE [FF2a_55]] | IS-FIREABLE [FF2a_56]] | IS-FIREABLE [FF2a_57]] | IS-FIREABLE [FF2a_58]] | IS-FIREABLE [FF2a_59]] | IS-FIREABLE [FF2a_60]] | IS-FIREABLE [FF2a_61]] | IS-FIREABLE [FF2a_62]] | IS-FIREABLE [FF2a_63]] | IS-FIREABLE [FF2a_64]] | IS-FIREABLE [FF2a_65]] | IS-FIREABLE [FF2a_66]] | IS-FIREABLE [FF2a_67]] | IS-FIREABLE [FF2a_68]] | IS-FIREABLE [FF2a_69]] | IS-FIREABLE [FF2a_39]] | IS-FIREABLE [FF2a_38]] | IS-FIREABLE [FF2a_41]] | IS-FIREABLE [FF2a_40]] | IS-FIREABLE [FF2a_43]] | IS-FIREABLE [FF2a_42]] | IS-FIREABLE [FF2a_45]] | IS-FIREABLE [FF2a_44]] | IS-FIREABLE [FF2a_47]] | IS-FIREABLE [FF2a_46]] | IS-FIREABLE [FF2a_49]] | IS-FIREABLE [FF2a_48]] | IS-FIREABLE [FF2a_51]] | IS-FIREABLE [FF2a_50]] | IS-FIREABLE [FF2a_53]] | IS-FIREABLE [FF2a_52]] | IS-FIREABLE [FF2a_198]] | IS-FIREABLE [FF2a_199]] | IS-FIREABLE [FF2a_200]] | IS-FIREABLE [FF2a_180]] | IS-FIREABLE [FF2a_181]] | IS-FIREABLE [FF2a_178]] | IS-FIREABLE [FF2a_179]] | IS-FIREABLE [FF2a_176]] | IS-FIREABLE [FF2a_177]] | IS-FIREABLE [FF2a_174]] | IS-FIREABLE [FF2a_175]] | IS-FIREABLE [FF2a_172]] | IS-FIREABLE [FF2a_173]] | IS-FIREABLE [FF2a_170]] | IS-FIREABLE [FF2a_171]] | IS-FIREABLE [FF2a_168]] | IS-FIREABLE [FF2a_169]] | IS-FIREABLE [FF2a_166]] | IS-FIREABLE [FF2a_167]] | IS-FIREABLE [FF2a_197]] | IS-FIREABLE [FF2a_196]] | IS-FIREABLE [FF2a_195]] | IS-FIREABLE [FF2a_194]] | IS-FIREABLE [FF2a_193]] | IS-FIREABLE [FF2a_192]] | IS-FIREABLE [FF2a_191]] | IS-FIREABLE [FF2a_190]] | IS-FIREABLE [FF2a_189]] | IS-FIREABLE [FF2a_188]] | IS-FIREABLE [FF2a_187]] | IS-FIREABLE [FF2a_186]] | IS-FIREABLE [FF2a_185]] | IS-FIREABLE [FF2a_184]] | IS-FIREABLE [FF2a_183]] | IS-FIREABLE [FF2a_182]] | IS-FIREABLE [FF2a_146]] | IS-FIREABLE [FF2a_147]] | IS-FIREABLE [FF2a_148]] | IS-FIREABLE [FF2a_149]] | IS-FIREABLE [FF2a_142]] | IS-FIREABLE [FF2a_143]] | IS-FIREABLE [FF2a_144]] | IS-FIREABLE [FF2a_145]] | IS-FIREABLE [FF2a_138]] | IS-FIREABLE [FF2a_139]] | IS-FIREABLE [FF2a_140]] | IS-FIREABLE [FF2a_141]] | IS-FIREABLE [FF2a_134]] | IS-FIREABLE [FF2a_135]] | IS-FIREABLE [FF2a_136]] | IS-FIREABLE [FF2a_137]] | IS-FIREABLE [FF2a_163]] | IS-FIREABLE [FF2a_162]] | IS-FIREABLE [FF2a_165]] | IS-FIREABLE [FF2a_164]] | IS-FIREABLE [FF2a_159]] | IS-FIREABLE [FF2a_158]] | IS-FIREABLE [FF2a_161]] | IS-FIREABLE [FF2a_160]] | IS-FIREABLE [FF2a_155]] | IS-FIREABLE [FF2a_154]] | IS-FIREABLE [FF2a_157]] | IS-FIREABLE [FF2a_156]] | IS-FIREABLE [FF2a_151]] | IS-FIREABLE [FF2a_150]] | IS-FIREABLE [FF2a_153]] | IS-FIREABLE [FF2a_152]]]]]
normalized: [~ [EG [~ [EG [~ [[IS-FIREABLE [FF2a_152] | [IS-FIREABLE [FF2a_153] | [IS-FIREABLE [FF2a_150] | [IS-FIREABLE [FF2a_151] | [IS-FIREABLE [FF2a_156] | [IS-FIREABLE [FF2a_157] | [IS-FIREABLE [FF2a_154] | [IS-FIREABLE [FF2a_155] | [IS-FIREABLE [FF2a_160] | [IS-FIREABLE [FF2a_161] | [IS-FIREABLE [FF2a_158] | [IS-FIREABLE [FF2a_159] | [IS-FIREABLE [FF2a_164] | [IS-FIREABLE [FF2a_165] | [IS-FIREABLE [FF2a_162] | [IS-FIREABLE [FF2a_163] | [IS-FIREABLE [FF2a_137] | [IS-FIREABLE [FF2a_136] | [IS-FIREABLE [FF2a_135] | [IS-FIREABLE [FF2a_134] | [IS-FIREABLE [FF2a_141] | [IS-FIREABLE [FF2a_140] | [IS-FIREABLE [FF2a_139] | [IS-FIREABLE [FF2a_138] | [IS-FIREABLE [FF2a_145] | [IS-FIREABLE [FF2a_144] | [IS-FIREABLE [FF2a_143] | [IS-FIREABLE [FF2a_142] | [IS-FIREABLE [FF2a_149] | [IS-FIREABLE [FF2a_148] | [IS-FIREABLE [FF2a_147] | [IS-FIREABLE [FF2a_146] | [IS-FIREABLE [FF2a_182] | [IS-FIREABLE [FF2a_183] | [IS-FIREABLE [FF2a_184] | [IS-FIREABLE [FF2a_185] | [IS-FIREABLE [FF2a_186] | [IS-FIREABLE [FF2a_187] | [IS-FIREABLE [FF2a_188] | [IS-FIREABLE [FF2a_189] | [IS-FIREABLE [FF2a_190] | [IS-FIREABLE [FF2a_191] | [IS-FIREABLE [FF2a_192] | [IS-FIREABLE [FF2a_193] | [IS-FIREABLE [FF2a_194] | [IS-FIREABLE [FF2a_195] | [IS-FIREABLE [FF2a_196] | [IS-FIREABLE [FF2a_197] | [IS-FIREABLE [FF2a_167] | [IS-FIREABLE [FF2a_166] | [IS-FIREABLE [FF2a_169] | [IS-FIREABLE [FF2a_168] | [IS-FIREABLE [FF2a_171] | [IS-FIREABLE [FF2a_170] | [IS-FIREABLE [FF2a_173] | [IS-FIREABLE [FF2a_172] | [IS-FIREABLE [FF2a_175] | [IS-FIREABLE [FF2a_174] | [IS-FIREABLE [FF2a_177] | [IS-FIREABLE [FF2a_176] | [IS-FIREABLE [FF2a_179] | [IS-FIREABLE [FF2a_178] | [IS-FIREABLE [FF2a_181] | [IS-FIREABLE [FF2a_180] | [IS-FIREABLE [FF2a_200] | [IS-FIREABLE [FF2a_199] | [IS-FIREABLE [FF2a_198] | [IS-FIREABLE [FF2a_52] | [IS-FIREABLE [FF2a_53] | [IS-FIREABLE [FF2a_50] | [IS-FIREABLE [FF2a_51] | [IS-FIREABLE [FF2a_48] | [IS-FIREABLE [FF2a_49] | [IS-FIREABLE [FF2a_46] | [IS-FIREABLE [FF2a_47] | [IS-FIREABLE [FF2a_44] | [IS-FIREABLE [FF2a_45] | [IS-FIREABLE [FF2a_42] | [IS-FIREABLE [FF2a_43] | [IS-FIREABLE [FF2a_40] | [IS-FIREABLE [FF2a_41] | [IS-FIREABLE [FF2a_38] | [IS-FIREABLE [FF2a_39] | [IS-FIREABLE [FF2a_69] | [IS-FIREABLE [FF2a_68] | [IS-FIREABLE [FF2a_67] | [IS-FIREABLE [FF2a_66] | [IS-FIREABLE [FF2a_65] | [IS-FIREABLE [FF2a_64] | [IS-FIREABLE [FF2a_63] | [IS-FIREABLE [FF2a_62] | [IS-FIREABLE [FF2a_61] | [IS-FIREABLE [FF2a_60] | [IS-FIREABLE [FF2a_59] | [IS-FIREABLE [FF2a_58] | [IS-FIREABLE [FF2a_57] | [IS-FIREABLE [FF2a_56] | [IS-FIREABLE [FF2a_55] | [IS-FIREABLE [FF2a_54] | [IS-FIREABLE [FF2a_18] | [IS-FIREABLE [FF2a_19] | [IS-FIREABLE [FF2a_20] | [IS-FIREABLE [FF2a_21] | [IS-FIREABLE [FF2a_14] | [IS-FIREABLE [FF2a_15] | [IS-FIREABLE [FF2a_16] | [IS-FIREABLE [FF2a_17] | [IS-FIREABLE [FF2a_10] | [IS-FIREABLE [FF2a_11] | [IS-FIREABLE [FF2a_12] | [IS-FIREABLE [FF2a_13] | [IS-FIREABLE [FF2a_6] | [IS-FIREABLE [FF2a_7] | [IS-FIREABLE [FF2a_8] | [IS-FIREABLE [FF2a_9] | [IS-FIREABLE [FF2a_35] | [IS-FIREABLE [FF2a_34] | [IS-FIREABLE [FF2a_37] | [IS-FIREABLE [FF2a_36] | [IS-FIREABLE [FF2a_31] | [IS-FIREABLE [FF2a_30] | [IS-FIREABLE [FF2a_33] | [IS-FIREABLE [FF2a_32] | [IS-FIREABLE [FF2a_27] | [IS-FIREABLE [FF2a_26] | [IS-FIREABLE [FF2a_29] | [IS-FIREABLE [FF2a_28] | [IS-FIREABLE [FF2a_23] | [IS-FIREABLE [FF2a_22] | [IS-FIREABLE [FF2a_25] | [IS-FIREABLE [FF2a_24] | [IS-FIREABLE [FF2a_112] | [IS-FIREABLE [FF2a_113] | [IS-FIREABLE [FF2a_110] | [IS-FIREABLE [FF2a_111] | [IS-FIREABLE [FF2a_116] | [IS-FIREABLE [FF2a_117] | [IS-FIREABLE [FF2a_114] | [IS-FIREABLE [FF2a_115] | [IS-FIREABLE [FF2a_104] | [IS-FIREABLE [FF2a_105] | [IS-FIREABLE [FF2a_102] | [IS-FIREABLE [FF2a_103] | [IS-FIREABLE [FF2a_108] | [IS-FIREABLE [FF2a_109] | [IS-FIREABLE [FF2a_106] | [IS-FIREABLE [FF2a_107] | [IS-FIREABLE [FF2a_129] | [IS-FIREABLE [FF2a_128] | [IS-FIREABLE [FF2a_127] | [IS-FIREABLE [FF2a_126] | [IS-FIREABLE [FF2a_133] | [IS-FIREABLE [FF2a_132] | [IS-FIREABLE [FF2a_131] | [IS-FIREABLE [FF2a_130] | [IS-FIREABLE [FF2a_121] | [IS-FIREABLE [FF2a_120] | [IS-FIREABLE [FF2a_119] | [IS-FIREABLE [FF2a_118] | [IS-FIREABLE [FF2a_125] | [IS-FIREABLE [FF2a_124] | [IS-FIREABLE [FF2a_123] | [IS-FIREABLE [FF2a_122] | [IS-FIREABLE [FF2a_78] | [IS-FIREABLE [FF2a_79] | [IS-FIREABLE [FF2a_80] | [IS-FIREABLE [FF2a_81] | [IS-FIREABLE [FF2a_82] | [IS-FIREABLE [FF2a_83] | [IS-FIREABLE [FF2a_84] | [IS-FIREABLE [FF2a_85] | [IS-FIREABLE [FF2a_70] | [IS-FIREABLE [FF2a_71] | [IS-FIREABLE [FF2a_72] | [IS-FIREABLE [FF2a_73] | [IS-FIREABLE [FF2a_74] | [IS-FIREABLE [FF2a_75] | [IS-FIREABLE [FF2a_76] | [IS-FIREABLE [FF2a_77] | [IS-FIREABLE [FF2a_95] | [IS-FIREABLE [FF2a_94] | [IS-FIREABLE [FF2a_97] | [IS-FIREABLE [FF2a_96] | [IS-FIREABLE [FF2a_99] | [IS-FIREABLE [FF2a_98] | [IS-FIREABLE [FF2a_101] | [IS-FIREABLE [FF2a_100] | [IS-FIREABLE [FF2a_87] | [IS-FIREABLE [FF2a_86] | [IS-FIREABLE [FF2a_89] | [IS-FIREABLE [FF2a_88] | [IS-FIREABLE [FF2a_91] | [IS-FIREABLE [FF2a_90] | [IS-FIREABLE [FF2a_93] | [IS-FIREABLE [FF2a_92] | [IS-FIREABLE [FF2a_1] | [IS-FIREABLE [FF2a_4] | [IS-FIREABLE [FF2a_5] | [IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & ~ [E [~ [EG [[[IS-FIREABLE [FF2a_152] | [IS-FIREABLE [FF2a_153] | [IS-FIREABLE [FF2a_150] | [IS-FIREABLE [FF2a_151] | [IS-FIREABLE [FF2a_156] | [IS-FIREABLE [FF2a_157] | [IS-FIREABLE [FF2a_154] | [IS-FIREABLE [FF2a_155] | [IS-FIREABLE [FF2a_160] | [IS-FIREABLE [FF2a_161] | [IS-FIREABLE [FF2a_158] | [IS-FIREABLE [FF2a_159] | [IS-FIREABLE [FF2a_164] | [IS-FIREABLE [FF2a_165] | [IS-FIREABLE [FF2a_162] | [IS-FIREABLE [FF2a_163] | [IS-FIREABLE [FF2a_137] | [IS-FIREABLE [FF2a_136] | [IS-FIREABLE [FF2a_135] | [IS-FIREABLE [FF2a_134] | [IS-FIREABLE [FF2a_141] | [IS-FIREABLE [FF2a_140] | [IS-FIREABLE [FF2a_139] | [IS-FIREABLE [FF2a_138] | [IS-FIREABLE [FF2a_145] | [IS-FIREABLE [FF2a_144] | [IS-FIREABLE [FF2a_143] | [IS-FIREABLE [FF2a_142] | [IS-FIREABLE [FF2a_149] | [IS-FIREABLE [FF2a_148] | [IS-FIREABLE [FF2a_147] | [IS-FIREABLE [FF2a_146] | [IS-FIREABLE [FF2a_182] | [IS-FIREABLE [FF2a_183] | [IS-FIREABLE [FF2a_184] | [IS-FIREABLE [FF2a_185] | [IS-FIREABLE [FF2a_186] | [IS-FIREABLE [FF2a_187] | [IS-FIREABLE [FF2a_188] | [IS-FIREABLE [FF2a_189] | [IS-FIREABLE [FF2a_190] | [IS-FIREABLE [FF2a_191] | [IS-FIREABLE [FF2a_192] | [IS-FIREABLE [FF2a_193] | [IS-FIREABLE [FF2a_194] | [IS-FIREABLE [FF2a_195] | [IS-FIREABLE [FF2a_196] | [IS-FIREABLE [FF2a_197] | [IS-FIREABLE [FF2a_167] | [IS-FIREABLE [FF2a_166] | [IS-FIREABLE [FF2a_169] | [IS-FIREABLE [FF2a_168] | [IS-FIREABLE [FF2a_171] | [IS-FIREABLE [FF2a_170] | [IS-FIREABLE [FF2a_173] | [IS-FIREABLE [FF2a_172] | [IS-FIREABLE [FF2a_175] | [IS-FIREABLE [FF2a_174] | [IS-FIREABLE [FF2a_177] | [IS-FIREABLE [FF2a_176] | [IS-FIREABLE [FF2a_179] | [IS-FIREABLE [FF2a_178] | [IS-FIREABLE [FF2a_181] | [IS-FIREABLE [FF2a_180] | [IS-FIREABLE [FF2a_200] | [IS-FIREABLE [FF2a_199] | [IS-FIREABLE [FF2a_198] | [IS-FIREABLE [FF2a_52] | [IS-FIREABLE [FF2a_53] | [IS-FIREABLE [FF2a_50] | [IS-FIREABLE [FF2a_51] | [IS-FIREABLE [FF2a_48] | [IS-FIREABLE [FF2a_49] | [IS-FIREABLE [FF2a_46] | [IS-FIREABLE [FF2a_47] | [IS-FIREABLE [FF2a_44] | [IS-FIREABLE [FF2a_45] | [IS-FIREABLE [FF2a_42] | [IS-FIREABLE [FF2a_43] | [IS-FIREABLE [FF2a_40] | [IS-FIREABLE [FF2a_41] | [IS-FIREABLE [FF2a_38] | [IS-FIREABLE [FF2a_39] | [IS-FIREABLE [FF2a_69] | [IS-FIREABLE [FF2a_68] | [IS-FIREABLE [FF2a_67] | [IS-FIREABLE [FF2a_66] | [IS-FIREABLE [FF2a_65] | [IS-FIREABLE [FF2a_64] | [IS-FIREABLE [FF2a_63] | [IS-FIREABLE [FF2a_62] | [IS-FIREABLE [FF2a_61] | [IS-FIREABLE [FF2a_60] | [IS-FIREABLE [FF2a_59] | [IS-FIREABLE [FF2a_58] | [IS-FIREABLE [FF2a_57] | [IS-FIREABLE [FF2a_56] | [IS-FIREABLE [FF2a_55] | [IS-FIREABLE [FF2a_54] | [IS-FIREABLE [FF2a_18] | [IS-FIREABLE [FF2a_19] | [IS-FIREABLE [FF2a_20] | [IS-FIREABLE [FF2a_21] | [IS-FIREABLE [FF2a_14] | [IS-FIREABLE [FF2a_15] | [IS-FIREABLE [FF2a_16] | [IS-FIREABLE [FF2a_17] | [IS-FIREABLE [FF2a_10] | [IS-FIREABLE [FF2a_11] | [IS-FIREABLE [FF2a_12] | [IS-FIREABLE [FF2a_13] | [IS-FIREABLE [FF2a_6] | [IS-FIREABLE [FF2a_7] | [IS-FIREABLE [FF2a_8] | [IS-FIREABLE [FF2a_9] | [IS-FIREABLE [FF2a_35] | [IS-FIREABLE [FF2a_34] | [IS-FIREABLE [FF2a_37] | [IS-FIREABLE [FF2a_36] | [IS-FIREABLE [FF2a_31] | [IS-FIREABLE [FF2a_30] | [IS-FIREABLE [FF2a_33] | [IS-FIREABLE [FF2a_32] | [IS-FIREABLE [FF2a_27] | [IS-FIREABLE [FF2a_26] | [IS-FIREABLE [FF2a_29] | [IS-FIREABLE [FF2a_28] | [IS-FIREABLE [FF2a_23] | [IS-FIREABLE [FF2a_22] | [IS-FIREABLE [FF2a_25] | [IS-FIREABLE [FF2a_24] | [IS-FIREABLE [FF2a_112] | [IS-FIREABLE [FF2a_113] | [IS-FIREABLE [FF2a_110] | [IS-FIREABLE [FF2a_111] | [IS-FIREABLE [FF2a_116] | [IS-FIREABLE [FF2a_117] | [IS-FIREABLE [FF2a_114] | [IS-FIREABLE [FF2a_115] | [IS-FIREABLE [FF2a_104] | [IS-FIREABLE [FF2a_105] | [IS-FIREABLE [FF2a_102] | [IS-FIREABLE [FF2a_103] | [IS-FIREABLE [FF2a_108] | [IS-FIREABLE [FF2a_109] | [IS-FIREABLE [FF2a_106] | [IS-FIREABLE [FF2a_107] | [IS-FIREABLE [FF2a_129] | [IS-FIREABLE [FF2a_128] | [IS-FIREABLE [FF2a_127] | [IS-FIREABLE [FF2a_126] | [IS-FIREABLE [FF2a_133] | [IS-FIREABLE [FF2a_132] | [IS-FIREABLE [FF2a_131] | [IS-FIREABLE [FF2a_130] | [IS-FIREABLE [FF2a_121] | [IS-FIREABLE [FF2a_120] | [IS-FIREABLE [FF2a_119] | [IS-FIREABLE [FF2a_118] | [IS-FIREABLE [FF2a_125] | [IS-FIREABLE [FF2a_124] | [IS-FIREABLE [FF2a_123] | [IS-FIREABLE [FF2a_122] | [IS-FIREABLE [FF2a_78] | [IS-FIREABLE [FF2a_79] | [IS-FIREABLE [FF2a_80] | [IS-FIREABLE [FF2a_81] | [IS-FIREABLE [FF2a_82] | [IS-FIREABLE [FF2a_83] | [IS-FIREABLE [FF2a_84] | [IS-FIREABLE [FF2a_85] | [IS-FIREABLE [FF2a_70] | [IS-FIREABLE [FF2a_71] | [IS-FIREABLE [FF2a_72] | [IS-FIREABLE [FF2a_73] | [IS-FIREABLE [FF2a_74] | [IS-FIREABLE [FF2a_75] | [IS-FIREABLE [FF2a_76] | [IS-FIREABLE [FF2a_77] | [IS-FIREABLE [FF2a_95] | [IS-FIREABLE [FF2a_94] | [IS-FIREABLE [FF2a_97] | [IS-FIREABLE [FF2a_96] | [IS-FIREABLE [FF2a_99] | [IS-FIREABLE [FF2a_98] | [IS-FIREABLE [FF2a_101] | [IS-FIREABLE [FF2a_100] | [IS-FIREABLE [FF2a_87] | [IS-FIREABLE [FF2a_86] | [IS-FIREABLE [FF2a_89] | [IS-FIREABLE [FF2a_88] | [IS-FIREABLE [FF2a_91] | [IS-FIREABLE [FF2a_90] | [IS-FIREABLE [FF2a_93] | [IS-FIREABLE [FF2a_92] | [IS-FIREABLE [FF2a_1] | [IS-FIREABLE [FF2a_4] | [IS-FIREABLE [FF2a_5] | [IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS-FIREABLE [FF1a_199] | [IS-FIREABLE [FF1a_198] | [IS-FIREABLE [FF1a_200] | [IS-FIREABLE [FF1a_194] | [IS-FIREABLE [FF1a_195] | [IS-FIREABLE [FF1a_196] | [IS-FIREABLE [FF1a_197] | [IS-FIREABLE [FF1a_190] | [IS-FIREABLE [FF1a_191] | [IS-FIREABLE [FF1a_192] | [IS-FIREABLE [FF1a_193] | [IS-FIREABLE [FF1a_186] | [IS-FIREABLE [FF1a_187] | [IS-FIREABLE [FF1a_188] | [IS-FIREABLE [FF1a_189] | [IS-FIREABLE [FF1a_182] | [IS-FIREABLE [FF1a_183] | [IS-FIREABLE [FF1a_184] | [IS-FIREABLE [FF1a_185] | [IS-FIREABLE [FF1a_181] | [IS-FIREABLE [FF1a_180] | [IS-FIREABLE [FF1a_179] | [IS-FIREABLE [FF1a_178] | [IS-FIREABLE [FF1a_177] | [IS-FIREABLE [FF1a_176] | [IS-FIREABLE [FF1a_175] | [IS-FIREABLE [FF1a_174] | [IS-FIREABLE [FF1a_173] | [IS-FIREABLE [FF1a_172] | [IS-FIREABLE [FF1a_171] | [IS-FIREABLE [FF1a_170] | [IS-FIREABLE [FF1a_169] | [IS-FIREABLE [FF1a_168] | [IS-FIREABLE [FF1a_167] | [IS-FIREABLE [FF1a_166] | [IS-FIREABLE [FF1a_164] | [IS-FIREABLE [FF1a_165] | [IS-FIREABLE [FF1a_162] | [IS-FIREABLE [FF1a_163] | [IS-FIREABLE [FF1a_160] | [IS-FIREABLE [FF1a_161] | [IS-FIREABLE [FF1a_158] | [IS-FIREABLE [FF1a_159] | [IS-FIREABLE [FF1a_156] | [IS-FIREABLE [FF1a_157] | [IS-FIREABLE [FF1a_154] | [IS-FIREABLE [FF1a_155] | [IS-FIREABLE [FF1a_152] | [IS-FIREABLE [FF1a_153] | [IS-FIREABLE [FF1a_150] | [IS-FIREABLE [FF1a_151] | [IS-FIREABLE [FF1a_74] | [IS-FIREABLE [FF1a_75] | [IS-FIREABLE [FF1a_76] | [IS-FIREABLE [FF1a_77] | [IS-FIREABLE [FF1a_70] | [IS-FIREABLE [FF1a_71] | [IS-FIREABLE [FF1a_72] | [IS-FIREABLE [FF1a_73] | [IS-FIREABLE [FF1a_82] | [IS-FIREABLE [FF1a_83] | [IS-FIREABLE [FF1a_84] | [IS-FIREABLE [FF1a_85] | [IS-FIREABLE [FF1a_78] | [IS-FIREABLE [FF1a_79] | [IS-FIREABLE [FF1a_80] | [IS-FIREABLE [FF1a_81] | [IS-FIREABLE [FF1a_59] | [IS-FIREABLE [FF1a_58] | [IS-FIREABLE [FF1a_61] | [IS-FIREABLE [FF1a_60] | [IS-FIREABLE [FF1a_55] | [IS-FIREABLE [FF1a_54] | [IS-FIREABLE [FF1a_57] | [IS-FIREABLE [FF1a_56] | [IS-FIREABLE [FF1a_67] | [IS-FIREABLE [FF1a_66] | [IS-FIREABLE [FF1a_69] | [IS-FIREABLE [FF1a_68] | [IS-FIREABLE [FF1a_63] | [IS-FIREABLE [FF1a_62] | [IS-FIREABLE [FF1a_65] | [IS-FIREABLE [FF1a_64] | [IS-FIREABLE [FF1a_44] | [IS-FIREABLE [FF1a_45] | [IS-FIREABLE [FF1a_42] | [IS-FIREABLE [FF1a_43] | [IS-FIREABLE [FF1a_40] | [IS-FIREABLE [FF1a_41] | [IS-FIREABLE [FF1a_38] | [IS-FIREABLE [FF1a_39] | [IS-FIREABLE [FF1a_52] | [IS-FIREABLE [FF1a_53] | [IS-FIREABLE [FF1a_50] | [IS-FIREABLE [FF1a_51] | [IS-FIREABLE [FF1a_48] | [IS-FIREABLE [FF1a_49] | [IS-FIREABLE [FF1a_46] | [IS-FIREABLE [FF1a_47] | [IS-FIREABLE [FF1a_29] | [IS-FIREABLE [FF1a_28] | [IS-FIREABLE [FF1a_27] | [IS-FIREABLE [FF1a_26] | [IS-FIREABLE [FF1a_25] | [IS-FIREABLE [FF1a_24] | [IS-FIREABLE [FF1a_23] | [IS-FIREABLE [FF1a_22] | [IS-FIREABLE [FF1a_37] | [IS-FIREABLE [FF1a_36] | [IS-FIREABLE [FF1a_35] | [IS-FIREABLE [FF1a_34] | [IS-FIREABLE [FF1a_33] | [IS-FIREABLE [FF1a_32] | [IS-FIREABLE [FF1a_31] | [IS-FIREABLE [FF1a_30] | [IS-FIREABLE [FF1a_134] | [IS-FIREABLE [FF1a_135] | [IS-FIREABLE [FF1a_136] | [IS-FIREABLE [FF1a_137] | [IS-FIREABLE [FF1a_138] | [IS-FIREABLE [FF1a_139] | [IS-FIREABLE [FF1a_140] | [IS-FIREABLE [FF1a_141] | [IS-FIREABLE [FF1a_142] | [IS-FIREABLE [FF1a_143] | [IS-FIREABLE [FF1a_144] | [IS-FIREABLE [FF1a_145] | [IS-FIREABLE [FF1a_146] | [IS-FIREABLE [FF1a_147] | [IS-FIREABLE [FF1a_148] | [IS-FIREABLE [FF1a_149] | [IS-FIREABLE [FF1a_119] | [IS-FIREABLE [FF1a_118] | [IS-FIREABLE [FF1a_121] | [IS-FIREABLE [FF1a_120] | [IS-FIREABLE [FF1a_123] | [IS-FIREABLE [FF1a_122] | [IS-FIREABLE [FF1a_125] | [IS-FIREABLE [FF1a_124] | [IS-FIREABLE [FF1a_127] | [IS-FIREABLE [FF1a_126] | [IS-FIREABLE [FF1a_129] | [IS-FIREABLE [FF1a_128] | [IS-FIREABLE [FF1a_131] | [IS-FIREABLE [FF1a_130] | [IS-FIREABLE [FF1a_133] | [IS-FIREABLE [FF1a_132] | [IS-FIREABLE [FF1a_104] | [IS-FIREABLE [FF1a_105] | [IS-FIREABLE [FF1a_102] | [IS-FIREABLE [FF1a_103] | [IS-FIREABLE [FF1a_108] | [IS-FIREABLE [FF1a_109] | [IS-FIREABLE [FF1a_106] | [IS-FIREABLE [FF1a_107] | [IS-FIREABLE [FF1a_112] | [IS-FIREABLE [FF1a_113] | [IS-FIREABLE [FF1a_110] | [IS-FIREABLE [FF1a_111] | [IS-FIREABLE [FF1a_116] | [IS-FIREABLE [FF1a_117] | [IS-FIREABLE [FF1a_114] | [IS-FIREABLE [FF1a_115] | [IS-FIREABLE [FF1a_89] | [IS-FIREABLE [FF1a_88] | [IS-FIREABLE [FF1a_87] | [IS-FIREABLE [FF1a_86] | [IS-FIREABLE [FF1a_93] | [IS-FIREABLE [FF1a_92] | [IS-FIREABLE [FF1a_91] | [IS-FIREABLE [FF1a_90] | [IS-FIREABLE [FF1a_97] | [IS-FIREABLE [FF1a_96] | [IS-FIREABLE [FF1a_95] | [IS-FIREABLE [FF1a_94] | [IS-FIREABLE [FF1a_101] | [IS-FIREABLE [FF1a_100] | [IS-FIREABLE [FF1a_99] | [IS-FIREABLE [FF1a_98] | [IS-FIREABLE [FF1a_4] | [IS-FIREABLE [FF1a_5] | [IS-FIREABLE [FF1a_2] | [IS-FIREABLE [FF1a_3] | [IS-FIREABLE [FF1a_1] | [IS-FIREABLE [FF1a_13] | [IS-FIREABLE [FF1a_12] | [IS-FIREABLE [FF1a_11] | [IS-FIREABLE [FF1a_10] | [IS-FIREABLE [FF1a_9] | [IS-FIREABLE [FF1a_8] | [IS-FIREABLE [FF1a_7] | [IS-FIREABLE [FF1a_6] | [IS-FIREABLE [FF1a_21] | [IS-FIREABLE [FF1a_20] | [IS-FIREABLE [FF1a_19] | [IS-FIREABLE [FF1a_18] | [IS-FIREABLE [FF1a_17] | [IS-FIREABLE [FF1a_16] | [IS-FIREABLE [FF1a_14] | IS-FIREABLE [FF1a_15]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U [~ [EG [[[IS-FIREABLE [FF2a_152] | [IS-FIREABLE [FF2a_153] | [IS-FIREABLE [FF2a_150] | [IS-FIREABLE [FF2a_151] | [IS-FIREABLE [FF2a_156] | [IS-FIREABLE [FF2a_157] | [IS-FIREABLE [FF2a_154] | [IS-FIREABLE [FF2a_155] | [IS-FIREABLE [FF2a_160] | [IS-FIREABLE [FF2a_161] | [IS-FIREABLE [FF2a_158] | [IS-FIREABLE [FF2a_159] | [IS-FIREABLE [FF2a_164] | [IS-FIREABLE [FF2a_165] | [IS-FIREABLE [FF2a_162] | [IS-FIREABLE [FF2a_163] | [IS-FIREABLE [FF2a_137] | [IS-FIREABLE [FF2a_136] | [IS-FIREABLE [FF2a_135] | [IS-FIREABLE [FF2a_134] | [IS-FIREABLE [FF2a_141] | [IS-FIREABLE [FF2a_140] | [IS-FIREABLE [FF2a_139] | [IS-FIREABLE [FF2a_138] | [IS-FIREABLE [FF2a_145] | [IS-FIREABLE [FF2a_144] | [IS-FIREABLE [FF2a_143] | [IS-FIREABLE [FF2a_142] | [IS-FIREABLE [FF2a_149] | [IS-FIREABLE [FF2a_148] | [IS-FIREABLE [FF2a_147] | [IS-FIREABLE [FF2a_146] | [IS-FIREABLE [FF2a_182] | [IS-FIREABLE [FF2a_183] | [IS-FIREABLE [FF2a_184] | [IS-FIREABLE [FF2a_185] | [IS-FIREABLE [FF2a_186] | [IS-FIREABLE [FF2a_187] | [IS-FIREABLE [FF2a_188] | [IS-FIREABLE [FF2a_189] | [IS-FIREABLE [FF2a_190] | [IS-FIREABLE [FF2a_191] | [IS-FIREABLE [FF2a_192] | [IS-FIREABLE [FF2a_193] | [IS-FIREABLE [FF2a_194] | [IS-FIREABLE [FF2a_195] | [IS-FIREABLE [FF2a_196] | [IS-FIREABLE [FF2a_197] | [IS-FIREABLE [FF2a_167] | [IS-FIREABLE [FF2a_166] | [IS-FIREABLE [FF2a_169] | [IS-FIREABLE [FF2a_168] | [IS-FIREABLE [FF2a_171] | [IS-FIREABLE [FF2a_170] | [IS-FIREABLE [FF2a_173] | [IS-FIREABLE [FF2a_172] | [IS-FIREABLE [FF2a_175] | [IS-FIREABLE [FF2a_174] | [IS-FIREABLE [FF2a_177] | [IS-FIREABLE [FF2a_176] | [IS-FIREABLE [FF2a_179] | [IS-FIREABLE [FF2a_178] | [IS-FIREABLE [FF2a_181] | [IS-FIREABLE [FF2a_180] | [IS-FIREABLE [FF2a_200] | [IS-FIREABLE [FF2a_199] | [IS-FIREABLE [FF2a_198] | [IS-FIREABLE [FF2a_52] | [IS-FIREABLE [FF2a_53] | [IS-FIREABLE [FF2a_50] | [IS-FIREABLE [FF2a_51] | [IS-FIREABLE [FF2a_48] | [IS-FIREABLE [FF2a_49] | [IS-FIREABLE [FF2a_46] | [IS-FIREABLE [FF2a_47] | [IS-FIREABLE [FF2a_44] | [IS-FIREABLE [FF2a_45] | [IS-FIREABLE [FF2a_42] | [IS-FIREABLE [FF2a_43] | [IS-FIREABLE [FF2a_40] | [IS-FIREABLE [FF2a_41] | [IS-FIREABLE [FF2a_38] | [IS-FIREABLE [FF2a_39] | [IS-FIREABLE [FF2a_69] | [IS-FIREABLE [FF2a_68] | [IS-FIREABLE [FF2a_67] | [IS-FIREABLE [FF2a_66] | [IS-FIREABLE [FF2a_65] | [IS-FIREABLE [FF2a_64] | [IS-FIREABLE [FF2a_63] | [IS-FIREABLE [FF2a_62] | [IS-FIREABLE [FF2a_61] | [IS-FIREABLE [FF2a_60] | [IS-FIREABLE [FF2a_59] | [IS-FIREABLE [FF2a_58] | [IS-FIREABLE [FF2a_57] | [IS-FIREABLE [FF2a_56] | [IS-FIREABLE [FF2a_55] | [IS-FIREABLE [FF2a_54] | [IS-FIREABLE [FF2a_18] | [IS-FIREABLE [FF2a_19] | [IS-FIREABLE [FF2a_20] | [IS-FIREABLE [FF2a_21] | [IS-FIREABLE [FF2a_14] | [IS-FIREABLE [FF2a_15] | [IS-FIREABLE [FF2a_16] | [IS-FIREABLE [FF2a_17] | [IS-FIREABLE [FF2a_10] | [IS-FIREABLE [FF2a_11] | [IS-FIREABLE [FF2a_12] | [IS-FIREABLE [FF2a_13] | [IS-FIREABLE [FF2a_6] | [IS-FIREABLE [FF2a_7] | [IS-FIREABLE [FF2a_8] | [IS-FIREABLE [FF2a_9] | [IS-FIREABLE [FF2a_35] | [IS-FIREABLE [FF2a_34] | [IS-FIREABLE [FF2a_37] | [IS-FIREABLE [FF2a_36] | [IS-FIREABLE [FF2a_31] | [IS-FIREABLE [FF2a_30] | [IS-FIREABLE [FF2a_33] | [IS-FIREABLE [FF2a_32] | [IS-FIREABLE [FF2a_27] | [IS-FIREABLE [FF2a_26] | [IS-FIREABLE [FF2a_29] | [IS-FIREABLE [FF2a_28] | [IS-FIREABLE [FF2a_23] | [IS-FIREABLE [FF2a_22] | [IS-FIREABLE [FF2a_25] | [IS-FIREABLE [FF2a_24] | [IS-FIREABLE [FF2a_112] | [IS-FIREABLE [FF2a_113] | [IS-FIREABLE [FF2a_110] | [IS-FIREABLE [FF2a_111] | [IS-FIREABLE [FF2a_116] | [IS-FIREABLE [FF2a_117] | [IS-FIREABLE [FF2a_114] | [IS-FIREABLE [FF2a_115] | [IS-FIREABLE [FF2a_104] | [IS-FIREABLE [FF2a_105] | [IS-FIREABLE [FF2a_102] | [IS-FIREABLE [FF2a_103] | [IS-FIREABLE [FF2a_108] | [IS-FIREABLE [FF2a_109] | [IS-FIREABLE [FF2a_106] | [IS-FIREABLE [FF2a_107] | [IS-FIREABLE [FF2a_129] | [IS-FIREABLE [FF2a_128] | [IS-FIREABLE [FF2a_127] | [IS-FIREABLE [FF2a_126] | [IS-FIREABLE [FF2a_133] | [IS-FIREABLE [FF2a_132] | [IS-FIREABLE [FF2a_131] | [IS-FIREABLE [FF2a_130] | [IS-FIREABLE [FF2a_121] | [IS-FIREABLE [FF2a_120] | [IS-FIREABLE [FF2a_119] | [IS-FIREABLE [FF2a_118] | [IS-FIREABLE [FF2a_125] | [IS-FIREABLE [FF2a_124] | [IS-FIREABLE [FF2a_123] | [IS-FIREABLE [FF2a_122] | [IS-FIREABLE [FF2a_78] | [IS-FIREABLE [FF2a_79] | [IS-FIREABLE [FF2a_80] | [IS-FIREABLE [FF2a_81] | [IS-FIREABLE [FF2a_82] | [IS-FIREABLE [FF2a_83] | [IS-FIREABLE [FF2a_84] | [IS-FIREABLE [FF2a_85] | [IS-FIREABLE [FF2a_70] | [IS-FIREABLE [FF2a_71] | [IS-FIREABLE [FF2a_72] | [IS-FIREABLE [FF2a_73] | [IS-FIREABLE [FF2a_74] | [IS-FIREABLE [FF2a_75] | [IS-FIREABLE [FF2a_76] | [IS-FIREABLE [FF2a_77] | [IS-FIREABLE [FF2a_95] | [IS-FIREABLE [FF2a_94] | [IS-FIREABLE [FF2a_97] | [IS-FIREABLE [FF2a_96] | [IS-FIREABLE [FF2a_99] | [IS-FIREABLE [FF2a_98] | [IS-FIREABLE [FF2a_101] | [IS-FIREABLE [FF2a_100] | [IS-FIREABLE [FF2a_87] | [IS-FIREABLE [FF2a_86] | [IS-FIREABLE [FF2a_89] | [IS-FIREABLE [FF2a_88] | [IS-FIREABLE [FF2a_91] | [IS-FIREABLE [FF2a_90] | [IS-FIREABLE [FF2a_93] | [IS-FIREABLE [FF2a_92] | [IS-FIREABLE [FF2a_1] | [IS-FIREABLE [FF2a_4] | [IS-FIREABLE [FF2a_5] | [IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS-FIREABLE [FF1a_199] | [IS-FIREABLE [FF1a_198] | [IS-FIREABLE [FF1a_200] | [IS-FIREABLE [FF1a_194] | [IS-FIREABLE [FF1a_195] | [IS-FIREABLE [FF1a_196] | [IS-FIREABLE [FF1a_197] | [IS-FIREABLE [FF1a_190] | [IS-FIREABLE [FF1a_191] | [IS-FIREABLE [FF1a_192] | [IS-FIREABLE [FF1a_193] | [IS-FIREABLE [FF1a_186] | [IS-FIREABLE [FF1a_187] | [IS-FIREABLE [FF1a_188] | [IS-FIREABLE [FF1a_189] | [IS-FIREABLE [FF1a_182] | [IS-FIREABLE [FF1a_183] | [IS-FIREABLE [FF1a_184] | [IS-FIREABLE [FF1a_185] | [IS-FIREABLE [FF1a_181] | [IS-FIREABLE [FF1a_180] | [IS-FIREABLE [FF1a_179] | [IS-FIREABLE [FF1a_178] | [IS-FIREABLE [FF1a_177] | [IS-FIREABLE [FF1a_176] | [IS-FIREABLE [FF1a_175] | [IS-FIREABLE [FF1a_174] | [IS-FIREABLE [FF1a_173] | [IS-FIREABLE [FF1a_172] | [IS-FIREABLE [FF1a_171] | [IS-FIREABLE [FF1a_170] | [IS-FIREABLE [FF1a_169] | [IS-FIREABLE [FF1a_168] | [IS-FIREABLE [FF1a_167] | [IS-FIREABLE [FF1a_166] | [IS-FIREABLE [FF1a_164] | [IS-FIREABLE [FF1a_165] | [IS-FIREABLE [FF1a_162] | [IS-FIREABLE [FF1a_163] | [IS-FIREABLE [FF1a_160] | [IS-FIREABLE [FF1a_161] | [IS-FIREABLE [FF1a_158] | [IS-FIREABLE [FF1a_159] | [IS-FIREABLE [FF1a_156] | [IS-FIREABLE [FF1a_157] | [IS-FIREABLE [FF1a_154] | [IS-FIREABLE [FF1a_155] | [IS-FIREABLE [FF1a_152] | [IS-FIREABLE [FF1a_153] | [IS-FIREABLE [FF1a_150] | [IS-FIREABLE [FF1a_151] | [IS-FIREABLE [FF1a_74] | [IS-FIREABLE [FF1a_75] | [IS-FIREABLE [FF1a_76] | [IS-FIREABLE [FF1a_77] | [IS-FIREABLE [FF1a_70] | [IS-FIREABLE [FF1a_71] | [IS-FIREABLE [FF1a_72] | [IS-FIREABLE [FF1a_73] | [IS-FIREABLE [FF1a_82] | [IS-FIREABLE [FF1a_83] | [IS-FIREABLE [FF1a_84] | [IS-FIREABLE [FF1a_85] | [IS-FIREABLE [FF1a_78] | [IS-FIREABLE [FF1a_79] | [IS-FIREABLE [FF1a_80] | [IS-FIREABLE [FF1a_81] | [IS-FIREABLE [FF1a_59] | [IS-FIREABLE [FF1a_58] | [IS-FIREABLE [FF1a_61] | [IS-FIREABLE [FF1a_60] | [IS-FIREABLE [FF1a_55] | [IS-FIREABLE [FF1a_54] | [IS-FIREABLE [FF1a_57] | [IS-FIREABLE [FF1a_56] | [IS-FIREABLE [FF1a_67] | [IS-FIREABLE [FF1a_66] | [IS-FIREABLE [FF1a_69] | [IS-FIREABLE [FF1a_68] | [IS-FIREABLE [FF1a_63] | [IS-FIREABLE [FF1a_62] | [IS-FIREABLE [FF1a_65] | [IS-FIREABLE [FF1a_64] | [IS-FIREABLE [FF1a_44] | [IS-FIREABLE [FF1a_45] | [IS-FIREABLE [FF1a_42] | [IS-FIREABLE [FF1a_43] | [IS-FIREABLE [FF1a_40] | [IS-FIREABLE [FF1a_41] | [IS-FIREABLE [FF1a_38] | [IS-FIREABLE [FF1a_39] | [IS-FIREABLE [FF1a_52] | [IS-FIREABLE [FF1a_53] | [IS-FIREABLE [FF1a_50] | [IS-FIREABLE [FF1a_51] | [IS-FIREABLE [FF1a_48] | [IS-FIREABLE [FF1a_49] | [IS-FIREABLE [FF1a_46] | [IS-FIREABLE [FF1a_47] | [IS-FIREABLE [FF1a_29] | [IS-FIREABLE [FF1a_28] | [IS-FIREABLE [FF1a_27] | [IS-FIREABLE [FF1a_26] | [IS-FIREABLE [FF1a_25] | [IS-FIREABLE [FF1a_24] | [IS-FIREABLE [FF1a_23] | [IS-FIREABLE [FF1a_22] | [IS-FIREABLE [FF1a_37] | [IS-FIREABLE [FF1a_36] | [IS-FIREABLE [FF1a_35] | [IS-FIREABLE [FF1a_34] | [IS-FIREABLE [FF1a_33] | [IS-FIREABLE [FF1a_32] | [IS-FIREABLE [FF1a_31] | [IS-FIREABLE [FF1a_30] | [IS-FIREABLE [FF1a_134] | [IS-FIREABLE [FF1a_135] | [IS-FIREABLE [FF1a_136] | [IS-FIREABLE [FF1a_137] | [IS-FIREABLE [FF1a_138] | [IS-FIREABLE [FF1a_139] | [IS-FIREABLE [FF1a_140] | [IS-FIREABLE [FF1a_141] | [IS-FIREABLE [FF1a_142] | [IS-FIREABLE [FF1a_143] | [IS-FIREABLE [FF1a_144] | [IS-FIREABLE [FF1a_145] | [IS-FIREABLE [FF1a_146] | [IS-FIREABLE [FF1a_147] | [IS-FIREABLE [FF1a_148] | [IS-FIREABLE [FF1a_149] | [IS-FIREABLE [FF1a_119] | [IS-FIREABLE [FF1a_118] | [IS-FIREABLE [FF1a_121] | [IS-FIREABLE [FF1a_120] | [IS-FIREABLE [FF1a_123] | [IS-FIREABLE [FF1a_122] | [IS-FIREABLE [FF1a_125] | [IS-FIREABLE [FF1a_124] | [IS-FIREABLE [FF1a_127] | [IS-FIREABLE [FF1a_126] | [IS-FIREABLE [FF1a_129] | [IS-FIREABLE [FF1a_128] | [IS-FIREABLE [FF1a_131] | [IS-FIREABLE [FF1a_130] | [IS-FIREABLE [FF1a_133] | [IS-FIREABLE [FF1a_132] | [IS-FIREABLE [FF1a_104] | [IS-FIREABLE [FF1a_105] | [IS-FIREABLE [FF1a_102] | [IS-FIREABLE [FF1a_103] | [IS-FIREABLE [FF1a_108] | [IS-FIREABLE [FF1a_109] | [IS-FIREABLE [FF1a_106] | [IS-FIREABLE [FF1a_107] | [IS-FIREABLE [FF1a_112] | [IS-FIREABLE [FF1a_113] | [IS-FIREABLE [FF1a_110] | [IS-FIREABLE [FF1a_111] | [IS-FIREABLE [FF1a_116] | [IS-FIREABLE [FF1a_117] | [IS-FIREABLE [FF1a_114] | [IS-FIREABLE [FF1a_115] | [IS-FIREABLE [FF1a_89] | [IS-FIREABLE [FF1a_88] | [IS-FIREABLE [FF1a_87] | [IS-FIREABLE [FF1a_86] | [IS-FIREABLE [FF1a_93] | [IS-FIREABLE [FF1a_92] | [IS-FIREABLE [FF1a_91] | [IS-FIREABLE [FF1a_90] | [IS-FIREABLE [FF1a_97] | [IS-FIREABLE [FF1a_96] | [IS-FIREABLE [FF1a_95] | [IS-FIREABLE [FF1a_94] | [IS-FIREABLE [FF1a_101] | [IS-FIREABLE [FF1a_100] | [IS-FIREABLE [FF1a_99] | [IS-FIREABLE [FF1a_98] | [IS-FIREABLE [FF1a_4] | [IS-FIREABLE [FF1a_5] | [IS-FIREABLE [FF1a_2] | [IS-FIREABLE [FF1a_3] | [IS-FIREABLE [FF1a_1] | [IS-FIREABLE [FF1a_13] | [IS-FIREABLE [FF1a_12] | [IS-FIREABLE [FF1a_11] | [IS-FIREABLE [FF1a_10] | [IS-FIREABLE [FF1a_9] | [IS-FIREABLE [FF1a_8] | [IS-FIREABLE [FF1a_7] | [IS-FIREABLE [FF1a_6] | [IS-FIREABLE [FF1a_21] | [IS-FIREABLE [FF1a_20] | [IS-FIREABLE [FF1a_19] | [IS-FIREABLE [FF1a_18] | [IS-FIREABLE [FF1a_17] | [IS-FIREABLE [FF1a_16] | [IS-FIREABLE [FF1a_14] | IS-FIREABLE [FF1a_15]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & ~ [EG [~ [[IS-FIREABLE [FF2a_152] | [IS-FIREABLE [FF2a_153] | [IS-FIREABLE [FF2a_150] | [IS-FIREABLE [FF2a_151] | [IS-FIREABLE [FF2a_156] | [IS-FIREABLE [FF2a_157] | [IS-FIREABLE [FF2a_154] | [IS-FIREABLE [FF2a_155] | [IS-FIREABLE [FF2a_160] | [IS-FIREABLE [FF2a_161] | [IS-FIREABLE [FF2a_158] | [IS-FIREABLE [FF2a_159] | [IS-FIREABLE [FF2a_164] | [IS-FIREABLE [FF2a_165] | [IS-FIREABLE [FF2a_162] | [IS-FIREABLE [FF2a_163] | [IS-FIREABLE [FF2a_137] | [IS-FIREABLE [FF2a_136] | [IS-FIREABLE [FF2a_135] | [IS-FIREABLE [FF2a_134] | [IS-FIREABLE [FF2a_141] | [IS-FIREABLE [FF2a_140] | [IS-FIREABLE [FF2a_139] | [IS-FIREABLE [FF2a_138] | [IS-FIREABLE [FF2a_145] | [IS-FIREABLE [FF2a_144] | [IS-FIREABLE [FF2a_143] | [IS-FIREABLE [FF2a_142] | [IS-FIREABLE [FF2a_149] | [IS-FIREABLE [FF2a_148] | [IS-FIREABLE [FF2a_147] | [IS-FIREABLE [FF2a_146] | [IS-FIREABLE [FF2a_182] | [IS-FIREABLE [FF2a_183] | [IS-FIREABLE [FF2a_184] | [IS-FIREABLE [FF2a_185] | [IS-FIREABLE [FF2a_186] | [IS-FIREABLE [FF2a_187] | [IS-FIREABLE [FF2a_188] | [IS-FIREABLE [FF2a_189] | [IS-FIREABLE [FF2a_190] | [IS-FIREABLE [FF2a_191] | [IS-FIREABLE [FF2a_192] | [IS-FIREABLE [FF2a_193] | [IS-FIREABLE [FF2a_194] | [IS-FIREABLE [FF2a_195] | [IS-FIREABLE [FF2a_196] | [IS-FIREABLE [FF2a_197] | [IS-FIREABLE [FF2a_167] | [IS-FIREABLE [FF2a_166] | [IS-FIREABLE [FF2a_169] | [IS-FIREABLE [FF2a_168] | [IS-FIREABLE [FF2a_171] | [IS-FIREABLE [FF2a_170] | [IS-FIREABLE [FF2a_173] | [IS-FIREABLE [FF2a_172] | [IS-FIREABLE [FF2a_175] | [IS-FIREABLE [FF2a_174] | [IS-FIREABLE [FF2a_177] | [IS-FIREABLE [FF2a_176] | [IS-FIREABLE [FF2a_179] | [IS-FIREABLE [FF2a_178] | [IS-FIREABLE [FF2a_181] | [IS-FIREABLE [FF2a_180] | [IS-FIREABLE [FF2a_200] | [IS-FIREABLE [FF2a_199] | [IS-FIREABLE [FF2a_198] | [IS-FIREABLE [FF2a_52] | [IS-FIREABLE [FF2a_53] | [IS-FIREABLE [FF2a_50] | [IS-FIREABLE [FF2a_51] | [IS-FIREABLE [FF2a_48] | [IS-FIREABLE [FF2a_49] | [IS-FIREABLE [FF2a_46] | [IS-FIREABLE [FF2a_47] | [IS-FIREABLE [FF2a_44] | [IS-FIREABLE [FF2a_45] | [IS-FIREABLE [FF2a_42] | [IS-FIREABLE [FF2a_43] | [IS-FIREABLE [FF2a_40] | [IS-FIREABLE [FF2a_41] | [IS-FIREABLE [FF2a_38] | [IS-FIREABLE [FF2a_39] | [IS-FIREABLE [FF2a_69] | [IS-FIREABLE [FF2a_68] | [IS-FIREABLE [FF2a_67] | [IS-FIREABLE [FF2a_66] | [IS-FIREABLE [FF2a_65] | [IS-FIREABLE [FF2a_64] | [IS-FIREABLE [FF2a_63] | [IS-FIREABLE [FF2a_62] | [IS-FIREABLE [FF2a_61] | [IS-FIREABLE [FF2a_60] | [IS-FIREABLE [FF2a_59] | [IS-FIREABLE [FF2a_58] | [IS-FIREABLE [FF2a_57] | [IS-FIREABLE [FF2a_56] | [IS-FIREABLE [FF2a_55] | [IS-FIREABLE [FF2a_54] | [IS-FIREABLE [FF2a_18] | [IS-FIREABLE [FF2a_19] | [IS-FIREABLE [FF2a_20] | [IS-FIREABLE [FF2a_21] | [IS-FIREABLE [FF2a_14] | [IS-FIREABLE [FF2a_15] | [IS-FIREABLE [FF2a_16] | [IS-FIREABLE [FF2a_17] | [IS-FIREABLE [FF2a_10] | [IS-FIREABLE [FF2a_11] | [IS-FIREABLE [FF2a_12] | [IS-FIREABLE [FF2a_13] | [IS-FIREABLE [FF2a_6] | [IS-FIREABLE [FF2a_7] | [IS-FIREABLE [FF2a_8] | [IS-FIREABLE [FF2a_9] | [IS-FIREABLE [FF2a_35] | [IS-FIREABLE [FF2a_34] | [IS-FIREABLE [FF2a_37] | [IS-FIREABLE [FF2a_36] | [IS-FIREABLE [FF2a_31] | [IS-FIREABLE [FF2a_30] | [IS-FIREABLE [FF2a_33] | [IS-FIREABLE [FF2a_32] | [IS-FIREABLE [FF2a_27] | [IS-FIREABLE [FF2a_26] | [IS-FIREABLE [FF2a_29] | [IS-FIREABLE [FF2a_28] | [IS-FIREABLE [FF2a_23] | [IS-FIREABLE [FF2a_22] | [IS-FIREABLE [FF2a_25] | [IS-FIREABLE [FF2a_24] | [IS-FIREABLE [FF2a_112] | [IS-FIREABLE [FF2a_113] | [IS-FIREABLE [FF2a_110] | [IS-FIREABLE [FF2a_111] | [IS-FIREABLE [FF2a_116] | [IS-FIREABLE [FF2a_117] | [IS-FIREABLE [FF2a_114] | [IS-FIREABLE [FF2a_115] | [IS-FIREABLE [FF2a_104] | [IS-FIREABLE [FF2a_105] | [IS-FIREABLE [FF2a_102] | [IS-FIREABLE [FF2a_103] | [IS-FIREABLE [FF2a_108] | [IS-FIREABLE [FF2a_109] | [IS-FIREABLE [FF2a_106] | [IS-FIREABLE [FF2a_107] | [IS-FIREABLE [FF2a_129] | [IS-FIREABLE [FF2a_128] | [IS-FIREABLE [FF2a_127] | [IS-FIREABLE [FF2a_126] | [IS-FIREABLE [FF2a_133] | [IS-FIREABLE [FF2a_132] | [IS-FIREABLE [FF2a_131] | [IS-FIREABLE [FF2a_130] | [IS-FIREABLE [FF2a_121] | [IS-FIREABLE [FF2a_120] | [IS-FIREABLE [FF2a_119] | [IS-FIREABLE [FF2a_118] | [IS-FIREABLE [FF2a_125] | [IS-FIREABLE [FF2a_124] | [IS-FIREABLE [FF2a_123] | [IS-FIREABLE [FF2a_122] | [IS-FIREABLE [FF2a_78] | [IS-FIREABLE [FF2a_79] | [IS-FIREABLE [FF2a_80] | [IS-FIREABLE [FF2a_81] | [IS-FIREABLE [FF2a_82] | [IS-FIREABLE [FF2a_83] | [IS-FIREABLE [FF2a_84] | [IS-FIREABLE [FF2a_85] | [IS-FIREABLE [FF2a_70] | [IS-FIREABLE [FF2a_71] | [IS-FIREABLE [FF2a_72] | [IS-FIREABLE [FF2a_73] | [IS-FIREABLE [FF2a_74] | [IS-FIREABLE [FF2a_75] | [IS-FIREABLE [FF2a_76] | [IS-FIREABLE [FF2a_77] | [IS-FIREABLE [FF2a_95] | [IS-FIREABLE [FF2a_94] | [IS-FIREABLE [FF2a_97] | [IS-FIREABLE [FF2a_96] | [IS-FIREABLE [FF2a_99] | [IS-FIREABLE [FF2a_98] | [IS-FIREABLE [FF2a_101] | [IS-FIREABLE [FF2a_100] | [IS-FIREABLE [FF2a_87] | [IS-FIREABLE [FF2a_86] | [IS-FIREABLE [FF2a_89] | [IS-FIREABLE [FF2a_88] | [IS-FIREABLE [FF2a_91] | [IS-FIREABLE [FF2a_90] | [IS-FIREABLE [FF2a_93] | [IS-FIREABLE [FF2a_92] | [IS-FIREABLE [FF2a_1] | [IS-FIREABLE [FF2a_4] | [IS-FIREABLE [FF2a_5] | [IS-FIREABLE [FF2a_3] | IS-FIREABLE [FF2a_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

..
before gc: list nodes free: 7618931

after gc: idd nodes used:72697, unused:63927303; list nodes free:284885104
........
before gc: list nodes free: 5177669

after gc: idd nodes used:290902, unused:63709098; list nodes free:283927975
..
before gc: list nodes free: 4972453

after gc: idd nodes used:335289, unused:63664711; list nodes free:283733516
.
before gc: list nodes free: 4893698

after gc: idd nodes used:353021, unused:63646979; list nodes free:283656344
.
before gc: list nodes free: 4875335

after gc: idd nodes used:368509, unused:63631491; list nodes free:283588813
.
before gc: list nodes free: 4862513

after gc: idd nodes used:380171, unused:63619829; list nodes free:283537495
.
before gc: list nodes free: 4857194

after gc: idd nodes used:391678, unused:63608322; list nodes free:283487465

before gc: list nodes free: 4855444

after gc: idd nodes used:444576, unused:63555424; list nodes free:283239999
.
before gc: list nodes free: 4841123

after gc: idd nodes used:436763, unused:63563237; list nodes free:283285457
.
before gc: list nodes free: 4827458

after gc: idd nodes used:431539, unused:63568461; list nodes free:283310687
.
before gc: list nodes free: 4802661

after gc: idd nodes used:431322, unused:63568678; list nodes free:283312
BK_TIME_CONFINEMENT_REACHED

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

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m0sec

1496 1940 4292 4465
iterations count:4593 (4), effective:600 (0)

initing FirstDep: 0m0sec

13380 13384 13258 13178 13212 13070 12967 13030 13217 12841 12805 12769 12933 13064 12818 12643 13092 12698 12553 12744 12499 12620 12729 12427 12758 12373 12355 12606 12928 12283 12265 12416 12658 12880 12175 12157 12139 12121 12162 12254 12326 12388 12420 12442 12444 12426 12398 12340 12272 12184 12076 11948 11851 11833 11815 11797 11779 12711 12470 12212 11944 11707 11689 11671 12673 12332 11972 11598 11599 11581 12430 11992 11534 11527 11509 12238 11728 11473 11455 12314 11746 11419 11401 12230 11602 11365 11932 11976 11310 11311 12270 11560 11275 12497 11746 11239 11221 11858 11203 11185 11894 11167 11149 11858 11131 11113 11752 11095 11737 11574 11059 12288 11320 11023 11992 10992 10987 11634 10969 12258 11190 10933 11782 10915 12356 11236 10879 11768 10861 12280 11110 10825 11584 10807 12046 10818 10771 11240 10753 11642 10735 12024 10696 13314 12452 11585 11459 11465 13631 12429 10701 12426 11555 10675 12587 11716 10854 10685 11890 11019 10677 12073 11202 10669 12260 11393 10661 12460 11593 10722 12661 11802 10935 10645 12019 11148 10637 12245 11383 10599 12484 11613 10751 10621 11865 10994 10613 12117 11255 10605 12382 11520 10653 10597 11798 10927 10589 12080 11209 10581 12371 11509 10642 10573 11813 10946 10565 12121 11259 10457 12447 11580 10718 10549 11910 11048 10541 12253 11391 10315 10533 11738 10876 10525 12103 11236 10287 12472 11605 10743 10509 11987 11116 10431 12378 11511 10640 10493 11906 11044 10485 12314 11452 10585 10477 11873 11002 10469 12298 11427 10565 10461 11870 11003 10403 12317 11450 10579 10445 11906 11039 10641 10465 10461 10165 11486 10624 10620 11050 10616 10612 10157 11377 10604 10205 10596 11853 10991 10261 12561 11698 10836 10491 12345 11483 10616
iterations count:286621 (286), effective:40397 (40)

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="Philosophers-PT-000200"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/user/u8/hulinhub/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/Philosophers-PT-000200.tgz
mv Philosophers-PT-000200 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool marcie"
echo " Input is Philosophers-PT-000200, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r064kn-blw3-143254880800627"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "ReachabilityComputeBounds" ] ; 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 '' CTLFireability.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 ;