About the Execution of 2019-Gold for Referendum-COL-0100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15308.820 | 3570159.00 | 3634692.00 | 10161.50 | TFTF?FFFF?TFFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r150-smll-158961529300092.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is Referendum-COL-0100, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-smll-158961529300092
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 09:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 10 15:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 21:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 9 21:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 6.7K Mar 24 05:38 model.pnml
--------------------
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 Referendum-COL-0100-00
FORMULA_NAME Referendum-COL-0100-01
FORMULA_NAME Referendum-COL-0100-02
FORMULA_NAME Referendum-COL-0100-03
FORMULA_NAME Referendum-COL-0100-04
FORMULA_NAME Referendum-COL-0100-05
FORMULA_NAME Referendum-COL-0100-06
FORMULA_NAME Referendum-COL-0100-07
FORMULA_NAME Referendum-COL-0100-08
FORMULA_NAME Referendum-COL-0100-09
FORMULA_NAME Referendum-COL-0100-10
FORMULA_NAME Referendum-COL-0100-11
FORMULA_NAME Referendum-COL-0100-12
FORMULA_NAME Referendum-COL-0100-13
FORMULA_NAME Referendum-COL-0100-14
FORMULA_NAME Referendum-COL-0100-15
=== Now, execution of the tool begins
BK_START 1589949938590
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-COL-0100 @ 3570 seconds
FORMULA Referendum-COL-0100-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Referendum-COL-0100-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Referendum-COL-0100
{
"exit":
{
"memory": 15437508,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "yes no yes no unknown no no no no unknown yes no no no no unknown "
},
"task":
{
"compoundnumber": 16,
"type": "boolean"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 301, Transitions: 201
lola: @ trans yes
lola: @ trans no
lola: @ trans start
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 502/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 301
lola: finding significant places
lola: 301 places, 201 transitions, 201 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (NOT(((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) U (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))))) : A (F (X (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) AND NOT((FIREABLE(t200) U (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))) U (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))))))))) : A ((((FIREABLE(t200) AND F ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))) AND NOT(F (FIREABLE(t200)))) U FIREABLE(t200))) : A (NOT((NOT(X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) OR (NOT(F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) U ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19) AND NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39) AND NOT FIREABLE(t40) AND NOT FIREABLE(t41) AND NOT FIREABLE(t42) AND NOT FIREABLE(t43) AND NOT FIREABLE(t44) AND NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND NOT FIREABLE(t47) AND NOT FIREABLE(t48) AND NOT FIREABLE(t49) AND NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABLE(t65) AND NOT FIREABLE(t66) AND NOT FIREABLE(t67) AND NOT FIREABLE(t68) AND NOT FIREABLE(t69) AND NOT FIREABLE(t70) AND NOT FIREABLE(t71) AND NOT FIREABLE(t72) AND NOT FIREABLE(t73) AND NOT FIREABLE(t74) AND NOT FIREABLE(t75) AND NOT FIREABLE(t76) AND NOT FIREABLE(t77) AND NOT FIREABLE(t78) AND NOT FIREABLE(t79) AND NOT FIREABLE(t80) AND NOT FIREABLE(t81) AND NOT FIREABLE(t82) AND NOT FIREABLE(t83) AND NOT FIREABLE(t84) AND NOT FIREABLE(t85) AND NOT FIREABLE(t86) AND NOT FIREABLE(t87) AND NOT FIREABLE(t88) AND NOT FIREABLE(t89) AND NOT FIREABLE(t90) AND NOT FIREABLE(t91) AND NOT FIREABLE(t92) AND NOT FIREABLE(t93) AND NOT FIREABLE(t94) AND NOT FIREABLE(t95) AND NOT FIREABLE(t96) AND NOT FIREABLE(t97) AND NOT FIREABLE(t98) AND NOT FIREABLE(t99)) AND F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))))))) : A (G (((FIREABLE(t200) U FIREABLE(t200)) U F ((X ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))) OR G (X (G (NOT FIREABLE(t200))))))))) : A (G (((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NOT FIREABLE(t117) AND NOT FIREABLE(t118) AND NOT FIREABLE(t119) AND NOT FIREABLE(t120) AND NOT FIREABLE(t121) AND NOT FIREABLE(t122) AND NOT FIREABLE(t123) AND NOT FIREABLE(t124) AND NOT FIREABLE(t125) AND NOT FIREABLE(t126) AND NOT FIREABLE(t127) AND NOT FIREABLE(t128) AND NOT FIREABLE(t129) AND NOT FIREABLE(t130) AND NOT FIREABLE(t131) AND NOT FIREABLE(t132) AND NOT FIREABLE(t133) AND NOT FIREABLE(t134) AND NOT FIREABLE(t135) AND NOT FIREABLE(t136) AND NOT FIREABLE(t137) AND NOT FIREABLE(t138) AND NOT FIREABLE(t139) AND NOT FIREABLE(t140) AND NOT FIREABLE(t141) AND NOT FIREABLE(t142) AND NOT FIREABLE(t143) AND NOT FIREABLE(t144) AND NOT FIREABLE(t145) AND NOT FIREABLE(t146) AND NOT FIREABLE(t147) AND NOT FIREABLE(t148) AND NOT FIREABLE(t149) AND NOT FIREABLE(t150) AND NOT FIREABLE(t151) AND NOT FIREABLE(t152) AND NOT FIREABLE(t153) AND NOT FIREABLE(t154) AND NOT FIREABLE(t155) AND NOT FIREABLE(t156) AND NOT FIREABLE(t157) AND NOT FIREABLE(t158) AND NOT FIREABLE(t159) AND NOT FIREABLE(t160) AND NOT FIREABLE(t161) AND NOT FIREABLE(t162) AND NOT FIREABLE(t163) AND NOT FIREABLE(t164) AND NOT FIREABLE(t165) AND NOT FIREABLE(t166) AND NOT FIREABLE(t167) AND NOT FIREABLE(t168) AND NOT FIREABLE(t169) AND NOT FIREABLE(t170) AND NOT FIREABLE(t171) AND NOT FIREABLE(t172) AND NOT FIREABLE(t173) AND NOT FIREABLE(t174) AND NOT FIREABLE(t175) AND NOT FIREABLE(t176) AND NOT FIREABLE(t177) AND NOT FIREABLE(t178) AND NOT FIREABLE(t179) AND NOT FIREABLE(t180) AND NOT FIREABLE(t181) AND NOT FIREABLE(t182) AND NOT FIREABLE(t183) AND NOT FIREABLE(t184) AND NOT FIREABLE(t185) AND NOT FIREABLE(t186) AND NOT FIREABLE(t187) AND NOT FIREABLE(t188) AND NOT FIREABLE(t189) AND NOT FIREABLE(t190) AND NOT FIREABLE(t191) AND NOT FIREABLE(t192) AND NOT FIREABLE(t193) AND NOT FIREABLE(t194) AND NOT FIREABLE(t195) AND NOT FIREABLE(t196) AND NOT FIREABLE(t197) AND NOT FIREABLE(t198) AND NOT FIREABLE(t199)) AND NOT((X ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))) OR NOT(F (X (X (FIREABLE(t200)))))))))) : A (F (G (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) OR G (FIREABLE(t200)))))) : A (F (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) U NOT(G (X (NOT(G (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) U FIREABLE(t200)))))))))) : A ((NOT(X (X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))) AND G (NOT(((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) OR X (FIREABLE(t200))))))) : A (X (G ((((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIREABLE(t18) AND NOT FIREABLE(t19) AND NOT FIREABLE(t20) AND NOT FIREABLE(t21) AND NOT FIREABLE(t22) AND NOT FIREABLE(t23) AND NOT FIREABLE(t24) AND NOT FIREABLE(t25) AND NOT FIREABLE(t26) AND NOT FIREABLE(t27) AND NOT FIREABLE(t28) AND NOT FIREABLE(t29) AND NOT FIREABLE(t30) AND NOT FIREABLE(t31) AND NOT FIREABLE(t32) AND NOT FIREABLE(t33) AND NOT FIREABLE(t34) AND NOT FIREABLE(t35) AND NOT FIREABLE(t36) AND NOT FIREABLE(t37) AND NOT FIREABLE(t38) AND NOT FIREABLE(t39) AND NOT FIREABLE(t40) AND NOT FIREABLE(t41) AND NOT FIREABLE(t42) AND NOT FIREABLE(t43) AND NOT FIREABLE(t44) AND NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND NOT FIREABLE(t47) AND NOT FIREABLE(t48) AND NOT FIREABLE(t49) AND NOT FIREABLE(t50) AND NOT FIREABLE(t51) AND NOT FIREABLE(t52) AND NOT FIREABLE(t53) AND NOT FIREABLE(t54) AND NOT FIREABLE(t55) AND NOT FIREABLE(t56) AND NOT FIREABLE(t57) AND NOT FIREABLE(t58) AND NOT FIREABLE(t59) AND NOT FIREABLE(t60) AND NOT FIREABLE(t61) AND NOT FIREABLE(t62) AND NOT FIREABLE(t63) AND NOT FIREABLE(t64) AND NOT FIREABLE(t65) AND NOT FIREABLE(t66) AND NOT FIREABLE(t67) AND NOT FIREABLE(t68) AND NOT FIREABLE(t69) AND NOT FIREABLE(t70) AND NOT FIREABLE(t71) AND NOT FIREABLE(t72) AND NOT FIREABLE(t73) AND NOT FIREABLE(t74) AND NOT FIREABLE(t75) AND NOT FIREABLE(t76) AND NOT FIREABLE(t77) AND NOT FIREABLE(t78) AND NOT FIREABLE(t79) AND NOT FIREABLE(t80) AND NOT FIREABLE(t81) AND NOT FIREABLE(t82) AND NOT FIREABLE(t83) AND NOT FIREABLE(t84) AND NOT FIREABLE(t85) AND NOT FIREABLE(t86) AND NOT FIREABLE(t87) AND NOT FIREABLE(t88) AND NOT FIREABLE(t89) AND NOT FIREABLE(t90) AND NOT FIREABLE(t91) AND NOT FIREABLE(t92) AND NOT FIREABLE(t93) AND NOT FIREABLE(t94) AND NOT FIREABLE(t95) AND NOT FIREABLE(t96) AND NOT FIREABLE(t97) AND NOT FIREABLE(t98) AND NOT FIREABLE(t99)) OR F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) OR (G (F ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))) U G (F ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))))))) : A (((F (G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)))) OR F (G ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))))) U F (X ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))))) : A ((((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99)) AND F (FIREABLE(t200))) AND G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))))) : A ((G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NOT FIREABLE(t117) AND NOT FIREABLE(t118) AND NOT FIREABLE(t119) AND NOT FIREABLE(t120) AND NOT FIREABLE(t121) AND NOT FIREABLE(t122) AND NOT FIREABLE(t123) AND NOT FIREABLE(t124) AND NOT FIREABLE(t125) AND NOT FIREABLE(t126) AND NOT FIREABLE(t127) AND NOT FIREABLE(t128) AND NOT FIREABLE(t129) AND NOT FIREABLE(t130) AND NOT FIREABLE(t131) AND NOT FIREABLE(t132) AND NOT FIREABLE(t133) AND NOT FIREABLE(t134) AND NOT FIREABLE(t135) AND NOT FIREABLE(t136) AND NOT FIREABLE(t137) AND NOT FIREABLE(t138) AND NOT FIREABLE(t139) AND NOT FIREABLE(t140) AND NOT FIREABLE(t141) AND NOT FIREABLE(t142) AND NOT FIREABLE(t143) AND NOT FIREABLE(t144) AND NOT FIREABLE(t145) AND NOT FIREABLE(t146) AND NOT FIREABLE(t147) AND NOT FIREABLE(t148) AND NOT FIREABLE(t149) AND NOT FIREABLE(t150) AND NOT FIREABLE(t151) AND NOT FIREABLE(t152) AND NOT FIREABLE(t153) AND NOT FIREABLE(t154) AND NOT FIREABLE(t155) AND NOT FIREABLE(t156) AND NOT FIREABLE(t157) AND NOT FIREABLE(t158) AND NOT FIREABLE(t159) AND NOT FIREABLE(t160) AND NOT FIREABLE(t161) AND NOT FIREABLE(t162) AND NOT FIREABLE(t163) AND NOT FIREABLE(t164) AND NOT FIREABLE(t165) AND NOT FIREABLE(t166) AND NOT FIREABLE(t167) AND NOT FIREABLE(t168) AND NOT FIREABLE(t169) AND NOT FIREABLE(t170) AND NOT FIREABLE(t171) AND NOT FIREABLE(t172) AND NOT FIREABLE(t173) AND NOT FIREABLE(t174) AND NOT FIREABLE(t175) AND NOT FIREABLE(t176) AND NOT FIREABLE(t177) AND NOT FIREABLE(t178) AND NOT FIREABLE(t179) AND NOT FIREABLE(t180) AND NOT FIREABLE(t181) AND NOT FIREABLE(t182) AND NOT FIREABLE(t183) AND NOT FIREABLE(t184) AND NOT FIREABLE(t185) AND NOT FIREABLE(t186) AND NOT FIREABLE(t187) AND NOT FIREABLE(t188) AND NOT FIREABLE(t189) AND NOT FIREABLE(t190) AND NOT FIREABLE(t191) AND NOT FIREABLE(t192) AND NOT FIREABLE(t193) AND NOT FIREABLE(t194) AND NOT FIREABLE(t195) AND NOT FIREABLE(t196) AND NOT FIREABLE(t197) AND NOT FIREABLE(t198) AND NOT FIREABLE(t199) AND (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))) AND (G (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) U (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))) U ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) AND F ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))))))) : A (X (X (F (X (FIREABLE(t200)))))) : A (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)) AND X (F (G (NOT((FIREABLE(t200) U F ((X ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))) AND F (FIREABLE(t200))))))))))) : A (F (NOT(X (X ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: processed formula length: 6432
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 105 markings, 108 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREAB... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(... (shortened)
lola: processed formula length: 3988
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 102 markings, 102 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: processed formula length: 1937
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 292195 markings, 2125619 edges, 58439 markings/sec, 0 secs
lola: 538385 markings, 4249265 edges, 49238 markings/sec, 5 secs
lola: 800357 markings, 6304903 edges, 52394 markings/sec, 10 secs
lola: 1039539 markings, 8363927 edges, 47836 markings/sec, 15 secs
lola: 1269707 markings, 10432014 edges, 46034 markings/sec, 20 secs
lola: 1490276 markings, 12538169 edges, 44114 markings/sec, 25 secs
lola: 1710772 markings, 14574265 edges, 44099 markings/sec, 30 secs
lola: 1946411 markings, 16567424 edges, 47128 markings/sec, 35 secs
lola: 2179034 markings, 18564033 edges, 46525 markings/sec, 40 secs
lola: 2399532 markings, 20566021 edges, 44100 markings/sec, 45 secs
lola: 2608356 markings, 22600671 edges, 41765 markings/sec, 50 secs
lola: 2825563 markings, 24587490 edges, 43441 markings/sec, 55 secs
lola: 3048457 markings, 26589543 edges, 44579 markings/sec, 60 secs
lola: 3261186 markings, 28619122 edges, 42546 markings/sec, 65 secs
lola: 3463556 markings, 30618344 edges, 40474 markings/sec, 70 secs
lola: 3680545 markings, 32647414 edges, 43398 markings/sec, 75 secs
lola: 3872820 markings, 34652099 edges, 38455 markings/sec, 80 secs
lola: 4088040 markings, 36706003 edges, 43044 markings/sec, 85 secs
lola: 4286496 markings, 38748889 edges, 39691 markings/sec, 90 secs
lola: 4481057 markings, 40810827 edges, 38912 markings/sec, 95 secs
lola: 4664516 markings, 42848071 edges, 36692 markings/sec, 100 secs
lola: 4834774 markings, 44822368 edges, 34052 markings/sec, 105 secs
lola: 5077308 markings, 46750711 edges, 48507 markings/sec, 110 secs
lola: 5301336 markings, 48679806 edges, 44806 markings/sec, 115 secs
lola: 5519535 markings, 50622965 edges, 43640 markings/sec, 120 secs
lola: 5727136 markings, 52584806 edges, 41520 markings/sec, 125 secs
lola: 5917445 markings, 54506376 edges, 38062 markings/sec, 130 secs
lola: 6137538 markings, 56428170 edges, 44019 markings/sec, 135 secs
lola: 6343827 markings, 58284627 edges, 41258 markings/sec, 140 secs
lola: 6547908 markings, 60310637 edges, 40816 markings/sec, 145 secs
lola: 6756581 markings, 62309326 edges, 41735 markings/sec, 150 secs
lola: 6971958 markings, 64355371 edges, 43075 markings/sec, 155 secs
lola: 7171551 markings, 66369609 edges, 39919 markings/sec, 160 secs
lola: 7370353 markings, 68388471 edges, 39760 markings/sec, 165 secs
lola: 7570533 markings, 70441781 edges, 40036 markings/sec, 170 secs
lola: 7760599 markings, 72491356 edges, 38013 markings/sec, 175 secs
lola: 7936895 markings, 74496400 edges, 35259 markings/sec, 180 secs
lola: 8136940 markings, 76477395 edges, 40009 markings/sec, 185 secs
lola: 8362771 markings, 78486190 edges, 45166 markings/sec, 190 secs
lola: 8577044 markings, 80512085 edges, 42855 markings/sec, 195 secs
lola: 8774827 markings, 82509664 edges, 39557 markings/sec, 200 secs
lola: 8993489 markings, 84536000 edges, 43732 markings/sec, 205 secs
lola: 9191963 markings, 86553482 edges, 39695 markings/sec, 210 secs
lola: 9403129 markings, 88592007 edges, 42233 markings/sec, 215 secs
lola: 9597753 markings, 90612617 edges, 38925 markings/sec, 220 secs
lola: 9794128 markings, 92667532 edges, 39275 markings/sec, 225 secs
lola: 9978477 markings, 94700401 edges, 36870 markings/sec, 230 secs
lola: 10144026 markings, 96675185 edges, 33110 markings/sec, 235 secs
lola: 10365245 markings, 98702280 edges, 44244 markings/sec, 240 secs
lola: 10569976 markings, 100729778 edges, 40946 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1848044 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1848276 KB
lola: time consumption: 259 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND N... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NO... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NO... (shortened)
lola: processed formula length: 2305
lola: 127 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 100 literals and 100 conjunctive subformulas
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G ((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT FIR... (shortened)
lola: processed formula length: 2195
lola: 127 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: formula 0: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22) OR FIREABLE(t23) OR FIREABLE(t24) OR FIREABLE(t25) OR FIREABLE(t26) OR FIREABLE(t27) OR FIREABLE(t28) OR FIREABLE(t29) OR FIREABLE(t30) OR FIREABLE(t31) OR FIREABLE(t32) OR FIREABLE(t33) OR FIREABLE(t34) OR FIREABLE(t35) OR FIREABLE(t36) OR FIREABLE(t37) OR FIREABLE(t38) OR FIREABLE(t39) OR FIREABLE(t40) OR FIREABLE(t41) OR FIREABLE(t42) OR FIREABLE(t43) OR FIREABLE(t44) OR FIREABLE(t45) OR FIREABLE(t46) OR FIREABLE(t47) OR FIREABLE(t48) OR FIREABLE(t49) OR FIREABLE(t50) OR FIREABLE(t51) OR FIREABLE(t52) OR FIREABLE(t53) OR FIREABLE(t54) OR FIREABLE(t55) OR FIREABLE(t56) OR FIREABLE(t57) OR FIREABLE(t58) OR FIREABLE(t59) OR FIREABLE(t60) OR FIREABLE(t61) OR FIREABLE(t62) OR FIREABLE(t63) OR FIREABLE(t64) OR FIREABLE(t65) OR FIREABLE(t66) OR FIREABLE(t67) OR FIREABLE(t68) OR FIREABLE(t69) OR FIREABLE(t70) OR FIREABLE(t71) OR FIREABLE(t72) OR FIREABLE(t73) OR FIREABLE(t74) OR FIREABLE(t75) OR FIREABLE(t76) OR FIREABLE(t77) OR FIREABLE(t78) OR FIREABLE(t79) OR FIREABLE(t80) OR FIREABLE(t81) OR FIREABLE(t82) OR FIREABLE(t83) OR FIREABLE(t84) OR FIREABLE(t85) OR FIREABLE(t86) OR FIREABLE(t87) OR FIREABLE(t88) OR FIREABLE(t89) OR FIREABLE(t90) OR FIREABLE(t91) OR FIREABLE(t92) OR FIREABLE(t93) OR FIREABLE(t94) OR FIREABLE(t95) OR FIREABLE(t96) OR FIREABLE(t97) OR FIREABLE(t98) OR FIREABLE(t99))
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 100 literals and 100 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(t0) AND NOT FIREABLE(t1) AND NOT FIREABLE(t2) AND NOT FIREABLE(t3) AND NOT FIREABLE(t4) AND NOT FIREABLE(t5) AND NOT FIREABLE(t6) AND NOT FIREABLE(t7) AND NOT FIREABLE(t8) AND NOT FIREABLE(t9) AND NOT FIREABLE(t10) AND NOT FIREABLE(t11) AND NOT FIREABLE(t12) AND NOT FIREABLE(t13) AND NOT FIREABLE(t14) AND NOT FIREABLE(t15) AND NOT FIREABLE(t16) AND NOT FIREABLE(t17) AND NOT... (shortened)
lola: processed formula length: 9506
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 163594 markings, 1171051 edges, 32719 markings/sec, 0 secs
lola: 317203 markings, 2361216 edges, 30722 markings/sec, 5 secs
lola: 459236 markings, 3553366 edges, 28407 markings/sec, 10 secs
lola: 606123 markings, 4787421 edges, 29377 markings/sec, 15 secs
lola: 755068 markings, 5996990 edges, 29789 markings/sec, 20 secs
lola: 894255 markings, 7265460 edges, 27837 markings/sec, 25 secs
lola: 1042261 markings, 8485878 edges, 29601 markings/sec, 30 secs
lola: 1181937 markings, 9751372 edges, 27935 markings/sec, 35 secs
lola: 1320852 markings, 11030289 edges, 27783 markings/sec, 40 secs
lola: 1456002 markings, 12344589 edges, 27030 markings/sec, 45 secs
lola: 1583374 markings, 13682504 edges, 25474 markings/sec, 50 secs
lola: 1731456 markings, 14863127 edges, 29616 markings/sec, 55 secs
lola: 1875896 markings, 16072756 edges, 28888 markings/sec, 60 secs
lola: 2015722 markings, 17296869 edges, 27965 markings/sec, 65 secs
lola: 2156372 markings, 18528729 edges, 28130 markings/sec, 70 secs
lola: 2294823 markings, 19768319 edges, 27690 markings/sec, 75 secs
lola: 2430179 markings, 21037934 edges, 27071 markings/sec, 80 secs
lola: 2561300 markings, 22334413 edges, 26224 markings/sec, 85 secs
lola: 2688630 markings, 23622858 edges, 25466 markings/sec, 90 secs
lola: 2832183 markings, 24838593 edges, 28711 markings/sec, 95 secs
lola: 2970373 markings, 26081799 edges, 27638 markings/sec, 100 secs
lola: 3106462 markings, 27344242 edges, 27218 markings/sec, 105 secs
lola: 3239063 markings, 28636625 edges, 26520 markings/sec, 110 secs
lola: 3361712 markings, 29952646 edges, 24530 markings/sec, 115 secs
lola: 3501381 markings, 31192921 edges, 27934 markings/sec, 120 secs
lola: 3635891 markings, 32471256 edges, 26902 markings/sec, 125 secs
lola: 3766812 markings, 33768632 edges, 26184 markings/sec, 130 secs
lola: 3894405 markings, 35067826 edges, 25519 markings/sec, 135 secs
lola: 4027079 markings, 36360866 edges, 26535 markings/sec, 140 secs
lola: 4149637 markings, 37677060 edges, 24512 markings/sec, 145 secs
lola: 4282988 markings, 38997711 edges, 26670 markings/sec, 150 secs
lola: 4407983 markings, 40340457 edges, 24999 markings/sec, 155 secs
lola: 4532181 markings, 41686337 edges, 24840 markings/sec, 160 secs
lola: 4652694 markings, 43040914 edges, 24103 markings/sec, 165 secs
lola: 4765258 markings, 44405618 edges, 22513 markings/sec, 170 secs
lola: 4906289 markings, 45595332 edges, 28206 markings/sec, 175 secs
lola: 5050487 markings, 46776862 edges, 28840 markings/sec, 180 secs
lola: 5187252 markings, 47984206 edges, 27353 markings/sec, 185 secs
lola: 5326463 markings, 49187630 edges, 27842 markings/sec, 190 secs
lola: 5461977 markings, 50407663 edges, 27103 markings/sec, 195 secs
lola: 5595916 markings, 51647652 edges, 26788 markings/sec, 200 secs
lola: 5725742 markings, 52917279 edges, 25965 markings/sec, 205 secs
lola: 5844643 markings, 54206771 edges, 23780 markings/sec, 210 secs
lola: 5988421 markings, 55384234 edges, 28756 markings/sec, 215 secs
lola: 6123220 markings, 56602585 edges, 26960 markings/sec, 220 secs
lola: 6256954 markings, 57831618 edges, 26747 markings/sec, 225 secs
lola: 6390104 markings, 59088858 edges, 26630 markings/sec, 230 secs
lola: 6514140 markings, 60368922 edges, 24807 markings/sec, 235 secs
lola: 6645741 markings, 61612482 edges, 26320 markings/sec, 240 secs
lola: 6779964 markings, 62858787 edges, 26845 markings/sec, 245 secs
lola: 6910233 markings, 64133760 edges, 26054 markings/sec, 250 secs
lola: 7029695 markings, 65429715 edges, 23892 markings/sec, 255 secs
lola: 7165374 markings, 66689695 edges, 27136 markings/sec, 260 secs
lola: 7291838 markings, 67978175 edges, 25293 markings/sec, 265 secs
lola: 7416752 markings, 69278739 edges, 24983 markings/sec, 270 secs
lola: 7541409 markings, 70594728 edges, 24931 markings/sec, 275 secs
lola: 7666406 markings, 71914254 edges, 24999 markings/sec, 280 secs
lola: 7784888 markings, 73246163 edges, 23696 markings/sec, 285 secs
lola: 7901230 markings, 74577555 edges, 23268 markings/sec, 290 secs
lola: 8021616 markings, 75861581 edges, 24077 markings/sec, 295 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown no unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1530084 KB
lola: time consumption: 560 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 301 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FI... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((G ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FI... (shortened)
lola: processed formula length: 5616
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 7 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (F (FIREABLE(t200))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (F (FIREABLE(t200))))))
lola: processed formula length: 34
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 102 markings, 102 edges
lola: ========================================
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR ... (shortened)
lola: processed formula length: 1897
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 430 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) ... (shortened)
lola: processed formula length: 2313
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 280416 markings, 2063983 edges, 56083 markings/sec, 0 secs
lola: 529897 markings, 4229291 edges, 49896 markings/sec, 5 secs
lola: 795067 markings, 6336969 edges, 53034 markings/sec, 10 secs
lola: 1039305 markings, 8452130 edges, 48848 markings/sec, 15 secs
lola: 1270441 markings, 10565059 edges, 46227 markings/sec, 20 secs
lola: 1494850 markings, 12717795 edges, 44882 markings/sec, 25 secs
lola: 1723346 markings, 14794346 edges, 45699 markings/sec, 30 secs
lola: 1964826 markings, 16879216 edges, 48296 markings/sec, 35 secs
lola: 2201825 markings, 18944783 edges, 47400 markings/sec, 40 secs
lola: 2430928 markings, 21033364 edges, 45821 markings/sec, 45 secs
lola: 2636931 markings, 23130574 edges, 41201 markings/sec, 50 secs
lola: 2873002 markings, 25211283 edges, 47214 markings/sec, 55 secs
lola: 3101783 markings, 27285337 edges, 45756 markings/sec, 60 secs
lola: 3311638 markings, 29370503 edges, 41971 markings/sec, 65 secs
lola: 3525298 markings, 31427055 edges, 42732 markings/sec, 70 secs
lola: 3745598 markings, 33541927 edges, 44060 markings/sec, 75 secs
lola: 3953368 markings, 35626532 edges, 41554 markings/sec, 80 secs
lola: 4152731 markings, 37704568 edges, 39873 markings/sec, 85 secs
lola: 4360703 markings, 39845198 edges, 41594 markings/sec, 90 secs
lola: 4560727 markings, 41976618 edges, 40005 markings/sec, 95 secs
lola: 4737875 markings, 44040976 edges, 35430 markings/sec, 100 secs
lola: 4968238 markings, 46063332 edges, 46073 markings/sec, 105 secs
lola: 5199980 markings, 48072126 edges, 46348 markings/sec, 110 secs
lola: 5427492 markings, 50087566 edges, 45502 markings/sec, 115 secs
lola: 5647605 markings, 52133852 edges, 44023 markings/sec, 120 secs
lola: 5840848 markings, 54135653 edges, 38649 markings/sec, 125 secs
lola: 6072687 markings, 56146314 edges, 46368 markings/sec, 130 secs
lola: 6297337 markings, 58176826 edges, 44930 markings/sec, 135 secs
lola: 6500708 markings, 60198657 edges, 40674 markings/sec, 140 secs
lola: 6708778 markings, 62196961 edges, 41614 markings/sec, 145 secs
lola: 6923477 markings, 64244781 edges, 42940 markings/sec, 150 secs
lola: 7123654 markings, 66271851 edges, 40035 markings/sec, 155 secs
lola: 7322495 markings, 68295729 edges, 39768 markings/sec, 160 secs
lola: 7522767 markings, 70354695 edges, 40054 markings/sec, 165 secs
lola: 7712175 markings, 72398274 edges, 37882 markings/sec, 170 secs
lola: 7888632 markings, 74411672 edges, 35291 markings/sec, 175 secs
lola: 8088311 markings, 76393720 edges, 39936 markings/sec, 180 secs
lola: 8315670 markings, 78429785 edges, 45472 markings/sec, 185 secs
lola: 8530105 markings, 80468633 edges, 42887 markings/sec, 190 secs
lola: 8729497 markings, 82480179 edges, 39878 markings/sec, 195 secs
lola: 8948057 markings, 84516810 edges, 43712 markings/sec, 200 secs
lola: 9143941 markings, 86529824 edges, 39177 markings/sec, 205 secs
lola: 9358259 markings, 88590733 edges, 42864 markings/sec, 210 secs
lola: 9555836 markings, 90638498 edges, 39515 markings/sec, 215 secs
lola: 9750237 markings, 92690225 edges, 38880 markings/sec, 220 secs
lola: 9934447 markings, 94731583 edges, 36842 markings/sec, 225 secs
lola: 10098546 markings, 96728559 edges, 32820 markings/sec, 230 secs
lola: 10325498 markings, 98762256 edges, 45390 markings/sec, 235 secs
lola: 10528524 markings, 100805950 edges, 40605 markings/sec, 240 secs
lola: 10736263 markings, 102846581 edges, 41548 markings/sec, 245 secs
lola: 10931657 markings, 104866923 edges, 39079 markings/sec, 250 secs
lola: 11128751 markings, 106932700 edges, 39419 markings/sec, 255 secs
lola: 11316577 markings, 108979325 edges, 37565 markings/sec, 260 secs
lola: 11486441 markings, 110978303 edges, 33973 markings/sec, 265 secs
lola: 11689159 markings, 113015929 edges, 40544 markings/sec, 270 secs
lola: 11885992 markings, 115042321 edges, 39367 markings/sec, 275 secs
lola: 12082764 markings, 117108841 edges, 39354 markings/sec, 280 secs
lola: 12269325 markings, 119154122 edges, 37312 markings/sec, 285 secs
lola: 12438396 markings, 121149137 edges, 33814 markings/sec, 290 secs
lola: 12637212 markings, 123227030 edges, 39763 markings/sec, 295 secs
lola: 12827275 markings, 125281630 edges, 38013 markings/sec, 300 secs
lola: 13005388 markings, 127306504 edges, 35623 markings/sec, 305 secs
lola: 13184924 markings, 129344924 edges, 35907 markings/sec, 310 secs
lola: 13371422 markings, 131426444 edges, 37300 markings/sec, 315 secs
lola: 13542344 markings, 133471424 edges, 34184 markings/sec, 320 secs
lola: 13722849 markings, 135536041 edges, 36101 markings/sec, 325 secs
lola: 13892506 markings, 137580933 edges, 33931 markings/sec, 330 secs
lola: 14058587 markings, 139613258 edges, 33216 markings/sec, 335 secs
lola: 14214827 markings, 141614891 edges, 31248 markings/sec, 340 secs
lola: 14361590 markings, 143567431 edges, 29353 markings/sec, 345 secs
lola: 14607676 markings, 145533642 edges, 49217 markings/sec, 350 secs
lola: 14833930 markings, 147501243 edges, 45251 markings/sec, 355 secs
lola: 15053240 markings, 149463076 edges, 43862 markings/sec, 360 secs
lola: 15260939 markings, 151437455 edges, 41540 markings/sec, 365 secs
lola: 15456856 markings, 153389725 edges, 39183 markings/sec, 370 secs
lola: 15679270 markings, 155344361 edges, 44483 markings/sec, 375 secs
lola: 15894401 markings, 157321553 edges, 43026 markings/sec, 380 secs
lola: 16088562 markings, 159285255 edges, 38832 markings/sec, 385 secs
lola: 16297736 markings, 161246303 edges, 41835 markings/sec, 390 secs
lola: 16503194 markings, 163241120 edges, 41092 markings/sec, 395 secs
lola: 16696947 markings, 165202004 edges, 38751 markings/sec, 400 secs
lola: 16890273 markings, 167165830 edges, 38665 markings/sec, 405 secs
lola: 17085373 markings, 169164788 edges, 39020 markings/sec, 410 secs
lola: 17269066 markings, 171155399 edges, 36739 markings/sec, 415 secs
lola: 17442585 markings, 173107731 edges, 34704 markings/sec, 420 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown no unknown no unknown unknown no unknown yes unknown unknown no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no unknown no unknown unknown no unknown yes unknown unknown no no unknown
lola: memory consumption: 3013192 KB
lola: time consumption: 990 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(t200) AND (F ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((FIREABLE(t200) AND (F ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t... (shortened)
lola: processed formula length: 1974
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G (((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIR... (shortened)
lola: processed formula length: 1823
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 103 markings, 104 edges
lola: ========================================
lola: subprocess 12 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((F (FIREABLE(t200)) AND ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIRE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((F (FIREABLE(t200)) AND ((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIRE... (shortened)
lola: processed formula length: 1954
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 103 markings, 104 edges
lola: ========================================
lola: subprocess 13 will run for 859 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NOT ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NOT ... (shortened)
lola: processed formula length: 4603
lola: 129 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: Predicate Phi releases Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1289 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22)... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t0) OR FIREABLE(t1) OR FIREABLE(t2) OR FIREABLE(t3) OR FIREABLE(t4) OR FIREABLE(t5) OR FIREABLE(t6) OR FIREABLE(t7) OR FIREABLE(t8) OR FIREABLE(t9) OR FIREABLE(t10) OR FIREABLE(t11) OR FIREABLE(t12) OR FIREABLE(t13) OR FIREABLE(t14) OR FIREABLE(t15) OR FIREABLE(t16) OR FIREABLE(t17) OR FIREABLE(t18) OR FIREABLE(t19) OR FIREABLE(t20) OR FIREABLE(t21) OR FIREABLE(t22)... (shortened)
lola: processed formula length: 1787
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2579 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND N... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2579 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NO... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NO... (shortened)
lola: processed formula length: 4207
lola: 127 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation task get result unparse finished++ id 0
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: formula 0: (FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(t120) OR FIREABLE(t121) OR FIREABLE(t122) OR FIREABLE(t123) OR FIREABLE(t124) OR FIREABLE(t125) OR FIREABLE(t126) OR FIREABLE(t127) OR FIREABLE(t128) OR FIREABLE(t129) OR FIREABLE(t130) OR FIREABLE(t131) OR FIREABLE(t132) OR FIREABLE(t133) OR FIREABLE(t134) OR FIREABLE(t135) OR FIREABLE(t136) OR FIREABLE(t137) OR FIREABLE(t138) OR FIREABLE(t139) OR FIREABLE(t140) OR FIREABLE(t141) OR FIREABLE(t142) OR FIREABLE(t143) OR FIREABLE(t144) OR FIREABLE(t145) OR FIREABLE(t146) OR FIREABLE(t147) OR FIREABLE(t148) OR FIREABLE(t149) OR FIREABLE(t150) OR FIREABLE(t151) OR FIREABLE(t152) OR FIREABLE(t153) OR FIREABLE(t154) OR FIREABLE(t155) OR FIREABLE(t156) OR FIREABLE(t157) OR FIREABLE(t158) OR FIREABLE(t159) OR FIREABLE(t160) OR FIREABLE(t161) OR FIREABLE(t162) OR FIREABLE(t163) OR FIREABLE(t164) OR FIREABLE(t165) OR FIREABLE(t166) OR FIREABLE(t167) OR FIREABLE(t168) OR FIREABLE(t169) OR FIREABLE(t170) OR FIREABLE(t171) OR FIREABLE(t172) OR FIREABLE(t173) OR FIREABLE(t174) OR FIREABLE(t175) OR FIREABLE(t176) OR FIREABLE(t177) OR FIREABLE(t178) OR FIREABLE(t179) OR FIREABLE(t180) OR FIREABLE(t181) OR FIREABLE(t182) OR FIREABLE(t183) OR FIREABLE(t184) OR FIREABLE(t185) OR FIREABLE(t186) OR FIREABLE(t187) OR FIREABLE(t188) OR FIREABLE(t189) OR FIREABLE(t190) OR FIREABLE(t191) OR FIREABLE(t192) OR FIREABLE(t193) OR FIREABLE(t194) OR FIREABLE(t195) OR FIREABLE(t196) OR FIREABLE(t197) OR FIREABLE(t198) OR FIREABLE(t199) OR (NOT FIREABLE(t100) AND NOT FIREABLE(t101) AND NOT FIREABLE(t102) AND NOT FIREABLE(t103) AND NOT FIREABLE(t104) AND NOT FIREABLE(t105) AND NOT FIREABLE(t106) AND NOT FIREABLE(t107) AND NOT FIREABLE(t108) AND NOT FIREABLE(t109) AND NOT FIREABLE(t110) AND NOT FIREABLE(t111) AND NOT FIREABLE(t112) AND NOT FIREABLE(t113) AND NOT FIREABLE(t114) AND NOT FIREABLE(t115) AND NOT FIREABLE(t116) AND NOT FIREABLE(t117) AND NOT FIREABLE(t118) AND NOT FIREABLE(t119) AND NOT FIREABLE(t120) AND NOT FIREABLE(t121) AND NOT FIREABLE(t122) AND NOT FIREABLE(t123) AND NOT FIREABLE(t124) AND NOT FIREABLE(t125) AND NOT FIREABLE(t126) AND NOT FIREABLE(t127) AND NOT FIREABLE(t128) AND NOT FIREABLE(t129) AND NOT FIREABLE(t130) AND NOT FIREABLE(t131) AND NOT FIREABLE(t132) AND NOT FIREABLE(t133) AND NOT FIREABLE(t134) AND NOT FIREABLE(t135) AND NOT FIREABLE(t136) AND NOT FIREABLE(t137) AND NOT FIREABLE(t138) AND NOT FIREABLE(t139) AND NOT FIREABLE(t140) AND NOT FIREABLE(t141) AND NOT FIREABLE(t142) AND NOT FIREABLE(t143) AND NOT FIREABLE(t144) AND NOT FIREABLE(t145) AND NOT FIREABLE(t146) AND NOT FIREABLE(t147) AND NOT FIREABLE(t148) AND NOT FIREABLE(t149) AND NOT FIREABLE(t150) AND NOT FIREABLE(t151) AND NOT FIREABLE(t152) AND NOT FIREABLE(t153) AND NOT FIREABLE(t154) AND NOT FIREABLE(t155) AND NOT FIREABLE(t156) AND NOT FIREABLE(t157) AND NOT FIREABLE(t158) AND NOT FIREABLE(t159) AND NOT FIREABLE(t160) AND NOT FIREABLE(t161) AND NOT FIREABLE(t162) AND NOT FIREABLE(t163) AND NOT FIREABLE(t164) AND NOT FIREABLE(t165) AND NOT FIREABLE(t166) AND NOT FIREABLE(t167) AND NOT FIREABLE(t168) AND NOT FIREABLE(t169) AND NOT FIREABLE(t170) AND NOT FIREABLE(t171) AND NOT FIREABLE(t172) AND NOT FIREABLE(t173) AND NOT FIREABLE(t174) AND NOT FIREABLE(t175) AND NOT FIREABLE(t176) AND NOT FIREABLE(t177) AND NOT FIREABLE(t178) AND NOT FIREABLE(t179) AND NOT FIREABLE(t180) AND NOT FIREABLE(t181) AND NOT FIREABLE(t182) AND NOT FIREABLE(t183) AND NOT FIREABLE(t184) AND NOT FIREABLE(t185) AND NOT FIREABLE(t186) AND NOT FIREABLE(t187) AND NOT FIREABLE(t188) AND NOT FIREABLE(t189) AND NOT FIREABLE(t190) AND NOT FIREABLE(t191) AND NOT FIREABLE(t192) AND NOT FIREABLE(t193) AND NOT FIREABLE(t194) AND NOT FIREABLE(t195) AND NOT FIREABLE(t196) AND NOT FIREABLE(t197) AND NOT FIREABLE(t198) AND NOT FIREABLE(t199)))
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (((FIREABLE(t100) OR FIREABLE(t101) OR FIREABLE(t102) OR FIREABLE(t103) OR FIREABLE(t104) OR FIREABLE(t105) OR FIREABLE(t106) OR FIREABLE(t107) OR FIREABLE(t108) OR FIREABLE(t109) OR FIREABLE(t110) OR FIREABLE(t111) OR FIREABLE(t112) OR FIREABLE(t113) OR FIREABLE(t114) OR FIREABLE(t115) OR FIREABLE(t116) OR FIREABLE(t117) OR FIREABLE(t118) OR FIREABLE(t119) OR FIREABLE(... (shortened)
lola: processed formula length: 1937
lola: 125 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 294748 markings, 2149150 edges, 58950 markings/sec, 0 secs
lola: 543427 markings, 4286800 edges, 49736 markings/sec, 5 secs
lola: 807856 markings, 6367109 edges, 52886 markings/sec, 10 secs
lola: 1051833 markings, 8467354 edges, 48795 markings/sec, 15 secs
lola: 1283476 markings, 10570685 edges, 46329 markings/sec, 20 secs
lola: 1505816 markings, 12693411 edges, 44468 markings/sec, 25 secs
lola: 1729906 markings, 14747315 edges, 44818 markings/sec, 30 secs
lola: 1966921 markings, 16781182 edges, 47403 markings/sec, 35 secs
lola: 2204256 markings, 18821781 edges, 47467 markings/sec, 40 secs
lola: 2434306 markings, 20879755 edges, 46010 markings/sec, 45 secs
lola: 2640073 markings, 22943995 edges, 41153 markings/sec, 50 secs
lola: 2869231 markings, 24973940 edges, 45832 markings/sec, 55 secs
lola: 3092928 markings, 27015420 edges, 44739 markings/sec, 60 secs
lola: 3308786 markings, 29097935 edges, 43172 markings/sec, 65 secs
lola: 3521519 markings, 31147060 edges, 42547 markings/sec, 70 secs
lola: 3740204 markings, 33232667 edges, 43737 markings/sec, 75 secs
lola: 3944399 markings, 35292841 edges, 40839 markings/sec, 80 secs
lola: 4149554 markings, 37354225 edges, 41031 markings/sec, 85 secs
lola: 4353846 markings, 39461733 edges, 40858 markings/sec, 90 secs
lola: 4546430 markings, 41543551 edges, 38517 markings/sec, 95 secs
lola: 4729346 markings, 43605090 edges, 36583 markings/sec, 100 secs
lola: 4935083 markings, 45605107 edges, 41147 markings/sec, 105 secs
lola: 5167320 markings, 47586068 edges, 46447 markings/sec, 110 secs
lola: 5400775 markings, 49586657 edges, 46691 markings/sec, 115 secs
lola: 5625302 markings, 51606133 edges, 44905 markings/sec, 120 secs
lola: 5828802 markings, 53622768 edges, 40700 markings/sec, 125 secs
lola: 6048031 markings, 55594237 edges, 43846 markings/sec, 130 secs
lola: 6266814 markings, 57575084 edges, 43757 markings/sec, 135 secs
lola: 6477685 markings, 59585427 edges, 42174 markings/sec, 140 secs
lola: 6679709 markings, 61571610 edges, 40405 markings/sec, 145 secs
lola: 6894823 markings, 63587793 edges, 43023 markings/sec, 150 secs
lola: 7085180 markings, 65567770 edges, 38071 markings/sec, 155 secs
lola: 7296460 markings, 67604482 edges, 42256 markings/sec, 160 secs
lola: 7493484 markings, 69626877 edges, 39405 markings/sec, 165 secs
lola: 7686673 markings, 71673069 edges, 38638 markings/sec, 170 secs
lola: 7867365 markings, 73677750 edges, 36138 markings/sec, 175 secs
lola: 8032438 markings, 75637551 edges, 33015 markings/sec, 180 secs
lola: 8259073 markings, 77613609 edges, 45327 markings/sec, 185 secs
lola: 8484315 markings, 79616153 edges, 45048 markings/sec, 190 secs
lola: 8684945 markings, 81617483 edges, 40126 markings/sec, 195 secs
lola: 8890995 markings, 83589399 edges, 41210 markings/sec, 200 secs
lola: 9106216 markings, 85632679 edges, 43044 markings/sec, 205 secs
lola: 9306151 markings, 87650159 edges, 39987 markings/sec, 210 secs
lola: 9503022 markings, 89646868 edges, 39374 markings/sec, 215 secs
lola: 9702539 markings, 91694635 edges, 39903 markings/sec, 220 secs
lola: 9889463 markings, 93712516 edges, 37385 markings/sec, 225 secs
lola: 10068032 markings, 95731919 edges, 35714 markings/sec, 230 secs
lola: 10237500 markings, 97521859 edges, 33894 markings/sec, 235 secs
lola: 10447355 markings, 99490827 edges, 41971 markings/sec, 240 secs
lola: 10630538 markings, 101415824 edges, 36637 markings/sec, 245 secs
lola: 10843302 markings, 103434817 edges, 42553 markings/sec, 250 secs
lola: 11037749 markings, 105441738 edges, 38889 markings/sec, 255 secs
lola: 11229191 markings, 107463999 edges, 38288 markings/sec, 260 secs
lola: 11393825 markings, 109291752 edges, 32927 markings/sec, 265 secs
lola: 11556539 markings, 111213577 edges, 32543 markings/sec, 270 secs
lola: 11759787 markings, 113215562 edges, 40650 markings/sec, 275 secs
lola: 11954065 markings, 115223287 edges, 38856 markings/sec, 280 secs
lola: 12148474 markings, 117266172 edges, 38882 markings/sec, 285 secs
lola: 12333793 markings, 119295540 edges, 37064 markings/sec, 290 secs
lola: 12501780 markings, 121274639 edges, 33597 markings/sec, 295 secs
lola: 12697888 markings, 123318699 edges, 39222 markings/sec, 300 secs
lola: 12886260 markings, 125356214 edges, 37674 markings/sec, 305 secs
lola: 13064575 markings, 127365407 edges, 35663 markings/sec, 310 secs
lola: 13241481 markings, 129386083 edges, 35381 markings/sec, 315 secs
lola: 13427632 markings, 131454194 edges, 37230 markings/sec, 320 secs
lola: 13597101 markings, 133487758 edges, 33894 markings/sec, 325 secs
lola: 13777509 markings, 135541874 edges, 36082 markings/sec, 330 secs
lola: 13945924 markings, 137561628 edges, 33683 markings/sec, 335 secs
lola: 14109311 markings, 139567229 edges, 32677 markings/sec, 340 secs
lola: 14265961 markings, 141562785 edges, 31330 markings/sec, 345 secs
lola: 14408067 markings, 143505922 edges, 28421 markings/sec, 350 secs
lola: 14650733 markings, 145443814 edges, 48533 markings/sec, 355 secs
lola: 14873618 markings, 147369449 edges, 44577 markings/sec, 360 secs
lola: 15092747 markings, 149307100 edges, 43826 markings/sec, 365 secs
lola: 15303002 markings, 151278555 edges, 42051 markings/sec, 370 secs
lola: 15485177 markings, 153195020 edges, 36435 markings/sec, 375 secs
lola: 15713394 markings, 155134303 edges, 45643 markings/sec, 380 secs
lola: 15930901 markings, 157088367 edges, 43501 markings/sec, 385 secs
lola: 16128848 markings, 159035106 edges, 39589 markings/sec, 390 secs
lola: 16329772 markings, 160958728 edges, 40185 markings/sec, 395 secs
lola: 16535227 markings, 162922787 edges, 41091 markings/sec, 400 secs
lola: 16726785 markings, 164860611 edges, 38312 markings/sec, 405 secs
lola: 16925778 markings, 166831466 edges, 39799 markings/sec, 410 secs
lola: 17119181 markings, 168818303 edges, 38681 markings/sec, 415 secs
lola: 17305428 markings, 170804680 edges, 37249 markings/sec, 420 secs
lola: 17481687 markings, 172770725 edges, 35252 markings/sec, 425 secs
lola: 17648802 markings, 174685241 edges, 33423 markings/sec, 430 secs
lola: 17872924 markings, 176637588 edges, 44824 markings/sec, 435 secs
lola: 18090648 markings, 178606367 edges, 43545 markings/sec, 440 secs
lola: 18286984 markings, 180567926 edges, 39267 markings/sec, 445 secs
lola: 18489630 markings, 182501855 edges, 40529 markings/sec, 450 secs
lola: 18699755 markings, 184492824 edges, 42025 markings/sec, 455 secs
lola: 18893548 markings, 186447668 edges, 38759 markings/sec, 460 secs
lola: 19088403 markings, 188410899 edges, 38971 markings/sec, 465 secs
lola: 19282286 markings, 190400903 edges, 38777 markings/sec, 470 secs
lola: 19465218 markings, 192378215 edges, 36586 markings/sec, 475 secs
lola: 19640498 markings, 194336835 edges, 35056 markings/sec, 480 secs
lola: 19815354 markings, 196255265 edges, 34971 markings/sec, 485 secs
lola: 20026701 markings, 198225754 edges, 42269 markings/sec, 490 secs
lola: 20210541 markings, 200103991 edges, 36768 markings/sec, 495 secs
lola: 20407233 markings, 202007672 edges, 39338 markings/sec, 500 secs
lola: 20589461 markings, 203886525 edges, 36446 markings/sec, 505 secs
lola: 20772654 markings, 205810798 edges, 36639 markings/sec, 510 secs
lola: 20950656 markings, 207720440 edges, 35600 markings/sec, 515 secs
lola: 21111389 markings, 209578262 edges, 32147 markings/sec, 520 secs
lola: 21287072 markings, 211438139 edges, 35137 markings/sec, 525 secs
lola: 21471971 markings, 213321638 edges, 36980 markings/sec, 530 secs
lola: 21661241 markings, 215255722 edges, 37854 markings/sec, 535 secs
lola: 21837081 markings, 217156911 edges, 35168 markings/sec, 540 secs
lola: 22006522 markings, 219048080 edges, 33888 markings/sec, 545 secs
lola: 22167284 markings, 220899797 edges, 32152 markings/sec, 550 secs
lola: 22351854 markings, 222837270 edges, 36914 markings/sec, 555 secs
lola: 22530913 markings, 224759647 edges, 35812 markings/sec, 560 secs
lola: 22692059 markings, 226624436 edges, 32229 markings/sec, 565 secs
lola: 22861327 markings, 228530703 edges, 33854 markings/sec, 570 secs
lola: 23036280 markings, 230485846 edges, 34991 markings/sec, 575 secs
lola: 23193992 markings, 232381314 edges, 31542 markings/sec, 580 secs
lola: 23364952 markings, 234318207 edges, 34192 markings/sec, 585 secs
lola: 23522046 markings, 236214774 edges, 31419 markings/sec, 590 secs
lola: 23676668 markings, 238098788 edges, 30924 markings/sec, 595 secs
lola: 23825230 markings, 239957906 edges, 29712 markings/sec, 600 secs
lola: 23960860 markings, 241759154 edges, 27126 markings/sec, 605 secs
lola: 24144434 markings, 243585866 edges, 36715 markings/sec, 610 secs
lola: 24354525 markings, 245451251 edges, 42018 markings/sec, 615 secs
lola: 24553372 markings, 247326368 edges, 39769 markings/sec, 620 secs
lola: 24725164 markings, 249142807 edges, 34358 markings/sec, 625 secs
lola: 24938830 markings, 251043704 edges, 42733 markings/sec, 630 secs
lola: 25130965 markings, 252937254 edges, 38427 markings/sec, 635 secs
lola: 25318363 markings, 254810691 edges, 37480 markings/sec, 640 secs
lola: 25500895 markings, 256682000 edges, 36506 markings/sec, 645 secs
lola: 25689689 markings, 258608659 edges, 37759 markings/sec, 650 secs
lola: 25864117 markings, 260498441 edges, 34886 markings/sec, 655 secs
lola: 26032837 markings, 262379313 edges, 33744 markings/sec, 660 secs
lola: 26194751 markings, 264189816 edges, 32383 markings/sec, 665 secs
lola: 26399480 markings, 266076007 edges, 40946 markings/sec, 670 secs
lola: 26585423 markings, 267948189 edges, 37189 markings/sec, 675 secs
lola: 26778557 markings, 269832301 edges, 38627 markings/sec, 680 secs
lola: 26952132 markings, 271651728 edges, 34715 markings/sec, 685 secs
lola: 27143271 markings, 273632647 edges, 38228 markings/sec, 690 secs
lola: 27328647 markings, 275606019 edges, 37075 markings/sec, 695 secs
lola: 27496499 markings, 277532734 edges, 33570 markings/sec, 700 secs
lola: 27676434 markings, 279459284 edges, 35987 markings/sec, 705 secs
lola: 27868696 markings, 281412686 edges, 38452 markings/sec, 710 secs
lola: 28063851 markings, 283407734 edges, 39031 markings/sec, 715 secs
lola: 28246279 markings, 285382466 edges, 36486 markings/sec, 720 secs
lola: 28419998 markings, 287335007 edges, 34744 markings/sec, 725 secs
lola: 28591346 markings, 289268424 edges, 34270 markings/sec, 730 secs
lola: 28781454 markings, 291262007 edges, 38022 markings/sec, 735 secs
lola: 28959129 markings, 293227295 edges, 35535 markings/sec, 740 secs
lola: 29122880 markings, 295149342 edges, 32750 markings/sec, 745 secs
lola: 29305772 markings, 297154656 edges, 36578 markings/sec, 750 secs
lola: 29481308 markings, 299146737 edges, 35107 markings/sec, 755 secs
lola: 29649491 markings, 301121680 edges, 33637 markings/sec, 760 secs
lola: 29817060 markings, 303090791 edges, 33514 markings/sec, 765 secs
lola: 29981845 markings, 305058355 edges, 32957 markings/sec, 770 secs
lola: 30138359 markings, 306995762 edges, 31303 markings/sec, 775 secs
lola: 30287195 markings, 308904759 edges, 29767 markings/sec, 780 secs
lola: 30424271 markings, 310721029 edges, 27415 markings/sec, 785 secs
lola: 30634580 markings, 312616023 edges, 42062 markings/sec, 790 secs
lola: 30824134 markings, 314504265 edges, 37911 markings/sec, 795 secs
lola: 31014398 markings, 316386251 edges, 38053 markings/sec, 800 secs
lola: 31191988 markings, 318238306 edges, 35518 markings/sec, 805 secs
lola: 31382300 markings, 320173384 edges, 38062 markings/sec, 810 secs
lola: 31558824 markings, 322080486 edges, 35305 markings/sec, 815 secs
lola: 31726643 markings, 323963167 edges, 33564 markings/sec, 820 secs
lola: 31891937 markings, 325800133 edges, 33059 markings/sec, 825 secs
lola: 32083909 markings, 327707782 edges, 38394 markings/sec, 830 secs
lola: 32262456 markings, 329549073 edges, 35709 markings/sec, 835 secs
lola: 32450624 markings, 331539723 edges, 37634 markings/sec, 840 secs
lola: 32627440 markings, 333506701 edges, 35363 markings/sec, 845 secs
lola: 32786019 markings, 335415566 edges, 31716 markings/sec, 850 secs
lola: 32979929 markings, 337418151 edges, 38782 markings/sec, 855 secs
lola: 33167469 markings, 339415842 edges, 37508 markings/sec, 860 secs
lola: 33336997 markings, 341362885 edges, 33906 markings/sec, 865 secs
lola: 33511774 markings, 343338595 edges, 34955 markings/sec, 870 secs
lola: 33692097 markings, 345353338 edges, 36065 markings/sec, 875 secs
lola: 33857066 markings, 347330587 edges, 32994 markings/sec, 880 secs
lola: 34032463 markings, 349331062 edges, 35079 markings/sec, 885 secs
lola: 34197021 markings, 351301590 edges, 32912 markings/sec, 890 secs
lola: 34356639 markings, 353257107 edges, 31924 markings/sec, 895 secs
lola: 34507314 markings, 355182578 edges, 30135 markings/sec, 900 secs
lola: 34646812 markings, 357055093 edges, 27900 markings/sec, 905 secs
lola: 34843001 markings, 359036573 edges, 39238 markings/sec, 910 secs
lola: 35033879 markings, 360997349 edges, 38176 markings/sec, 915 secs
lola: 35224512 markings, 362993283 edges, 38127 markings/sec, 920 secs
lola: 35406904 markings, 364969767 edges, 36478 markings/sec, 925 secs
lola: 35571910 markings, 366898221 edges, 33001 markings/sec, 930 secs
lola: 35758325 markings, 368879303 edges, 37283 markings/sec, 935 secs
lola: 35943945 markings, 370868844 edges, 37124 markings/sec, 940 secs
lola: 36118717 markings, 372833365 edges, 34954 markings/sec, 945 secs
lola: 36284185 markings, 374771483 edges, 33094 markings/sec, 950 secs
lola: 36469818 markings, 376800187 edges, 37127 markings/sec, 955 secs
lola: 36638095 markings, 378779061 edges, 33655 markings/sec, 960 secs
lola: 36812385 markings, 380772441 edges, 34858 markings/sec, 965 secs
lola: 36958046 markings, 382544566 edges, 29132 markings/sec, 970 secs
lola: 37122042 markings, 384506417 edges, 32799 markings/sec, 975 secs
lola: 37279241 markings, 386453931 edges, 31440 markings/sec, 980 secs
lola: 37425196 markings, 388351907 edges, 29191 markings/sec, 985 secs
lola: 37586893 markings, 390284665 edges, 32339 markings/sec, 990 secs
lola: 37777533 markings, 392288246 edges, 38128 markings/sec, 995 secs
lola: 37955887 markings, 394261406 edges, 35671 markings/sec, 1000 secs
lola: 38118432 markings, 396187712 edges, 32509 markings/sec, 1005 secs
lola: 38304631 markings, 398215161 edges, 37240 markings/sec, 1010 secs
lola: 38480766 markings, 400224353 edges, 35227 markings/sec, 1015 secs
lola: 38649418 markings, 402215078 edges, 33730 markings/sec, 1020 secs
lola: 38817118 markings, 404187544 edges, 33540 markings/sec, 1025 secs
lola: 38968515 markings, 405987239 edges, 30279 markings/sec, 1030 secs
lola: 39126808 markings, 407941812 edges, 31659 markings/sec, 1035 secs
lola: 39277064 markings, 409869063 edges, 30051 markings/sec, 1040 secs
lola: 39420473 markings, 411774716 edges, 28682 markings/sec, 1045 secs
lola: 39609822 markings, 413819484 edges, 37870 markings/sec, 1050 secs
lola: 39779720 markings, 415813604 edges, 33980 markings/sec, 1055 secs
lola: 39954824 markings, 417822258 edges, 35021 markings/sec, 1060 secs
lola: 40117812 markings, 419797507 edges, 32598 markings/sec, 1065 secs
lola: 40281067 markings, 421770027 edges, 32651 markings/sec, 1070 secs
lola: 40440747 markings, 423736379 edges, 31936 markings/sec, 1075 secs
lola: 40586341 markings, 425644928 edges, 29119 markings/sec, 1080 secs
lola: 40744862 markings, 427616636 edges, 31704 markings/sec, 1085 secs
lola: 40916874 markings, 429648071 edges, 34402 markings/sec, 1090 secs
lola: 41087292 markings, 431683389 edges, 34084 markings/sec, 1095 secs
lola: 41247027 markings, 433681599 edges, 31947 markings/sec, 1100 secs
lola: 41401399 markings, 435659847 edges, 30874 markings/sec, 1105 secs
lola: 41552014 markings, 437631332 edges, 30123 markings/sec, 1110 secs
lola: 41712892 markings, 439587288 edges, 32176 markings/sec, 1115 secs
lola: 41867681 markings, 441522895 edges, 30958 markings/sec, 1120 secs
lola: 42008510 markings, 443398273 edges, 28166 markings/sec, 1125 secs
lola: 42157009 markings, 445309402 edges, 29700 markings/sec, 1130 secs
lola: 42306620 markings, 447223956 edges, 29922 markings/sec, 1135 secs
lola: 42440317 markings, 449077737 edges, 26739 markings/sec, 1140 secs
lola: 42588574 markings, 450984685 edges, 29651 markings/sec, 1145 secs
lola: 42722778 markings, 452826352 edges, 26841 markings/sec, 1150 secs
lola: 42854780 markings, 454665071 edges, 26400 markings/sec, 1155 secs
lola: 42984534 markings, 456482465 edges, 25951 markings/sec, 1160 secs
lola: 43105009 markings, 458250954 edges, 24095 markings/sec, 1165 secs
lola: 43263573 markings, 460037701 edges, 31713 markings/sec, 1170 secs
lola: 43481038 markings, 461837171 edges, 43493 markings/sec, 1175 secs
lola: 43690382 markings, 463630251 edges, 41869 markings/sec, 1180 secs
lola: 43890556 markings, 465427193 edges, 40035 markings/sec, 1185 secs
lola: 44083313 markings, 467246642 edges, 38551 markings/sec, 1190 secs
lola: 44248813 markings, 469006843 edges, 33100 markings/sec, 1195 secs
lola: 44464183 markings, 470814397 edges, 43074 markings/sec, 1200 secs
lola: 44661053 markings, 472600352 edges, 39374 markings/sec, 1205 secs
lola: 44852493 markings, 474431247 edges, 38288 markings/sec, 1210 secs
lola: 45031435 markings, 476201890 edges, 35788 markings/sec, 1215 secs
lola: 45224568 markings, 478016514 edges, 38627 markings/sec, 1220 secs
lola: 45404564 markings, 479822755 edges, 35999 markings/sec, 1225 secs
lola: 45591418 markings, 481641232 edges, 37371 markings/sec, 1230 secs
lola: 45759328 markings, 483411994 edges, 33582 markings/sec, 1235 secs
lola: 45941715 markings, 485265557 edges, 36477 markings/sec, 1240 secs
lola: 46109218 markings, 487075909 edges, 33501 markings/sec, 1245 secs
lola: 46269894 markings, 488869869 edges, 32135 markings/sec, 1250 secs
lola: 46425638 markings, 490594406 edges, 31149 markings/sec, 1255 secs
lola: 46629735 markings, 492393285 edges, 40819 markings/sec, 1260 secs
lola: 46832783 markings, 494210542 edges, 40610 markings/sec, 1265 secs
lola: 47017325 markings, 496024027 edges, 36908 markings/sec, 1270 secs
lola: 47201764 markings, 497800502 edges, 36888 markings/sec, 1275 secs
lola: 47395107 markings, 499622769 edges, 38669 markings/sec, 1280 secs
lola: 47564118 markings, 501394034 edges, 33802 markings/sec, 1285 secs
lola: 47757678 markings, 503239244 edges, 38712 markings/sec, 1290 secs
lola: 47930995 markings, 505036355 edges, 34663 markings/sec, 1295 secs
lola: 48104865 markings, 506870474 edges, 34774 markings/sec, 1300 secs
lola: 48268890 markings, 508621571 edges, 32805 markings/sec, 1305 secs
lola: 48430616 markings, 510458914 edges, 32345 markings/sec, 1310 secs
lola: 48603432 markings, 512280257 edges, 34563 markings/sec, 1315 secs
lola: 48803532 markings, 514158106 edges, 40020 markings/sec, 1320 secs
lola: 48981741 markings, 516002487 edges, 35642 markings/sec, 1325 secs
lola: 49179563 markings, 517898279 edges, 39564 markings/sec, 1330 secs
lola: 49359457 markings, 519760243 edges, 35979 markings/sec, 1335 secs
lola: 49540193 markings, 521657514 edges, 36147 markings/sec, 1340 secs
lola: 49715647 markings, 523545019 edges, 35091 markings/sec, 1345 secs
lola: 49874568 markings, 525383401 edges, 31784 markings/sec, 1350 secs
lola: 50048551 markings, 527228677 edges, 34797 markings/sec, 1355 secs
lola: 50232754 markings, 529096638 edges, 36841 markings/sec, 1360 secs
lola: 50419962 markings, 531008712 edges, 37442 markings/sec, 1365 secs
lola: 50595060 markings, 532897959 edges, 35020 markings/sec, 1370 secs
lola: 50761589 markings, 534766973 edges, 33306 markings/sec, 1375 secs
lola: 50919085 markings, 536595527 edges, 31499 markings/sec, 1380 secs
lola: 51100557 markings, 538505968 edges, 36294 markings/sec, 1385 secs
lola: 51279973 markings, 540409462 edges, 35883 markings/sec, 1390 secs
lola: 51440947 markings, 542259724 edges, 32195 markings/sec, 1395 secs
lola: 51605492 markings, 544128383 edges, 32909 markings/sec, 1400 secs
lola: 51771379 markings, 545973441 edges, 33177 markings/sec, 1405 secs
lola: 51921792 markings, 547773216 edges, 30083 markings/sec, 1410 secs
lola: 52084625 markings, 549615387 edges, 32567 markings/sec, 1415 secs
lola: 52230875 markings, 551395166 edges, 29250 markings/sec, 1420 secs
lola: 52381288 markings, 553181604 edges, 30083 markings/sec, 1425 secs
lola: 52523838 markings, 554960256 edges, 28510 markings/sec, 1430 secs
lola: 52663064 markings, 556743352 edges, 27845 markings/sec, 1435 secs
lola: 52796601 markings, 558476836 edges, 26707 markings/sec, 1440 secs
lola: 53008408 markings, 560316344 edges, 42361 markings/sec, 1445 secs
lola: 53204725 markings, 562073973 edges, 39263 markings/sec, 1450 secs
lola: 53397634 markings, 563950637 edges, 38582 markings/sec, 1455 secs
lola: 53588892 markings, 565798152 edges, 38252 markings/sec, 1460 secs
lola: 53789625 markings, 567688361 edges, 40147 markings/sec, 1465 secs
lola: 53963334 markings, 569526366 edges, 34742 markings/sec, 1470 secs
lola: 54165371 markings, 571435086 edges, 40407 markings/sec, 1475 secs
lola: 54344638 markings, 573298073 edges, 35853 markings/sec, 1480 secs
lola: 54525507 markings, 575193000 edges, 36174 markings/sec, 1485 secs
lola: 54698919 markings, 577072050 edges, 34682 markings/sec, 1490 secs
lola: 54855947 markings, 578902479 edges, 31406 markings/sec, 1495 secs
lola: 55041161 markings, 580741401 edges, 37043 markings/sec, 1500 secs
lola: 55238129 markings, 582613813 edges, 39394 markings/sec, 1505 secs
lola: 55417217 markings, 584456753 edges, 35818 markings/sec, 1510 secs
lola: 55611041 markings, 586341624 edges, 38765 markings/sec, 1515 secs
lola: 55792979 markings, 588215040 edges, 36388 markings/sec, 1520 secs
lola: 55972404 markings, 590110239 edges, 35885 markings/sec, 1525 secs
lola: 56142421 markings, 591987725 edges, 34003 markings/sec, 1530 secs
lola: 56298751 markings, 593820130 edges, 31266 markings/sec, 1535 secs
lola: 56486327 markings, 595697724 edges, 37515 markings/sec, 1540 secs
lola: 56664093 markings, 597556998 edges, 35553 markings/sec, 1545 secs
lola: 56849668 markings, 599476713 edges, 37115 markings/sec, 1550 secs
lola: 57028350 markings, 601386249 edges, 35736 markings/sec, 1555 secs
lola: 57192029 markings, 603245761 edges, 32736 markings/sec, 1560 secs
lola: 57357559 markings, 605101845 edges, 33106 markings/sec, 1565 secs
lola: 57539481 markings, 607018198 edges, 36384 markings/sec, 1570 secs
lola: 57712513 markings, 608906198 edges, 34606 markings/sec, 1575 secs
lola: 57870245 markings, 610751447 edges, 31546 markings/sec, 1580 secs
lola: 58041171 markings, 612660377 edges, 34185 markings/sec, 1585 secs
lola: 58214170 markings, 614595236 edges, 34600 markings/sec, 1590 secs
lola: 58373527 markings, 616485931 edges, 31871 markings/sec, 1595 secs
lola: 58540652 markings, 618406197 edges, 33425 markings/sec, 1600 secs
lola: 58696405 markings, 620276509 edges, 31151 markings/sec, 1605 secs
lola: 58848231 markings, 622139405 edges, 30365 markings/sec, 1610 secs
lola: 58993747 markings, 623971592 edges, 29103 markings/sec, 1615 secs
lola: 59127692 markings, 625758410 edges, 26789 markings/sec, 1620 secs
lola: 59309164 markings, 627606066 edges, 36294 markings/sec, 1625 secs
lola: 59505972 markings, 629486413 edges, 39362 markings/sec, 1630 secs
lola: 59688117 markings, 631339446 edges, 36429 markings/sec, 1635 secs
lola: 59880187 markings, 633217081 edges, 38414 markings/sec, 1640 secs
lola: 60062621 markings, 635096895 edges, 36487 markings/sec, 1645 secs
lola: 60241010 markings, 636985550 edges, 35678 markings/sec, 1650 secs
lola: 60409574 markings, 638856042 edges, 33713 markings/sec, 1655 secs
lola: 60564460 markings, 640676877 edges, 30977 markings/sec, 1660 secs
lola: 60753380 markings, 642555360 edges, 37784 markings/sec, 1665 secs
lola: 60935757 markings, 644452206 edges, 36475 markings/sec, 1670 secs
lola: 61121340 markings, 646399459 edges, 37117 markings/sec, 1675 secs
lola: 61304318 markings, 648339703 edges, 36596 markings/sec, 1680 secs
lola: 61469018 markings, 650234022 edges, 32940 markings/sec, 1685 secs
lola: 61643893 markings, 652146225 edges, 34975 markings/sec, 1690 secs
lola: 61826691 markings, 654089398 edges, 36560 markings/sec, 1695 secs
lola: 62000428 markings, 656007524 edges, 34747 markings/sec, 1700 secs
lola: 62156193 markings, 657871166 edges, 31153 markings/sec, 1705 secs
lola: 62338271 markings, 659846562 edges, 36416 markings/sec, 1710 secs
lola: 62509183 markings, 661797035 edges, 34182 markings/sec, 1715 secs
lola: 62673811 markings, 663727223 edges, 32926 markings/sec, 1720 secs
lola: 62838415 markings, 665659938 edges, 32921 markings/sec, 1725 secs
lola: 62999760 markings, 667585816 edges, 32269 markings/sec, 1730 secs
lola: 63153788 markings, 669486677 edges, 30806 markings/sec, 1735 secs
lola: 63300124 markings, 671360845 edges, 29267 markings/sec, 1740 secs
lola: 63429888 markings, 673178995 edges, 25953 markings/sec, 1745 secs
lola: 63636587 markings, 675130935 edges, 41340 markings/sec, 1750 secs
lola: 63820401 markings, 677044518 edges, 36763 markings/sec, 1755 secs
lola: 64005741 markings, 678991518 edges, 37068 markings/sec, 1760 secs
lola: 64181831 markings, 680916038 edges, 35218 markings/sec, 1765 secs
lola: 64341984 markings, 682793840 edges, 32031 markings/sec, 1770 secs
lola: 64526039 markings, 684737115 edges, 36811 markings/sec, 1775 secs
lola: 64707532 markings, 686678775 edges, 36299 markings/sec, 1780 secs
lola: 64878810 markings, 688596574 edges, 34256 markings/sec, 1785 secs
lola: 65038448 markings, 690483804 edges, 31928 markings/sec, 1790 secs
lola: 65221599 markings, 692467818 edges, 36630 markings/sec, 1795 secs
lola: 65387303 markings, 694405998 edges, 33141 markings/sec, 1800 secs
lola: 65556692 markings, 696358219 edges, 33878 markings/sec, 1805 secs
lola: 65713664 markings, 698270675 edges, 31394 markings/sec, 1810 secs
lola: 65876603 markings, 700199136 edges, 32588 markings/sec, 1815 secs
lola: 66029251 markings, 702102971 edges, 30530 markings/sec, 1820 secs
lola: 66174367 markings, 703969977 edges, 29023 markings/sec, 1825 secs
lola: 66325371 markings, 705841762 edges, 30201 markings/sec, 1830 secs
lola: 66513123 markings, 707809076 edges, 37550 markings/sec, 1835 secs
lola: 66692449 markings, 709752695 edges, 35865 markings/sec, 1840 secs
lola: 66854893 markings, 711650349 edges, 32489 markings/sec, 1845 secs
lola: 67029155 markings, 713600829 edges, 34852 markings/sec, 1850 secs
lola: 67205762 markings, 715578020 edges, 35321 markings/sec, 1855 secs
lola: 67353618 markings, 717348959 edges, 29571 markings/sec, 1860 secs
lola: 67517909 markings, 719227614 edges, 32858 markings/sec, 1865 secs
lola: 67671140 markings, 721066945 edges, 30646 markings/sec, 1870 secs
lola: 67820550 markings, 722891109 edges, 29882 markings/sec, 1875 secs
lola: 67964998 markings, 724693729 edges, 28890 markings/sec, 1880 secs
lola: 68097321 markings, 726442051 edges, 26465 markings/sec, 1885 secs
lola: 68248948 markings, 728258450 edges, 30325 markings/sec, 1890 secs
lola: 68420564 markings, 730164201 edges, 34323 markings/sec, 1895 secs
lola: 68570225 markings, 731967489 edges, 29932 markings/sec, 1900 secs
lola: 68742796 markings, 733920336 edges, 34514 markings/sec, 1905 secs
lola: 68900820 markings, 735819785 edges, 31605 markings/sec, 1910 secs
lola: 69055475 markings, 737710738 edges, 30931 markings/sec, 1915 secs
lola: 69208282 markings, 739593704 edges, 30561 markings/sec, 1920 secs
lola: 69349672 markings, 741451745 edges, 28278 markings/sec, 1925 secs
lola: 69503659 markings, 743368769 edges, 30797 markings/sec, 1930 secs
lola: 69672272 markings, 745352416 edges, 33723 markings/sec, 1935 secs
lola: 69838454 markings, 747336808 edges, 33236 markings/sec, 1940 secs
lola: 69995399 markings, 749283690 edges, 31389 markings/sec, 1945 secs
lola: 70144844 markings, 751200125 edges, 29889 markings/sec, 1950 secs
lola: 70285990 markings, 753100750 edges, 28229 markings/sec, 1955 secs
lola: 70446767 markings, 755058411 edges, 32155 markings/sec, 1960 secs
lola: 70605898 markings, 757012225 edges, 31826 markings/sec, 1965 secs
lola: 70750215 markings, 758903739 edges, 28863 markings/sec, 1970 secs
lola: 70896424 markings, 760815911 edges, 29242 markings/sec, 1975 secs
lola: 71046533 markings, 762733059 edges, 30022 markings/sec, 1980 secs
lola: 71183088 markings, 764588540 edges, 27311 markings/sec, 1985 secs
lola: 71330173 markings, 766506392 edges, 29417 markings/sec, 1990 secs
lola: 71465660 markings, 768371500 edges, 27097 markings/sec, 1995 secs
lola: 71600648 markings, 770217772 edges, 26998 markings/sec, 2000 secs
lola: 71731864 markings, 772065105 edges, 26243 markings/sec, 2005 secs
lola: 71855551 markings, 773862112 edges, 24737 markings/sec, 2010 secs
lola: 72002600 markings, 775695067 edges, 29410 markings/sec, 2015 secs
lola: 72217348 markings, 777581859 edges, 42950 markings/sec, 2020 secs
lola: 72424392 markings, 779478997 edges, 41409 markings/sec, 2025 secs
lola: 72611797 markings, 781362776 edges, 37481 markings/sec, 2030 secs
lola: 72809091 markings, 783233341 edges, 39459 markings/sec, 2035 secs
lola: 73011618 markings, 785150652 edges, 40505 markings/sec, 2040 secs
lola: 73197014 markings, 787027611 edges, 37079 markings/sec, 2045 secs
lola: 73387397 markings, 788923515 edges, 38077 markings/sec, 2050 secs
lola: 73572543 markings, 790828856 edges, 37029 markings/sec, 2055 secs
lola: 73752010 markings, 792737505 edges, 35893 markings/sec, 2060 secs
lola: 73922020 markings, 794627565 edges, 34002 markings/sec, 2065 secs
lola: 74071113 markings, 796442990 edges, 29819 markings/sec, 2070 secs
lola: 74283900 markings, 798357320 edges, 42557 markings/sec, 2075 secs
lola: 74477211 markings, 800257837 edges, 38662 markings/sec, 2080 secs
lola: 74665364 markings, 802143551 edges, 37631 markings/sec, 2085 secs
lola: 74849458 markings, 804027532 edges, 36819 markings/sec, 2090 secs
lola: 75038430 markings, 805955116 edges, 37794 markings/sec, 2095 secs
lola: 75213799 markings, 807856935 edges, 35074 markings/sec, 2100 secs
lola: 75383593 markings, 809748883 edges, 33959 markings/sec, 2105 secs
lola: 75547371 markings, 811596363 edges, 32756 markings/sec, 2110 secs
lola: 75741841 markings, 813511236 edges, 38894 markings/sec, 2115 secs
lola: 75926639 markings, 815419649 edges, 36960 markings/sec, 2120 secs
lola: 76108663 markings, 817347904 edges, 36405 markings/sec, 2125 secs
lola: 76280096 markings, 819250721 edges, 34287 markings/sec, 2130 secs
lola: 76432938 markings, 821086881 edges, 30568 markings/sec, 2135 secs
lola: 76622356 markings, 823034953 edges, 37884 markings/sec, 2140 secs
lola: 76799680 markings, 824957961 edges, 35465 markings/sec, 2145 secs
lola: 76969815 markings, 826857165 edges, 34027 markings/sec, 2150 secs
lola: 77130678 markings, 828731209 edges, 32173 markings/sec, 2155 secs
lola: 77307019 markings, 830679501 edges, 35268 markings/sec, 2160 secs
lola: 77469446 markings, 832587346 edges, 32485 markings/sec, 2165 secs
lola: 77638930 markings, 834517876 edges, 33897 markings/sec, 2170 secs
lola: 77795158 markings, 836414416 edges, 31246 markings/sec, 2175 secs
lola: 77952527 markings, 838302608 edges, 31474 markings/sec, 2180 secs
lola: 78104313 markings, 840182413 edges, 30357 markings/sec, 2185 secs
lola: 78246138 markings, 842018877 edges, 28365 markings/sec, 2190 secs
lola: 78402608 markings, 843845246 edges, 31294 markings/sec, 2195 secs
lola: 78606021 markings, 845748774 edges, 40683 markings/sec, 2200 secs
lola: 78790295 markings, 847625451 edges, 36855 markings/sec, 2205 secs
lola: 78988470 markings, 849547160 edges, 39635 markings/sec, 2210 secs
lola: 79170103 markings, 851420758 edges, 36327 markings/sec, 2215 secs
lola: 79352771 markings, 853340554 edges, 36534 markings/sec, 2220 secs
lola: 79532188 markings, 855262937 edges, 35883 markings/sec, 2225 secs
lola: 79694657 markings, 857139931 edges, 32494 markings/sec, 2230 secs
lola: 79874153 markings, 859028204 edges, 35899 markings/sec, 2235 secs
lola: 80058777 markings, 860924525 edges, 36925 markings/sec, 2240 secs
lola: 80247966 markings, 862851862 edges, 37838 markings/sec, 2245 secs
lola: 80422131 markings, 864747525 edges, 34833 markings/sec, 2250 secs
lola: 80593317 markings, 866652256 edges, 34237 markings/sec, 2255 secs
lola: 80757565 markings, 868529543 edges, 32850 markings/sec, 2260 secs
lola: 80943001 markings, 870474018 edges, 37087 markings/sec, 2265 secs
lola: 81121267 markings, 872401893 edges, 35653 markings/sec, 2270 secs
lola: 81282738 markings, 874282762 edges, 32294 markings/sec, 2275 secs
lola: 81454765 markings, 876209128 edges, 34405 markings/sec, 2280 secs
lola: 81628918 markings, 878166507 edges, 34831 markings/sec, 2285 secs
lola: 81790348 markings, 880084081 edges, 32286 markings/sec, 2290 secs
lola: 81960072 markings, 882026114 edges, 33945 markings/sec, 2295 secs
lola: 82119834 markings, 883944129 edges, 31952 markings/sec, 2300 secs
lola: 82275421 markings, 885847080 edges, 31117 markings/sec, 2305 secs
lola: 82423066 markings, 887717726 edges, 29529 markings/sec, 2310 secs
lola: 82559477 markings, 889542386 edges, 27282 markings/sec, 2315 secs
lola: 82744587 markings, 891459138 edges, 37022 markings/sec, 2320 secs
lola: 82926782 markings, 893363148 edges, 36439 markings/sec, 2325 secs
lola: 83114944 markings, 895312937 edges, 37632 markings/sec, 2330 secs
lola: 83296798 markings, 897252501 edges, 36371 markings/sec, 2335 secs
lola: 83462390 markings, 899146338 edges, 33118 markings/sec, 2340 secs
lola: 83635502 markings, 901054414 edges, 34622 markings/sec, 2345 secs
lola: 83820017 markings, 903002645 edges, 36903 markings/sec, 2350 secs
lola: 83993861 markings, 904928741 edges, 34769 markings/sec, 2355 secs
lola: 84152225 markings, 906803980 edges, 31673 markings/sec, 2360 secs
lola: 84332146 markings, 908771255 edges, 35984 markings/sec, 2365 secs
lola: 84504755 markings, 910725513 edges, 34522 markings/sec, 2370 secs
lola: 84668643 markings, 912654654 edges, 32778 markings/sec, 2375 secs
lola: 84833486 markings, 914582886 edges, 32969 markings/sec, 2380 secs
lola: 84994659 markings, 916506704 edges, 32235 markings/sec, 2385 secs
lola: 85148302 markings, 918405884 edges, 30729 markings/sec, 2390 secs
lola: 85294785 markings, 920275777 edges, 29297 markings/sec, 2395 secs
lola: 85426035 markings, 922082279 edges, 26250 markings/sec, 2400 secs
lola: 85617615 markings, 924060996 edges, 38316 markings/sec, 2405 secs
lola: 85797884 markings, 926004503 edges, 36054 markings/sec, 2410 secs
lola: 85967784 markings, 927916630 edges, 33980 markings/sec, 2415 secs
lola: 86132832 markings, 929820943 edges, 33010 markings/sec, 2420 secs
lola: 86311612 markings, 931797573 edges, 35756 markings/sec, 2425 secs
lola: 86472497 markings, 933720019 edges, 32177 markings/sec, 2430 secs
lola: 86645700 markings, 935685274 edges, 34641 markings/sec, 2435 secs
lola: 86805421 markings, 937602101 edges, 31944 markings/sec, 2440 secs
lola: 86961769 markings, 939511539 edges, 31270 markings/sec, 2445 secs
lola: 87115775 markings, 941412069 edges, 30801 markings/sec, 2450 secs
lola: 87256165 markings, 943260177 edges, 28078 markings/sec, 2455 secs
lola: 87414928 markings, 945166511 edges, 31753 markings/sec, 2460 secs
lola: 87592587 markings, 947142226 edges, 35532 markings/sec, 2465 secs
lola: 87750379 markings, 949061537 edges, 31558 markings/sec, 2470 secs
lola: 87926761 markings, 951033212 edges, 35276 markings/sec, 2475 secs
lola: 88085664 markings, 952956965 edges, 31781 markings/sec, 2480 secs
lola: 88244240 markings, 954882258 edges, 31715 markings/sec, 2485 secs
lola: 88395762 markings, 956777945 edges, 30304 markings/sec, 2490 secs
lola: 88534354 markings, 958619187 edges, 27718 markings/sec, 2495 secs
lola: 88694484 markings, 960559233 edges, 32026 markings/sec, 2500 secs
lola: 88858045 markings, 962523501 edges, 32712 markings/sec, 2505 secs
lola: 89024804 markings, 964499308 edges, 33352 markings/sec, 2510 secs
lola: 89180575 markings, 966452575 edges, 31154 markings/sec, 2515 secs
lola: 89330703 markings, 968376277 edges, 30026 markings/sec, 2520 secs
lola: 89476980 markings, 970293769 edges, 29255 markings/sec, 2525 secs
lola: 89638541 markings, 972259597 edges, 32312 markings/sec, 2530 secs
lola: 89794244 markings, 974202751 edges, 31141 markings/sec, 2535 secs
lola: 89936298 markings, 976094919 edges, 28411 markings/sec, 2540 secs
lola: 90086290 markings, 978027401 edges, 29998 markings/sec, 2545 secs
lola: 90236463 markings, 979948961 edges, 30035 markings/sec, 2550 secs
lola: 90372508 markings, 981824998 edges, 27209 markings/sec, 2555 secs
lola: 90520971 markings, 983741181 edges, 29693 markings/sec, 2560 secs
lola: 90656707 markings, 985607889 edges, 27147 markings/sec, 2565 secs
lola: 90790857 markings, 987470613 edges, 26830 markings/sec, 2570 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes no unknown no no no no unknown yes no no no no unknown
lola:
preliminary result: yes no yes no unknown no no no no unknown yes no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no unknown no no no no unknown yes no no no no unknown
lola: memory consumption: 15437244 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no unknown no no no no unknown yes no no no no unknown
lola: memory consumption: 15437508 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes no unknown no no no no unknown yes no no no no unknown
rslt: finished
BK_STOP 1589953508749
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Referendum-COL-0100"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is Referendum-COL-0100, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-smll-158961529300092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0100.tgz
mv Referendum-COL-0100 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;