About the Execution of ITS-LoLa for AirplaneLD-PT-0500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.660 | 3600000.00 | 3610654.00 | 10432.80 | [undef] | Time out reached |
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-158987787500284.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-0500, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787500284
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.3M
-rw-r--r-- 1 mcc users 104K Mar 24 10:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Mar 24 10:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 69K Mar 24 09:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 279K Mar 24 09:29 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 116K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 325K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 128K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 515K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 182K Mar 24 08:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 442K Mar 24 08:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 177K Mar 24 06:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 720K Mar 24 06:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 29K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 50K 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 3.9M 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-0500-CTLFireability-00
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-01
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-02
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-03
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-04
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-05
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-06
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-07
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-08
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-09
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-10
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-11
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-12
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-13
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-14
FORMULA_NAME AirplaneLD-PT-0500-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591389773072
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 20:42:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 20:42:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 20:42:56] [INFO ] Load time of PNML (sax parser for PT used): 541 ms
[2020-06-05 20:42:56] [INFO ] Transformed 3519 places.
[2020-06-05 20:42:56] [INFO ] Transformed 4008 transitions.
[2020-06-05 20:42:56] [INFO ] Found NUPN structural information;
[2020-06-05 20:42:56] [INFO ] Parsed PT model containing 3519 places and 4008 transitions in 648 ms.
Reduce places removed 1502 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 157 ms.
Finished random walk after 58527 steps, including 7382 resets, run visited all 29 properties in 2845 ms. (steps per millisecond=20 )
[2020-06-05 20:43:00] [INFO ] Flatten gal took : 530 ms
[2020-06-05 20:43:01] [INFO ] Flatten gal took : 240 ms
[2020-06-05 20:43:01] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 51 ms.
[2020-06-05 20:43:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 47 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ AirplaneLD-PT-0500 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ AirplaneLD-PT-0500
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 20:43:02 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 7414548,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"net":
{
"arcs": 11270,
"conflict_clusters": 13,
"places": 2017,
"places_significant": 2014,
"singleton_clusters": 0,
"transitions": 4008
}
}
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: 6025/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 64544
lola: finding significant places
lola: 2017 places, 4008 transitions, 2014 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 CTLFireability.xml
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: (p2015 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1781 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1846 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1911 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1976 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1773 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1838 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1968 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1903 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1830 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1960 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1895 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1765 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1822 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1952 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1887 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2009 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1814 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1944 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1879 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2001 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1806 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1936 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1871 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1993 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1798 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1928 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1863 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1985 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1790 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1920 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1855 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1977 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1782 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1912 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1847 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1969 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1774 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1904 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1839 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1961 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1831 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1896 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1766 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1953 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1823 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1888 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1945 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2010 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1815 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1880 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1937 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2002 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1807 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1872 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1929 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1994 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1799 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1864 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1921 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1986 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1791 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1856 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1913 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1978 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1783 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1848 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1905 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1970 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1775 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1840 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1897 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1962 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1832 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1767 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1889 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1954 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1824 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1881 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1946 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1816 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1873 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2003 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1938 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1808 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1865 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1995 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1930 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1800 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1857 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1987 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1922 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1792 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1849 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1979 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1914 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1784 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1906 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1971 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1841 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1776 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1833 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1898 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1963 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1768 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1825 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1890 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1955 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1817 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1882 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1947 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1809 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1874 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1939 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2004 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1801 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1866 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1931 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1996 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1793 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1858 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1923 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1988 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1785 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1850 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1915 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1980 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1777 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1842 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1907 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1972 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1769 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1834 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1964 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1899 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1826 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1956 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1891 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1818 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1948 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1883 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2005 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1810 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1940 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1875 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1997 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1802 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1932 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1867 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1989 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1794 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1924 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1859 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1981 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1786 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1916 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1851 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1973 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1778 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1908 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1843 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1770 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1965 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1835 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1900 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1762 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1957 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1827 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1892 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1949 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1819 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1884 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1941 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2006 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1811 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1876 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1933 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1998 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1803 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1868 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1925 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1990 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1795 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1860 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1917 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1982 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1787 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1852 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1909 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1974 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1779 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1844 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1901 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1966 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1771 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1836 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1763 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1893 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1958 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1828 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1885 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1950 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1820 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1877 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2007 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1942 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1812 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1869 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1999 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1934 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1804 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1861 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1991 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1926 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1796 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1853 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1983 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1918 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1788 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1845 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1975 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1910 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1780 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1837 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1902 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1967 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1772 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1764 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1829 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1894 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1959 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1821 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1886 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1951 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1813 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1878 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1943 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2008 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1805 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1870 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1935 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2000 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1797 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1862 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1927 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1992 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1789 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1854 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1919 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1984 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p529 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p659 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p789 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p919 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p724 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p984 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p594 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p513 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p643 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p773 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p935 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p708 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1000 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p578 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p821 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p886 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p627 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p757 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p951 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p692 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p837 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p902 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p806 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p741 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p967 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p676 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p546 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p853 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p918 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p855 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p920 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p985 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p528 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p788 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p593 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p658 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p871 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p936 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1001 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p512 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p772 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p577 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p642 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p822 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p887 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p691 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p756 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p952 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p561 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p626 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p838 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p805 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p903 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p675 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p740 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p968 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p545 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p854 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p527 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p787 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p592 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p722 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p657 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p868 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p998 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p933 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p771 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p576 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p706 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p641 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p819 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p884 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p949 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p755 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p560 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p690 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p625 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p835 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p900 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p965 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p739 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p804 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p544 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p674 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p609 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p851 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p916 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p981 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p983 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p591 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p656 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p721 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p786 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p526 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p869 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p934 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p999 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p575 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p640 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p705 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p770 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p820 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p950 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p885 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p559 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p624 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p689 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p836 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p966 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p901 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p543 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p673 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p738 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p982 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p917 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p655 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p785 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p590 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p866 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p931 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p996 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p639 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p769 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p704 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p817 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p882 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p509 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p947 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p623 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p753 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p688 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p833 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p898 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p963 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p672 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p737 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p802 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p607 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p849 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p914 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p979 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p719 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p589 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p654 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p867 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p932 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p997 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p524 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p703 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p768 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p573 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p818 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p883 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p948 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p687 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p752 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p557 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p622 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p834 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p899 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p964 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p671 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p801 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p736 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p850 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p915 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p980 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p718 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p864 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p994 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p653 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p929 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p880 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p572 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p702 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p637 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p945 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p751 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p831 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p896 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p961 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p556 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p621 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p735 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p800 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p847 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p912 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p977 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p670 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p652 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p717 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p782 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p865 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p930 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p995 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p571 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p636 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p701 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p766 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p946 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p881 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p555 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p620 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p685 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p750 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p832 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p962 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p897 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p799 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p539 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p604 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p734 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p848 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p978 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p669 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p913 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p862 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p521 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p651 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p781 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p927 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p716 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p992 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 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: (p878 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p635 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p765 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p943 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p700 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1008 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p570 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p829 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p894 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p619 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p749 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p959 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p684 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p554 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p845 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p910 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p603 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p733 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p798 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p975 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p538 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p863 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p928 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p993 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p715 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p780 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p585 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p944 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1009 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p879 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p699 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p569 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p634 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p830 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p895 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p683 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p748 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p960 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p846 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p667 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p911 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p732 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p976 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p537 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p602 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p990 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p925 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p519 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p779 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p714 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p649 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p811 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p876 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1006 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p941 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p763 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p568 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p698 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p633 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p827 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p892 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p957 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p747 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p552 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p682 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p843 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p908 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p973 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p731 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p796 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p536 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p601 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p666 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p534 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p861 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p926 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p991 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p713 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p778 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p812 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p942 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p877 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1007 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p567 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p632 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p697 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p762 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p828 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p958 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p893 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p551 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p681 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p844 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p974 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p909 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p535 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p795 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p600 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p730 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p665 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p598 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p858 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p533 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p923 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p988 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p647 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p809 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p874 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p517 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p939 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1004 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p631 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p696 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p825 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p890 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p566 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p955 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p615 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p745 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p680 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p841 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p906 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p550 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p971 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p599 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p664 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p729 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p794 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p597 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p662 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p859 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p924 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p989 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p532 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p711 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p581 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p646 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p810 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p875 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p940 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1005 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p516 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p695 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p760 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p565 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p630 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p826 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p891 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p956 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p679 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p744 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p549 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p614 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p842 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p907 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p972 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p663 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p793 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p728 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p726 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p856 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p986 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p661 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p921 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p775 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p710 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p872 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1002 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p645 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p937 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p515 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p759 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p823 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p888 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p953 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p564 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p694 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p629 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p808 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p743 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p839 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p904 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p969 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p548 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p678 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p613 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p792 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p530 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p660 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p725 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p790 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p857 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p922 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p987 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p514 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p579 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p644 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p709 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p774 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p873 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p938 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1003 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p563 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p628 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p693 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p758 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p824 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p954 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p889 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p807 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p547 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p612 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p677 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p840 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p970 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p905 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p791 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p529 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p659 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p789 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p919 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p724 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p984 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p594 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p513 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p643 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p773 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p935 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p708 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1000 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p578 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p821 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p886 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p627 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p757 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p951 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p692 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p837 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p902 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p806 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p611 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p741 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p967 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p676 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p546 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p853 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p918 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p855 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p920 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p985 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p528 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p788 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p593 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p658 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p871 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p936 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1001 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p512 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p772 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p577 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p642 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p822 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p887 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p691 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p756 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p952 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p561 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p626 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p838 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p805 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p903 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p675 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p740 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p968 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p545 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p854 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p527 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p787 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p592 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p722 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p657 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p868 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p998 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p933 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p771 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p576 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p706 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p641 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p819 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p884 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p949 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p755 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p560 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p690 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p625 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p835 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p900 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p965 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p739 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p804 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p544 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p674 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p609 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p851 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p916 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p981 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p983 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p591 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p656 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p721 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p786 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p526 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p869 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p934 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p999 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p575 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p640 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p705 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p770 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p820 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p950 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p885 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p559 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p624 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p689 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p836 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p966 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p901 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p803 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p543 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p673 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p738 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p982 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p917 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p655 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p785 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p590 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p866 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p525 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p931 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p996 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p639 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p769 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p704 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p817 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p882 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p509 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p947 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p623 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p753 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p688 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p833 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p898 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p963 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p672 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p737 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p802 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p607 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p849 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p914 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p542 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p979 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p719 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p589 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p654 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p867 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p932 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p997 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p524 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p703 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p768 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p573 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p818 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p883 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p948 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p687 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p752 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p557 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p622 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p834 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p899 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p964 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p671 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p801 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p736 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p606 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p850 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p915 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p980 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p718 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p864 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p994 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p653 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p929 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p815 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p880 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p572 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p702 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p637 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p945 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p751 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p831 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p896 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p961 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p556 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p621 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p735 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p800 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p847 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p912 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p977 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p670 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p522 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p652 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p717 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p782 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p865 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p930 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p995 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p571 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p636 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p701 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p766 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p816 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p946 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p881 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p555 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p620 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p685 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p750 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p832 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p962 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p897 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p799 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p539 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p604 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p734 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p848 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p978 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p669 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p913 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p862 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p521 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p651 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p781 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p927 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p716 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p992 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 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: (p878 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p635 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p765 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p943 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p700 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1008 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p570 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p829 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p894 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p619 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p749 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p959 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p684 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p554 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p845 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p910 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p603 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p733 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p798 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p975 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p538 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p863 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p928 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p993 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p715 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p780 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p585 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p944 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1009 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p879 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p699 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p764 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p569 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p634 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p830 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p895 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p683 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p748 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p960 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p846 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p667 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p911 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p732 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p976 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p537 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p602 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p990 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p925 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p519 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p779 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p714 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p649 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p811 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p876 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1006 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p941 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p763 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p568 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p698 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p633 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p827 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p892 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p957 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p747 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p552 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p682 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p843 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p908 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p973 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p731 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p796 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p536 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p601 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p666 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p534 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p861 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p926 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p991 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p713 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p778 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p812 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p942 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p877 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1007 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p567 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p632 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p697 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p762 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p828 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p958 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p893 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p551 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p681 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p844 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p974 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p909 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p535 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p795 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p600 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p730 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p665 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p598 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p858 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p533 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p923 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p988 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p647 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p777 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p809 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p874 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p517 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p939 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1004 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p631 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p696 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p825 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p890 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p566 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p955 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p615 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p745 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p680 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p841 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p906 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p550 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p971 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p599 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p664 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p729 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p794 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p597 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p662 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p859 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p924 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p989 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p532 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p711 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p581 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p646 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p810 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p875 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p940 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1005 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p516 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p695 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p760 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p565 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p630 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p826 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p891 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p956 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p679 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p744 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p549 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p614 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p842 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p907 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p972 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p663 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p793 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p728 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p726 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p856 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p986 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p661 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p921 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p775 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p710 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p872 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1002 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p645 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p937 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p515 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p759 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p823 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p888 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p953 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p564 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p694 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p629 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p808 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p743 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p839 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p904 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p969 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p548 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p678 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p613 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p792 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p530 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p660 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p725 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p790 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p857 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p922 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p987 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p514 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p579 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p644 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p709 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p774 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p873 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p938 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p1003 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p563 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p628 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p693 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p758 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p824 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p954 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p889 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p807 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p547 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p612 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p677 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p840 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p970 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p905 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p791 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2013 <= 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: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1359 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1424 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1489 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1294 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1497 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1302 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1432 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1367 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1310 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1440 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1375 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1505 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1318 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1448 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1383 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1261 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1262 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1327 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1392 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1457 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1270 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1335 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1400 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1465 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1278 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1343 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1408 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1473 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1286 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1351 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1416 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1481 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1295 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1425 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1360 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1490 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1303 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1368 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1433 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1498 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1311 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1376 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1441 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1506 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1319 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1384 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1449 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1263 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1393 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1328 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1458 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1271 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1401 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1336 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1466 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1279 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1409 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1344 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1474 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1287 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1417 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1352 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1482 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1422 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1487 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1365 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1300 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1495 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1430 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1373 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1308 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1438 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1381 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1503 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1316 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1446 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1389 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1324 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1390 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1455 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1268 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1333 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1398 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1463 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1276 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1341 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1406 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1471 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1284 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1349 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1414 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1479 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1292 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1357 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1358 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1488 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1423 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1301 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1496 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1366 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1431 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1309 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1374 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1439 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1317 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1504 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1382 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1447 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1325 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1326 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1456 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1391 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1269 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1334 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1464 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1399 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1277 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1342 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1472 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1407 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1285 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1350 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1480 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1415 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1293 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1428 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1493 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1298 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1363 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1501 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1306 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1436 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1371 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1509 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1314 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1444 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1379 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1322 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1452 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1387 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1266 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1331 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1396 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1461 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1274 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1339 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1404 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1469 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1282 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1347 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1412 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1477 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1290 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1355 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1420 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1485 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1486 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1299 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1364 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1429 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1494 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1307 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1372 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1437 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1315 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1380 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1445 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1502 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1323 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1388 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1453 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1454 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1267 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1397 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1332 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1462 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1275 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1405 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1340 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1470 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1283 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1413 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1348 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1478 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1291 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1421 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1356 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1361 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1296 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1426 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1491 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1369 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1499 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1304 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1434 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1377 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1507 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1312 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1442 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1385 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1320 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1450 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1264 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1329 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1394 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1459 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1272 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1337 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1402 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1467 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1280 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1345 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1410 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1475 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1288 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1353 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1418 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1483 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1297 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1492 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1362 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1427 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1305 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1500 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1370 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1435 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1313 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1508 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1378 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1443 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1321 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1386 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1451 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1265 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1330 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1460 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1395 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1273 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1338 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1468 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1403 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1281 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1346 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1476 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1411 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1289 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1354 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1484 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p1419 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1521 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1586 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1651 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1716 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1513 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1578 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1643 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1708 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1570 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1635 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1700 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1562 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1692 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1627 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1757 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1554 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1684 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1619 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1749 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1546 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1676 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1611 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1741 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1538 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1668 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1603 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1733 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1530 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1660 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1595 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1725 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1522 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1652 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1587 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1717 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1514 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1644 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1579 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1709 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1636 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1571 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1701 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1563 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1628 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1693 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1758 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1555 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1620 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1685 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1750 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1547 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1612 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1677 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1742 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1539 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1604 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1669 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1734 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1531 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1596 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1661 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1726 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1523 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1588 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1653 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1718 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1515 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1580 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1645 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1710 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1572 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1637 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1702 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1564 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1629 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1759 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p2011 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1694 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1556 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1621 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1751 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1686 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1548 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1613 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1743 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1678 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1540 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1605 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1735 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1670 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1532 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1597 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1727 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1662 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1524 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1589 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1719 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1654 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1516 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1581 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1711 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1646 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1573 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1703 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1638 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1565 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1630 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1695 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1760 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1557 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1622 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1687 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1752 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1549 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1614 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1679 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1744 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1541 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1606 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1671 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1736 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1533 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1598 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1663 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1728 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1525 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1590 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1655 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1720 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1517 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1582 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1647 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1712 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1761 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1574 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1639 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1704 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1753 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1566 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1696 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1631 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1745 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1558 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1688 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1623 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1737 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1550 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1680 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1615 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1729 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1542 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1672 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1607 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1721 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1534 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1664 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: time limit reached - aborting
lola: LP says that atomic proposition is always true: (p1599 <= 1)
lola: memory consumption: 7414548 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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-0500"
export BK_EXAMINATION="CTLFireability"
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-0500, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787500284"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0500.tgz
mv AirplaneLD-PT-0500 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;