About the Execution of ITS-LoLa for AirplaneLD-PT-0200
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.460 | 3600000.00 | 3620295.00 | 8927.70 | ?T?T?TTFF??TF??F | 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.r166-smll-158987787500274.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 itslola
Input is AirplaneLD-PT-0200, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787500274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 75K Mar 24 10:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 186K Mar 24 10:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 44K Mar 24 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 193K Mar 24 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 120K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 330K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 188K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Mar 24 07:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Mar 24 07:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Mar 24 06:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Mar 24 06:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 24 05:37 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 AirplaneLD-PT-0200-00
FORMULA_NAME AirplaneLD-PT-0200-01
FORMULA_NAME AirplaneLD-PT-0200-02
FORMULA_NAME AirplaneLD-PT-0200-03
FORMULA_NAME AirplaneLD-PT-0200-04
FORMULA_NAME AirplaneLD-PT-0200-05
FORMULA_NAME AirplaneLD-PT-0200-06
FORMULA_NAME AirplaneLD-PT-0200-07
FORMULA_NAME AirplaneLD-PT-0200-08
FORMULA_NAME AirplaneLD-PT-0200-09
FORMULA_NAME AirplaneLD-PT-0200-10
FORMULA_NAME AirplaneLD-PT-0200-11
FORMULA_NAME AirplaneLD-PT-0200-12
FORMULA_NAME AirplaneLD-PT-0200-13
FORMULA_NAME AirplaneLD-PT-0200-14
FORMULA_NAME AirplaneLD-PT-0200-15
=== Now, execution of the tool begins
BK_START 1591379946877
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 17:59:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 17:59:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 17:59:10] [INFO ] Load time of PNML (sax parser for PT used): 372 ms
[2020-06-05 17:59:10] [INFO ] Transformed 1419 places.
[2020-06-05 17:59:10] [INFO ] Transformed 1608 transitions.
[2020-06-05 17:59:10] [INFO ] Found NUPN structural information;
[2020-06-05 17:59:10] [INFO ] Parsed PT model containing 1419 places and 1608 transitions in 448 ms.
Reduce places removed 602 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 95 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 12562 resets, run finished after 2765 ms. (steps per millisecond=36 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 1608 rows 817 cols
[2020-06-05 17:59:13] [INFO ] Computed 3 place invariants in 220 ms
[2020-06-05 17:59:13] [INFO ] [Real]Absence check using 2 positive place invariants in 27 ms returned sat
[2020-06-05 17:59:13] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 15 ms returned sat
[2020-06-05 17:59:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 17:59:16] [INFO ] [Real]Absence check using state equation in 2636 ms returned sat
[2020-06-05 17:59:17] [INFO ] Computed and/alt/rep : 804/61606/804 causal constraints in 447 ms.
[2020-06-05 17:59:17] [INFO ] Added : 1 causal constraints over 1 iterations in 807 ms. Result :sat
[2020-06-05 17:59:18] [INFO ] [Real]Absence check using 2 positive place invariants in 31 ms returned sat
[2020-06-05 17:59:18] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 27 ms returned sat
[2020-06-05 17:59:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 17:59:20] [INFO ] [Real]Absence check using state equation in 2917 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-05 17:59:21] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-06-05 17:59:21] [INFO ] Flatten gal took : 243 ms
FORMULA AirplaneLD-PT-0200-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 17:59:21] [INFO ] Applying decomposition
[2020-06-05 17:59:21] [INFO ] Flatten gal took : 140 ms
[2020-06-05 17:59:21] [INFO ] Decomposing Gal with order
[2020-06-05 17:59:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-05 17:59:23] [INFO ] Removed a total of 1489 redundant transitions.
[2020-06-05 17:59:23] [INFO ] Flatten gal took : 1153 ms
[2020-06-05 17:59:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 800 labels/synchronizations in 66 ms.
[2020-06-05 17:59:23] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 28 ms.
[2020-06-05 17:59:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 17 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ AirplaneLD-PT-0200 @ 3570 seconds
FORMULA AirplaneLD-PT-0200-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-0200-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AirplaneLD-PT-0200-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ AirplaneLD-PT-0200
{
"exit":
{
"memory": 2198112,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 3,
"X": 1,
"aconj": 205,
"adisj": 5,
"aneg": 0,
"comp": 412,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 412,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 105,
"visible_transitions": 0
},
"processed": "((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p472)) OR ((1 <= p410) AND (1 <= p435)) OR ((1 <= p410) AND (1 <= p500)) OR ((1 <= p410) AND (1 <= p431)) OR ((1 <= p410) AND (1 <= p496)) OR ((1 <= p410) AND (1 <= p427)) OR ((1 <= p410) AND (1 <= p492)) OR ((1 <= p410) AND (1 <= p423)) OR ((1 <= p410) AND (1 <= p488)) OR ((1 <= p410) AND (1 <= p451)) OR ((1 <= p410) AND (1 <= p447)) OR ((1 <= p410) AND (1 <= p443)) OR ((1 <= p410) AND (1 <= p508)) OR ((1 <= p410) AND (1 <= p439)) OR ((1 <= p410) AND (1 <= p504)) OR ((1 <= p410) AND (1 <= p469)) OR ((1 <= p410) AND (1 <= p465)) OR ((1 <= p410) AND (1 <= p461)) OR ((1 <= p410) AND (1 <= p457)) OR ((1 <= p410) AND (1 <= p485)) OR ((1 <= p410) AND (1 <= p420)) OR ((1 <= p410) AND (1 <= p481)) OR ((1 <= p410) AND (1 <= p416)) OR ((1 <= p410) AND (1 <= p477)) OR ((1 <= p410) AND (1 <= p412)) OR ((1 <= p410) AND (1 <= p473)) OR ((1 <= p410) AND (1 <= p501)) OR ((1 <= p410) AND (1 <= p436)) OR ((1 <= p410) AND (1 <= p497)) OR ((1 <= p410) AND (1 <= p432)) OR ((1 <= p410) AND (1 <= p493)) OR ((1 <= p410) AND (1 <= p428)) OR ((1 <= p410) AND (1 <= p489)) OR ((1 <= p410) AND (1 <= p424)) OR ((1 <= p410) AND (1 <= p452)) OR ((1 <= p410) AND (1 <= p448)) OR ((1 <= p410) AND (1 <= p509)) OR ((1 <= p410) AND (1 <= p444)) OR ((1 <= p410) AND (1 <= p505)) OR ((1 <= p410) AND (1 <= p440)) OR ((1 <= p410) AND (1 <= p466)) OR ((1 <= p410) AND (1 <= p462)) OR ((1 <= p410) AND (1 <= p458)) OR ((1 <= p410) AND (1 <= p454)) OR ((1 <= p410) AND (1 <= p421)) OR ((1 <= p410) AND (1 <= p482)) OR ((1 <= p410) AND (1 <= p478)) OR ((1 <= p410) AND (1 <= p417)) OR ((1 <= p410) AND (1 <= p474)) OR ((1 <= p410) AND (1 <= p413)) OR ((1 <= p410) AND (1 <= p470)) OR ((1 <= p410) AND (1 <= p437)) OR ((1 <= p410) AND (1 <= p498)) OR ((1 <= p410) AND (1 <= p433)) OR ((1 <= p410) AND (1 <= p494)) OR ((1 <= p410) AND (1 <= p429)) OR ((1 <= p410) AND (1 <= p490)) OR ((1 <= p410) AND (1 <= p425)) OR ((1 <= p410) AND (1 <= p486)) OR ((1 <= p410) AND (1 <= p453)) OR ((1 <= p410) AND (1 <= p449)) OR ((1 <= p410) AND (1 <= p510)) OR ((1 <= p410) AND (1 <= p445)) OR ((1 <= p410) AND (1 <= p506)) OR ((1 <= p410) AND (1 <= p441)) OR ((1 <= p410) AND (1 <= p502)) OR ((1 <= p410) AND (1 <= p467)) OR ((1 <= p410) AND (1 <= p463)) OR ((1 <= p410) AND (1 <= p459)) OR ((1 <= p410) AND (1 <= p455)) OR ((1 <= p410) AND (1 <= p418)) OR ((1 <= p410) AND (1 <= p483)) OR ((1 <= p410) AND (1 <= p479)) OR ((1 <= p410) AND (1 <= p414)) OR ((1 <= p410) AND (1 <= p475)) OR ((1 <= p410) AND (1 <= p471)) OR ((1 <= p410) AND (1 <= p434)) OR ((1 <= p410) AND (1 <= p499)) OR ((1 <= p410) AND (1 <= p430)) OR ((1 <= p410) AND (1 <= p495)) OR ((1 <= p410) AND (1 <= p426)) OR ((1 <= p410) AND (1 <= p491)) OR ((1 <= p410) AND (1 <= p422)) OR ((1 <= p410) AND (1 <= p487)) OR ((1 <= p410) AND (1 <= p450)) OR ((1 <= p410) AND (1 <= p446)) OR ((1 <= p410) AND (1 <= p442)) OR ((1 <= p410) AND (1 <= p507)) OR ((1 <= p410) AND (1 <= p438)) OR ((1 <= p410) AND (1 <= p503))) U G ((F (((p0 <= 0) OR (p2 <= 0))) AND (((1 <= p813)) OR X ((((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p472)) OR ((1 <= p410) AND (1 <= p435)) OR ((1 <= p410) AND (1 <= p500)) OR ((1 <= p410) AND (1 <= p431)) OR ((1 <= p410) AND (1 <= p496)) OR ((1 <= p410) AND (1 <= p427)) OR ((1 <= p410) AND (1 <= p492)) OR ((1 <= p410) AND (1 <= p423)) OR ((1 <= p410) AND (1 <= p488)) OR ((1 <= p410) AND (1 <= p451)) OR ((1 <= p410) AND (1 <= p447)) OR ((1 <= p410) AND (1 <= p443)) OR ((1 <= p410) AND (1 <= p508)) OR ((1 <= p410) AND (1 <= p439)) OR ((1 <= p410) AND (1 <= p504)) OR ((1 <= p410) AND (1 <= p469)) OR ((1 <= p410) AND (1 <= p465)) OR ((1 <= p410) AND (1 <= p461)) OR ((1 <= p410) AND (1 <= p457)) OR ((1 <= p410) AND (1 <= p485)) OR ((1 <= p410) AND (1 <= p420)) OR ((1 <= p410) AND (1 <= p481)) OR ((1 <= p410) AND (1 <= p416)) OR ((1 <= p410) AND (1 <= p477)) OR ((1 <= p410) AND (1 <= p412)) OR ((1 <= p410) AND (1 <= p473)) OR ((1 <= p410) AND (1 <= p501)) OR ((1 <= p410) AND (1 <= p436)) OR ((1 <= p410) AND (1 <= p497)) OR ((1 <= p410) AND (1 <= p432)) OR ((1 <= p410) AND (1 <= p493)) OR ((1 <= p410) AND (1 <= p428)) OR ((1 <= p410) AND (1 <= p489)) OR ((1 <= p410) AND (1 <= p424)) OR ((1 <= p410) AND (1 <= p452)) OR ((1 <= p410) AND (1 <= p448)) OR ((1 <= p410) AND (1 <= p509)) OR ((1 <= p410) AND (1 <= p444)) OR ((1 <= p410) AND (1 <= p505)) OR ((1 <= p410) AND (1 <= p440)) OR ((1 <= p410) AND (1 <= p466)) OR ((1 <= p410) AND (1 <= p462)) OR ((1 <= p410) AND (1 <= p458)) OR ((1 <= p410) AND (1 <= p454)) OR ((1 <= p410) AND (1 <= p421)) OR ((1 <= p410) AND (1 <= p482)) OR ((1 <= p410) AND (1 <= p478)) OR ((1 <= p410) AND (1 <= p417)) OR ((1 <= p410) AND (1 <= p474)) OR ((1 <= p410) AND (1 <= p413)) OR ((1 <= p410) AND (1 <= p470)) OR ((1 <= p410) AND (1 <= p437)) OR ((1 <= p410) AND (1 <= p498)) OR ((1 <= p410) AND (1 <= p433)) OR ((1 <= p410) AND (1 <= p494)) OR ((1 <= p410) AND (1 <= p429)) OR ((1 <= p410) AND (1 <= p490)) OR ((1 <= p410) AND (1 <= p425)) OR ((1 <= p410) AND (1 <= p486)) OR ((1 <= p410) AND (1 <= p453)) OR ((1 <= p410) AND (1 <= p449)) OR ((1 <= p410) AND (1 <= p510)) OR ((1 <= p410) AND (1 <= p445)) OR ((1 <= p410) AND (1 <= p506)) OR ((1 <= p410) AND (1 <= p441)) OR ((1 <= p410) AND (1 <= p502)) OR ((1 <= p410) AND (1 <= p467)) OR ((1 <= p410) AND (1 <= p463)) OR ((1 <= p410) AND (1 <= p459)) OR ((1 <= p410) AND (1 <= p455)) OR ((1 <= p410) AND (1 <= p418)) OR ((1 <= p410) AND (1 <= p483)) OR ((1 <= p410) AND (1 <= p479)) OR ((1 <= p410) AND (1 <= p414)) OR ((1 <= p410) AND (1 <= p475)) OR ((1 <= p410) AND (1 <= p471)) OR ((1 <= p410) AND (1 <= p434)) OR ((1 <= p410) AND (1 <= p499)) OR ((1 <= p410) AND (1 <= p430)) OR ((1 <= p410) AND (1 <= p495)) OR ((1 <= p410) AND (1 <= p426)) OR ((1 <= p410) AND (1 <= p491)) OR ((1 <= p410) AND (1 <= p422)) OR ((1 <= p410) AND (1 <= p487)) OR ((1 <= p410) AND (1 <= p450)) OR ((1 <= p410) AND (1 <= p446)) OR ((1 <= p410) AND (1 <= p442)) OR ((1 <= p410) AND (1 <= p507)) OR ((1 <= p410) AND (1 <= p438)) OR ((1 <= p410) AND (1 <= p503))) U (((1 <= p813)) OR ((1 <= p0) AND (1 <= p2)))) U ((p0 <= 0) OR (p2 <= 0))))))))",
"processed_size": 7010,
"rewrites": 89
},
"result":
{
"preliminary_value": "unknown yes unknown unknown no unknown unknown unknown unknown no "
},
"task":
{
"buchi":
{
"states": 18
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2425/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 26144
lola: finding significant places
lola: 817 places, 1608 transitions, 814 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: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p468 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p464 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p456 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p415 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p476 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p472 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p435 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p431 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p496 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p451 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p447 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p443 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p508 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p504 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p469 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p457 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p481 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p416 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p412 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p436 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p432 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p428 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p424 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p452 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p448 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p509 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p444 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p505 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p440 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p466 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p458 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p482 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p478 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p417 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p437 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p433 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p429 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p449 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p445 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p506 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p441 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p502 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p467 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p418 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p483 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p479 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p414 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p471 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p434 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p499 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p495 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p491 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p487 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p446 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p442 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p507 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p503 <= 1)
lola: LP says that atomic proposition is always true: (p813 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p468 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p464 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p456 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p415 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p476 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p472 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p435 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p431 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p496 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p451 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p447 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p443 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p508 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p504 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p469 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p457 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p481 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p416 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p412 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p436 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p432 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p428 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p424 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p452 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p448 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p509 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p444 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p505 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p440 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p466 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p458 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p482 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p478 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p417 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p437 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p433 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p429 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p449 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p445 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p506 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p441 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p502 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p467 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p418 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p483 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p479 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p414 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p471 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p434 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p499 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p495 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p491 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p487 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p446 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p442 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p507 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p503 <= 1)
lola: LP says that atomic proposition is always true: (p813 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p733 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p798 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p737 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p802 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p741 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p806 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p745 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p810 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p749 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p753 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p757 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p766 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p770 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p774 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p713 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p778 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p717 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p782 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p721 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p786 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p725 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p790 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p729 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p794 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p799 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p734 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p738 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p807 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p750 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p758 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p762 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p771 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p775 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p714 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p779 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p718 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p787 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p722 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p791 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p726 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p795 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p730 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p735 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p800 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p739 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p804 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p743 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p808 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p747 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p751 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p755 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p759 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p763 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p768 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p772 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p780 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p715 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p719 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p788 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p792 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p731 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p796 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p736 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p740 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p801 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p744 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p805 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p748 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p809 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p752 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p756 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p760 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p765 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p769 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p773 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p716 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p781 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p724 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p785 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p728 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p789 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p732 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p793 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p468 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p464 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p456 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p419 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p415 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p411 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p476 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p472 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p435 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p500 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p431 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p496 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p427 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p492 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p423 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p451 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p447 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p443 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p508 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p504 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p469 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p461 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p457 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p481 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p416 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p412 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p436 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p432 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p428 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p424 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p452 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p448 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p509 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p444 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p505 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p440 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p466 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p462 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p458 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p482 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p478 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p417 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p474 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p470 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p437 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p433 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p429 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p453 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p449 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p445 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p506 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p441 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p502 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p467 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p418 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p483 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p479 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p414 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p475 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p471 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p434 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p499 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p495 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p491 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p487 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p446 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p442 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p507 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p503 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p672 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p676 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p615 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p680 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p619 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p684 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p623 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p688 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p627 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p692 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p631 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p696 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p635 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p700 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p701 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p640 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p705 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p644 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p709 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p652 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p656 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p660 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p664 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p669 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p673 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p612 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p677 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p681 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p811 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p620 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p685 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p624 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p689 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p628 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p693 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p632 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p697 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p636 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p637 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p702 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p641 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p706 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p645 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p710 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p649 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p653 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p657 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p661 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p665 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p670 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p674 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p613 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p678 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p682 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p621 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p625 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p690 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p629 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p694 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p633 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p698 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p703 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p642 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p646 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p711 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p654 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p658 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p662 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p666 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p671 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p675 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p614 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p679 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p683 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p622 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p687 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p626 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p691 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p630 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p695 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p634 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p699 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p639 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p704 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p643 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p708 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p647 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p651 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p655 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p659 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p663 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p667 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p533 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p594 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p529 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p590 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p521 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p549 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p545 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p602 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p537 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p598 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p565 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p561 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p557 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p516 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p581 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p512 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p577 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p573 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p569 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p530 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p526 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p591 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p546 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p607 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p538 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p603 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p534 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p599 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p554 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p550 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p517 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p578 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p513 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p570 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p566 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p592 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p527 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p519 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p547 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p543 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p604 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p539 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p600 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p535 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p563 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p559 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p555 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p551 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p514 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p579 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p575 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p571 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p567 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p532 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p597 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p528 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p593 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p524 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p589 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p585 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p548 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p544 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p609 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p536 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p601 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p564 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p560 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p556 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p552 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p515 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p576 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p572 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p568 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p533 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p594 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p529 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p590 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p521 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p549 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p545 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p602 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p537 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p598 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p565 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p561 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p557 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p516 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p581 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p512 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p577 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p573 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p569 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p530 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p526 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p591 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p546 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p607 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p538 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p603 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p534 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p599 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p554 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p550 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p517 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p578 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p513 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p570 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p566 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p592 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p527 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p519 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p547 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p543 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p604 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p539 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p600 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p535 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p563 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p559 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p555 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p551 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p514 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p579 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p575 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p571 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p567 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p532 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p597 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p528 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p593 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p524 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p589 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p585 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p548 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p544 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p609 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p536 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p601 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p564 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p560 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p556 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p552 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p515 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p576 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p572 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p568 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p813 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p366 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p410 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p614 <= 1)
lola: LP says that atomic proposition is always true: (p812 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p6 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: ((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p472)) OR ((1 <= p410) AND (1 <= p435)) OR ((1 <= p410) AND (1 <= p500)) OR ((1 <= p410) AND (1 <= p431)) OR ((1 <= p410) AND (1 <= p496)) OR ((1 <= p410) AND (1 <= p427)) OR ((1 <= p410) AND (1 <= p492)) OR ((1 <= p410) AND (1 <= p423)) OR ((1 <= p410) AND (1 <= p488)) OR ((1 <= p410) AND (1 <= p451)) OR ((1 <= p410) AND (1 <= p447)) OR ((1 <= p410) AND (1 <= p443)) OR ((1 <= p410) AND (1 <= p508)) OR ((1 <= p410) AND (1 <= p439)) OR ((1 <= p410) AND (1 <= p504)) OR ((1 <= p410) AND (1 <= p469)) OR ((1 <= p410) AND (1 <= p465)) OR ((1 <= p410) AND (1 <= p461)) OR ((1 <= p410) AND (1 <= p457)) OR ((1 <= p410) AND (1 <= p485)) OR ((1 <= p410) AND (1 <= p420)) OR ((1 <= p410) AND (1 <= p481)) OR ((1 <= p410) AND (1 <= p416)) OR ((1 <= p410) AND (1 <= p477)) OR ((1 <= p410) AND (1 <= p412)) OR ((1 <= p410) AND (1 <= p473)) OR ((1 <= p410) AND (1 <= p501)) OR ((1 <= p410) AND (1 <= p436)) OR ((1 <= p410) AND (1 <= p497)) OR ((1 <= p410) AND (1 <= p432)) OR ((1 <= p410) AND (1 <= p493)) OR ((1 <= p410) AND (1 <= p428)) OR ((1 <= p410) AND (1 <= p489)) OR ((1 <= p410) AND (1 <= p424)) OR ((1 <= p410) AND (1 <= p452)) OR ((1 <= p410) AND (1 <= p448)) OR ((1 <= p410) AND (1 <= p509)) OR ((1 <= p410) AND (1 <= p444)) OR ((1 <= p410) AND (1 <= p505)) OR ((1 <= p410) AND (1 <= p440)) OR ((1 <= p410) AND (1 <= p466)) OR ((1 <= p410) AND (1 <= p462)) OR ((1 <= p410) AND (1 <= p458)) OR ((1 <= p410) AND (1 <= p454)) OR ((1 <= p410) AND (1 <= p421)) OR ((1 <= p410) AND (1 <= p482)) OR ((1 <= p410) AND (1 <= p478)) OR ((1 <= p410) AND (1 <= p417)) OR ((1 <= p410) AND (1 <= p474)) OR ((1 <= p410) AND (1 <= p413)) OR ((1 <= p410) AND (1 <= p470)) OR ((1 <= p410) AND (1 <= p437)) OR ((1 <= p410) AND (1 <= p498)) OR ((1 <= p410) AND (1 <= p433)) OR ((1 <= p410) AND (1 <= p494)) OR ((1 <= p410) AND (1 <= p429)) OR ((1 <= p410) AND (1 <= p490)) OR ((1 <= p410) AND (1 <= p425)) OR ((1 <= p410) AND (1 <= p486)) OR ((1 <= p410) AND (1 <= p453)) OR ((1 <= p410) AND (1 <= p449)) OR ((1 <= p410) AND (1 <= p510)) OR ((1 <= p410) AND (1 <= p445)) OR ((1 <= p410) AND (1 <= p506)) OR ((1 <= p410) AND (1 <= p441)) OR ((1 <= p410) AND (1 <= p502)) OR ((1 <= p410) AND (1 <= p467)) OR ((1 <= p410) AND (1 <= p463)) OR ((1 <= p410) AND (1 <= p459)) OR ((1 <= p410) AND (1 <= p455)) OR ((1 <= p410) AND (1 <= p418)) OR ((1 <= p410) AND (1 <= p483)) OR ((1 <= p410) AND (1 <= p479)) OR ((1 <= p410) AND (1 <= p414)) OR ((1 <= p410) AND (1 <= p475)) OR ((1 <= p410) AND (1 <= p471)) OR ((1 <= p410) AND (1 <= p434)) OR ((1 <= p410) AND (1 <= p499)) OR ((1 <= p410) AND (1 <= p430)) OR ((1 <= p410) AND (1 <= p495)) OR ((1 <= p410) AND (1 <= p426)) OR ((1 <= p410) AND (1 <= p491)) OR ((1 <= p410) AND (1 <= p422)) OR ((1 <= p410) AND (1 <= p487)) OR ((1 <= p410) AND (1 <= p450)) OR ((1 <= p410) AND (1 <= p446)) OR ((1 <= p410) AND (1 <= p442)) OR ((1 <= p410) AND (1 <= p507)) OR ((1 <= p410) AND (1 <= p438)) OR ((1 <= p410) AND (1 <= p503))) U G ((((1 <= p813)) U X ((((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p472)) OR ((1 <= p410) AND (1 <= p435)) OR ((1 <= p410) AND (1 <= p500)) OR ((1 <= p410) AND (1 <= p431)) OR ((1 <= p410) AND (1 <= p496)) OR ((1 <= p410) AND (1 <= p427)) OR ((1 <= p410) AND (1 <= p492)) OR ((1 <= p410) AND (1 <= p423)) OR ((1 <= p410) AND (1 <= p488)) OR ((1 <= p410) AND (1 <= p451)) OR ((1 <= p410) AND (1 <= p447)) OR ((1 <= p410) AND (1 <= p443)) OR ((1 <= p410) AND (1 <= p508)) OR ((1 <= p410) AND (1 <= p439)) OR ((1 <= p410) AND (1 <= p504)) OR ((1 <= p410) AND (1 <= p469)) OR ((1 <= p410) AND (1 <= p465)) OR ((1 <= p410) AND (1 <= p461)) OR ((1 <= p410) AND (1 <= p457)) OR ((1 <= p410) AND (1 <= p485)) OR ((1 <= p410) AND (1 <= p420)) OR ((1 <= p410) AND (1 <= p481)) OR ((1 <= p410) AND (1 <= p416)) OR ((1 <= p410) AND (1 <= p477)) OR ((1 <= p410) AND (1 <= p412)) OR ((1 <= p410) AND (1 <= p473)) OR ((1 <= p410) AND (1 <= p501)) OR ((1 <= p410) AND (1 <= p436)) OR ((1 <= p410) AND (1 <= p497)) OR ((1 <= p410) AND (1 <= p432)) OR ((1 <= p410) AND (1 <= p493)) OR ((1 <= p410) AND (1 <= p428)) OR ((1 <= p410) AND (1 <= p489)) OR ((1 <= p410) AND (1 <= p424)) OR ((1 <= p410) AND (1 <= p452)) OR ((1 <= p410) AND (1 <= p448)) OR ((1 <= p410) AND (1 <= p509)) OR ((1 <= p410) AND (1 <= p444)) OR ((1 <= p410) AND (1 <= p505)) OR ((1 <= p410) AND (1 <= p440)) OR ((1 <= p410) AND (1 <= p466)) OR ((1 <= p410) AND (1 <= p462)) OR ((1 <= p410) AND (1 <= p458)) OR ((1 <= p410) AND (1 <= p454)) OR ((1 <= p410) AND (1 <= p421)) OR ((1 <= p410) AND (1 <= p482)) OR ((1 <= p410) AND (1 <= p478)) OR ((1 <= p410) AND (1 <= p417)) OR ((1 <= p410) AND (1 <= p474)) OR ((1 <= p410) AND (1 <= p413)) OR ((1 <= p410) AND (1 <= p470)) OR ((1 <= p410) AND (1 <= p437)) OR ((1 <= p410) AND (1 <= p498)) OR ((1 <= p410) AND (1 <= p433)) OR ((1 <= p410) AND (1 <= p494)) OR ((1 <= p410) AND (1 <= p429)) OR ((1 <= p410) AND (1 <= p490)) OR ((1 <= p410) AND (1 <= p425)) OR ((1 <= p410) AND (1 <= p486)) OR ((1 <= p410) AND (1 <= p453)) OR ((1 <= p410) AND (1 <= p449)) OR ((1 <= p410) AND (1 <= p510)) OR ((1 <= p410) AND (1 <= p445)) OR ((1 <= p410) AND (1 <= p506)) OR ((1 <= p410) AND (1 <= p441)) OR ((1 <= p410) AND (1 <= p502)) OR ((1 <= p410) AND (1 <= p467)) OR ((1 <= p410) AND (1 <= p463)) OR ((1 <= p410) AND (1 <= p459)) OR ((1 <= p410) AND (1 <= p455)) OR ((1 <= p410) AND (1 <= p418)) OR ((1 <= p410) AND (1 <= p483)) OR ((1 <= p410) AND (1 <= p479)) OR ((1 <= p410) AND (1 <= p414)) OR ((1 <= p410) AND (1 <= p475)) OR ((1 <= p410) AND (1 <= p471)) OR ((1 <= p410) AND (1 <= p434)) OR ((1 <= p410) AND (1 <= p499)) OR ((1 <= p410) AND (1 <= p430)) OR ((1 <= p410) AND (1 <= p495)) OR ((1 <= p410) AND (1 <= p426)) OR ((1 <= p410) AND (1 <= p491)) OR ((1 <= p410) AND (1 <= p422)) OR ((1 <= p410) AND (1 <= p487)) OR ((1 <= p410) AND (1 <= p450)) OR ((1 <= p410) AND (1 <= p446)) OR ((1 <= p410) AND (1 <= p442)) OR ((1 <= p410) AND (1 <= p507)) OR ((1 <= p410) AND (1 <= p438)) OR ((1 <= p410) AND (1 <= p503))) U (((1 <= p813)) OR ((1 <= p0) AND (1 <= p2)))) U ((p0 <= 0) OR (p2 <= 0))))))) : NOT(G (X ((((1 <= p611) AND (1 <= p733)) OR ((1 <= p611) AND (1 <= p798)) OR ((1 <= p611) AND (1 <= p737)) OR ((1 <= p611) AND (1 <= p802)) OR ((1 <= p611) AND (1 <= p741)) OR ((1 <= p611) AND (1 <= p806)) OR ((1 <= p611) AND (1 <= p745)) OR ((1 <= p611) AND (1 <= p810)) OR ((1 <= p611) AND (1 <= p749)) OR ((1 <= p611) AND (1 <= p753)) OR ((1 <= p611) AND (1 <= p757)) OR ((1 <= p611) AND (1 <= p761)) OR ((1 <= p611) AND (1 <= p766)) OR ((1 <= p611) AND (1 <= p770)) OR ((1 <= p611) AND (1 <= p774)) OR ((1 <= p611) AND (1 <= p713)) OR ((1 <= p611) AND (1 <= p778)) OR ((1 <= p611) AND (1 <= p717)) OR ((1 <= p611) AND (1 <= p782)) OR ((1 <= p611) AND (1 <= p721)) OR ((1 <= p611) AND (1 <= p786)) OR ((1 <= p611) AND (1 <= p725)) OR ((1 <= p611) AND (1 <= p790)) OR ((1 <= p611) AND (1 <= p729)) OR ((1 <= p611) AND (1 <= p794)) OR ((1 <= p611) AND (1 <= p799)) OR ((1 <= p611) AND (1 <= p734)) OR ((1 <= p611) AND (1 <= p803)) OR ((1 <= p611) AND (1 <= p738)) OR ((1 <= p611) AND (1 <= p807)) OR ((1 <= p611) AND (1 <= p742)) OR ((1 <= p611) AND (1 <= p746)) OR ((1 <= p611) AND (1 <= p750)) OR ((1 <= p611) AND (1 <= p754)) OR ((1 <= p611) AND (1 <= p758)) OR ((1 <= p611) AND (1 <= p762)) OR ((1 <= p611) AND (1 <= p767)) OR ((1 <= p611) AND (1 <= p771)) OR ((1 <= p611) AND (1 <= p775)) OR ((1 <= p611) AND (1 <= p714)) OR ((1 <= p611) AND (1 <= p779)) OR ((1 <= p611) AND (1 <= p718)) OR ((1 <= p611) AND (1 <= p783)) OR ((1 <= p611) AND (1 <= p787)) OR ((1 <= p611) AND (1 <= p722)) OR ((1 <= p611) AND (1 <= p791)) OR ((1 <= p611) AND (1 <= p726)) OR ((1 <= p611) AND (1 <= p795)) OR ((1 <= p611) AND (1 <= p730)) OR ((1 <= p611) AND (1 <= p735)) OR ((1 <= p611) AND (1 <= p800)) OR ((1 <= p611) AND (1 <= p739)) OR ((1 <= p611) AND (1 <= p804)) OR ((1 <= p611) AND (1 <= p743)) OR ((1 <= p611) AND (1 <= p808)) OR ((1 <= p611) AND (1 <= p747)) OR ((1 <= p611) AND (1 <= p751)) OR ((1 <= p611) AND (1 <= p755)) OR ((1 <= p611) AND (1 <= p759)) OR ((1 <= p611) AND (1 <= p763)) OR ((1 <= p611) AND (1 <= p768)) OR ((1 <= p611) AND (1 <= p772)) OR ((1 <= p611) AND (1 <= p776)) OR ((1 <= p611) AND (1 <= p780)) OR ((1 <= p611) AND (1 <= p715)) OR ((1 <= p611) AND (1 <= p784)) OR ((1 <= p611) AND (1 <= p719)) OR ((1 <= p611) AND (1 <= p723)) OR ((1 <= p611) AND (1 <= p788)) OR ((1 <= p611) AND (1 <= p727)) OR ((1 <= p611) AND (1 <= p792)) OR ((1 <= p611) AND (1 <= p731)) OR ((1 <= p611) AND (1 <= p796)) OR ((1 <= p611) AND (1 <= p736)) OR ((1 <= p611) AND (1 <= p797)) OR ((1 <= p611) AND (1 <= p740)) OR ((1 <= p611) AND (1 <= p801)) OR ((1 <= p611) AND (1 <= p744)) OR ((1 <= p611) AND (1 <= p805)) OR ((1 <= p611) AND (1 <= p748)) OR ((1 <= p611) AND (1 <= p809)) OR ((1 <= p611) AND (1 <= p752)) OR ((1 <= p611) AND (1 <= p756)) OR ((1 <= p611) AND (1 <= p760)) OR ((1 <= p611) AND (1 <= p764)) OR ((1 <= p611) AND (1 <= p765)) OR ((1 <= p611) AND (1 <= p769)) OR ((1 <= p611) AND (1 <= p712)) OR ((1 <= p611) AND (1 <= p773)) OR ((1 <= p611) AND (1 <= p716)) OR ((1 <= p611) AND (1 <= p777)) OR ((1 <= p611) AND (1 <= p720)) OR ((1 <= p611) AND (1 <= p781)) OR ((1 <= p611) AND (1 <= p724)) OR ((1 <= p611) AND (1 <= p785)) OR ((1 <= p611) AND (1 <= p728)) OR ((1 <= p611) AND (1 <= p789)) OR ((1 <= p611) AND (1 <= p732)) OR ((1 <= p611) AND (1 <= p793)))))) : NOT(F (G (F ((NOT(F ((((1 <= p815))))) AND (((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p472)) OR ((1 <= p410) AND (1 <= p435)) OR ((1 <= p410) AND (1 <= p500)) OR ((1 <= p410) AND (1 <= p431)) OR ((1 <= p410) AND (1 <= p496)) OR ((1 <= p410) AND (1 <= p427)) OR ((1 <= p410) AND (1 <= p492)) OR ((1 <= p410) AND (1 <= p423)) OR ((1 <= p410) AND (1 <= p488)) OR ((1 <= p410) AND (1 <= p451)) OR ((1 <= p410) AND (1 <= p447)) OR ((1 <= p410) AND (1 <= p443)) OR ((1 <= p410) AND (1 <= p508)) OR ((1 <= p410) AND (1 <= p439)) OR ((1 <= p410) AND (1 <= p504)) OR ((1 <= p410) AND (1 <= p469)) OR ((1 <= p410) AND (1 <= p465)) OR ((1 <= p410) AND (1 <= p461)) OR ((1 <= p410) AND (1 <= p457)) OR ((1 <= p410) AND (1 <= p485)) OR ((1 <= p410) AND (1 <= p420)) OR ((1 <= p410) AND (1 <= p481)) OR ((1 <= p410) AND (1 <= p416)) OR ((1 <= p410) AND (1 <= p477)) OR ((1 <= p410) AND (1 <= p412)) OR ((1 <= p410) AND (1 <= p473)) OR ((1 <= p410) AND (1 <= p501)) OR ((1 <= p410) AND (1 <= p436)) OR ((1 <= p410) AND (1 <= p497)) OR ((1 <= p410) AND (1 <= p432)) OR ((1 <= p410) AND (1 <= p493)) OR ((1 <= p410) AND (1 <= p428)) OR ((1 <= p410) AND (1 <= p489)) OR ((1 <= p410) AND (1 <= p424)) OR ((1 <= p410) AND (1 <= p452)) OR ((1 <= p410) AND (1 <= p448)) OR ((1 <= p410) AND (1 <= p509)) OR ((1 <= p410) AND (1 <= p444)) OR ((1 <= p410) AND (1 <= p505)) OR ((1 <= p410) AND (1 <= p440)) OR ((1 <= p410) AND (1 <= p466)) OR ((1 <= p410) AND (1 <= p462)) OR ((1 <= p410) AND (1 <= p458)) OR ((1 <= p410) AND (1 <= p454)) OR ((1 <= p410) AND (1 <= p421)) OR ((1 <= p410) AND (1 <= p482)) OR ((1 <= p410) AND (1 <= p478)) OR ((1 <= p410) AND (1 <= p417)) OR ((1 <= p410) AND (1 <= p474)) OR ((1 <= p410) AND (1 <= p413)) OR ((1 <= p410) AND (1 <= p470)) OR ((1 <= p410) AND (1 <= p437)) OR ((1 <= p410) AND (1 <= p498)) OR ((1 <= p410) AND (1 <= p433)) OR ((1 <= p410) AND (1 <= p494)) OR ((1 <= p410) AND (1 <= p429)) OR ((1 <= p410) AND (1 <= p490)) OR ((1 <= p410) AND (1 <= p425)) OR ((1 <= p410) AND (1 <= p486)) OR ((1 <= p410) AND (1 <= p453)) OR ((1 <= p410) AND (1 <= p449)) OR ((1 <= p410) AND (1 <= p510)) OR ((1 <= p410) AND (1 <= p445)) OR ((1 <= p410) AND (1 <= p506)) OR ((1 <= p410) AND (1 <= p441)) OR ((1 <= p410) AND (1 <= p502)) OR ((1 <= p410) AND (1 <= p467)) OR ((1 <= p410) AND (1 <= p463)) OR ((1 <= p410) AND (1 <= p459)) OR ((1 <= p410) AND (1 <= p455)) OR ((1 <= p410) AND (1 <= p418)) OR ((1 <= p410) AND (1 <= p483)) OR ((1 <= p410) AND (1 <= p479)) OR ((1 <= p410) AND (1 <= p414)) OR ((1 <= p410) AND (1 <= p475)) OR ((1 <= p410) AND (1 <= p471)) OR ((1 <= p410) AND (1 <= p434)) OR ((1 <= p410) AND (1 <= p499)) OR ((1 <= p410) AND (1 <= p430)) OR ((1 <= p410) AND (1 <= p495)) OR ((1 <= p410) AND (1 <= p426)) OR ((1 <= p410) AND (1 <= p491)) OR ((1 <= p410) AND (1 <= p422)) OR ((1 <= p410) AND (1 <= p487)) OR ((1 <= p410) AND (1 <= p450)) OR ((1 <= p410) AND (1 <= p446)) OR ((1 <= p410) AND (1 <= p442)) OR ((1 <= p410) AND (1 <= p507)) OR ((1 <= p410) AND (1 <= p438)) OR ((1 <= p410) AND (1 <= p503)) OR ((1 <= p611) AND (1 <= p672)) OR ((1 <= p611) AND (1 <= p676)) OR ((1 <= p611) AND (1 <= p615)) OR ((1 <= p611) AND (1 <= p680)) OR ((1 <= p611) AND (1 <= p619)) OR ((1 <= p611) AND (1 <= p684)) OR ((1 <= p611) AND (1 <= p623)) OR ((1 <= p611) AND (1 <= p688)) OR ((1 <= p611) AND (1 <= p627)) OR ((1 <= p611) AND (1 <= p692)) OR ((1 <= p611) AND (1 <= p631)) OR ((1 <= p611) AND (1 <= p696)) OR ((1 <= p611) AND (1 <= p635)) OR ((1 <= p611) AND (1 <= p700)) OR ((1 <= p611) AND (1 <= p701)) OR ((1 <= p611) AND (1 <= p640)) OR ((1 <= p611) AND (1 <= p705)) OR ((1 <= p611) AND (1 <= p644)) OR ((1 <= p611) AND (1 <= p709)) OR ((1 <= p611) AND (1 <= p648)) OR ((1 <= p611) AND (1 <= p652)) OR ((1 <= p611) AND (1 <= p656)) OR ((1 <= p611) AND (1 <= p660)) OR ((1 <= p611) AND (1 <= p664)) OR ((1 <= p611) AND (1 <= p668)) OR ((1 <= p611) AND (1 <= p669)) OR ((1 <= p611) AND (1 <= p673)) OR ((1 <= p611) AND (1 <= p612)) OR ((1 <= p611) AND (1 <= p677)) OR ((1 <= p611) AND (1 <= p616)) OR ((1 <= p611) AND (1 <= p681)) OR ((1 <= p611) AND (1 <= p811)) OR ((1 <= p611) AND (1 <= p620)) OR ((1 <= p611) AND (1 <= p685)) OR ((1 <= p611) AND (1 <= p624)) OR ((1 <= p611) AND (1 <= p689)) OR ((1 <= p611) AND (1 <= p628)) OR ((1 <= p611) AND (1 <= p693)) OR ((1 <= p611) AND (1 <= p632)) OR ((1 <= p611) AND (1 <= p697)) OR ((1 <= p611) AND (1 <= p636)) OR ((1 <= p611) AND (1 <= p637)) OR ((1 <= p611) AND (1 <= p702)) OR ((1 <= p611) AND (1 <= p641)) OR ((1 <= p611) AND (1 <= p706)) OR ((1 <= p611) AND (1 <= p645)) OR ((1 <= p611) AND (1 <= p710)) OR ((1 <= p611) AND (1 <= p649)) OR ((1 <= p611) AND (1 <= p653)) OR ((1 <= p611) AND (1 <= p657)) OR ((1 <= p611) AND (1 <= p661)) OR ((1 <= p611) AND (1 <= p665)) OR ((1 <= p611) AND (1 <= p670)) OR ((1 <= p611) AND (1 <= p674)) OR ((1 <= p611) AND (1 <= p613)) OR ((1 <= p611) AND (1 <= p678)) OR ((1 <= p611) AND (1 <= p617)) OR ((1 <= p611) AND (1 <= p682)) OR ((1 <= p611) AND (1 <= p621)) OR ((1 <= p611) AND (1 <= p686)) OR ((1 <= p611) AND (1 <= p625)) OR ((1 <= p611) AND (1 <= p690)) OR ((1 <= p611) AND (1 <= p629)) OR ((1 <= p611) AND (1 <= p694)) OR ((1 <= p611) AND (1 <= p633)) OR ((1 <= p611) AND (1 <= p698)) OR ((1 <= p611) AND (1 <= p638)) OR ((1 <= p611) AND (1 <= p703)) OR ((1 <= p611) AND (1 <= p642)) OR ((1 <= p611) AND (1 <= p707)) OR ((1 <= p611) AND (1 <= p646)) OR ((1 <= p611) AND (1 <= p711)) OR ((1 <= p611) AND (1 <= p650)) OR ((1 <= p611) AND (1 <= p654)) OR ((1 <= p611) AND (1 <= p658)) OR ((1 <= p611) AND (1 <= p662)) OR ((1 <= p611) AND (1 <= p666)) OR ((1 <= p611) AND (1 <= p671)) OR ((1 <= p611) AND (1 <= p675)) OR ((1 <= p611) AND (1 <= p614)) OR ((1 <= p611) AND (1 <= p679)) OR ((1 <= p611) AND (1 <= p618)) OR ((1 <= p611) AND (1 <= p683)) OR ((1 <= p611) AND (1 <= p622)) OR ((1 <= p611) AND (1 <= p687)) OR ((1 <= p611) AND (1 <= p626)) OR ((1 <= p611) AND (1 <= p691)) OR ((1 <= p611) AND (1 <= p630)) OR ((1 <= p611) AND (1 <= p695)) OR ((1 <= p611) AND (1 <= p634)) OR ((1 <= p611) AND (1 <= p699)) OR ((1 <= p611) AND (1 <= p639)) OR ((1 <= p611) AND (1 <= p704)) OR ((1 <= p611) AND (1 <= p643)) OR ((1 <= p611) AND (1 <= p708)) OR ((1 <= p611) AND (1 <= p647)) OR ((1 <= p611) AND (1 <= p651)) OR ((1 <= p611) AND (1 <= p655)) OR ((1 <= p611) AND (1 <= p659)) OR ((1 <= p611) AND (1 <= p663)) OR ((1 <= p611) AND (1 <= p667)))))))) : NOT(F (X (X (G (((G ((((1 <= p814)))) U F ((((1 <= p410) AND (1 <= p533)) OR ((1 <= p410) AND (1 <= p594)) OR ((1 <= p410) AND (1 <= p529)) OR ((1 <= p410) AND (1 <= p590)) OR ((1 <= p410) AND (1 <= p525)) OR ((1 <= p410) AND (1 <= p586)) OR ((1 <= p410) AND (1 <= p521)) OR ((1 <= p410) AND (1 <= p582)) OR ((1 <= p410) AND (1 <= p549)) OR ((1 <= p410) AND (1 <= p545)) OR ((1 <= p410) AND (1 <= p606)) OR ((1 <= p410) AND (1 <= p541)) OR ((1 <= p410) AND (1 <= p602)) OR ((1 <= p410) AND (1 <= p537)) OR ((1 <= p410) AND (1 <= p598)) OR ((1 <= p410) AND (1 <= p565)) OR ((1 <= p410) AND (1 <= p561)) OR ((1 <= p410) AND (1 <= p557)) OR ((1 <= p410) AND (1 <= p553)) OR ((1 <= p410) AND (1 <= p516)) OR ((1 <= p410) AND (1 <= p581)) OR ((1 <= p410) AND (1 <= p512)) OR ((1 <= p410) AND (1 <= p577)) OR ((1 <= p410) AND (1 <= p573)) OR ((1 <= p410) AND (1 <= p569)) OR ((1 <= p410) AND (1 <= p530)) OR ((1 <= p410) AND (1 <= p595)) OR ((1 <= p410) AND (1 <= p526)) OR ((1 <= p410) AND (1 <= p591)) OR ((1 <= p410) AND (1 <= p522)) OR ((1 <= p410) AND (1 <= p587)) OR ((1 <= p410) AND (1 <= p518)) OR ((1 <= p410) AND (1 <= p583)) OR ((1 <= p410) AND (1 <= p546)) OR ((1 <= p410) AND (1 <= p542)) OR ((1 <= p410) AND (1 <= p607)) OR ((1 <= p410) AND (1 <= p538)) OR ((1 <= p410) AND (1 <= p603)) OR ((1 <= p410) AND (1 <= p534)) OR ((1 <= p410) AND (1 <= p599)) OR ((1 <= p410) AND (1 <= p562)) OR ((1 <= p410) AND (1 <= p558)) OR ((1 <= p410) AND (1 <= p554)) OR ((1 <= p410) AND (1 <= p550)) OR ((1 <= p410) AND (1 <= p517)) OR ((1 <= p410) AND (1 <= p578)) OR ((1 <= p410) AND (1 <= p513)) OR ((1 <= p410) AND (1 <= p574)) OR ((1 <= p410) AND (1 <= p570)) OR ((1 <= p410) AND (1 <= p566)) OR ((1 <= p410) AND (1 <= p596)) OR ((1 <= p410) AND (1 <= p531)) OR ((1 <= p410) AND (1 <= p592)) OR ((1 <= p410) AND (1 <= p527)) OR ((1 <= p410) AND (1 <= p588)) OR ((1 <= p410) AND (1 <= p523)) OR ((1 <= p410) AND (1 <= p584)) OR ((1 <= p410) AND (1 <= p519)) OR ((1 <= p410) AND (1 <= p547)) OR ((1 <= p410) AND (1 <= p608)) OR ((1 <= p410) AND (1 <= p543)) OR ((1 <= p410) AND (1 <= p604)) OR ((1 <= p410) AND (1 <= p539)) OR ((1 <= p410) AND (1 <= p600)) OR ((1 <= p410) AND (1 <= p535)) OR ((1 <= p410) AND (1 <= p563)) OR ((1 <= p410) AND (1 <= p559)) OR ((1 <= p410) AND (1 <= p555)) OR ((1 <= p410) AND (1 <= p551)) OR ((1 <= p410) AND (1 <= p514)) OR ((1 <= p410) AND (1 <= p579)) OR ((1 <= p410) AND (1 <= p575)) OR ((1 <= p410) AND (1 <= p571)) OR ((1 <= p410) AND (1 <= p567)) OR ((1 <= p410) AND (1 <= p532)) OR ((1 <= p410) AND (1 <= p597)) OR ((1 <= p410) AND (1 <= p528)) OR ((1 <= p410) AND (1 <= p593)) OR ((1 <= p410) AND (1 <= p524)) OR ((1 <= p410) AND (1 <= p589)) OR ((1 <= p410) AND (1 <= p520)) OR ((1 <= p410) AND (1 <= p585)) OR ((1 <= p410) AND (1 <= p548)) OR ((1 <= p410) AND (1 <= p544)) OR ((1 <= p410) AND (1 <= p609)) OR ((1 <= p410) AND (1 <= p540)) OR ((1 <= p410) AND (1 <= p605)) OR ((1 <= p410) AND (1 <= p536)) OR ((1 <= p410) AND (1 <= p601)) OR ((1 <= p410) AND (1 <= p564)) OR ((1 <= p410) AND (1 <= p560)) OR ((1 <= p410) AND (1 <= p556)) OR ((1 <= p410) AND (1 <= p552)) OR ((1 <= p410) AND (1 <= p580)) OR ((1 <= p410) AND (1 <= p515)) OR ((1 <= p410) AND (1 <= p576)) OR ((1 <= p410) AND (1 <= p511)) OR ((1 <= p410) AND (1 <= p572)) OR ((1 <= p410) AND (1 <= p568))))) AND X ((((1 <= p410) AND (1 <= p533)) OR ((1 <= p410) AND (1 <= p594)) OR ((1 <= p410) AND (1 <= p529)) OR ((1 <= p410) AND (1 <= p590)) OR ((1 <= p410) AND (1 <= p525)) OR ((1 <= p410) AND (1 <= p586)) OR ((1 <= p410) AND (1 <= p521)) OR ((1 <= p410) AND (1 <= p582)) OR ((1 <= p410) AND (1 <= p549)) OR ((1 <= p410) AND (1 <= p545)) OR ((1 <= p410) AND (1 <= p606)) OR ((1 <= p410) AND (1 <= p541)) OR ((1 <= p410) AND (1 <= p602)) OR ((1 <= p410) AND (1 <= p537)) OR ((1 <= p410) AND (1 <= p598)) OR ((1 <= p410) AND (1 <= p565)) OR ((1 <= p410) AND (1 <= p561)) OR ((1 <= p410) AND (1 <= p557)) OR ((1 <= p410) AND (1 <= p553)) OR ((1 <= p410) AND (1 <= p516)) OR ((1 <= p410) AND (1 <= p581)) OR ((1 <= p410) AND (1 <= p512)) OR ((1 <= p410) AND (1 <= p577)) OR ((1 <= p410) AND (1 <= p573)) OR ((1 <= p410) AND (1 <= p569)) OR ((1 <= p410) AND (1 <= p530)) OR ((1 <= p410) AND (1 <= p595)) OR ((1 <= p410) AND (1 <= p526)) OR ((1 <= p410) AND (1 <= p591)) OR ((1 <= p410) AND (1 <= p522)) OR ((1 <= p410) AND (1 <= p587)) OR ((1 <= p410) AND (1 <= p518)) OR ((1 <= p410) AND (1 <= p583)) OR ((1 <= p410) AND (1 <= p546)) OR ((1 <= p410) AND (1 <= p542)) OR ((1 <= p410) AND (1 <= p607)) OR ((1 <= p410) AND (1 <= p538)) OR ((1 <= p410) AND (1 <= p603)) OR ((1 <= p410) AND (1 <= p534)) OR ((1 <= p410) AND (1 <= p599)) OR ((1 <= p410) AND (1 <= p562)) OR ((1 <= p410) AND (1 <= p558)) OR ((1 <= p410) AND (1 <= p554)) OR ((1 <= p410) AND (1 <= p550)) OR ((1 <= p410) AND (1 <= p517)) OR ((1 <= p410) AND (1 <= p578)) OR ((1 <= p410) AND (1 <= p513)) OR ((1 <= p410) AND (1 <= p574)) OR ((1 <= p410) AND (1 <= p570)) OR ((1 <= p410) AND (1 <= p566)) OR ((1 <= p410) AND (1 <= p596)) OR ((1 <= p410) AND (1 <= p531)) OR ((1 <= p410) AND (1 <= p592)) OR ((1 <= p410) AND (1 <= p527)) OR ((1 <= p410) AND (1 <= p588)) OR ((1 <= p410) AND (1 <= p523)) OR ((1 <= p410) AND (1 <= p584)) OR ((1 <= p410) AND (1 <= p519)) OR ((1 <= p410) AND (1 <= p547)) OR ((1 <= p410) AND (1 <= p608)) OR ((1 <= p410) AND (1 <= p543)) OR ((1 <= p410) AND (1 <= p604)) OR ((1 <= p410) AND (1 <= p539)) OR ((1 <= p410) AND (1 <= p600)) OR ((1 <= p410) AND (1 <= p535)) OR ((1 <= p410) AND (1 <= p563)) OR ((1 <= p410) AND (1 <= p559)) OR ((1 <= p410) AND (1 <= p555)) OR ((1 <= p410) AND (1 <= p551)) OR ((1 <= p410) AND (1 <= p514)) OR ((1 <= p410) AND (1 <= p579)) OR ((1 <= p410) AND (1 <= p575)) OR ((1 <= p410) AND (1 <= p571)) OR ((1 <= p410) AND (1 <= p567)) OR ((1 <= p410) AND (1 <= p532)) OR ((1 <= p410) AND (1 <= p597)) OR ((1 <= p410) AND (1 <= p528)) OR ((1 <= p410) AND (1 <= p593)) OR ((1 <= p410) AND (1 <= p524)) OR ((1 <= p410) AND (1 <= p589)) OR ((1 <= p410) AND (1 <= p520)) OR ((1 <= p410) AND (1 <= p585)) OR ((1 <= p410) AND (1 <= p548)) OR ((1 <= p410) AND (1 <= p544)) OR ((1 <= p410) AND (1 <= p609)) OR ((1 <= p410) AND (1 <= p540)) OR ((1 <= p410) AND (1 <= p605)) OR ((1 <= p410) AND (1 <= p536)) OR ((1 <= p410) AND (1 <= p601)) OR ((1 <= p410) AND (1 <= p564)) OR ((1 <= p410) AND (1 <= p560)) OR ((1 <= p410) AND (1 <= p556)) OR ((1 <= p410) AND (1 <= p552)) OR ((1 <= p410) AND (1 <= p580)) OR ((1 <= p410) AND (1 <= p515)) OR ((1 <= p410) AND (1 <= p576)) OR ((1 <= p410) AND (1 <= p511)) OR ((1 <= p410) AND (1 <= p572)) OR ((1 <= p410) AND (1 <= p568)) OR ((1 <= p0) AND (1 <= p2)))))))))) : (X (F ((F (((1 <= p0) AND (1 <= p2))) U ((X (((1 <= p611) AND (1 <= p727))) AND ((1 <= p611))) AND ((1 <= p727)))))) AND G (((1 <= p813)))) : NOT(G (NOT(G (((((1 <= p9) AND (1 <= p366)) U X (((1 <= p611) AND (1 <= p754)))) U F (G (X (X (((p611 <= 0) OR (p754 <= 0))))))))))) : X (G (X ((X (X (F (X (((p816 <= 0)))))) U NOT(X (X (X (((1 <= p410) AND (1 <= p558)))))))))) : NOT(X (F (((F (((1 <= p816))) AND ((1 <= p6))) AND ((1 <= p8)))))) : ((F (G (X (G (X (((1 <= p816))))))) U ((1 <= p1) AND (1 <= p2))) AND (NOT(F (((1 <= p816)))) OR ((1 <= p816)))) : ((((1 <= p611) AND (1 <= p614)) U (((1 <= p812)) OR ((1 <= p1) AND (1 <= p2)))) U X (((1 <= p6) AND (1 <= p7))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
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:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:315
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p... (shortened)
lola: processed formula length: 7010
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 177021 markings, 446505 edges, 35404 markings/sec, 0 secs
lola: 358123 markings, 912890 edges, 36220 markings/sec, 5 secs
lola: 539308 markings, 1379419 edges, 36237 markings/sec, 10 secs
lola: 720511 markings, 1845967 edges, 36241 markings/sec, 15 secs
lola: 901780 markings, 2312630 edges, 36254 markings/sec, 20 secs
lola: 1083210 markings, 2779554 edges, 36286 markings/sec, 25 secs
lola: 1264578 markings, 3246372 edges, 36274 markings/sec, 30 secs
lola: 1445920 markings, 3712981 edges, 36268 markings/sec, 35 secs
lola: 1628035 markings, 4178717 edges, 36423 markings/sec, 40 secs
lola: 1810496 markings, 4644013 edges, 36492 markings/sec, 45 secs
lola: 1992665 markings, 5109637 edges, 36434 markings/sec, 50 secs
lola: 2175070 markings, 5574908 edges, 36481 markings/sec, 55 secs
lola: 2356997 markings, 6040897 edges, 36385 markings/sec, 60 secs
lola: 2538233 markings, 6507498 edges, 36247 markings/sec, 65 secs
lola: 2719479 markings, 6974122 edges, 36249 markings/sec, 70 secs
lola: 2808743 markings, 7467402 edges, 17853 markings/sec, 75 secs
lola: 2811111 markings, 8003462 edges, 474 markings/sec, 80 secs
lola: 2813608 markings, 8569058 edges, 499 markings/sec, 85 secs
lola: 2816258 markings, 9168735 edges, 530 markings/sec, 90 secs
lola: 2818446 markings, 9664379 edges, 438 markings/sec, 95 secs
lola: 2820377 markings, 10101839 edges, 386 markings/sec, 100 secs
lola: 2847679 markings, 10394508 edges, 5460 markings/sec, 105 secs
lola: 2889241 markings, 10572604 edges, 8312 markings/sec, 110 secs
lola: 2930949 markings, 10751091 edges, 8342 markings/sec, 115 secs
lola: 2972736 markings, 10929820 edges, 8357 markings/sec, 120 secs
lola: 3014640 markings, 11108865 edges, 8381 markings/sec, 125 secs
lola: 3056630 markings, 11288141 edges, 8398 markings/sec, 130 secs
lola: 3098775 markings, 11467869 edges, 8429 markings/sec, 135 secs
lola: 3141029 markings, 11647894 edges, 8451 markings/sec, 140 secs
lola: 3183279 markings, 11827909 edges, 8450 markings/sec, 145 secs
lola: 3225575 markings, 12008053 edges, 8459 markings/sec, 150 secs
lola: 3267820 markings, 12188291 edges, 8449 markings/sec, 155 secs
lola: 3309015 markings, 12374534 edges, 8239 markings/sec, 160 secs
lola: 3351495 markings, 12557845 edges, 8496 markings/sec, 165 secs
lola: 3392798 markings, 12744513 edges, 8261 markings/sec, 170 secs
lola: 3435229 markings, 12929264 edges, 8486 markings/sec, 175 secs
lola: 3477449 markings, 13114443 edges, 8444 markings/sec, 180 secs
lola: 3520479 markings, 13296638 edges, 8606 markings/sec, 185 secs
lola: 3563666 markings, 13479276 edges, 8637 markings/sec, 190 secs
lola: 3607023 markings, 13662387 edges, 8671 markings/sec, 195 secs
lola: 3650512 markings, 13845871 edges, 8698 markings/sec, 200 secs
lola: 3694115 markings, 14029679 edges, 8721 markings/sec, 205 secs
lola: 3737685 markings, 14213391 edges, 8714 markings/sec, 210 secs
lola: 3779885 markings, 14403733 edges, 8440 markings/sec, 215 secs
lola: 3822173 markings, 14594783 edges, 8458 markings/sec, 220 secs
lola: 3865160 markings, 14786323 edges, 8597 markings/sec, 225 secs
lola: 3909154 markings, 14971213 edges, 8799 markings/sec, 230 secs
lola: 3951362 markings, 15151109 edges, 8442 markings/sec, 235 secs
lola: 3994201 markings, 15332781 edges, 8568 markings/sec, 240 secs
lola: 4035893 markings, 15511233 edges, 8338 markings/sec, 245 secs
lola: 4079252 markings, 15694339 edges, 8672 markings/sec, 250 secs
lola: 4122794 markings, 15877983 edges, 8708 markings/sec, 255 secs
lola: 4166217 markings, 16061282 edges, 8685 markings/sec, 260 secs
lola: 4208545 markings, 16249185 edges, 8466 markings/sec, 265 secs
lola: 4251447 markings, 16437016 edges, 8580 markings/sec, 270 secs
lola: 4292295 markings, 16611857 edges, 8170 markings/sec, 275 secs
lola: 4334870 markings, 16806099 edges, 8515 markings/sec, 280 secs
lola: 4378178 markings, 16994195 edges, 8662 markings/sec, 285 secs
lola: 4422387 markings, 17179693 edges, 8842 markings/sec, 290 secs
lola: 4466839 markings, 17365873 edges, 8890 markings/sec, 295 secs
lola: 4511513 markings, 17552684 edges, 8935 markings/sec, 300 secs
lola: 4555836 markings, 17738641 edges, 8865 markings/sec, 305 secs
lola: 4598913 markings, 17933159 edges, 8615 markings/sec, 310 secs
lola: 4641940 markings, 18132630 edges, 8605 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1883392 KB
lola: time consumption: 675 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 1 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((((p611 <= 0) OR (p733 <= 0)) AND ((p611 <= 0) OR (p798 <= 0)) AND ((p611 <= 0) OR (p737 <= 0)) AND ((p611 <= 0) OR (p802 <= 0)) AND ((p611 <= 0) OR (p741 <= 0)) AND ((p611 <= 0) OR (p806 <= 0)) AND ((p611 <= 0) OR (p745 <= 0)) AND ((p611 <= 0) OR (p810 <= 0)) AND ((p611 <= 0) OR (p749 <= 0)) AND ((p611 <= 0) OR (p753 <= 0)) AND ((p611 <= 0) OR (p757 <= 0)) AND ((p611 <= 0) OR (p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((((p611 <= 0) OR (p733 <= 0)) AND ((p611 <= 0) OR (p798 <= 0)) AND ((p611 <= 0) OR (p737 <= 0)) AND ((p611 <= 0) OR (p802 <= 0)) AND ((p611 <= 0) OR (p741 <= 0)) AND ((p611 <= 0) OR (p806 <= 0)) AND ((p611 <= 0) OR (p745 <= 0)) AND ((p611 <= 0) OR (p810 <= 0)) AND ((p611 <= 0) OR (p749 <= 0)) AND ((p611 <= 0) OR (p753 <= 0)) AND ((p611 <= 0) OR (p757 <= 0)) AND ((p611 <= 0) OR (p... (shortened)
lola: processed formula length: 3371
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 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: 805 markings, 804 edges
lola: ========================================
lola: subprocess 2 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((G ((((p410 <= 0) OR (p533 <= 0)) AND ((p410 <= 0) OR (p594 <= 0)) AND ((p410 <= 0) OR (p529 <= 0)) AND ((p410 <= 0) OR (p590 <= 0)) AND ((p410 <= 0) OR (p525 <= 0)) AND ((p410 <= 0) OR (p586 <= 0)) AND ((p410 <= 0) OR (p521 <= 0)) AND ((p410 <= 0) OR (p582 <= 0)) AND ((p410 <= 0) OR (p549 <= 0)) AND ((p410 <= 0) OR (p545 <= 0)) AND ((p410 <= 0) OR (p606 <= 0)) AND ((p410 <= 0) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((G ((((p410 <= 0) OR (p533 <= 0)) AND ((p410 <= 0) OR (p594 <= 0)) AND ((p410 <= 0) OR (p529 <= 0)) AND ((p410 <= 0) OR (p590 <= 0)) AND ((p410 <= 0) OR (p525 <= 0)) AND ((p410 <= 0) OR (p586 <= 0)) AND ((p410 <= 0) OR (p521 <= 0)) AND ((p410 <= 0) OR (p582 <= 0)) AND ((p410 <= 0) OR (p549 <= 0)) AND ((p410 <= 0) OR (p545 <= 0)) AND ((p410 <= 0) OR (p606 <= 0)) AND ((p410 <= 0) O... (shortened)
lola: processed formula length: 10177
lola: 89 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: 49311 markings, 102098 edges, 9862 markings/sec, 0 secs
lola: 100441 markings, 210472 edges, 10226 markings/sec, 5 secs
lola: 151443 markings, 319049 edges, 10200 markings/sec, 10 secs
lola: 202679 markings, 427965 edges, 10247 markings/sec, 15 secs
lola: 253938 markings, 536732 edges, 10252 markings/sec, 20 secs
lola: 305184 markings, 645526 edges, 10249 markings/sec, 25 secs
lola: 356222 markings, 754363 edges, 10208 markings/sec, 30 secs
lola: 407480 markings, 863133 edges, 10252 markings/sec, 35 secs
lola: 458086 markings, 971535 edges, 10121 markings/sec, 40 secs
lola: 508260 markings, 1079700 edges, 10035 markings/sec, 45 secs
lola: 558228 markings, 1187524 edges, 9994 markings/sec, 50 secs
lola: 608183 markings, 1295323 edges, 9991 markings/sec, 55 secs
lola: 658184 markings, 1403212 edges, 10000 markings/sec, 60 secs
lola: 708225 markings, 1511155 edges, 10008 markings/sec, 65 secs
lola: 758295 markings, 1619147 edges, 10014 markings/sec, 70 secs
lola: 808449 markings, 1727278 edges, 10031 markings/sec, 75 secs
lola: 859645 markings, 1835548 edges, 10239 markings/sec, 80 secs
lola: 910592 markings, 1943072 edges, 10189 markings/sec, 85 secs
lola: 961658 markings, 2051254 edges, 10213 markings/sec, 90 secs
lola: 1012908 markings, 2159989 edges, 10250 markings/sec, 95 secs
lola: 1063916 markings, 2268700 edges, 10202 markings/sec, 100 secs
lola: 1115155 markings, 2377509 edges, 10248 markings/sec, 105 secs
lola: 1166410 markings, 2486271 edges, 10251 markings/sec, 110 secs
lola: 1217465 markings, 2594793 edges, 10211 markings/sec, 115 secs
lola: 1268656 markings, 2703787 edges, 10238 markings/sec, 120 secs
lola: 1319886 markings, 2812466 edges, 10246 markings/sec, 125 secs
lola: 1370247 markings, 2920709 edges, 10072 markings/sec, 130 secs
lola: 1420424 markings, 3028882 edges, 10035 markings/sec, 135 secs
lola: 1470320 markings, 3136591 edges, 9979 markings/sec, 140 secs
lola: 1520298 markings, 3244426 edges, 9996 markings/sec, 145 secs
lola: 1570297 markings, 3352312 edges, 10000 markings/sec, 150 secs
lola: 1620337 markings, 3460250 edges, 10008 markings/sec, 155 secs
lola: 1670446 markings, 3568307 edges, 10022 markings/sec, 160 secs
lola: 1720762 markings, 3676539 edges, 10063 markings/sec, 165 secs
lola: 1771595 markings, 3783055 edges, 10167 markings/sec, 170 secs
lola: 1822187 markings, 3889979 edges, 10118 markings/sec, 175 secs
lola: 1873030 markings, 3997497 edges, 10169 markings/sec, 180 secs
lola: 1924031 markings, 4106289 edges, 10200 markings/sec, 185 secs
lola: 1974859 markings, 4213769 edges, 10166 markings/sec, 190 secs
lola: 2022387 markings, 4313964 edges, 9506 markings/sec, 195 secs
lola: 2070341 markings, 4418470 edges, 9591 markings/sec, 200 secs
lola: 2118140 markings, 4522714 edges, 9560 markings/sec, 205 secs
lola: 2164147 markings, 4624004 edges, 9201 markings/sec, 210 secs
lola: 2215448 markings, 4731329 edges, 10260 markings/sec, 215 secs
lola: 2266366 markings, 4839462 edges, 10184 markings/sec, 220 secs
lola: 2314825 markings, 4941012 edges, 9692 markings/sec, 225 secs
lola: 2366063 markings, 5049716 edges, 10248 markings/sec, 230 secs
lola: 2417295 markings, 5158402 edges, 10246 markings/sec, 235 secs
lola: 2468294 markings, 5267191 edges, 10200 markings/sec, 240 secs
lola: 2519541 markings, 5375921 edges, 10249 markings/sec, 245 secs
lola: 2570195 markings, 5484319 edges, 10131 markings/sec, 250 secs
lola: 2620355 markings, 5592456 edges, 10032 markings/sec, 255 secs
lola: 2670310 markings, 5700257 edges, 9991 markings/sec, 260 secs
lola: 2720233 markings, 5808019 edges, 9985 markings/sec, 265 secs
lola: 2770227 markings, 5915882 edges, 9999 markings/sec, 270 secs
lola: 2820284 markings, 6023853 edges, 10011 markings/sec, 275 secs
lola: 2870368 markings, 6131869 edges, 10017 markings/sec, 280 secs
lola: 2920526 markings, 6240004 edges, 10032 markings/sec, 285 secs
lola: 2971647 markings, 6348665 edges, 10224 markings/sec, 290 secs
lola: 3022645 markings, 6455780 edges, 10200 markings/sec, 295 secs
lola: 3073697 markings, 6563980 edges, 10210 markings/sec, 300 secs
lola: 3124947 markings, 6672714 edges, 10250 markings/sec, 305 secs
lola: 3175972 markings, 6781415 edges, 10205 markings/sec, 310 secs
lola: 3227200 markings, 6890252 edges, 10246 markings/sec, 315 secs
lola: 3278448 markings, 6998992 edges, 10250 markings/sec, 320 secs
lola: 3329553 markings, 7107572 edges, 10221 markings/sec, 325 secs
lola: 3380706 markings, 7216545 edges, 10231 markings/sec, 330 secs
lola: 3431954 markings, 7325279 edges, 10250 markings/sec, 335 secs
lola: 3482441 markings, 7433629 edges, 10097 markings/sec, 340 secs
lola: 3532622 markings, 7541808 edges, 10036 markings/sec, 345 secs
lola: 3582575 markings, 7649608 edges, 9991 markings/sec, 350 secs
lola: 3632519 markings, 7757393 edges, 9989 markings/sec, 355 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1691032 KB
lola: time consumption: 1036 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 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((X (((1 <= p611) AND (1 <= p727))) AND (((1 <= p611)) AND ((1 <= p727)))))) AND G (((1 <= p813))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p813)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p813)))
lola: processed formula length: 17
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 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: 9 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (X (X (G ((F (((p410 <= 0) OR (p558 <= 0))) AND (F (((p816 <= 0))) OR ((p410 <= 0) OR (p558 <= 0))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (X (X (G ((F (((p410 <= 0) OR (p558 <= 0))) AND (F (((p816 <= 0))) OR ((p410 <= 0) OR (p558 <= 0))))))))))
lola: processed formula length: 116
lola: 89 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: 184028 markings, 480164 edges, 36806 markings/sec, 0 secs
lola: 368428 markings, 973756 edges, 36880 markings/sec, 5 secs
lola: 555265 markings, 1465115 edges, 37367 markings/sec, 10 secs
lola: 742433 markings, 1957035 edges, 37434 markings/sec, 15 secs
lola: 927517 markings, 2448992 edges, 37017 markings/sec, 20 secs
lola: 1112930 markings, 2940723 edges, 37083 markings/sec, 25 secs
lola: 1299378 markings, 3431418 edges, 37290 markings/sec, 30 secs
lola: 1365746 markings, 3956495 edges, 13274 markings/sec, 35 secs
lola: 1368728 markings, 4557603 edges, 596 markings/sec, 40 secs
lola: 1377678 markings, 5004308 edges, 1790 markings/sec, 45 secs
lola: 1562909 markings, 5492931 edges, 37046 markings/sec, 50 secs
lola: 1748150 markings, 5981560 edges, 37048 markings/sec, 55 secs
lola: 1923714 markings, 6447294 edges, 35113 markings/sec, 60 secs
lola: 2107376 markings, 6929693 edges, 36732 markings/sec, 65 secs
lola: 2290802 markings, 7412378 edges, 36685 markings/sec, 70 secs
lola: 2468843 markings, 7887981 edges, 35608 markings/sec, 75 secs
lola: 2652970 markings, 8369613 edges, 36825 markings/sec, 80 secs
lola: 2736272 markings, 8883464 edges, 16660 markings/sec, 85 secs
lola: 2739199 markings, 9473420 edges, 585 markings/sec, 90 secs
lola: 2741517 markings, 9940627 edges, 464 markings/sec, 95 secs
lola: 2912047 markings, 10416606 edges, 34106 markings/sec, 100 secs
lola: 3094836 markings, 10901078 edges, 36558 markings/sec, 105 secs
lola: 3277072 markings, 11384606 edges, 36447 markings/sec, 110 secs
lola: 3459375 markings, 11868251 edges, 36461 markings/sec, 115 secs
lola: 3641964 markings, 12352377 edges, 36518 markings/sec, 120 secs
lola: 3825856 markings, 12834944 edges, 36778 markings/sec, 125 secs
lola: 4009202 markings, 13317754 edges, 36669 markings/sec, 130 secs
lola: 4106676 markings, 13826056 edges, 19495 markings/sec, 135 secs
lola: 4109578 markings, 14410849 edges, 580 markings/sec, 140 secs
lola: 4111947 markings, 14888200 edges, 474 markings/sec, 145 secs
lola: 4268103 markings, 15364803 edges, 31231 markings/sec, 150 secs
lola: 4450501 markings, 15848606 edges, 36480 markings/sec, 155 secs
lola: 4632771 markings, 16332194 edges, 36454 markings/sec, 160 secs
lola: 4815326 markings, 16816263 edges, 36511 markings/sec, 165 secs
lola: 4998727 markings, 17299296 edges, 36680 markings/sec, 170 secs
lola: 5182508 markings, 17781547 edges, 36756 markings/sec, 175 secs
lola: 5364838 markings, 18265233 edges, 36466 markings/sec, 180 secs
lola: 5477077 markings, 18767901 edges, 22448 markings/sec, 185 secs
lola: 5479946 markings, 19346101 edges, 574 markings/sec, 190 secs
lola: 5482396 markings, 19839836 edges, 490 markings/sec, 195 secs
lola: 5624922 markings, 20314295 edges, 28505 markings/sec, 200 secs
lola: 5807302 markings, 20798068 edges, 36476 markings/sec, 205 secs
lola: 5989682 markings, 21281845 edges, 36476 markings/sec, 210 secs
lola: 6172237 markings, 21765914 edges, 36511 markings/sec, 215 secs
lola: 6355709 markings, 22249322 edges, 36694 markings/sec, 220 secs
lola: 6539812 markings, 22731997 edges, 36821 markings/sec, 225 secs
lola: 6722500 markings, 23216166 edges, 36538 markings/sec, 230 secs
lola: 6847504 markings, 23715102 edges, 25001 markings/sec, 235 secs
lola: 6850354 markings, 24289505 edges, 570 markings/sec, 240 secs
lola: 6852869 markings, 24796364 edges, 503 markings/sec, 245 secs
lola: 6982865 markings, 25265711 edges, 25999 markings/sec, 250 secs
lola: 7165488 markings, 25749895 edges, 36525 markings/sec, 255 secs
lola: 7347485 markings, 26233017 edges, 36399 markings/sec, 260 secs
lola: 7529761 markings, 26716614 edges, 36455 markings/sec, 265 secs
lola: 7712693 markings, 27200324 edges, 36586 markings/sec, 270 secs
lola: 7896794 markings, 27682321 edges, 36820 markings/sec, 275 secs
lola: 8079338 markings, 28165693 edges, 36509 markings/sec, 280 secs
lola: 8217919 markings, 28659799 edges, 27716 markings/sec, 285 secs
lola: 8220746 markings, 29229431 edges, 565 markings/sec, 290 secs
lola: 8223344 markings, 29753011 edges, 520 markings/sec, 295 secs
lola: 8340029 markings, 30216374 edges, 23337 markings/sec, 300 secs
lola: 8523089 markings, 30700729 edges, 36612 markings/sec, 305 secs
lola: 8705397 markings, 31184381 edges, 36462 markings/sec, 310 secs
lola: 8887547 markings, 31667757 edges, 36430 markings/sec, 315 secs
lola: 9069959 markings, 32151585 edges, 36482 markings/sec, 320 secs
lola: 9253781 markings, 32634239 edges, 36764 markings/sec, 325 secs
lola: 9437355 markings, 33117231 edges, 36715 markings/sec, 330 secs
lola: 9588354 markings, 33608547 edges, 30200 markings/sec, 335 secs
lola: 9591155 markings, 34172936 edges, 560 markings/sec, 340 secs
lola: 9593830 markings, 34712158 edges, 535 markings/sec, 345 secs
lola: 9697019 markings, 35169674 edges, 20638 markings/sec, 350 secs
lola: 9881123 markings, 35653045 edges, 36821 markings/sec, 355 secs
lola: 10064179 markings, 36137222 edges, 36611 markings/sec, 360 secs
lola: 10246458 markings, 36620825 edges, 36456 markings/sec, 365 secs
lola: 10428889 markings, 37104684 edges, 36486 markings/sec, 370 secs
lola: 10611323 markings, 37588548 edges, 36487 markings/sec, 375 secs
lola: 10794876 markings, 38071271 edges, 36711 markings/sec, 380 secs
lola: 10958800 markings, 38559447 edges, 32785 markings/sec, 385 secs
lola: 10961579 markings, 39119460 edges, 556 markings/sec, 390 secs
lola: 10964329 markings, 39673793 edges, 550 markings/sec, 395 secs
lola: 11054999 markings, 40123454 edges, 18134 markings/sec, 400 secs
lola: 11238116 markings, 40607616 edges, 36623 markings/sec, 405 secs
lola: 11422220 markings, 41090524 edges, 36821 markings/sec, 410 secs
lola: 11605509 markings, 41574125 edges, 36658 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 3227384 KB
lola: time consumption: 1458 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 5 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((G (((p816 <= 0))) OR (((p6 <= 0)) OR ((p8 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((G (((p816 <= 0))) OR (((p6 <= 0)) OR ((p8 <= 0))))))
lola: processed formula length: 59
lola: 89 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: 171125 markings, 446545 edges, 34225 markings/sec, 0 secs
lola: 352171 markings, 923986 edges, 36209 markings/sec, 5 secs
lola: 533685 markings, 1401651 edges, 36303 markings/sec, 10 secs
lola: 716590 markings, 1877218 edges, 36581 markings/sec, 15 secs
lola: 898165 markings, 2354334 edges, 36315 markings/sec, 20 secs
lola: 1078633 markings, 2830786 edges, 36094 markings/sec, 25 secs
lola: 1259461 markings, 3307851 edges, 36166 markings/sec, 30 secs
lola: 1440938 markings, 3784426 edges, 36295 markings/sec, 35 secs
lola: 1526140 markings, 4289996 edges, 17040 markings/sec, 40 secs
lola: 1528834 markings, 4862964 edges, 539 markings/sec, 45 secs
lola: 1531218 markings, 5369930 edges, 477 markings/sec, 50 secs
lola: 1580731 markings, 5834476 edges, 9903 markings/sec, 55 secs
lola: 1761346 markings, 6309310 edges, 36123 markings/sec, 60 secs
lola: 1942990 markings, 6782751 edges, 36329 markings/sec, 65 secs
lola: 2122147 markings, 7256943 edges, 35831 markings/sec, 70 secs
lola: 2302650 markings, 7731499 edges, 36101 markings/sec, 75 secs
lola: 2484219 markings, 8204892 edges, 36314 markings/sec, 80 secs
lola: 2663378 markings, 8679087 edges, 35832 markings/sec, 85 secs
lola: 2843952 markings, 9153100 edges, 36115 markings/sec, 90 secs
lola: 3025277 markings, 9626744 edges, 36265 markings/sec, 95 secs
lola: 3059465 markings, 10149352 edges, 6838 markings/sec, 100 secs
lola: 3062228 markings, 10736785 edges, 553 markings/sec, 105 secs
lola: 3064365 markings, 11191261 edges, 427 markings/sec, 110 secs
lola: 3159852 markings, 11666214 edges, 19097 markings/sec, 115 secs
lola: 3339686 markings, 12141608 edges, 35967 markings/sec, 120 secs
lola: 3521941 markings, 12614263 edges, 36451 markings/sec, 125 secs
lola: 3701335 markings, 13088895 edges, 35879 markings/sec, 130 secs
lola: 3880825 markings, 13563694 edges, 35898 markings/sec, 135 secs
lola: 4051408 markings, 14009346 edges, 34117 markings/sec, 140 secs
lola: 4231417 markings, 14483502 edges, 36002 markings/sec, 145 secs
lola: 4412964 markings, 14956479 edges, 36309 markings/sec, 150 secs
lola: 4589678 markings, 15431660 edges, 35343 markings/sec, 155 secs
lola: 4592245 markings, 15977395 edges, 513 markings/sec, 160 secs
lola: 4595039 markings, 16571454 edges, 559 markings/sec, 165 secs
lola: 4596942 markings, 16992181 edges, 381 markings/sec, 170 secs
lola: 4729015 markings, 17473781 edges, 26415 markings/sec, 175 secs
lola: 4909969 markings, 17947428 edges, 36191 markings/sec, 180 secs
lola: 5085124 markings, 18405750 edges, 35031 markings/sec, 185 secs
lola: 5267453 markings, 18884316 edges, 36466 markings/sec, 190 secs
lola: 5443336 markings, 19347091 edges, 35177 markings/sec, 195 secs
lola: 5614173 markings, 19798991 edges, 34167 markings/sec, 200 secs
lola: 5794128 markings, 20273574 edges, 35991 markings/sec, 205 secs
lola: 5975893 markings, 20746404 edges, 36353 markings/sec, 210 secs
lola: 6122323 markings, 21230805 edges, 29286 markings/sec, 215 secs
lola: 6124934 markings, 21786044 edges, 522 markings/sec, 220 secs
lola: 6127701 markings, 22374566 edges, 553 markings/sec, 225 secs
lola: 6129584 markings, 22810686 edges, 377 markings/sec, 230 secs
lola: 6297380 markings, 23278846 edges, 33559 markings/sec, 235 secs
lola: 6479246 markings, 23751958 edges, 36373 markings/sec, 240 secs
lola: 6658474 markings, 24226303 edges, 35846 markings/sec, 245 secs
lola: 6838542 markings, 24701000 edges, 36014 markings/sec, 250 secs
lola: 7020245 markings, 25173808 edges, 36341 markings/sec, 255 secs
lola: 7199322 markings, 25647895 edges, 35815 markings/sec, 260 secs
lola: 7379733 markings, 26124278 edges, 36082 markings/sec, 265 secs
lola: 7562627 markings, 26602045 edges, 36579 markings/sec, 270 secs
lola: 7655334 markings, 27108130 edges, 18541 markings/sec, 275 secs
lola: 7658040 markings, 27683488 edges, 541 markings/sec, 280 secs
lola: 7660472 markings, 28200780 edges, 486 markings/sec, 285 secs
lola: 7707760 markings, 28669106 edges, 9458 markings/sec, 290 secs
lola: 7890577 markings, 29148384 edges, 36563 markings/sec, 295 secs
lola: 8073502 markings, 29627586 edges, 36585 markings/sec, 300 secs
lola: 8245721 markings, 30078820 edges, 34444 markings/sec, 305 secs
lola: 8424951 markings, 30553174 edges, 35846 markings/sec, 310 secs
lola: 8606863 markings, 31026329 edges, 36382 markings/sec, 315 secs
lola: 8786983 markings, 31501120 edges, 36024 markings/sec, 320 secs
lola: 8966328 markings, 31975674 edges, 35869 markings/sec, 325 secs
lola: 9148129 markings, 32448773 edges, 36360 markings/sec, 330 secs
lola: 9188296 markings, 32974991 edges, 8033 markings/sec, 335 secs
lola: 9191086 markings, 33568236 edges, 558 markings/sec, 340 secs
lola: 9193253 markings, 34029105 edges, 433 markings/sec, 345 secs
lola: 9290403 markings, 34506789 edges, 19430 markings/sec, 350 secs
lola: 9469822 markings, 34981467 edges, 35884 markings/sec, 355 secs
lola: 9651452 markings, 35455558 edges, 36326 markings/sec, 360 secs
lola: 9832450 markings, 35930443 edges, 36200 markings/sec, 365 secs
lola: 10011620 markings, 36404690 edges, 35834 markings/sec, 370 secs
lola: 10192617 markings, 36879087 edges, 36199 markings/sec, 375 secs
lola: 10373950 markings, 37353156 edges, 36267 markings/sec, 380 secs
lola: 10552944 markings, 37827099 edges, 35799 markings/sec, 385 secs
lola: 10718735 markings, 38305178 edges, 33158 markings/sec, 390 secs
lola: 10721274 markings, 38845087 edges, 508 markings/sec, 395 secs
lola: 10724124 markings, 39451243 edges, 570 markings/sec, 400 secs
lola: 10725765 markings, 39803424 edges, 328 markings/sec, 405 secs
lola: 10842207 markings, 40270651 edges, 23288 markings/sec, 410 secs
lola: 11023207 markings, 40741667 edges, 36200 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 3075516 KB
lola: time consumption: 1881 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 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p611) AND (1 <= p614)) U (((1 <= p812)) OR ((1 <= p1) AND (1 <= p2)))) U X (((1 <= p6) AND (1 <= p7))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p611) AND (1 <= p614)) U (((1 <= p812)) OR ((1 <= p1) AND (1 <= p2)))) U X (((1 <= p6) AND (1 <= p7))))
lola: processed formula length: 113
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 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: 11 markings, 11 edges
lola: ========================================
lola: subprocess 7 will run for 563 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p611 <= 0) OR (p754 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p611 <= 0) OR (p754 <= 0))))
lola: processed formula length: 37
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 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: 99331 markings, 199135 edges, 19866 markings/sec, 0 secs
lola: 208271 markings, 417550 edges, 21788 markings/sec, 5 secs
lola: 316845 markings, 635233 edges, 21715 markings/sec, 10 secs
lola: 423791 markings, 849647 edges, 21389 markings/sec, 15 secs
lola: 531779 markings, 1066152 edges, 21598 markings/sec, 20 secs
lola: 638424 markings, 1279967 edges, 21329 markings/sec, 25 secs
lola: 744249 markings, 1492131 edges, 21165 markings/sec, 30 secs
lola: 851315 markings, 1706788 edges, 21413 markings/sec, 35 secs
lola: 956937 markings, 1918551 edges, 21124 markings/sec, 40 secs
lola: 1060897 markings, 2126980 edges, 20792 markings/sec, 45 secs
lola: 1166210 markings, 2338120 edges, 21063 markings/sec, 50 secs
lola: 1270670 markings, 2547555 edges, 20892 markings/sec, 55 secs
lola: 1369447 markings, 2745591 edges, 19755 markings/sec, 60 secs
lola: 1473596 markings, 2954399 edges, 20830 markings/sec, 65 secs
lola: 1579289 markings, 3166303 edges, 21139 markings/sec, 70 secs
lola: 1683655 markings, 3375550 edges, 20873 markings/sec, 75 secs
lola: 1786944 markings, 3582630 edges, 20658 markings/sec, 80 secs
lola: 1892196 markings, 3793650 edges, 21050 markings/sec, 85 secs
lola: 1995958 markings, 4001684 edges, 20752 markings/sec, 90 secs
lola: 2098344 markings, 4206958 edges, 20477 markings/sec, 95 secs
lola: 2200984 markings, 4412740 edges, 20528 markings/sec, 100 secs
lola: 2304582 markings, 4620446 edges, 20720 markings/sec, 105 secs
lola: 2407156 markings, 4826097 edges, 20515 markings/sec, 110 secs
lola: 2508584 markings, 5029446 edges, 20286 markings/sec, 115 secs
lola: 2611639 markings, 5236063 edges, 20611 markings/sec, 120 secs
lola: 2713662 markings, 5440611 edges, 20405 markings/sec, 125 secs
lola: 2814363 markings, 5642502 edges, 20140 markings/sec, 130 secs
lola: 2914354 markings, 5842975 edges, 19998 markings/sec, 135 secs
lola: 3016170 markings, 6047106 edges, 20363 markings/sec, 140 secs
lola: 3117598 markings, 6250462 edges, 20286 markings/sec, 145 secs
lola: 3217986 markings, 6451726 edges, 20078 markings/sec, 150 secs
lola: 3317507 markings, 6651257 edges, 19904 markings/sec, 155 secs
lola: 3418470 markings, 6853678 edges, 20193 markings/sec, 160 secs
lola: 3518646 markings, 7054521 edges, 20035 markings/sec, 165 secs
lola: 3618296 markings, 7254311 edges, 19930 markings/sec, 170 secs
lola: 3717446 markings, 7453095 edges, 19830 markings/sec, 175 secs
lola: 3818035 markings, 7654769 edges, 20118 markings/sec, 180 secs
lola: 3917406 markings, 7853995 edges, 19874 markings/sec, 185 secs
lola: 4015714 markings, 8051095 edges, 19662 markings/sec, 190 secs
lola: 4113930 markings, 8248005 edges, 19643 markings/sec, 195 secs
lola: 4213113 markings, 8446860 edges, 19837 markings/sec, 200 secs
lola: 4311970 markings, 8645057 edges, 19771 markings/sec, 205 secs
lola: 4409616 markings, 8840829 edges, 19529 markings/sec, 210 secs
lola: 4506935 markings, 9035941 edges, 19464 markings/sec, 215 secs
lola: 4604084 markings, 9230715 edges, 19430 markings/sec, 220 secs
lola: 4703118 markings, 9429270 edges, 19807 markings/sec, 225 secs
lola: 4801151 markings, 9625818 edges, 19607 markings/sec, 230 secs
lola: 4898112 markings, 9820214 edges, 19392 markings/sec, 235 secs
lola: 4994788 markings, 10014037 edges, 19335 markings/sec, 240 secs
lola: 5091731 markings, 10208399 edges, 19389 markings/sec, 245 secs
lola: 5185601 markings, 10396600 edges, 18774 markings/sec, 250 secs
lola: 5282767 markings, 10591409 edges, 19433 markings/sec, 255 secs
lola: 5374154 markings, 10774631 edges, 18277 markings/sec, 260 secs
lola: 5470063 markings, 10966916 edges, 19182 markings/sec, 265 secs
lola: 5565266 markings, 11157789 edges, 19041 markings/sec, 270 secs
lola: 5661532 markings, 11350796 edges, 19253 markings/sec, 275 secs
lola: 5757319 markings, 11542837 edges, 19157 markings/sec, 280 secs
lola: 5852712 markings, 11734092 edges, 19079 markings/sec, 285 secs
lola: 5947886 markings, 11924908 edges, 19035 markings/sec, 290 secs
lola: 6042473 markings, 12114542 edges, 18917 markings/sec, 295 secs
lola: 6137754 markings, 12305571 edges, 19056 markings/sec, 300 secs
lola: 6233767 markings, 12498069 edges, 19203 markings/sec, 305 secs
lola: 6328724 markings, 12688449 edges, 18991 markings/sec, 310 secs
lola: 6422223 markings, 12875905 edges, 18700 markings/sec, 315 secs
lola: 6515207 markings, 13062325 edges, 18597 markings/sec, 320 secs
lola: 6607930 markings, 13248226 edges, 18545 markings/sec, 325 secs
lola: 6701251 markings, 13435327 edges, 18664 markings/sec, 330 secs
lola: 6792805 markings, 13618886 edges, 18311 markings/sec, 335 secs
lola: 6884848 markings, 13803422 edges, 18409 markings/sec, 340 secs
lola: 6975985 markings, 13986143 edges, 18227 markings/sec, 345 secs
lola: 7067645 markings, 14169912 edges, 18332 markings/sec, 350 secs
lola: 7158686 markings, 14352436 edges, 18208 markings/sec, 355 secs
lola: 7250166 markings, 14535848 edges, 18296 markings/sec, 360 secs
lola: 7342814 markings, 14721596 edges, 18530 markings/sec, 365 secs
lola: 7436248 markings, 14908924 edges, 18687 markings/sec, 370 secs
lola: 7529472 markings, 15095827 edges, 18645 markings/sec, 375 secs
lola: 7621715 markings, 15280766 edges, 18449 markings/sec, 380 secs
lola: 7713063 markings, 15463910 edges, 18270 markings/sec, 385 secs
lola: 7804576 markings, 15647384 edges, 18303 markings/sec, 390 secs
lola: 7895627 markings, 15829932 edges, 18210 markings/sec, 395 secs
lola: 7987204 markings, 16013534 edges, 18315 markings/sec, 400 secs
lola: 8078865 markings, 16197306 edges, 18332 markings/sec, 405 secs
lola: 8169357 markings, 16378530 edges, 18098 markings/sec, 410 secs
lola: 8260212 markings, 16560687 edges, 18171 markings/sec, 415 secs
lola: 8350673 markings, 16742057 edges, 18092 markings/sec, 420 secs
lola: 8440186 markings, 16921521 edges, 17903 markings/sec, 425 secs
lola: 8530375 markings, 17102339 edges, 18038 markings/sec, 430 secs
lola: 8620442 markings, 17282918 edges, 18013 markings/sec, 435 secs
lola: 8711562 markings, 17465605 edges, 18224 markings/sec, 440 secs
lola: 8802902 markings, 17648733 edges, 18268 markings/sec, 445 secs
lola: 8893487 markings, 17830350 edges, 18117 markings/sec, 450 secs
lola: 8983035 markings, 18009884 edges, 17910 markings/sec, 455 secs
lola: 9072680 markings, 18189615 edges, 17929 markings/sec, 460 secs
lola: 9161256 markings, 18367203 edges, 17715 markings/sec, 465 secs
lola: 9249638 markings, 18544398 edges, 17676 markings/sec, 470 secs
lola: 9338367 markings, 18722293 edges, 17746 markings/sec, 475 secs
lola: 9426581 markings, 18899156 edges, 17643 markings/sec, 480 secs
lola: 9515581 markings, 19077592 edges, 17800 markings/sec, 485 secs
lola: 9604496 markings, 19255859 edges, 17783 markings/sec, 490 secs
lola: 9693148 markings, 19433599 edges, 17730 markings/sec, 495 secs
lola: 9775757 markings, 19599224 edges, 16522 markings/sec, 500 secs
lola: 9864301 markings, 19776747 edges, 17709 markings/sec, 505 secs
lola: 9947871 markings, 19944296 edges, 16714 markings/sec, 510 secs
lola: 10036058 markings, 20121106 edges, 17637 markings/sec, 515 secs
lola: 10123774 markings, 20296968 edges, 17543 markings/sec, 520 secs
lola: 10210530 markings, 20470908 edges, 17351 markings/sec, 525 secs
lola: 10297702 markings, 20645676 edges, 17434 markings/sec, 530 secs
lola: 10384226 markings, 20819148 edges, 17305 markings/sec, 535 secs
lola: 10470491 markings, 20992102 edges, 17253 markings/sec, 540 secs
lola: 10557557 markings, 21166665 edges, 17413 markings/sec, 545 secs
lola: 10644066 markings, 21340108 edges, 17302 markings/sec, 550 secs
lola: 10730671 markings, 21513744 edges, 17321 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown no
lola: memory consumption: 2988756 KB
lola: time consumption: 2444 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 8 will run for 563 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F ((((1 <= p815)))) OR (((p410 <= 0) OR (p468 <= 0)) AND ((p410 <= 0) OR (p464 <= 0)) AND ((p410 <= 0) OR (p460 <= 0)) AND ((p410 <= 0) OR (p456 <= 0)) AND ((p410 <= 0) OR (p419 <= 0)) AND ((p410 <= 0) OR (p484 <= 0)) AND ((p410 <= 0) OR (p610 <= 0)) AND ((p410 <= 0) OR (p415 <= 0)) AND ((p410 <= 0) OR (p480 <= 0)) AND ((p410 <= 0) OR (p411 <= 0)) AND ((p410 <= 0) OR (p476 <= 0))... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F ((((1 <= p815)))) OR (((p410 <= 0) OR (p468 <= 0)) AND ((p410 <= 0) OR (p464 <= 0)) AND ((p410 <= 0) OR (p460 <= 0)) AND ((p410 <= 0) OR (p456 <= 0)) AND ((p410 <= 0) OR (p419 <= 0)) AND ((p410 <= 0) OR (p484 <= 0)) AND ((p410 <= 0) OR (p610 <= 0)) AND ((p410 <= 0) OR (p415 <= 0)) AND ((p410 <= 0) OR (p480 <= 0)) AND ((p410 <= 0) OR (p411 <= 0)) AND ((p410 <= 0) OR (p476 <= 0))... (shortened)
lola: processed formula length: 6898
lola: 89 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: 71072 markings, 181888 edges, 14214 markings/sec, 0 secs
lola: 121192 markings, 359342 edges, 10024 markings/sec, 5 secs
lola: 173606 markings, 508065 edges, 10483 markings/sec, 10 secs
lola: 226690 markings, 654698 edges, 10617 markings/sec, 15 secs
lola: 280138 markings, 802063 edges, 10690 markings/sec, 20 secs
lola: 329069 markings, 980567 edges, 9786 markings/sec, 25 secs
lola: 381627 markings, 1126145 edges, 10512 markings/sec, 30 secs
lola: 434463 markings, 1272279 edges, 10567 markings/sec, 35 secs
lola: 484749 markings, 1439582 edges, 10057 markings/sec, 40 secs
lola: 535270 markings, 1594994 edges, 10104 markings/sec, 45 secs
lola: 587331 markings, 1739577 edges, 10412 markings/sec, 50 secs
lola: 638642 markings, 1882653 edges, 10262 markings/sec, 55 secs
lola: 686766 markings, 2048014 edges, 9625 markings/sec, 60 secs
lola: 735886 markings, 2198227 edges, 9824 markings/sec, 65 secs
lola: 786207 markings, 2339317 edges, 10064 markings/sec, 70 secs
lola: 836906 markings, 2481169 edges, 10140 markings/sec, 75 secs
lola: 887828 markings, 2623467 edges, 10184 markings/sec, 80 secs
lola: 933769 markings, 2795975 edges, 9188 markings/sec, 85 secs
lola: 983816 markings, 2936518 edges, 10009 markings/sec, 90 secs
lola: 1033346 markings, 3076024 edges, 9906 markings/sec, 95 secs
lola: 1083841 markings, 3217466 edges, 10099 markings/sec, 100 secs
lola: 1131164 markings, 3378564 edges, 9465 markings/sec, 105 secs
lola: 1179158 markings, 3529175 edges, 9599 markings/sec, 110 secs
lola: 1228176 markings, 3667654 edges, 9804 markings/sec, 115 secs
lola: 1277661 markings, 3807070 edges, 9897 markings/sec, 120 secs
lola: 1326720 markings, 3945634 edges, 9812 markings/sec, 125 secs
lola: 1373532 markings, 4098032 edges, 9362 markings/sec, 130 secs
lola: 1419350 markings, 4251953 edges, 9164 markings/sec, 135 secs
lola: 1468130 markings, 4389957 edges, 9756 markings/sec, 140 secs
lola: 1516652 markings, 4527441 edges, 9704 markings/sec, 145 secs
lola: 1565404 markings, 4665390 edges, 9750 markings/sec, 150 secs
lola: 1614146 markings, 4803314 edges, 9748 markings/sec, 155 secs
lola: 1658006 markings, 4971651 edges, 8772 markings/sec, 160 secs
lola: 1706139 markings, 5108358 edges, 9627 markings/sec, 165 secs
lola: 1754321 markings, 5245161 edges, 9636 markings/sec, 170 secs
lola: 1802524 markings, 5382007 edges, 9641 markings/sec, 175 secs
lola: 1845577 markings, 5508527 edges, 8611 markings/sec, 180 secs
lola: 1892061 markings, 5641927 edges, 9297 markings/sec, 185 secs
lola: 1939076 markings, 5780661 edges, 9403 markings/sec, 190 secs
lola: 1981869 markings, 5942591 edges, 8559 markings/sec, 195 secs
lola: 2029104 markings, 6077495 edges, 9447 markings/sec, 200 secs
lola: 2076516 markings, 6212754 edges, 9482 markings/sec, 205 secs
lola: 2122234 markings, 6344620 edges, 9144 markings/sec, 210 secs
lola: 2169663 markings, 6479912 edges, 9486 markings/sec, 215 secs
lola: 2217605 markings, 6616235 edges, 9588 markings/sec, 220 secs
lola: 2262359 markings, 6765606 edges, 8951 markings/sec, 225 secs
lola: 2307745 markings, 6917563 edges, 9077 markings/sec, 230 secs
lola: 2355887 markings, 7054286 edges, 9628 markings/sec, 235 secs
lola: 2404348 markings, 7191651 edges, 9692 markings/sec, 240 secs
lola: 2452767 markings, 7328928 edges, 9684 markings/sec, 245 secs
lola: 2501190 markings, 7466217 edges, 9685 markings/sec, 250 secs
lola: 2545210 markings, 7622910 edges, 8804 markings/sec, 255 secs
lola: 2591255 markings, 7767393 edges, 9209 markings/sec, 260 secs
lola: 2638937 markings, 7903194 edges, 9536 markings/sec, 265 secs
lola: 2686557 markings, 8038871 edges, 9524 markings/sec, 270 secs
lola: 2734229 markings, 8174653 edges, 9534 markings/sec, 275 secs
lola: 2781939 markings, 8310510 edges, 9542 markings/sec, 280 secs
lola: 2827932 markings, 8454167 edges, 9199 markings/sec, 285 secs
lola: 2871023 markings, 8609723 edges, 8618 markings/sec, 290 secs
lola: 2918083 markings, 8744276 edges, 9412 markings/sec, 295 secs
lola: 2965261 markings, 8879066 edges, 9436 markings/sec, 300 secs
lola: 3012457 markings, 9013893 edges, 9439 markings/sec, 305 secs
lola: 3059674 markings, 9148762 edges, 9443 markings/sec, 310 secs
lola: 3106880 markings, 9283610 edges, 9441 markings/sec, 315 secs
lola: 3151167 markings, 9429238 edges, 8857 markings/sec, 320 secs
lola: 3194128 markings, 9579139 edges, 8592 markings/sec, 325 secs
lola: 3240554 markings, 9712424 edges, 9285 markings/sec, 330 secs
lola: 3286853 markings, 9845452 edges, 9260 markings/sec, 335 secs
lola: 3333129 markings, 9978432 edges, 9255 markings/sec, 340 secs
lola: 3379614 markings, 10111835 edges, 9297 markings/sec, 345 secs
lola: 3425921 markings, 10244879 edges, 9261 markings/sec, 350 secs
lola: 3472401 markings, 10378269 edges, 9296 markings/sec, 355 secs
lola: 3514801 markings, 10525000 edges, 8480 markings/sec, 360 secs
lola: 3564784 markings, 10684095 edges, 9997 markings/sec, 365 secs
lola: 3619891 markings, 10834783 edges, 11021 markings/sec, 370 secs
lola: 3675942 markings, 10987364 edges, 11210 markings/sec, 375 secs
lola: 3727580 markings, 11171297 edges, 10328 markings/sec, 380 secs
lola: 3783159 markings, 11322931 edges, 11116 markings/sec, 385 secs
lola: 3837955 markings, 11483722 edges, 10959 markings/sec, 390 secs
lola: 3890439 markings, 11658625 edges, 10497 markings/sec, 395 secs
lola: 3946032 markings, 11810287 edges, 11119 markings/sec, 400 secs
lola: 3999613 markings, 11979509 edges, 10716 markings/sec, 405 secs
lola: 4053094 markings, 12145544 edges, 10696 markings/sec, 410 secs
lola: 4108497 markings, 12296826 edges, 11081 markings/sec, 415 secs
lola: 4161253 markings, 12471698 edges, 10551 markings/sec, 420 secs
lola: 4215311 markings, 12631585 edges, 10812 markings/sec, 425 secs
lola: 4265314 markings, 12772040 edges, 10001 markings/sec, 430 secs
lola: 4320776 markings, 12923441 edges, 11092 markings/sec, 435 secs
lola: 4371849 markings, 13106240 edges, 10215 markings/sec, 440 secs
lola: 4426941 markings, 13256898 edges, 11018 markings/sec, 445 secs
lola: 4482303 markings, 13408097 edges, 11072 markings/sec, 450 secs
lola: 4533338 markings, 13590821 edges, 10207 markings/sec, 455 secs
lola: 4588291 markings, 13741201 edges, 10991 markings/sec, 460 secs
lola: 4643520 markings, 13892134 edges, 11046 markings/sec, 465 secs
lola: 4694468 markings, 14074683 edges, 10190 markings/sec, 470 secs
lola: 4749199 markings, 14224619 edges, 10946 markings/sec, 475 secs
lola: 4804126 markings, 14374945 edges, 10985 markings/sec, 480 secs
lola: 4854790 markings, 14556925 edges, 10133 markings/sec, 485 secs
lola: 4909408 markings, 14706632 edges, 10924 markings/sec, 490 secs
lola: 4964226 markings, 14856741 edges, 10964 markings/sec, 495 secs
lola: 5014801 markings, 15038545 edges, 10115 markings/sec, 500 secs
lola: 5069120 markings, 15187651 edges, 10864 markings/sec, 505 secs
lola: 5123619 markings, 15337122 edges, 10900 markings/sec, 510 secs
lola: 5173852 markings, 15518236 edges, 10047 markings/sec, 515 secs
lola: 5227896 markings, 15666793 edges, 10809 markings/sec, 520 secs
lola: 5282172 markings, 15815815 edges, 10855 markings/sec, 525 secs
lola: 5332905 markings, 15991295 edges, 10147 markings/sec, 530 secs
lola: 5386093 markings, 16144775 edges, 10638 markings/sec, 535 secs
lola: 5440096 markings, 16293249 edges, 10801 markings/sec, 540 secs
lola: 5494333 markings, 16442192 edges, 10847 markings/sec, 545 secs
lola: 5543872 markings, 16621917 edges, 9908 markings/sec, 550 secs
lola: 5597744 markings, 16770129 edges, 10774 markings/sec, 555 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown no
lola: memory consumption: 2050788 KB
lola: time consumption: 3007 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 9 will run for 563 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p1) AND (1 <= p2)) OR (F (((1 <= p1) AND (1 <= p2))) AND F (G (((1 <= p816)))))) AND (G (((p816 <= 0))) OR ((1 <= p816))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 563 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p816))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p816))
lola: processed formula length: 13
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p1) AND (1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1 <= 0) OR (p2 <= 0))
lola: processed formula length: 25
lola: 91 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 7 markings, 6 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((((1 <= p410) AND (1 <= p468)) OR ((1 <= p410) AND (1 <= p464)) OR ((1 <= p410) AND (1 <= p460)) OR ((1 <= p410) AND (1 <= p456)) OR ((1 <= p410) AND (1 <= p419)) OR ((1 <= p410) AND (1 <= p484)) OR ((1 <= p410) AND (1 <= p610)) OR ((1 <= p410) AND (1 <= p415)) OR ((1 <= p410) AND (1 <= p480)) OR ((1 <= p410) AND (1 <= p411)) OR ((1 <= p410) AND (1 <= p476)) OR ((1 <= p410) AND (1 <= p... (shortened)
lola: processed formula length: 7010
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 18 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: 166312 markings, 415865 edges, 33262 markings/sec, 0 secs
lola: 336092 markings, 851977 edges, 33956 markings/sec, 5 secs
lola: 504965 markings, 1291959 edges, 33775 markings/sec, 10 secs
lola: 674289 markings, 1731145 edges, 33865 markings/sec, 15 secs
lola: 845659 markings, 2168481 edges, 34274 markings/sec, 20 secs
lola: 1017624 markings, 2606781 edges, 34393 markings/sec, 25 secs
lola: 1189733 markings, 3045321 edges, 34422 markings/sec, 30 secs
lola: 1360683 markings, 3482055 edges, 34190 markings/sec, 35 secs
lola: 1529734 markings, 3921511 edges, 33810 markings/sec, 40 secs
lola: 1698602 markings, 4361356 edges, 33774 markings/sec, 45 secs
lola: 1869537 markings, 4798675 edges, 34187 markings/sec, 50 secs
lola: 2041079 markings, 5236285 edges, 34308 markings/sec, 55 secs
lola: 2212972 markings, 5674476 edges, 34379 markings/sec, 60 secs
lola: 2384233 markings, 6111627 edges, 34252 markings/sec, 65 secs
lola: 2554099 markings, 6549356 edges, 33973 markings/sec, 70 secs
lola: 2722971 markings, 6989142 edges, 33774 markings/sec, 75 secs
lola: 2808666 markings, 7449779 edges, 17139 markings/sec, 80 secs
lola: 2810887 markings, 7952884 edges, 444 markings/sec, 85 secs
lola: 2813263 markings, 8490887 edges, 475 markings/sec, 90 secs
lola: 2815829 markings, 9071641 edges, 513 markings/sec, 95 secs
lola: 2818140 markings, 9594942 edges, 462 markings/sec, 100 secs
lola: 2819776 markings, 9965672 edges, 327 markings/sec, 105 secs
lola: 2835478 markings, 10329487 edges, 3140 markings/sec, 110 secs
lola: 2875952 markings, 10504539 edges, 8095 markings/sec, 115 secs
lola: 2916378 markings, 10679436 edges, 8085 markings/sec, 120 secs
lola: 2956856 markings, 10854499 edges, 8096 markings/sec, 125 secs
lola: 2995083 markings, 11023239 edges, 7645 markings/sec, 130 secs
lola: 3034534 markings, 11195419 edges, 7890 markings/sec, 135 secs
lola: 3074103 markings, 11367927 edges, 7914 markings/sec, 140 secs
lola: 3113761 markings, 11540681 edges, 7932 markings/sec, 145 secs
lola: 3153573 markings, 11713869 edges, 7962 markings/sec, 150 secs
lola: 3193503 markings, 11887387 edges, 7986 markings/sec, 155 secs
lola: 3232158 markings, 12057335 edges, 7731 markings/sec, 160 secs
lola: 3272359 markings, 12231618 edges, 8040 markings/sec, 165 secs
lola: 3312949 markings, 12404954 edges, 8118 markings/sec, 170 secs
lola: 3353565 markings, 12578044 edges, 8123 markings/sec, 175 secs
lola: 3394330 markings, 12751680 edges, 8153 markings/sec, 180 secs
lola: 3434955 markings, 12926418 edges, 8125 markings/sec, 185 secs
lola: 3475560 markings, 13101341 edges, 8121 markings/sec, 190 secs
lola: 3516283 markings, 13276788 edges, 8145 markings/sec, 195 secs
lola: 3557087 markings, 13452604 edges, 8161 markings/sec, 200 secs
lola: 3598028 markings, 13629041 edges, 8188 markings/sec, 205 secs
lola: 3639085 markings, 13805994 edges, 8211 markings/sec, 210 secs
lola: 3680263 markings, 13983490 edges, 8236 markings/sec, 215 secs
lola: 3721459 markings, 14161070 edges, 8239 markings/sec, 220 secs
lola: 3762443 markings, 14339749 edges, 8197 markings/sec, 225 secs
lola: 3803653 markings, 14519388 edges, 8242 markings/sec, 230 secs
lola: 3844749 markings, 14698307 edges, 8219 markings/sec, 235 secs
lola: 3886327 markings, 14876447 edges, 8316 markings/sec, 240 secs
lola: 3928041 markings, 15054953 edges, 8343 markings/sec, 245 secs
lola: 3969719 markings, 15233371 edges, 8336 markings/sec, 250 secs
lola: 4011700 markings, 15412627 edges, 8396 markings/sec, 255 secs
lola: 4053660 markings, 15591837 edges, 8392 markings/sec, 260 secs
lola: 4095867 markings, 15771731 edges, 8441 markings/sec, 265 secs
lola: 4138220 markings, 15952027 edges, 8471 markings/sec, 270 secs
lola: 4180685 markings, 16132635 edges, 8493 markings/sec, 275 secs
lola: 4223309 markings, 16313711 edges, 8525 markings/sec, 280 secs
lola: 4266082 markings, 16495189 edges, 8555 markings/sec, 285 secs
lola: 4308676 markings, 16676160 edges, 8519 markings/sec, 290 secs
lola: 4351345 markings, 16857457 edges, 8534 markings/sec, 295 secs
lola: 4392934 markings, 17045421 edges, 8318 markings/sec, 300 secs
lola: 4435461 markings, 17230046 edges, 8505 markings/sec, 305 secs
lola: 4477732 markings, 17419965 edges, 8454 markings/sec, 310 secs
lola: 4520115 markings, 17607625 edges, 8477 markings/sec, 315 secs
lola: 4563416 markings, 17790583 edges, 8660 markings/sec, 320 secs
lola: 4606908 markings, 17974076 edges, 8698 markings/sec, 325 secs
lola: 4650613 markings, 18158155 edges, 8741 markings/sec, 330 secs
lola: 4694590 markings, 18343005 edges, 8795 markings/sec, 335 secs
lola: 4738339 markings, 18527225 edges, 8750 markings/sec, 340 secs
lola: 4779688 markings, 18704709 edges, 8270 markings/sec, 345 secs
lola: 4823405 markings, 18900617 edges, 8743 markings/sec, 350 secs
lola: 4866841 markings, 19100609 edges, 8687 markings/sec, 355 secs
lola: 4911848 markings, 19290759 edges, 9001 markings/sec, 360 secs
lola: 4957604 markings, 19480593 edges, 9151 markings/sec, 365 secs
lola: 5003500 markings, 19670818 edges, 9179 markings/sec, 370 secs
lola: 5047821 markings, 19867576 edges, 8864 markings/sec, 375 secs
lola: 5091752 markings, 20071290 edges, 8786 markings/sec, 380 secs
lola: 5136635 markings, 20259591 edges, 8977 markings/sec, 385 secs
lola: 5181740 markings, 20447596 edges, 9021 markings/sec, 390 secs
lola: 5227264 markings, 20636779 edges, 9105 markings/sec, 395 secs
lola: 5271733 markings, 20827962 edges, 8894 markings/sec, 400 secs
lola: 5313700 markings, 21013323 edges, 8393 markings/sec, 405 secs
lola: 5357469 markings, 21214393 edges, 8754 markings/sec, 410 secs
lola: 5402776 markings, 21405937 edges, 9061 markings/sec, 415 secs
lola: 5448994 markings, 21597059 edges, 9244 markings/sec, 420 secs
lola: 5495295 markings, 21788409 edges, 9260 markings/sec, 425 secs
lola: 5539737 markings, 21996132 edges, 8888 markings/sec, 430 secs
lola: 5586723 markings, 22198695 edges, 9397 markings/sec, 435 secs
lola: 5635280 markings, 22396376 edges, 9711 markings/sec, 440 secs
lola: 5682173 markings, 22601233 edges, 9379 markings/sec, 445 secs
lola: 5728692 markings, 22812209 edges, 9304 markings/sec, 450 secs
lola: 5777827 markings, 23011503 edges, 9827 markings/sec, 455 secs
lola: 5825220 markings, 23217637 edges, 9479 markings/sec, 460 secs
lola: 5872127 markings, 23429827 edges, 9381 markings/sec, 465 secs
lola: 5921725 markings, 23630422 edges, 9920 markings/sec, 470 secs
lola: 5968912 markings, 23839413 edges, 9437 markings/sec, 475 secs
lola: 6016936 markings, 24051296 edges, 9605 markings/sec, 480 secs
lola: 6066879 markings, 24252847 edges, 9989 markings/sec, 485 secs
lola: 6113753 markings, 24472130 edges, 9375 markings/sec, 490 secs
lola: 6159997 markings, 24667873 edges, 9249 markings/sec, 495 secs
lola: 6208776 markings, 24866166 edges, 9756 markings/sec, 500 secs
lola: 6255157 markings, 25074254 edges, 9276 markings/sec, 505 secs
lola: 6303058 markings, 25284437 edges, 9580 markings/sec, 510 secs
lola: 6352427 markings, 25484381 edges, 9874 markings/sec, 515 secs
lola: 6398661 markings, 25697449 edges, 9247 markings/sec, 520 secs
lola: 6447204 markings, 25904053 edges, 9709 markings/sec, 525 secs
lola: 6496751 markings, 26104489 edges, 9909 markings/sec, 530 secs
lola: 6543382 markings, 26324987 edges, 9326 markings/sec, 535 secs
lola: 6592674 markings, 26527360 edges, 9858 markings/sec, 540 secs
lola: 6641615 markings, 26731322 edges, 9788 markings/sec, 545 secs
lola: 6689273 markings, 26952133 edges, 9532 markings/sec, 550 secs
lola: 6739708 markings, 27155056 edges, 10087 markings/sec, 555 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown no
preliminary result: unknown yes unknown unknown no unknown unknown unknown unknown no
lola: memory consumption: 2198112 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: unknown yes unknown unknown no unknown unknown unknown unknown no
lola: memory consumption: 2198112 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
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="AirplaneLD-PT-0200"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is AirplaneLD-PT-0200, 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 r166-smll-158987787500274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0200.tgz
mv AirplaneLD-PT-0200 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 ;