About the Execution of ITS-LoLa for Referendum-PT-1000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.030 | 3600000.00 | 3621330.00 | 9505.00 | ?????????T??FT?T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r172-smll-158987827900450.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 Referendum-PT-1000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827900450
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 475K Apr 12 10:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.5M Apr 12 10:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 218K Apr 11 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 11 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 367K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 188K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 936K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 350K Apr 10 16:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Apr 10 16:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 277K Apr 9 22:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 9 22:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 90K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 209K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:38 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME Referendum-PT-1000-00
FORMULA_NAME Referendum-PT-1000-01
FORMULA_NAME Referendum-PT-1000-02
FORMULA_NAME Referendum-PT-1000-03
FORMULA_NAME Referendum-PT-1000-04
FORMULA_NAME Referendum-PT-1000-05
FORMULA_NAME Referendum-PT-1000-06
FORMULA_NAME Referendum-PT-1000-07
FORMULA_NAME Referendum-PT-1000-08
FORMULA_NAME Referendum-PT-1000-09
FORMULA_NAME Referendum-PT-1000-10
FORMULA_NAME Referendum-PT-1000-11
FORMULA_NAME Referendum-PT-1000-12
FORMULA_NAME Referendum-PT-1000-13
FORMULA_NAME Referendum-PT-1000-14
FORMULA_NAME Referendum-PT-1000-15
=== Now, execution of the tool begins
BK_START 1591476331244
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 20:45:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 20:45:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 20:45:33] [INFO ] Load time of PNML (sax parser for PT used): 291 ms
[2020-06-06 20:45:34] [INFO ] Transformed 3001 places.
[2020-06-06 20:45:34] [INFO ] Transformed 2001 transitions.
[2020-06-06 20:45:34] [INFO ] Found NUPN structural information;
[2020-06-06 20:45:34] [INFO ] Parsed PT model containing 3001 places and 2001 transitions in 367 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 180 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 99 resets, run finished after 10948 ms. (steps per millisecond=9 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1]
// Phase 1: matrix 2001 rows 3001 cols
[2020-06-06 20:45:45] [INFO ] Computed 1000 place invariants in 68 ms
[2020-06-06 20:45:46] [INFO ] [Real]Absence check using 1000 positive place invariants in 593 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-06 20:45:47] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-06 20:45:47] [INFO ] Flatten gal took : 731 ms
FORMULA Referendum-PT-1000-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Referendum-PT-1000-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Referendum-PT-1000-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Referendum-PT-1000-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 20:45:48] [INFO ] Applying decomposition
[2020-06-06 20:45:48] [INFO ] Flatten gal took : 383 ms
[2020-06-06 20:45:48] [INFO ] Decomposing Gal with order
[2020-06-06 20:45:49] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-06-06 20:45:50] [INFO ] Flatten gal took : 334 ms
[2020-06-06 20:45:51] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 514 ms.
[2020-06-06 20:45:51] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 103 ms.
[2020-06-06 20:45:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 23 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Referendum-PT-1000 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Referendum-PT-1000
{
"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=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sat Jun 6 20:45:53 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 4983384,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"net":
{
"arcs": 5001,
"conflict_clusters": 3001,
"places": 3001,
"places_significant": 2001,
"singleton_clusters": 0,
"transitions": 2001
}
}
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: 5002/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 3001
lola: finding significant places
lola: 3001 places, 2001 transitions, 2001 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (p2276 <= 1)
lola: LP says that atomic proposition is always true: (p2406 <= 1)
lola: LP says that atomic proposition is always true: (p2796 <= 1)
lola: LP says that atomic proposition is always true: (p2926 <= 1)
lola: LP says that atomic proposition is always true: (p2536 <= 1)
lola: LP says that atomic proposition is always true: (p2666 <= 1)
lola: LP says that atomic proposition is always true: (p2065 <= 1)
lola: LP says that atomic proposition is always true: (p2227 <= 1)
lola: LP says that atomic proposition is always true: (p2487 <= 1)
lola: LP says that atomic proposition is always true: (p2747 <= 1)
lola: LP says that atomic proposition is always true: (p2357 <= 1)
lola: LP says that atomic proposition is always true: (p2877 <= 1)
lola: LP says that atomic proposition is always true: (p2114 <= 1)
lola: LP says that atomic proposition is always true: (p2617 <= 1)
lola: LP says that atomic proposition is always true: (p2894 <= 1)
lola: LP says that atomic proposition is always true: (p2244 <= 1)
lola: LP says that atomic proposition is always true: (p2374 <= 1)
lola: LP says that atomic proposition is always true: (p2764 <= 1)
lola: LP says that atomic proposition is always true: (p2504 <= 1)
lola: LP says that atomic proposition is always true: (p2634 <= 1)
lola: LP says that atomic proposition is always true: (p2097 <= 1)
lola: LP says that atomic proposition is always true: (p2195 <= 1)
lola: LP says that atomic proposition is always true: (p2455 <= 1)
lola: LP says that atomic proposition is always true: (p2715 <= 1)
lola: LP says that atomic proposition is always true: (p2975 <= 1)
lola: LP says that atomic proposition is always true: (p2325 <= 1)
lola: LP says that atomic proposition is always true: (p2845 <= 1)
lola: LP says that atomic proposition is always true: (p2146 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2585 <= 1)
lola: LP says that atomic proposition is always true: (p2210 <= 1)
lola: LP says that atomic proposition is always true: (p2470 <= 1)
lola: LP says that atomic proposition is always true: (p2730 <= 1)
lola: LP says that atomic proposition is always true: (p2990 <= 1)
lola: LP says that atomic proposition is always true: (p2340 <= 1)
lola: LP says that atomic proposition is always true: (p2860 <= 1)
lola: LP says that atomic proposition is always true: (p2129 <= 1)
lola: LP says that atomic proposition is always true: (p2600 <= 1)
lola: LP says that atomic proposition is always true: (p2161 <= 1)
lola: LP says that atomic proposition is always true: (p2291 <= 1)
lola: LP says that atomic proposition is always true: (p2551 <= 1)
lola: LP says that atomic proposition is always true: (p2811 <= 1)
lola: LP says that atomic proposition is always true: (p2421 <= 1)
lola: LP says that atomic proposition is always true: (p2941 <= 1)
lola: LP says that atomic proposition is always true: (p2048 <= 1)
lola: LP says that atomic proposition is always true: (p2681 <= 1)
lola: LP says that atomic proposition is always true: (p2178 <= 1)
lola: LP says that atomic proposition is always true: (p2438 <= 1)
lola: LP says that atomic proposition is always true: (p2698 <= 1)
lola: LP says that atomic proposition is always true: (p2828 <= 1)
lola: LP says that atomic proposition is always true: (p2958 <= 1)
lola: LP says that atomic proposition is always true: (p2308 <= 1)
lola: LP says that atomic proposition is always true: (p2568 <= 1)
lola: LP says that atomic proposition is always true: (p2031 <= 1)
lola: LP says that atomic proposition is always true: (p2259 <= 1)
lola: LP says that atomic proposition is always true: (p2519 <= 1)
lola: LP says that atomic proposition is always true: (p2779 <= 1)
lola: LP says that atomic proposition is always true: (p2389 <= 1)
lola: LP says that atomic proposition is always true: (p2909 <= 1)
lola: LP says that atomic proposition is always true: (p2080 <= 1)
lola: LP says that atomic proposition is always true: (p2649 <= 1)
lola: LP says that atomic proposition is always true: (p2014 <= 1)
lola: LP says that atomic proposition is always true: (p2274 <= 1)
lola: LP says that atomic proposition is always true: (p2534 <= 1)
lola: LP says that atomic proposition is always true: (p2794 <= 1)
lola: LP says that atomic proposition is always true: (p2404 <= 1)
lola: LP says that atomic proposition is always true: (p2924 <= 1)
lola: LP says that atomic proposition is always true: (p2664 <= 1)
lola: LP says that atomic proposition is always true: (p2225 <= 1)
lola: LP says that atomic proposition is always true: (p2355 <= 1)
lola: LP says that atomic proposition is always true: (p2063 <= 1)
lola: LP says that atomic proposition is always true: (p2485 <= 1)
lola: LP says that atomic proposition is always true: (p2615 <= 1)
lola: LP says that atomic proposition is always true: (p2745 <= 1)
lola: LP says that atomic proposition is always true: (p2875 <= 1)
lola: LP says that atomic proposition is always true: (p2112 <= 1)
lola: LP says that atomic proposition is always true: (p2046 <= 1)
lola: LP says that atomic proposition is always true: (p2762 <= 1)
lola: LP says that atomic proposition is always true: (p2242 <= 1)
lola: LP says that atomic proposition is always true: (p2502 <= 1)
lola: LP says that atomic proposition is always true: (p2892 <= 1)
lola: LP says that atomic proposition is always true: (p2372 <= 1)
lola: LP says that atomic proposition is always true: (p2632 <= 1)
lola: LP says that atomic proposition is always true: (p2095 <= 1)
lola: LP says that atomic proposition is always true: (p2193 <= 1)
lola: LP says that atomic proposition is always true: (p2323 <= 1)
lola: LP says that atomic proposition is always true: (p2453 <= 1)
lola: LP says that atomic proposition is always true: (p2583 <= 1)
lola: LP says that atomic proposition is always true: (p2713 <= 1)
lola: LP says that atomic proposition is always true: (p2843 <= 1)
lola: LP says that atomic proposition is always true: (p2973 <= 1)
lola: LP says that atomic proposition is always true: (p2144 <= 1)
lola: LP says that atomic proposition is always true: (p2208 <= 1)
lola: LP says that atomic proposition is always true: (p2078 <= 1)
lola: LP says that atomic proposition is always true: (p2338 <= 1)
lola: LP says that atomic proposition is always true: (p2468 <= 1)
lola: LP says that atomic proposition is always true: (p2598 <= 1)
lola: LP says that atomic proposition is always true: (p2728 <= 1)
lola: LP says that atomic proposition is always true: (p2858 <= 1)
lola: LP says that atomic proposition is always true: (p2988 <= 1)
lola: LP says that atomic proposition is always true: (p2159 <= 1)
lola: LP says that atomic proposition is always true: (p2419 <= 1)
lola: LP says that atomic proposition is always true: (p2127 <= 1)
lola: LP says that atomic proposition is always true: (p2549 <= 1)
lola: LP says that atomic proposition is always true: (p2679 <= 1)
lola: LP says that atomic proposition is always true: (p2809 <= 1)
lola: LP says that atomic proposition is always true: (p2939 <= 1)
lola: LP says that atomic proposition is always true: (p2289 <= 1)
lola: LP says that atomic proposition is always true: (p2176 <= 1)
lola: LP says that atomic proposition is always true: (p2306 <= 1)
lola: LP says that atomic proposition is always true: (p2436 <= 1)
lola: LP says that atomic proposition is always true: (p2566 <= 1)
lola: LP says that atomic proposition is always true: (p2696 <= 1)
lola: LP says that atomic proposition is always true: (p2110 <= 1)
lola: LP says that atomic proposition is always true: (p2826 <= 1)
lola: LP says that atomic proposition is always true: (p2956 <= 1)
lola: LP says that atomic proposition is always true: (p2387 <= 1)
lola: LP says that atomic proposition is always true: (p2257 <= 1)
lola: LP says that atomic proposition is always true: (p2517 <= 1)
lola: LP says that atomic proposition is always true: (p2647 <= 1)
lola: LP says that atomic proposition is always true: (p2777 <= 1)
lola: LP says that atomic proposition is always true: (p2907 <= 1)
lola: LP says that atomic proposition is always true: (p2029 <= 1)
lola: LP says that atomic proposition is always true: (p2012 <= 1)
lola: LP says that atomic proposition is always true: (p2142 <= 1)
lola: LP says that atomic proposition is always true: (p2272 <= 1)
lola: LP says that atomic proposition is always true: (p2402 <= 1)
lola: LP says that atomic proposition is always true: (p2532 <= 1)
lola: LP says that atomic proposition is always true: (p2662 <= 1)
lola: LP says that atomic proposition is always true: (p2792 <= 1)
lola: LP says that atomic proposition is always true: (p2922 <= 1)
lola: LP says that atomic proposition is always true: (p2223 <= 1)
lola: LP says that atomic proposition is always true: (p2061 <= 1)
lola: LP says that atomic proposition is always true: (p2353 <= 1)
lola: LP says that atomic proposition is always true: (p2613 <= 1)
lola: LP says that atomic proposition is always true: (p2873 <= 1)
lola: LP says that atomic proposition is always true: (p2483 <= 1)
lola: LP says that atomic proposition is always true: (p2174 <= 1)
lola: LP says that atomic proposition is always true: (p2743 <= 1)
lola: LP says that atomic proposition is always true: (p2760 <= 1)
lola: LP says that atomic proposition is always true: (p2890 <= 1)
lola: LP says that atomic proposition is always true: (p2240 <= 1)
lola: LP says that atomic proposition is always true: (p2370 <= 1)
lola: LP says that atomic proposition is always true: (p2500 <= 1)
lola: LP says that atomic proposition is always true: (p2630 <= 1)
lola: LP says that atomic proposition is always true: (p2044 <= 1)
lola: LP says that atomic proposition is always true: (p2191 <= 1)
lola: LP says that atomic proposition is always true: (p2093 <= 1)
lola: LP says that atomic proposition is always true: (p2321 <= 1)
lola: LP says that atomic proposition is always true: (p2581 <= 1)
lola: LP says that atomic proposition is always true: (p2841 <= 1)
lola: LP says that atomic proposition is always true: (p2451 <= 1)
lola: LP says that atomic proposition is always true: (p2971 <= 1)
lola: LP says that atomic proposition is always true: (p2711 <= 1)
lola: LP says that atomic proposition is always true: (p2076 <= 1)
lola: LP says that atomic proposition is always true: (p2336 <= 1)
lola: LP says that atomic proposition is always true: (p2596 <= 1)
lola: LP says that atomic proposition is always true: (p2856 <= 1)
lola: LP says that atomic proposition is always true: (p2466 <= 1)
lola: LP says that atomic proposition is always true: (p2986 <= 1)
lola: LP says that atomic proposition is always true: (p2157 <= 1)
lola: LP says that atomic proposition is always true: (p2287 <= 1)
lola: LP says that atomic proposition is always true: (p2726 <= 1)
lola: LP says that atomic proposition is always true: (p2125 <= 1)
lola: LP says that atomic proposition is always true: (p2417 <= 1)
lola: LP says that atomic proposition is always true: (p2677 <= 1)
lola: LP says that atomic proposition is always true: (p2937 <= 1)
lola: LP says that atomic proposition is always true: (p2547 <= 1)
lola: LP says that atomic proposition is always true: (p2807 <= 1)
lola: LP says that atomic proposition is always true: (p2238 <= 1)
lola: LP says that atomic proposition is always true: (p2694 <= 1)
lola: LP says that atomic proposition is always true: (p2824 <= 1)
lola: LP says that atomic proposition is always true: (p2954 <= 1)
lola: LP says that atomic proposition is always true: (p2304 <= 1)
lola: LP says that atomic proposition is always true: (p2564 <= 1)
lola: LP says that atomic proposition is always true: (p2108 <= 1)
lola: LP says that atomic proposition is always true: (p2434 <= 1)
lola: LP says that atomic proposition is always true: (p2255 <= 1)
lola: LP says that atomic proposition is always true: (p2385 <= 1)
lola: LP says that atomic proposition is always true: (p2645 <= 1)
lola: LP says that atomic proposition is always true: (p2905 <= 1)
lola: LP says that atomic proposition is always true: (p2027 <= 1)
lola: LP says that atomic proposition is always true: (p2515 <= 1)
lola: LP says that atomic proposition is always true: (p2206 <= 1)
lola: LP says that atomic proposition is always true: (p2775 <= 1)
lola: LP says that atomic proposition is always true: (p2140 <= 1)
lola: LP says that atomic proposition is always true: (p2400 <= 1)
lola: LP says that atomic proposition is always true: (p2660 <= 1)
lola: LP says that atomic proposition is always true: (p2920 <= 1)
lola: LP says that atomic proposition is always true: (p2010 <= 1)
lola: LP says that atomic proposition is always true: (p2530 <= 1)
lola: LP says that atomic proposition is always true: (p2221 <= 1)
lola: LP says that atomic proposition is always true: (p2351 <= 1)
lola: LP says that atomic proposition is always true: (p2790 <= 1)
lola: LP says that atomic proposition is always true: (p2059 <= 1)
lola: LP says that atomic proposition is always true: (p2481 <= 1)
lola: LP says that atomic proposition is always true: (p2611 <= 1)
lola: LP says that atomic proposition is always true: (p2172 <= 1)
lola: LP says that atomic proposition is always true: (p2302 <= 1)
lola: LP says that atomic proposition is always true: (p2741 <= 1)
lola: LP says that atomic proposition is always true: (p2871 <= 1)
lola: LP says that atomic proposition is always true: (p2888 <= 1)
lola: LP says that atomic proposition is always true: (p2368 <= 1)
lola: LP says that atomic proposition is always true: (p2628 <= 1)
lola: LP says that atomic proposition is always true: (p2042 <= 1)
lola: LP says that atomic proposition is always true: (p2498 <= 1)
lola: LP says that atomic proposition is always true: (p2189 <= 1)
lola: LP says that atomic proposition is always true: (p2319 <= 1)
lola: LP says that atomic proposition is always true: (p2758 <= 1)
lola: LP says that atomic proposition is always true: (p2091 <= 1)
lola: LP says that atomic proposition is always true: (p2449 <= 1)
lola: LP says that atomic proposition is always true: (p2579 <= 1)
lola: LP says that atomic proposition is always true: (p2969 <= 1)
lola: LP says that atomic proposition is always true: (p2709 <= 1)
lola: LP says that atomic proposition is always true: (p2839 <= 1)
lola: LP says that atomic proposition is always true: (p2270 <= 1)
lola: LP says that atomic proposition is always true: (p2074 <= 1)
lola: LP says that atomic proposition is always true: (p2464 <= 1)
lola: LP says that atomic proposition is always true: (p2594 <= 1)
lola: LP says that atomic proposition is always true: (p2984 <= 1)
lola: LP says that atomic proposition is always true: (p2155 <= 1)
lola: LP says that atomic proposition is always true: (p2285 <= 1)
lola: LP says that atomic proposition is always true: (p2415 <= 1)
lola: LP says that atomic proposition is always true: (p2724 <= 1)
lola: LP says that atomic proposition is always true: (p2854 <= 1)
lola: LP says that atomic proposition is always true: (p2123 <= 1)
lola: LP says that atomic proposition is always true: (p2545 <= 1)
lola: LP says that atomic proposition is always true: (p2675 <= 1)
lola: LP says that atomic proposition is always true: (p2805 <= 1)
lola: LP says that atomic proposition is always true: (p2935 <= 1)
lola: LP says that atomic proposition is always true: (p2236 <= 1)
lola: LP says that atomic proposition is always true: (p2366 <= 1)
lola: LP says that atomic proposition is always true: (p2692 <= 1)
lola: LP says that atomic proposition is always true: (p2952 <= 1)
lola: LP says that atomic proposition is always true: (p2432 <= 1)
lola: LP says that atomic proposition is always true: (p2562 <= 1)
lola: LP says that atomic proposition is always true: (p2106 <= 1)
lola: LP says that atomic proposition is always true: (p2253 <= 1)
lola: LP says that atomic proposition is always true: (p2383 <= 1)
lola: LP says that atomic proposition is always true: (p2822 <= 1)
lola: LP says that atomic proposition is always true: (p2513 <= 1)
lola: LP says that atomic proposition is always true: (p2643 <= 1)
lola: LP says that atomic proposition is always true: (p2025 <= 1)
lola: LP says that atomic proposition is always true: (p2204 <= 1)
lola: LP says that atomic proposition is always true: (p2334 <= 1)
lola: LP says that atomic proposition is always true: (p2773 <= 1)
lola: LP says that atomic proposition is always true: (p2903 <= 1)
lola: LP says that atomic proposition is always true: (p2008 <= 1)
lola: LP says that atomic proposition is always true: (p2138 <= 1)
lola: LP says that atomic proposition is always true: (p2528 <= 1)
lola: LP says that atomic proposition is always true: (p2658 <= 1)
lola: LP says that atomic proposition is always true: (p2219 <= 1)
lola: LP says that atomic proposition is always true: (p2479 <= 1)
lola: LP says that atomic proposition is always true: (p2788 <= 1)
lola: LP says that atomic proposition is always true: (p2918 <= 1)
lola: LP says that atomic proposition is always true: (p2349 <= 1)
lola: LP says that atomic proposition is always true: (p2057 <= 1)
lola: LP says that atomic proposition is always true: (p2609 <= 1)
lola: LP says that atomic proposition is always true: (p2170 <= 1)
lola: LP says that atomic proposition is always true: (p2430 <= 1)
lola: LP says that atomic proposition is always true: (p2739 <= 1)
lola: LP says that atomic proposition is always true: (p2999 <= 1)
lola: LP says that atomic proposition is always true: (p2300 <= 1)
lola: LP says that atomic proposition is always true: (p2869 <= 1)
lola: LP says that atomic proposition is always true: (p2626 <= 1)
lola: LP says that atomic proposition is always true: (p2496 <= 1)
lola: LP says that atomic proposition is always true: (p2040 <= 1)
lola: LP says that atomic proposition is always true: (p2187 <= 1)
lola: LP says that atomic proposition is always true: (p2447 <= 1)
lola: LP says that atomic proposition is always true: (p2756 <= 1)
lola: LP says that atomic proposition is always true: (p2886 <= 1)
lola: LP says that atomic proposition is always true: (p2317 <= 1)
lola: LP says that atomic proposition is always true: (p2089 <= 1)
lola: LP says that atomic proposition is always true: (p2577 <= 1)
lola: LP says that atomic proposition is always true: (p2707 <= 1)
lola: LP says that atomic proposition is always true: (p2967 <= 1)
lola: LP says that atomic proposition is always true: (p2268 <= 1)
lola: LP says that atomic proposition is always true: (p2398 <= 1)
lola: LP says that atomic proposition is always true: (p2837 <= 1)
lola: LP says that atomic proposition is always true: (p2072 <= 1)
lola: LP says that atomic proposition is always true: (p2592 <= 1)
lola: LP says that atomic proposition is always true: (p2153 <= 1)
lola: LP says that atomic proposition is always true: (p2283 <= 1)
lola: LP says that atomic proposition is always true: (p2543 <= 1)
lola: LP says that atomic proposition is always true: (p2722 <= 1)
lola: LP says that atomic proposition is always true: (p2982 <= 1)
lola: LP says that atomic proposition is always true: (p2413 <= 1)
lola: LP says that atomic proposition is always true: (p2852 <= 1)
lola: LP says that atomic proposition is always true: (p2121 <= 1)
lola: LP says that atomic proposition is always true: (p2673 <= 1)
lola: LP says that atomic proposition is always true: (p2803 <= 1)
lola: LP says that atomic proposition is always true: (p2234 <= 1)
lola: LP says that atomic proposition is always true: (p2494 <= 1)
lola: LP says that atomic proposition is always true: (p2933 <= 1)
lola: LP says that atomic proposition is always true: (p2364 <= 1)
lola: LP says that atomic proposition is always true: (p2690 <= 1)
lola: LP says that atomic proposition is always true: (p2560 <= 1)
lola: LP says that atomic proposition is always true: (p2104 <= 1)
lola: LP says that atomic proposition is always true: (p2251 <= 1)
lola: LP says that atomic proposition is always true: (p2511 <= 1)
lola: LP says that atomic proposition is always true: (p2820 <= 1)
lola: LP says that atomic proposition is always true: (p2950 <= 1)
lola: LP says that atomic proposition is always true: (p2381 <= 1)
lola: LP says that atomic proposition is always true: (p2641 <= 1)
lola: LP says that atomic proposition is always true: (p2023 <= 1)
lola: LP says that atomic proposition is always true: (p2202 <= 1)
lola: LP says that atomic proposition is always true: (p2462 <= 1)
lola: LP says that atomic proposition is always true: (p2771 <= 1)
lola: LP says that atomic proposition is always true: (p2332 <= 1)
lola: LP says that atomic proposition is always true: (p2901 <= 1)
lola: LP says that atomic proposition is always true: (p2136 <= 1)
lola: LP says that atomic proposition is always true: (p2656 <= 1)
lola: LP says that atomic proposition is always true: (p2217 <= 1)
lola: LP says that atomic proposition is always true: (p2347 <= 1)
lola: LP says that atomic proposition is always true: (p2477 <= 1)
lola: LP says that atomic proposition is always true: (p2607 <= 1)
lola: LP says that atomic proposition is always true: (p2006 <= 1)
lola: LP says that atomic proposition is always true: (p2786 <= 1)
lola: LP says that atomic proposition is always true: (p2916 <= 1)
lola: LP says that atomic proposition is always true: (p2168 <= 1)
lola: LP says that atomic proposition is always true: (p2298 <= 1)
lola: LP says that atomic proposition is always true: (p2428 <= 1)
lola: LP says that atomic proposition is always true: (p2055 <= 1)
lola: LP says that atomic proposition is always true: (p2737 <= 1)
lola: LP says that atomic proposition is always true: (p2867 <= 1)
lola: LP says that atomic proposition is always true: (p2997 <= 1)
lola: LP says that atomic proposition is always true: (p2558 <= 1)
lola: LP says that atomic proposition is always true: (p2624 <= 1)
lola: LP says that atomic proposition is always true: (p2038 <= 1)
lola: LP says that atomic proposition is always true: (p2185 <= 1)
lola: LP says that atomic proposition is always true: (p2315 <= 1)
lola: LP says that atomic proposition is always true: (p2445 <= 1)
lola: LP says that atomic proposition is always true: (p2575 <= 1)
lola: LP says that atomic proposition is always true: (p2754 <= 1)
lola: LP says that atomic proposition is always true: (p2884 <= 1)
lola: LP says that atomic proposition is always true: (p2087 <= 1)
lola: LP says that atomic proposition is always true: (p2705 <= 1)
lola: LP says that atomic proposition is always true: (p2835 <= 1)
lola: LP says that atomic proposition is always true: (p2266 <= 1)
lola: LP says that atomic proposition is always true: (p2526 <= 1)
lola: LP says that atomic proposition is always true: (p2965 <= 1)
lola: LP says that atomic proposition is always true: (p2396 <= 1)
lola: LP says that atomic proposition is always true: (p2151 <= 1)
lola: LP says that atomic proposition is always true: (p2070 <= 1)
lola: LP says that atomic proposition is always true: (p2281 <= 1)
lola: LP says that atomic proposition is always true: (p2411 <= 1)
lola: LP says that atomic proposition is always true: (p2541 <= 1)
lola: LP says that atomic proposition is always true: (p2671 <= 1)
lola: LP says that atomic proposition is always true: (p2720 <= 1)
lola: LP says that atomic proposition is always true: (p2850 <= 1)
lola: LP says that atomic proposition is always true: (p2980 <= 1)
lola: LP says that atomic proposition is always true: (p2119 <= 1)
lola: LP says that atomic proposition is always true: (p2622 <= 1)
lola: LP says that atomic proposition is always true: (p2801 <= 1)
lola: LP says that atomic proposition is always true: (p2931 <= 1)
lola: LP says that atomic proposition is always true: (p2232 <= 1)
lola: LP says that atomic proposition is always true: (p2362 <= 1)
lola: LP says that atomic proposition is always true: (p2492 <= 1)
lola: LP says that atomic proposition is always true: (p2688 <= 1)
lola: LP says that atomic proposition is always true: (p2249 <= 1)
lola: LP says that atomic proposition is always true: (p2379 <= 1)
lola: LP says that atomic proposition is always true: (p2509 <= 1)
lola: LP says that atomic proposition is always true: (p2639 <= 1)
lola: LP says that atomic proposition is always true: (p2102 <= 1)
lola: LP says that atomic proposition is always true: (p2818 <= 1)
lola: LP says that atomic proposition is always true: (p2948 <= 1)
lola: LP says that atomic proposition is always true: (p2200 <= 1)
lola: LP says that atomic proposition is always true: (p2330 <= 1)
lola: LP says that atomic proposition is always true: (p2460 <= 1)
lola: LP says that atomic proposition is always true: (p2590 <= 1)
lola: LP says that atomic proposition is always true: (p2769 <= 1)
lola: LP says that atomic proposition is always true: (p2899 <= 1)
lola: LP says that atomic proposition is always true: (p2021 <= 1)
lola: LP says that atomic proposition is always true: (p2215 <= 1)
lola: LP says that atomic proposition is always true: (p2735 <= 1)
lola: LP says that atomic proposition is always true: (p2004 <= 1)
lola: LP says that atomic proposition is always true: (p2134 <= 1)
lola: LP says that atomic proposition is always true: (p2784 <= 1)
lola: LP says that atomic proposition is always true: (p2914 <= 1)
lola: LP says that atomic proposition is always true: (p2345 <= 1)
lola: LP says that atomic proposition is always true: (p2605 <= 1)
lola: LP says that atomic proposition is always true: (p2475 <= 1)
lola: LP says that atomic proposition is always true: (p2166 <= 1)
lola: LP says that atomic proposition is always true: (p2556 <= 1)
lola: LP says that atomic proposition is always true: (p2686 <= 1)
lola: LP says that atomic proposition is always true: (p2296 <= 1)
lola: LP says that atomic proposition is always true: (p2053 <= 1)
lola: LP says that atomic proposition is always true: (p2865 <= 1)
lola: LP says that atomic proposition is always true: (p2426 <= 1)
lola: LP says that atomic proposition is always true: (p2995 <= 1)
lola: LP says that atomic proposition is always true: (p2183 <= 1)
lola: LP says that atomic proposition is always true: (p2703 <= 1)
lola: LP says that atomic proposition is always true: (p2752 <= 1)
lola: LP says that atomic proposition is always true: (p2882 <= 1)
lola: LP says that atomic proposition is always true: (p2036 <= 1)
lola: LP says that atomic proposition is always true: (p2313 <= 1)
lola: LP says that atomic proposition is always true: (p2573 <= 1)
lola: LP says that atomic proposition is always true: (p2443 <= 1)
lola: LP says that atomic proposition is always true: (p2963 <= 1)
lola: LP says that atomic proposition is always true: (p2264 <= 1)
lola: LP says that atomic proposition is always true: (p2394 <= 1)
lola: LP says that atomic proposition is always true: (p2524 <= 1)
lola: LP says that atomic proposition is always true: (p2654 <= 1)
lola: LP says that atomic proposition is always true: (p2085 <= 1)
lola: LP says that atomic proposition is always true: (p2833 <= 1)
lola: LP says that atomic proposition is always true: (p2279 <= 1)
lola: LP says that atomic proposition is always true: (p2799 <= 1)
lola: LP says that atomic proposition is always true: (p2068 <= 1)
lola: LP says that atomic proposition is always true: (p2409 <= 1)
lola: LP says that atomic proposition is always true: (p2669 <= 1)
lola: LP says that atomic proposition is always true: (p2848 <= 1)
lola: LP says that atomic proposition is always true: (p2539 <= 1)
lola: LP says that atomic proposition is always true: (p2978 <= 1)
lola: LP says that atomic proposition is always true: (p2750 <= 1)
lola: LP says that atomic proposition is always true: (p2230 <= 1)
lola: LP says that atomic proposition is always true: (p2117 <= 1)
lola: LP says that atomic proposition is always true: (p2620 <= 1)
lola: LP says that atomic proposition is always true: (p2929 <= 1)
lola: LP says that atomic proposition is always true: (p2360 <= 1)
lola: LP says that atomic proposition is always true: (p2490 <= 1)
lola: LP says that atomic proposition is always true: (p2247 <= 1)
lola: LP says that atomic proposition is always true: (p2767 <= 1)
lola: LP says that atomic proposition is always true: (p2816 <= 1)
lola: LP says that atomic proposition is always true: (p2946 <= 1)
lola: LP says that atomic proposition is always true: (p2377 <= 1)
lola: LP says that atomic proposition is always true: (p2637 <= 1)
lola: LP says that atomic proposition is always true: (p2100 <= 1)
lola: LP says that atomic proposition is always true: (p2507 <= 1)
lola: LP says that atomic proposition is always true: (p2198 <= 1)
lola: LP says that atomic proposition is always true: (p2718 <= 1)
lola: LP says that atomic proposition is always true: (p2149 <= 1)
lola: LP says that atomic proposition is always true: (p2328 <= 1)
lola: LP says that atomic proposition is always true: (p2588 <= 1)
lola: LP says that atomic proposition is always true: (p2897 <= 1)
lola: LP says that atomic proposition is always true: (p2019 <= 1)
lola: LP says that atomic proposition is always true: (p2458 <= 1)
lola: LP says that atomic proposition is always true: (p2213 <= 1)
lola: LP says that atomic proposition is always true: (p2343 <= 1)
lola: LP says that atomic proposition is always true: (p2733 <= 1)
lola: LP says that atomic proposition is always true: (p2863 <= 1)
lola: LP says that atomic proposition is always true: (p2132 <= 1)
lola: LP says that atomic proposition is always true: (p2912 <= 1)
lola: LP says that atomic proposition is always true: (p2473 <= 1)
lola: LP says that atomic proposition is always true: (p2603 <= 1)
lola: LP says that atomic proposition is always true: (p2002 <= 1)
lola: LP says that atomic proposition is always true: (p2164 <= 1)
lola: LP says that atomic proposition is always true: (p2294 <= 1)
lola: LP says that atomic proposition is always true: (p2814 <= 1)
lola: LP says that atomic proposition is always true: (p2684 <= 1)
lola: LP says that atomic proposition is always true: (p2424 <= 1)
lola: LP says that atomic proposition is always true: (p2051 <= 1)
lola: LP says that atomic proposition is always true: (p2993 <= 1)
lola: LP says that atomic proposition is always true: (p2554 <= 1)
lola: LP says that atomic proposition is always true: (p2181 <= 1)
lola: LP says that atomic proposition is always true: (p2311 <= 1)
lola: LP says that atomic proposition is always true: (p2701 <= 1)
lola: LP says that atomic proposition is always true: (p2831 <= 1)
lola: LP says that atomic proposition is always true: (p2880 <= 1)
lola: LP says that atomic proposition is always true: (p2034 <= 1)
lola: LP says that atomic proposition is always true: (p2441 <= 1)
lola: LP says that atomic proposition is always true: (p2571 <= 1)
lola: LP says that atomic proposition is always true: (p2262 <= 1)
lola: LP says that atomic proposition is always true: (p2782 <= 1)
lola: LP says that atomic proposition is always true: (p2961 <= 1)
lola: LP says that atomic proposition is always true: (p2392 <= 1)
lola: LP says that atomic proposition is always true: (p2652 <= 1)
lola: LP says that atomic proposition is always true: (p2083 <= 1)
lola: LP says that atomic proposition is always true: (p2522 <= 1)
lola: LP says that atomic proposition is always true: (p2277 <= 1)
lola: LP says that atomic proposition is always true: (p2407 <= 1)
lola: LP says that atomic proposition is always true: (p2797 <= 1)
lola: LP says that atomic proposition is always true: (p2927 <= 1)
lola: LP says that atomic proposition is always true: (p2066 <= 1)
lola: LP says that atomic proposition is always true: (p2537 <= 1)
lola: LP says that atomic proposition is always true: (p2667 <= 1)
lola: LP says that atomic proposition is always true: (p2976 <= 1)
lola: LP says that atomic proposition is always true: (p2748 <= 1)
lola: LP says that atomic proposition is always true: (p2878 <= 1)
lola: LP says that atomic proposition is always true: (p2228 <= 1)
lola: LP says that atomic proposition is always true: (p2358 <= 1)
lola: LP says that atomic proposition is always true: (p2115 <= 1)
lola: LP says that atomic proposition is always true: (p2488 <= 1)
lola: LP says that atomic proposition is always true: (p2618 <= 1)
lola: LP says that atomic proposition is always true: (p2245 <= 1)
lola: LP says that atomic proposition is always true: (p2375 <= 1)
lola: LP says that atomic proposition is always true: (p2765 <= 1)
lola: LP says that atomic proposition is always true: (p2895 <= 1)
lola: LP says that atomic proposition is always true: (p2944 <= 1)
lola: LP says that atomic proposition is always true: (p2505 <= 1)
lola: LP says that atomic proposition is always true: (p2635 <= 1)
lola: LP says that atomic proposition is always true: (p2098 <= 1)
lola: LP says that atomic proposition is always true: (p2196 <= 1)
lola: LP says that atomic proposition is always true: (p2326 <= 1)
lola: LP says that atomic proposition is always true: (p2716 <= 1)
lola: LP says that atomic proposition is always true: (p2846 <= 1)
lola: LP says that atomic proposition is always true: (p2147 <= 1)
lola: LP says that atomic proposition is always true: (p2456 <= 1)
lola: LP says that atomic proposition is always true: (p2586 <= 1)
lola: LP says that atomic proposition is always true: (p2017 <= 1)
lola: LP says that atomic proposition is always true: (p2211 <= 1)
lola: LP says that atomic proposition is always true: (p2471 <= 1)
lola: LP says that atomic proposition is always true: (p2731 <= 1)
lola: LP says that atomic proposition is always true: (p2991 <= 1)
lola: LP says that atomic proposition is always true: (p2341 <= 1)
lola: LP says that atomic proposition is always true: (p2861 <= 1)
lola: LP says that atomic proposition is always true: (p2130 <= 1)
lola: LP says that atomic proposition is always true: (p2601 <= 1)
lola: LP says that atomic proposition is always true: (p2162 <= 1)
lola: LP says that atomic proposition is always true: (p2422 <= 1)
lola: LP says that atomic proposition is always true: (p2812 <= 1)
lola: LP says that atomic proposition is always true: (p2942 <= 1)
lola: LP says that atomic proposition is always true: (p2292 <= 1)
lola: LP says that atomic proposition is always true: (p2552 <= 1)
lola: LP says that atomic proposition is always true: (p2682 <= 1)
lola: LP says that atomic proposition is always true: (p2049 <= 1)
lola: LP says that atomic proposition is always true: (p2179 <= 1)
lola: LP says that atomic proposition is always true: (p2439 <= 1)
lola: LP says that atomic proposition is always true: (p2699 <= 1)
lola: LP says that atomic proposition is always true: (p2829 <= 1)
lola: LP says that atomic proposition is always true: (p2959 <= 1)
lola: LP says that atomic proposition is always true: (p2309 <= 1)
lola: LP says that atomic proposition is always true: (p2032 <= 1)
lola: LP says that atomic proposition is always true: (p2569 <= 1)
lola: LP says that atomic proposition is always true: (p2260 <= 1)
lola: LP says that atomic proposition is always true: (p2390 <= 1)
lola: LP says that atomic proposition is always true: (p2780 <= 1)
lola: LP says that atomic proposition is always true: (p2910 <= 1)
lola: LP says that atomic proposition is always true: (p2520 <= 1)
lola: LP says that atomic proposition is always true: (p2650 <= 1)
lola: LP says that atomic proposition is always true: (p2081 <= 1)
lola: LP says that atomic proposition is always true: (p2015 <= 1)
lola: LP says that atomic proposition is always true: (p2275 <= 1)
lola: LP says that atomic proposition is always true: (p2535 <= 1)
lola: LP says that atomic proposition is always true: (p2795 <= 1)
lola: LP says that atomic proposition is always true: (p2405 <= 1)
lola: LP says that atomic proposition is always true: (p2925 <= 1)
lola: LP says that atomic proposition is always true: (p2064 <= 1)
lola: LP says that atomic proposition is always true: (p2665 <= 1)
lola: LP says that atomic proposition is always true: (p2486 <= 1)
lola: LP says that atomic proposition is always true: (p2746 <= 1)
lola: LP says that atomic proposition is always true: (p2226 <= 1)
lola: LP says that atomic proposition is always true: (p2876 <= 1)
lola: LP says that atomic proposition is always true: (p2356 <= 1)
lola: LP says that atomic proposition is always true: (p2113 <= 1)
lola: LP says that atomic proposition is always true: (p2616 <= 1)
lola: LP says that atomic proposition is always true: (p2047 <= 1)
lola: LP says that atomic proposition is always true: (p2243 <= 1)
lola: LP says that atomic proposition is always true: (p2503 <= 1)
lola: LP says that atomic proposition is always true: (p2763 <= 1)
lola: LP says that atomic proposition is always true: (p2373 <= 1)
lola: LP says that atomic proposition is always true: (p2893 <= 1)
lola: LP says that atomic proposition is always true: (p2633 <= 1)
lola: LP says that atomic proposition is always true: (p2096 <= 1)
lola: LP says that atomic proposition is always true: (p2194 <= 1)
lola: LP says that atomic proposition is always true: (p2454 <= 1)
lola: LP says that atomic proposition is always true: (p2714 <= 1)
lola: LP says that atomic proposition is always true: (p2974 <= 1)
lola: LP says that atomic proposition is always true: (p2324 <= 1)
lola: LP says that atomic proposition is always true: (p2844 <= 1)
lola: LP says that atomic proposition is always true: (p2145 <= 1)
lola: LP says that atomic proposition is always true: (p2584 <= 1)
lola: LP says that atomic proposition is always true: (p2079 <= 1)
lola: LP says that atomic proposition is always true: (p2209 <= 1)
lola: LP says that atomic proposition is always true: (p2339 <= 1)
lola: LP says that atomic proposition is always true: (p2469 <= 1)
lola: LP says that atomic proposition is always true: (p2599 <= 1)
lola: LP says that atomic proposition is always true: (p2729 <= 1)
lola: LP says that atomic proposition is always true: (p2859 <= 1)
lola: LP says that atomic proposition is always true: (p2989 <= 1)
lola: LP says that atomic proposition is always true: (p2128 <= 1)
lola: LP says that atomic proposition is always true: (p2160 <= 1)
lola: LP says that atomic proposition is always true: (p2290 <= 1)
lola: LP says that atomic proposition is always true: (p2550 <= 1)
lola: LP says that atomic proposition is always true: (p2810 <= 1)
lola: LP says that atomic proposition is always true: (p2420 <= 1)
lola: LP says that atomic proposition is always true: (p2940 <= 1)
lola: LP says that atomic proposition is always true: (p2680 <= 1)
lola: LP says that atomic proposition is always true: (p2111 <= 1)
lola: LP says that atomic proposition is always true: (p2177 <= 1)
lola: LP says that atomic proposition is always true: (p2307 <= 1)
lola: LP says that atomic proposition is always true: (p2437 <= 1)
lola: LP says that atomic proposition is always true: (p2567 <= 1)
lola: LP says that atomic proposition is always true: (p2697 <= 1)
lola: LP says that atomic proposition is always true: (p2827 <= 1)
lola: LP says that atomic proposition is always true: (p2957 <= 1)
lola: LP says that atomic proposition is always true: (p2030 <= 1)
lola: LP says that atomic proposition is always true: (p2258 <= 1)
lola: LP says that atomic proposition is always true: (p2518 <= 1)
lola: LP says that atomic proposition is always true: (p2778 <= 1)
lola: LP says that atomic proposition is always true: (p2388 <= 1)
lola: LP says that atomic proposition is always true: (p2908 <= 1)
lola: LP says that atomic proposition is always true: (p2648 <= 1)
lola: LP says that atomic proposition is always true: (p2013 <= 1)
lola: LP says that atomic proposition is always true: (p2143 <= 1)
lola: LP says that atomic proposition is always true: (p2273 <= 1)
lola: LP says that atomic proposition is always true: (p2403 <= 1)
lola: LP says that atomic proposition is always true: (p2533 <= 1)
lola: LP says that atomic proposition is always true: (p2663 <= 1)
lola: LP says that atomic proposition is always true: (p2793 <= 1)
lola: LP says that atomic proposition is always true: (p2923 <= 1)
lola: LP says that atomic proposition is always true: (p2062 <= 1)
lola: LP says that atomic proposition is always true: (p2354 <= 1)
lola: LP says that atomic proposition is always true: (p2484 <= 1)
lola: LP says that atomic proposition is always true: (p2614 <= 1)
lola: LP says that atomic proposition is always true: (p2744 <= 1)
lola: LP says that atomic proposition is always true: (p2874 <= 1)
lola: LP says that atomic proposition is always true: (p2224 <= 1)
lola: LP says that atomic proposition is always true: (p2175 <= 1)
lola: LP says that atomic proposition is always true: (p2371 <= 1)
lola: LP says that atomic proposition is always true: (p2241 <= 1)
lola: LP says that atomic proposition is always true: (p2501 <= 1)
lola: LP says that atomic proposition is always true: (p2631 <= 1)
lola: LP says that atomic proposition is always true: (p2761 <= 1)
lola: LP says that atomic proposition is always true: (p2891 <= 1)
lola: LP says that atomic proposition is always true: (p2045 <= 1)
lola: LP says that atomic proposition is always true: (p2192 <= 1)
lola: LP says that atomic proposition is always true: (p2322 <= 1)
lola: LP says that atomic proposition is always true: (p2452 <= 1)
lola: LP says that atomic proposition is always true: (p2582 <= 1)
lola: LP says that atomic proposition is always true: (p2712 <= 1)
lola: LP says that atomic proposition is always true: (p2842 <= 1)
lola: LP says that atomic proposition is always true: (p2972 <= 1)
lola: LP says that atomic proposition is always true: (p2094 <= 1)
lola: LP says that atomic proposition is always true: (p2077 <= 1)
lola: LP says that atomic proposition is always true: (p2337 <= 1)
lola: LP says that atomic proposition is always true: (p2597 <= 1)
lola: LP says that atomic proposition is always true: (p2857 <= 1)
lola: LP says that atomic proposition is always true: (p2467 <= 1)
lola: LP says that atomic proposition is always true: (p2987 <= 1)
lola: LP says that atomic proposition is always true: (p2158 <= 1)
lola: LP says that atomic proposition is always true: (p2727 <= 1)
lola: LP says that atomic proposition is always true: (p2126 <= 1)
lola: LP says that atomic proposition is always true: (p2418 <= 1)
lola: LP says that atomic proposition is always true: (p2548 <= 1)
lola: LP says that atomic proposition is always true: (p2678 <= 1)
lola: LP says that atomic proposition is always true: (p2808 <= 1)
lola: LP says that atomic proposition is always true: (p2938 <= 1)
lola: LP says that atomic proposition is always true: (p2288 <= 1)
lola: LP says that atomic proposition is always true: (p2239 <= 1)
lola: LP says that atomic proposition is always true: (p2695 <= 1)
lola: LP says that atomic proposition is always true: (p2825 <= 1)
lola: LP says that atomic proposition is always true: (p2955 <= 1)
lola: LP says that atomic proposition is always true: (p2109 <= 1)
lola: LP says that atomic proposition is always true: (p2305 <= 1)
lola: LP says that atomic proposition is always true: (p2565 <= 1)
lola: LP says that atomic proposition is always true: (p2435 <= 1)
lola: LP says that atomic proposition is always true: (p2256 <= 1)
lola: LP says that atomic proposition is always true: (p2386 <= 1)
lola: LP says that atomic proposition is always true: (p2516 <= 1)
lola: LP says that atomic proposition is always true: (p2646 <= 1)
lola: LP says that atomic proposition is always true: (p2776 <= 1)
lola: LP says that atomic proposition is always true: (p2906 <= 1)
lola: LP says that atomic proposition is always true: (p2028 <= 1)
lola: LP says that atomic proposition is always true: (p2207 <= 1)
lola: LP says that atomic proposition is always true: (p2141 <= 1)
lola: LP says that atomic proposition is always true: (p2401 <= 1)
lola: LP says that atomic proposition is always true: (p2661 <= 1)
lola: LP says that atomic proposition is always true: (p2921 <= 1)
lola: LP says that atomic proposition is always true: (p2011 <= 1)
lola: LP says that atomic proposition is always true: (p2531 <= 1)
lola: LP says that atomic proposition is always true: (p2791 <= 1)
lola: LP says that atomic proposition is always true: (p2222 <= 1)
lola: LP says that atomic proposition is always true: (p2060 <= 1)
lola: LP says that atomic proposition is always true: (p2352 <= 1)
lola: LP says that atomic proposition is always true: (p2612 <= 1)
lola: LP says that atomic proposition is always true: (p2872 <= 1)
lola: LP says that atomic proposition is always true: (p2482 <= 1)
lola: LP says that atomic proposition is always true: (p2173 <= 1)
lola: LP says that atomic proposition is always true: (p2303 <= 1)
lola: LP says that atomic proposition is always true: (p2742 <= 1)
lola: LP says that atomic proposition is always true: (p2369 <= 1)
lola: LP says that atomic proposition is always true: (p2629 <= 1)
lola: LP says that atomic proposition is always true: (p2889 <= 1)
lola: LP says that atomic proposition is always true: (p2043 <= 1)
lola: LP says that atomic proposition is always true: (p2499 <= 1)
lola: LP says that atomic proposition is always true: (p2190 <= 1)
lola: LP says that atomic proposition is always true: (p2759 <= 1)
lola: LP says that atomic proposition is always true: (p2320 <= 1)
lola: LP says that atomic proposition is always true: (p2580 <= 1)
lola: LP says that atomic proposition is always true: (p2840 <= 1)
lola: LP says that atomic proposition is always true: (p2092 <= 1)
lola: LP says that atomic proposition is always true: (p2450 <= 1)
lola: LP says that atomic proposition is always true: (p2970 <= 1)
lola: LP says that atomic proposition is always true: (p2271 <= 1)
lola: LP says that atomic proposition is always true: (p2710 <= 1)
lola: LP says that atomic proposition is always true: (p2075 <= 1)
lola: LP says that atomic proposition is always true: (p2465 <= 1)
lola: LP says that atomic proposition is always true: (p2595 <= 1)
lola: LP says that atomic proposition is always true: (p2985 <= 1)
lola: LP says that atomic proposition is always true: (p2156 <= 1)
lola: LP says that atomic proposition is always true: (p2725 <= 1)
lola: LP says that atomic proposition is always true: (p2855 <= 1)
lola: LP says that atomic proposition is always true: (p2286 <= 1)
lola: LP says that atomic proposition is always true: (p2124 <= 1)
lola: LP says that atomic proposition is always true: (p2416 <= 1)
lola: LP says that atomic proposition is always true: (p2676 <= 1)
lola: LP says that atomic proposition is always true: (p2936 <= 1)
lola: LP says that atomic proposition is always true: (p2546 <= 1)
lola: LP says that atomic proposition is always true: (p2237 <= 1)
lola: LP says that atomic proposition is always true: (p2367 <= 1)
lola: LP says that atomic proposition is always true: (p2806 <= 1)
lola: LP says that atomic proposition is always true: (p2693 <= 1)
lola: LP says that atomic proposition is always true: (p2953 <= 1)
lola: LP says that atomic proposition is always true: (p2107 <= 1)
lola: LP says that atomic proposition is always true: (p2433 <= 1)
lola: LP says that atomic proposition is always true: (p2563 <= 1)
lola: LP says that atomic proposition is always true: (p2823 <= 1)
lola: LP says that atomic proposition is always true: (p2254 <= 1)
lola: LP says that atomic proposition is always true: (p2384 <= 1)
lola: LP says that atomic proposition is always true: (p2644 <= 1)
lola: LP says that atomic proposition is always true: (p2904 <= 1)
lola: LP says that atomic proposition is always true: (p2026 <= 1)
lola: LP says that atomic proposition is always true: (p2514 <= 1)
lola: LP says that atomic proposition is always true: (p2205 <= 1)
lola: LP says that atomic proposition is always true: (p2335 <= 1)
lola: LP says that atomic proposition is always true: (p2774 <= 1)
lola: LP says that atomic proposition is always true: (p2009 <= 1)
lola: LP says that atomic proposition is always true: (p2139 <= 1)
lola: LP says that atomic proposition is always true: (p2529 <= 1)
lola: LP says that atomic proposition is always true: (p2659 <= 1)
lola: LP says that atomic proposition is always true: (p2350 <= 1)
lola: LP says that atomic proposition is always true: (p2789 <= 1)
lola: LP says that atomic proposition is always true: (p2919 <= 1)
lola: LP says that atomic proposition is always true: (p2220 <= 1)
lola: LP says that atomic proposition is always true: (p2058 <= 1)
lola: LP says that atomic proposition is always true: (p2480 <= 1)
lola: LP says that atomic proposition is always true: (p2610 <= 1)
lola: LP says that atomic proposition is always true: (p3000 <= 1)
lola: LP says that atomic proposition is always true: (p2171 <= 1)
lola: LP says that atomic proposition is always true: (p2431 <= 1)
lola: LP says that atomic proposition is always true: (p2740 <= 1)
lola: LP says that atomic proposition is always true: (p2870 <= 1)
lola: LP says that atomic proposition is always true: (p2301 <= 1)
lola: LP says that atomic proposition is always true: (p2497 <= 1)
lola: LP says that atomic proposition is always true: (p2627 <= 1)
lola: LP says that atomic proposition is always true: (p2041 <= 1)
lola: LP says that atomic proposition is always true: (p2188 <= 1)
lola: LP says that atomic proposition is always true: (p2318 <= 1)
lola: LP says that atomic proposition is always true: (p2757 <= 1)
lola: LP says that atomic proposition is always true: (p2887 <= 1)
lola: LP says that atomic proposition is always true: (p2968 <= 1)
lola: LP says that atomic proposition is always true: (p2448 <= 1)
lola: LP says that atomic proposition is always true: (p2578 <= 1)
lola: LP says that atomic proposition is always true: (p2090 <= 1)
lola: LP says that atomic proposition is always true: (p2269 <= 1)
lola: LP says that atomic proposition is always true: (p2399 <= 1)
lola: LP says that atomic proposition is always true: (p2708 <= 1)
lola: LP says that atomic proposition is always true: (p2838 <= 1)
lola: LP says that atomic proposition is always true: (p2073 <= 1)
lola: LP says that atomic proposition is always true: (p2593 <= 1)
lola: LP says that atomic proposition is always true: (p2154 <= 1)
lola: LP says that atomic proposition is always true: (p2723 <= 1)
lola: LP says that atomic proposition is always true: (p2983 <= 1)
lola: LP says that atomic proposition is always true: (p2284 <= 1)
lola: LP says that atomic proposition is always true: (p2414 <= 1)
lola: LP says that atomic proposition is always true: (p2853 <= 1)
lola: LP says that atomic proposition is always true: (p2122 <= 1)
lola: LP says that atomic proposition is always true: (p2544 <= 1)
lola: LP says that atomic proposition is always true: (p2674 <= 1)
lola: LP says that atomic proposition is always true: (p2235 <= 1)
lola: LP says that atomic proposition is always true: (p2495 <= 1)
lola: LP says that atomic proposition is always true: (p2804 <= 1)
lola: LP says that atomic proposition is always true: (p2934 <= 1)
lola: LP says that atomic proposition is always true: (p2365 <= 1)
lola: LP says that atomic proposition is always true: (p2691 <= 1)
lola: LP says that atomic proposition is always true: (p2105 <= 1)
lola: LP says that atomic proposition is always true: (p2561 <= 1)
lola: LP says that atomic proposition is always true: (p2821 <= 1)
lola: LP says that atomic proposition is always true: (p2951 <= 1)
lola: LP says that atomic proposition is always true: (p2252 <= 1)
lola: LP says that atomic proposition is always true: (p2382 <= 1)
lola: LP says that atomic proposition is always true: (p2512 <= 1)
lola: LP says that atomic proposition is always true: (p2642 <= 1)
lola: LP says that atomic proposition is always true: (p2024 <= 1)
lola: LP says that atomic proposition is always true: (p2203 <= 1)
lola: LP says that atomic proposition is always true: (p2463 <= 1)
lola: LP says that atomic proposition is always true: (p2772 <= 1)
lola: LP says that atomic proposition is always true: (p2902 <= 1)
lola: LP says that atomic proposition is always true: (p2333 <= 1)
lola: LP says that atomic proposition is always true: (p2137 <= 1)
lola: LP says that atomic proposition is always true: (p2657 <= 1)
lola: LP says that atomic proposition is always true: (p2007 <= 1)
lola: LP says that atomic proposition is always true: (p2218 <= 1)
lola: LP says that atomic proposition is always true: (p2478 <= 1)
lola: LP says that atomic proposition is always true: (p2787 <= 1)
lola: LP says that atomic proposition is always true: (p2348 <= 1)
lola: LP says that atomic proposition is always true: (p2917 <= 1)
lola: LP says that atomic proposition is always true: (p2056 <= 1)
lola: LP says that atomic proposition is always true: (p2608 <= 1)
lola: LP says that atomic proposition is always true: (p2169 <= 1)
lola: LP says that atomic proposition is always true: (p2299 <= 1)
lola: LP says that atomic proposition is always true: (p2429 <= 1)
lola: LP says that atomic proposition is always true: (p2559 <= 1)
lola: LP says that atomic proposition is always true: (p2738 <= 1)
lola: LP says that atomic proposition is always true: (p2998 <= 1)
lola: LP says that atomic proposition is always true: (p2868 <= 1)
lola: LP says that atomic proposition is always true: (p2625 <= 1)
lola: LP says that atomic proposition is always true: (p2039 <= 1)
lola: LP says that atomic proposition is always true: (p2186 <= 1)
lola: LP says that atomic proposition is always true: (p2446 <= 1)
lola: LP says that atomic proposition is always true: (p2755 <= 1)
lola: LP says that atomic proposition is always true: (p2316 <= 1)
lola: LP says that atomic proposition is always true: (p2885 <= 1)
lola: LP says that atomic proposition is always true: (p2576 <= 1)
lola: LP says that atomic proposition is always true: (p2088 <= 1)
lola: LP says that atomic proposition is always true: (p2267 <= 1)
lola: LP says that atomic proposition is always true: (p2527 <= 1)
lola: LP says that atomic proposition is always true: (p2706 <= 1)
lola: LP says that atomic proposition is always true: (p2966 <= 1)
lola: LP says that atomic proposition is always true: (p2397 <= 1)
lola: LP says that atomic proposition is always true: (p2836 <= 1)
lola: LP says that atomic proposition is always true: (p2152 <= 1)
lola: LP says that atomic proposition is always true: (p2071 <= 1)
lola: LP says that atomic proposition is always true: (p2721 <= 1)
lola: LP says that atomic proposition is always true: (p2851 <= 1)
lola: LP says that atomic proposition is always true: (p2981 <= 1)
lola: LP says that atomic proposition is always true: (p2282 <= 1)
lola: LP says that atomic proposition is always true: (p2542 <= 1)
lola: LP says that atomic proposition is always true: (p2412 <= 1)
lola: LP says that atomic proposition is always true: (p2120 <= 1)
lola: LP says that atomic proposition is always true: (p2672 <= 1)
lola: LP says that atomic proposition is always true: (p2233 <= 1)
lola: LP says that atomic proposition is always true: (p2363 <= 1)
lola: LP says that atomic proposition is always true: (p2493 <= 1)
lola: LP says that atomic proposition is always true: (p2623 <= 1)
lola: LP says that atomic proposition is always true: (p2802 <= 1)
lola: LP says that atomic proposition is always true: (p2932 <= 1)
lola: LP says that atomic proposition is always true: (p2689 <= 1)
lola: LP says that atomic proposition is always true: (p2103 <= 1)
lola: LP says that atomic proposition is always true: (p2819 <= 1)
lola: LP says that atomic proposition is always true: (p2250 <= 1)
lola: LP says that atomic proposition is always true: (p2510 <= 1)
lola: LP says that atomic proposition is always true: (p2949 <= 1)
lola: LP says that atomic proposition is always true: (p2380 <= 1)
lola: LP says that atomic proposition is always true: (p2640 <= 1)
lola: LP says that atomic proposition is always true: (p2022 <= 1)
lola: LP says that atomic proposition is always true: (p2201 <= 1)
lola: LP says that atomic proposition is always true: (p2331 <= 1)
lola: LP says that atomic proposition is always true: (p2461 <= 1)
lola: LP says that atomic proposition is always true: (p2591 <= 1)
lola: LP says that atomic proposition is always true: (p2770 <= 1)
lola: LP says that atomic proposition is always true: (p2900 <= 1)
lola: LP says that atomic proposition is always true: (p2216 <= 1)
lola: LP says that atomic proposition is always true: (p2005 <= 1)
lola: LP says that atomic proposition is always true: (p2135 <= 1)
lola: LP says that atomic proposition is always true: (p2346 <= 1)
lola: LP says that atomic proposition is always true: (p2476 <= 1)
lola: LP says that atomic proposition is always true: (p2606 <= 1)
lola: LP says that atomic proposition is always true: (p2785 <= 1)
lola: LP says that atomic proposition is always true: (p2915 <= 1)
lola: LP says that atomic proposition is always true: (p2167 <= 1)
lola: LP says that atomic proposition is always true: (p2054 <= 1)
lola: LP says that atomic proposition is always true: (p2557 <= 1)
lola: LP says that atomic proposition is always true: (p2687 <= 1)
lola: LP says that atomic proposition is always true: (p2736 <= 1)
lola: LP says that atomic proposition is always true: (p2866 <= 1)
lola: LP says that atomic proposition is always true: (p2996 <= 1)
lola: LP says that atomic proposition is always true: (p2297 <= 1)
lola: LP says that atomic proposition is always true: (p2427 <= 1)
lola: LP says that atomic proposition is always true: (p2184 <= 1)
lola: LP says that atomic proposition is always true: (p2314 <= 1)
lola: LP says that atomic proposition is always true: (p2444 <= 1)
lola: LP says that atomic proposition is always true: (p2574 <= 1)
lola: LP says that atomic proposition is always true: (p2753 <= 1)
lola: LP says that atomic proposition is always true: (p2883 <= 1)
lola: LP says that atomic proposition is always true: (p2037 <= 1)
lola: LP says that atomic proposition is always true: (p2395 <= 1)
lola: LP says that atomic proposition is always true: (p2265 <= 1)
lola: LP says that atomic proposition is always true: (p2525 <= 1)
lola: LP says that atomic proposition is always true: (p2655 <= 1)
lola: LP says that atomic proposition is always true: (p2704 <= 1)
lola: LP says that atomic proposition is always true: (p2834 <= 1)
lola: LP says that atomic proposition is always true: (p2086 <= 1)
lola: LP says that atomic proposition is always true: (p2964 <= 1)
lola: LP says that atomic proposition is always true: (p2280 <= 1)
lola: LP says that atomic proposition is always true: (p2410 <= 1)
lola: LP says that atomic proposition is always true: (p2540 <= 1)
lola: LP says that atomic proposition is always true: (p2670 <= 1)
lola: LP says that atomic proposition is always true: (p2069 <= 1)
lola: LP says that atomic proposition is always true: (p2849 <= 1)
lola: LP says that atomic proposition is always true: (p2979 <= 1)
lola: LP says that atomic proposition is always true: (p2231 <= 1)
lola: LP says that atomic proposition is always true: (p2751 <= 1)
lola: LP says that atomic proposition is always true: (p2118 <= 1)
lola: LP says that atomic proposition is always true: (p2800 <= 1)
lola: LP says that atomic proposition is always true: (p2930 <= 1)
lola: LP says that atomic proposition is always true: (p2361 <= 1)
lola: LP says that atomic proposition is always true: (p2621 <= 1)
lola: LP says that atomic proposition is always true: (p2491 <= 1)
lola: LP says that atomic proposition is always true: (p2817 <= 1)
lola: LP says that atomic proposition is always true: (p2947 <= 1)
lola: LP says that atomic proposition is always true: (p2248 <= 1)
lola: LP says that atomic proposition is always true: (p2378 <= 1)
lola: LP says that atomic proposition is always true: (p2508 <= 1)
lola: LP says that atomic proposition is always true: (p2638 <= 1)
lola: LP says that atomic proposition is always true: (p2101 <= 1)
lola: LP says that atomic proposition is always true: (p2199 <= 1)
lola: LP says that atomic proposition is always true: (p2719 <= 1)
lola: LP says that atomic proposition is always true: (p2898 <= 1)
lola: LP says that atomic proposition is always true: (p2150 <= 1)
lola: LP says that atomic proposition is always true: (p2768 <= 1)
lola: LP says that atomic proposition is always true: (p2020 <= 1)
lola: LP says that atomic proposition is always true: (p2329 <= 1)
lola: LP says that atomic proposition is always true: (p2589 <= 1)
lola: LP says that atomic proposition is always true: (p2459 <= 1)
lola: LP says that atomic proposition is always true: (p2214 <= 1)
lola: LP says that atomic proposition is always true: (p2734 <= 1)
lola: LP says that atomic proposition is always true: (p2133 <= 1)
lola: LP says that atomic proposition is always true: (p2344 <= 1)
lola: LP says that atomic proposition is always true: (p2604 <= 1)
lola: LP says that atomic proposition is always true: (p2913 <= 1)
lola: LP says that atomic proposition is always true: (p2003 <= 1)
lola: LP says that atomic proposition is always true: (p2474 <= 1)
lola: LP says that atomic proposition is always true: (p2165 <= 1)
lola: LP says that atomic proposition is always true: (p2295 <= 1)
lola: LP says that atomic proposition is always true: (p2815 <= 1)
lola: LP says that atomic proposition is always true: (p2052 <= 1)
lola: LP says that atomic proposition is always true: (p2685 <= 1)
lola: LP says that atomic proposition is always true: (p2864 <= 1)
lola: LP says that atomic proposition is always true: (p2425 <= 1)
lola: LP says that atomic proposition is always true: (p2555 <= 1)
lola: LP says that atomic proposition is always true: (p2994 <= 1)
lola: LP says that atomic proposition is always true: (p2182 <= 1)
lola: LP says that atomic proposition is always true: (p2702 <= 1)
lola: LP says that atomic proposition is always true: (p2312 <= 1)
lola: LP says that atomic proposition is always true: (p2572 <= 1)
lola: LP says that atomic proposition is always true: (p2881 <= 1)
lola: LP says that atomic proposition is always true: (p2035 <= 1)
lola: LP says that atomic proposition is always true: (p2442 <= 1)
lola: LP says that atomic proposition is always true: (p2263 <= 1)
lola: LP says that atomic proposition is always true: (p2783 <= 1)
lola: LP says that atomic proposition is always true: (p2832 <= 1)
lola: LP says that atomic proposition is always true: (p2962 <= 1)
lola: LP says that atomic proposition is always true: (p2393 <= 1)
lola: LP says that atomic proposition is always true: (p2653 <= 1)
lola: LP says that atomic proposition is always true: (p2084 <= 1)
lola: LP says that atomic proposition is always true: (p2523 <= 1)
lola: LP says that atomic proposition is always true: (p2278 <= 1)
lola: LP says that atomic proposition is always true: (p2798 <= 1)
lola: LP says that atomic proposition is always true: (p2408 <= 1)
lola: LP says that atomic proposition is always true: (p2668 <= 1)
lola: LP says that atomic proposition is always true: (p2067 <= 1)
lola: LP says that atomic proposition is always true: (p2977 <= 1)
lola: LP says that atomic proposition is always true: (p2538 <= 1)
lola: LP says that atomic proposition is always true: (p2229 <= 1)
lola: LP says that atomic proposition is always true: (p2359 <= 1)
lola: LP says that atomic proposition is always true: (p2749 <= 1)
lola: LP says that atomic proposition is always true: (p2879 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p2928 <= 1)
lola: LP says that atomic proposition is always true: (p2489 <= 1)
lola: LP says that atomic proposition is always true: (p2619 <= 1)
lola: LP says that atomic proposition is always true: (p2246 <= 1)
lola: LP says that atomic proposition is always true: (p2766 <= 1)
lola: LP says that atomic proposition is always true: (p2945 <= 1)
lola: LP says that atomic proposition is always true: (p2376 <= 1)
lola: LP says that atomic proposition is always true: (p2636 <= 1)
lola: LP says that atomic proposition is always true: (p2099 <= 1)
lola: LP says that atomic proposition is always true: (p2506 <= 1)
lola: LP says that atomic proposition is always true: (p2197 <= 1)
lola: LP says that atomic proposition is always true: (p2327 <= 1)
lola: LP says that atomic proposition is always true: (p2717 <= 1)
lola: LP says that atomic proposition is always true: (p2847 <= 1)
lola: LP says that atomic proposition is always true: (p2896 <= 1)
lola: LP says that atomic proposition is always true: (p2148 <= 1)
lola: LP says that atomic proposition is always true: (p2018 <= 1)
lola: LP says that atomic proposition is always true: (p2457 <= 1)
lola: LP says that atomic proposition is always true: (p2587 <= 1)
lola: LP says that atomic proposition is always true: (p2212 <= 1)
lola: LP says that atomic proposition is always true: (p2342 <= 1)
lola: LP says that atomic proposition is always true: (p2732 <= 1)
lola: LP says that atomic proposition is always true: (p2862 <= 1)
lola: LP says that atomic proposition is always true: (p2001 <= 1)
lola: LP says that atomic proposition is always true: (p2131 <= 1)
lola: LP says that atomic proposition is always true: (p2472 <= 1)
lola: LP says that atomic proposition is always true: (p2602 <= 1)
lola: LP says that atomic proposition is always true: (p2163 <= 1)
lola: LP says that atomic proposition is always true: (p2423 <= 1)
lola: LP says that atomic proposition is always true: (p2813 <= 1)
lola: LP says that atomic proposition is always true: (p2943 <= 1)
lola: LP says that atomic proposition is always true: (p2293 <= 1)
lola: LP says that atomic proposition is always true: (p2050 <= 1)
lola: LP says that atomic proposition is always true: (p2553 <= 1)
lola: LP says that atomic proposition is always true: (p2683 <= 1)
lola: LP says that atomic proposition is always true: (p2992 <= 1)
lola: LP says that atomic proposition is always true: (p2180 <= 1)
lola: LP says that atomic proposition is always true: (p2310 <= 1)
lola: LP says that atomic proposition is always true: (p2700 <= 1)
lola: LP says that atomic proposition is always true: (p2830 <= 1)
lola: LP says that atomic proposition is always true: (p2440 <= 1)
lola: LP says that atomic proposition is always true: (p2570 <= 1)
lola: LP says that atomic proposition is always true: (p2033 <= 1)
lola: LP says that atomic proposition is always true: (p2261 <= 1)
lola: LP says that atomic proposition is always true: (p2391 <= 1)
lola: LP says that atomic proposition is always true: (p2781 <= 1)
lola: LP says that atomic proposition is always true: (p2911 <= 1)
lola: LP says that atomic proposition is always true: (p2960 <= 1)
lola: LP says that atomic proposition is always true: (p2082 <= 1)
lola: LP says that atomic proposition is always true: (p2521 <= 1)
lola: LP says that atomic proposition is always true: (p2651 <= 1)
lola: LP says that atomic proposition is always true: (p2276 <= 1)
lola: LP says that atomic proposition is always true: (p2406 <= 1)
lola: LP says that atomic proposition is always true: (p2796 <= 1)
lola: LP says that atomic proposition is always true: (p2926 <= 1)
lola: LP says that atomic proposition is always true: (p2536 <= 1)
lola: LP says that atomic proposition is always true: (p2666 <= 1)
lola: LP says that atomic proposition is always true: (p2065 <= 1)
lola: LP says that atomic proposition is always true: (p2227 <= 1)
lola: LP says that atomic proposition is always true: (p2487 <= 1)
lola: LP says that atomic proposition is always true: (p2747 <= 1)
lola: LP says that atomic proposition is always true: (p2357 <= 1)
lola: LP says that atomic proposition is always true: (p2877 <= 1)
lola: LP says that atomic proposition is always true: (p2114 <= 1)
lola: LP says that atomic proposition is always true: (p2617 <= 1)
lola: LP says that atomic proposition is always true: (p2894 <= 1)
lola: LP says that atomic proposition is always true: (p2244 <= 1)
lola: LP says that atomic proposition is always true: (p2374 <= 1)
lola: LP says that atomic proposition is always true: (p2764 <= 1)
lola: LP says that atomic proposition is always true: (p2504 <= 1)
lola: LP says that atomic proposition is always true: (p2634 <= 1)
lola: LP says that atomic proposition is always true: (p2097 <= 1)
lola: LP says that atomic proposition is always true: (p2195 <= 1)
lola: LP says that atomic proposition is always true: (p2455 <= 1)
lola: LP says that atomic proposition is always true: (p2715 <= 1)
lola: LP says that atomic proposition is always true: (p2975 <= 1)
lola: LP says that atomic proposition is always true: (p2325 <= 1)
lola: LP says that atomic proposition is always true: (p2845 <= 1)
lola: LP says that atomic proposition is always true: (p2146 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p2585 <= 1)
lola: LP says that atomic proposition is always true: (p2210 <= 1)
lola: LP says that atomic proposition is always true: (p2470 <= 1)
lola: LP says that atomic proposition is always true: (p2730 <= 1)
lola: LP says that atomic proposition is always true: (p2990 <= 1)
lola: LP says that atomic proposition is always true: (p2340 <= 1)
lola: LP says that atomic proposition is always true: (p2860 <= 1)
lola: LP says that atomic proposition is always true: (p2129 <= 1)
lola: LP says that atomic proposition is always true: (p2600 <= 1)
lola: LP says that atomic proposition is always true: (p2161 <= 1)
lola: LP says that atomic proposition is always true: (p2291 <= 1)
lola: LP says that atomic proposition is always true: (p2551 <= 1)
lola: LP says that atomic proposition is always true: (p2811 <= 1)
lola: LP says that atomic proposition is always true: (p2421 <= 1)
lola: LP says that atomic proposition is always true: (p2941 <= 1)
lola: LP says that atomic proposition is always true: (p2048 <= 1)
lola: LP says that atomic proposition is always true: (p2681 <= 1)
lola: LP says that atomic proposition is always true: (p2178 <= 1)
lola: LP says that atomic proposition is always true: (p2438 <= 1)
lola: LP says that atomic proposition is always true: (p2698 <= 1)
lola: LP says that atomic proposition is always true: (p2828 <= 1)
lola: LP says that atomic proposition is always true: (p2958 <= 1)
lola: LP says that atomic proposition is always true: (p2308 <= 1)
lola: LP says that atomic proposition is always true: (p2568 <= 1)
lola: LP says that atomic proposition is always true: (p2031 <= 1)
lola: LP says that atomic proposition is always true: (p2259 <= 1)
lola: LP says that atomic proposition is always true: (p2519 <= 1)
lola: LP says that atomic proposition is always true: (p2779 <= 1)
lola: LP says that atomic proposition is always true: (p2389 <= 1)
lola: LP says that atomic proposition is always true: (p2909 <= 1)
lola: LP says that atomic proposition is always true: (p2080 <= 1)
lola: LP says that atomic proposition is always true: (p2649 <= 1)
lola: LP says that atomic proposition is always true: (p2014 <= 1)
lola: LP says that atomic proposition is always true: (p2274 <= 1)
lola: LP says that atomic proposition is always true: (p2534 <= 1)
lola: LP says that atomic proposition is always true: (p2794 <= 1)
lola: LP says that atomic proposition is always true: (p2404 <= 1)
lola: LP says that atomic proposition is always true: (p2924 <= 1)
lola: LP says that atomic proposition is always true: (p2664 <= 1)
lola: LP says that atomic proposition is always true: (p2225 <= 1)
lola: LP says that atomic proposition is always true: (p2355 <= 1)
lola: LP says that atomic proposition is always true: (p2063 <= 1)
lola: LP says that atomic proposition is always true: (p2485 <= 1)
lola: LP says that atomic proposition is always true: (p2615 <= 1)
lola: LP says that atomic proposition is always true: (p2745 <= 1)
lola: LP says that atomic proposition is always true: (p2875 <= 1)
lola: LP says that atomic proposition is always true: (p2112 <= 1)
lola: LP says that atomic proposition is always true: (p2046 <= 1)
lola: LP says that atomic proposition is always true: (p2762 <= 1)
lola: LP says that atomic proposition is always true: (p2242 <= 1)
lola: LP says that atomic proposition is always true: (p2502 <= 1)
lola: LP says that atomic proposition is always true: (p2892 <= 1)
lola: LP says that atomic proposition is always true: (p2372 <= 1)
lola: LP says that atomic proposition is always true: (p2632 <= 1)
lola: LP says that atomic proposition is always true: (p2095 <= 1)
lola: LP says that atomic proposition is always true: (p2193 <= 1)
lola: LP says that atomic proposition is always true: (p2323 <= 1)
lola: LP says that atomic proposition is always true: (p2453 <= 1)
lola: LP says that atomic proposition is always true: (p2583 <= 1)
lola: LP says that atomic proposition is always true: (p2713 <= 1)
lola: LP says that atomic proposition is always true: (p2843 <= 1)
lola: LP says that atomic proposition is always true: (p2973 <= 1)
lola: LP says that atomic proposition is always true: (p2144 <= 1)
lola: LP says that atomic proposition is always true: (p2208 <= 1)
lola: LP says that atomic proposition is always true: (p2078 <= 1)
lola: LP says that atomic proposition is always true: (p2338 <= 1)
lola: LP says that atomic proposition is always true: (p2468 <= 1)
lola: LP says that atomic proposition is always true: (p2598 <= 1)
lola: LP says that atomic proposition is always true: (p2728 <= 1)
lola: LP says that atomic proposition is always true: (p2858 <= 1)
lola: LP says that atomic proposition is always true: (p2988 <= 1)
lola: LP says that atomic proposition is always true: (p2159 <= 1)
lola: LP says that atomic proposition is always true: (p2419 <= 1)
lola: LP says that atomic proposition is always true: (p2127 <= 1)
lola: LP says that atomic proposition is always true: (p2549 <= 1)
lola: LP says that atomic proposition is always true: (p2679 <= 1)
lola: LP says that atomic proposition is always true: (p2809 <= 1)
lola: LP says that atomic proposition is always true: (p2939 <= 1)
lola: LP says that atomic proposition is always true: (p2289 <= 1)
lola: LP says that atomic proposition is always true: (p2176 <= 1)
lola: LP says that atomic proposition is always true: (p2306 <= 1)
lola: LP says that atomic proposition is always true: (p2436 <= 1)
lola: LP says that atomic proposition is always true: (p2566 <= 1)
lola: LP says that atomic proposition is always true: (p2696 <= 1)
lola: LP says that atomic proposition is always true: (p2110 <= 1)
lola: LP says that atomic proposition is always true: (p2826 <= 1)
lola: LP says that atomic proposition is always true: (p2956 <= 1)
lola: LP says that atomic proposition is always true: (p2387 <= 1)
lola: LP says that atomic proposition is always true: (p2257 <= 1)
lola: LP says that atomic proposition is always true: (p2517 <= 1)
lola: LP says that atomic proposition is always true: (p2647 <= 1)
lola: LP says that atomic proposition is always true: (p2777 <= 1)
lola: LP says that atomic proposition is always true: (p2907 <= 1)
lola: LP says that atomic proposition is always true: (p2029 <= 1)
lola: LP says that atomic proposition is always true: (p2012 <= 1)
lola: LP says that atomic proposition is always true: (p2142 <= 1)
lola: LP says that atomic proposition is always true: (p2272 <= 1)
lola: LP says that atomic proposition is always true: (p2402 <= 1)
lola: LP says that atomic proposition is always true: (p2532 <= 1)
lola: LP says that atomic proposition is always true: (p2662 <= 1)
lola: LP says that atomic proposition is always true: (p2792 <= 1)
lola: LP says that atomic proposition is always true: (p2922 <= 1)
lola: LP says that atomic proposition is always true: (p2223 <= 1)
lola: LP says that atomic proposition is always true: (p2061 <= 1)
lola: LP says that atomic proposition is always true: (p2353 <= 1)
lola: LP says that atomic proposition is always true: (p2613 <= 1)
lola: LP says that atomic proposition is always true: (p2873 <= 1)
lola: LP says that atomic proposition is always true: (p2483 <= 1)
lola: LP says that atomic proposition is always true: (p2174 <= 1)
lola: LP says that atomic proposition is always true: (p2743 <= 1)
lola: LP says that atomic proposition is always true: (p2760 <= 1)
lola: LP says that atomic proposition is always true: (p2890 <= 1)
lola: LP says that atomic proposition is always true: (p2240 <= 1)
lola: LP says that atomic proposition is always true: (p2370 <= 1)
lola: LP says that atomic proposition is always true: (p2500 <= 1)
lola: LP says that atomic proposition is always true: (p2630 <= 1)
lola: LP says that atomic proposition is always true: (p2044 <= 1)
lola: LP says that atomic proposition is always true: (p2191 <= 1)
lola: LP says that atomic proposition is always true: (p2093 <= 1)
lola: LP says that atomic proposition is always true: (p2321 <= 1)
lola: LP says that atomic proposition is always true: (p2581 <= 1)
lola: LP says that atomic proposition is always true: (p2841 <= 1)
lola: LP says that atomic proposition is always true: (p2451 <= 1)
lola: LP says that atomic proposition is always true: (p2971 <= 1)
lola: LP says that atomic proposition is always true: (p2711 <= 1)
lola: LP says that atomic proposition is always true: (p2076 <= 1)
lola: LP says that atomic proposition is always true: (p2336 <= 1)
lola: LP says that atomic proposition is always true: (p2596 <= 1)
lola: LP says that atomic proposition is always true: (p2856 <= 1)
lola: LP says that atomic proposition is always true: (p2466 <= 1)
lola: LP says that atomic proposition is always true: (p2986 <= 1)
lola: LP says that atomic proposition is always true: (p2157 <= 1)
lola: LP says that atomic proposition is always true: (p2287 <= 1)
lola: LP says that atomic proposition is always true: (p2726 <= 1)
lola: LP says that atomic proposition is always true: (p2125 <= 1)
lola: LP says that atomic proposition is always true: (p2417 <= 1)
lola: LP says that atomic proposition is always true: (p2677 <= 1)
lola: LP says that atomic proposition is always true: (p2937 <= 1)
lola: LP says that atomic proposition is always true: (p2547 <= 1)
lola: LP says that atomic proposition is always true: (p2807 <= 1)
lola: LP says that atomic proposition is always true: (p2238 <= 1)
lola: LP says that atomic proposition is always true: (p2694 <= 1)
lola: LP says that atomic proposition is always true: (p2824 <= 1)
lola: LP says that atomic proposition is always true: (p2954 <= 1)
lola: LP says that atomic proposition is always true: (p2304 <= 1)
lola: LP says that atomic proposition is always true: (p2564 <= 1)
lola: LP says that atomic proposition is always true: (p2108 <= 1)
lola: LP says that atomic proposition is always true: (p2434 <= 1)
lola: LP says that atomic proposition is always true: (p2255 <= 1)
lola: LP says that atomic proposition is always true: (p2385 <= 1)
lola: LP says that atomic proposition is always true: (p2645 <= 1)
lola: LP says that atomic proposition is always true: (p2905 <= 1)
lola: LP says that atomic proposition is always true: (p2027 <= 1)
lola: LP says that atomic proposition is always true: (p2515 <= 1)
lola: LP says that atomic proposition is always true: (p2206 <= 1)
lola: LP says that atomic proposition is always true: (p2775 <= 1)
lola: LP says that atomic proposition is always true: (p2140 <= 1)
lola: LP says that atomic proposition is always true: (p2400 <= 1)
lola: LP says that atomic proposition is always true: (p2660 <= 1)
lola: LP says that atomic proposition is always true: (p2920 <= 1)
lola: LP says that atomic proposition is always true: (p2010 <= 1)
lola: LP says that atomic proposition is always true: (p2530 <= 1)
lola: LP says that atomic proposition is always true: (p2221 <= 1)
lola: LP says that atomic proposition is always true: (p2351 <= 1)
lola: LP says that atomic proposition is always true: (p2790 <= 1)
lola: LP says that atomic proposition is always true: (p2059 <= 1)
lola: LP says that atomic proposition is always true: (p2481 <= 1)
lola: LP says that atomic proposition is always true: (p2611 <= 1)
lola: LP says that atomic proposition is always true: (p2172 <= 1)
lola: LP says that atomic proposition is always true: (p2302 <= 1)
lola: LP says that atomic proposition is always true: (p2741 <= 1)
lola: LP says that atomic proposition is always true: (p2871 <= 1)
lola: LP says that atomic proposition is always true: (p2888 <= 1)
lola: LP says that atomic proposition is always true: (p2368 <= 1)
lola: LP says that atomic proposition is always true: (p2628 <= 1)
lola: LP says that atomic proposition is always true: (p2042 <= 1)
lola: LP says that atomic proposition is always true: (p2498 <= 1)
lola: LP says that atomic proposition is always true: (p2189 <= 1)
lola: LP says that atomic proposition is always true: (p2319 <= 1)
lola: LP says that atomic proposition is always true: (p2758 <= 1)
lola: LP says that atomic proposition is always true: (p2091 <= 1)
lola: LP says that atomic proposition is always true: (p2449 <= 1)
lola: LP says that atomic proposition is always true: (p2579 <= 1)
lola: LP says that atomic proposition is always true: (p2969 <= 1)
lola: LP says that atomic proposition is always true: (p2709 <= 1)
lola: LP says that atomic proposition is always true: (p2839 <= 1)
lola: LP says that atomic proposition is always true: (p2270 <= 1)
lola: LP says that atomic proposition is always true: (p2074 <= 1)
lola: LP says that atomic proposition is always true: (p2464 <= 1)
lola: LP says that atomic proposition is always true: (p2594 <= 1)
lola: LP says that atomic proposition is always true: (p2984 <= 1)
lola: LP says that atomic proposition is always true: (p2155 <= 1)
lola: LP says that atomic proposition is always true: (p2285 <= 1)
lola: LP says that atomic proposition is always true: (p2415 <= 1)
lola: LP says that atomic proposition is always true: (p2724 <= 1)
lola: LP says that atomic proposition is always true: (p2854 <= 1)
lola: LP says that atomic proposition is always true: (p2123 <= 1)
lola: LP says that atomic proposition is always true: (p2545 <= 1)
lola: LP says that atomic proposition is always true: (p2675 <= 1)
lola: LP says that atomic proposition is always true: (p2805 <= 1)
lola: LP says that atomic proposition is always true: (p2935 <= 1)
lola: LP says that atomic proposition is always true: (p2236 <= 1)
lola: LP says that atomic proposition is always true: (p2366 <= 1)
lola: LP says that atomic proposition is always true: (p2692 <= 1)
lola: LP says that atomic proposition is always true: (p2952 <= 1)
lola: LP says that atomic proposition is always true: (p2432 <= 1)
lola: LP says that atomic proposition is always true: (p2562 <= 1)
lola: LP says that atomic proposition is always true: (p2106 <= 1)
lola: LP says that atomic proposition is always true: (p2253 <= 1)
lola: LP says that atomic proposition is always true: (p2383 <= 1)
lola: LP says that atomic proposition is always true: (p2822 <= 1)
lola: LP says that atomic proposition is always true: (p2513 <= 1)
lola: LP says that atomic proposition is always true: (p2643 <= 1)
lola: LP says that atomic proposition is always true: (p2025 <= 1)
lola: LP says that atomic proposition is always true: (p2204 <= 1)
lola: LP says that atomic proposition is always true: (p2334 <= 1)
lola: LP says that atomic proposition is always true: (p2773 <= 1)
lola: LP says that atomic proposition is always true: (p2903 <= 1)
lola: LP says that atomic proposition is always true: (p2008 <= 1)
lola: LP says that atomic proposition is always true: (p2138 <= 1)
lola: LP says that atomic proposition is always true: (p2528 <= 1)
lola: LP says that atomic proposition is always true: (p2658 <= 1)
lola: LP says that atomic proposition is always true: (p2219 <= 1)
lola: LP says that atomic proposition is always true: (p2479 <= 1)
lola: LP says that atomic proposition is always true: (p2788 <= 1)
lola: LP says that atomic proposition is always true: (p2918 <= 1)
lola: LP says that atomic proposition is always true: (p2349 <= 1)
lola: LP says that atomic proposition is always true: (p2057 <= 1)
lola: LP says that atomic proposition is always true: (p2609 <= 1)
lola: LP says that atomic proposition is always true: (p2170 <= 1)
lola: LP says that atomic proposition is always true: (p2430 <= 1)
lola: LP says that atomic proposition is always true: (p2739 <= 1)
lola: LP says that atomic proposition is always true: (p2999 <= 1)
lola: LP says that atomic proposition is always true: (p2300 <= 1)
lola: LP says that atomic proposition is always true: (p2869 <= 1)
lola: LP says that atomic proposition is always true: (p2626 <= 1)
lola: LP says that atomic proposition is always true: (p2496 <= 1)
lola: LP says that atomic proposition is always true: (p2040 <= 1)
lola: LP says that atomic proposition is always true: (p2187 <= 1)
lola: LP says that atomic proposition is always true: (p2447 <= 1)
lola: LP says that atomic proposition is always true: (p2756 <= 1)
lola: LP says that atomic proposition is always true: (p2886 <= 1)
lola: LP says that atomic proposition is always true: (p2317 <= 1)
lola: LP says that atomic proposition is always true: (p2089 <= 1)
lola: LP says that atomic proposition is always true: (p2577 <= 1)
lola: LP says that atomic proposition is always true: (p2707 <= 1)
lola: LP says that atomic proposition is always true: (p2967 <= 1)
lola: LP says that atomic proposition is always true: (p2268 <= 1)
lola: LP says that atomic proposition is always true: (p2398 <= 1)
lola: LP says that atomic proposition is always true: (p2837 <= 1)
lola: LP says that atomic proposition is always true: (p2072 <= 1)
lola: LP says that atomic proposition is always true: (p2592 <= 1)
lola: LP says that atomic proposition is always true: (p2153 <= 1)
lola: LP says that atomic proposition is always true: (p2283 <= 1)
lola: LP says that atomic proposition is always true: (p2543 <= 1)
lola: LP says that atomic proposition is always true: (p2722 <= 1)
lola: LP says that atomic proposition is always true: (p2982 <= 1)
lola: LP says that atomic proposition is always true: (p2413 <= 1)
lola: LP says that atomic proposition is always true: (p2852 <= 1)
lola: LP says that atomic proposition is always true: (p2121 <= 1)
lola: LP says that atomic proposition is always true: (p2673 <= 1)
lola: LP says that atomic proposition is always true: (p2803 <= 1)
lola: LP says that atomic proposition is always true: (p2234 <= 1)
lola: LP says that atomic proposition is always true: (p2494 <= 1)
lola: LP says that atomic proposition is always true: (p2933 <= 1)
lola: LP says that atomic proposition is always true: (p2364 <= 1)
lola: LP says that atomic proposition is always true: (p2690 <= 1)
lola: LP says that atomic proposition is always true: (p2560 <= 1)
lola: LP says that atomic proposition is always true: (p2104 <= 1)
lola: LP says that atomic proposition is always true: (p2251 <= 1)
lola: LP says that atomic proposition is always true: (p2511 <= 1)
lola: LP says that atomic proposition is always true: (p2820 <= 1)
lola: LP says that atomic proposition is always true: (p2950 <= 1)
lola: LP says that atomic proposition is always true: (p2381 <= 1)
lola: LP says that atomic proposition is always true: (p2641 <= 1)
lola: LP says that atomic proposition is always true: (p2023 <= 1)
lola: LP says that atomic proposition is always true: (p2202 <= 1)
lola: LP says that atomic proposition is always true: (p2462 <= 1)
lola: LP says that atomic proposition is always true: (p2771 <= 1)
lola: LP says that atomic proposition is always true: (p2332 <= 1)
lola: LP says that atomic proposition is always true: (p2901 <= 1)
lola: LP says that atomic proposition is always true: (p2136 <= 1)
lola: LP says that atomic proposition is always true: (p2656 <= 1)
lola: LP says that atomic proposition is always true: (p2217 <= 1)
lola: LP says that atomic proposition is always true: (p2347 <= 1)
lola: LP says that atomic proposition is always true: (p2477 <= 1)
lola: LP says that atomic proposition is always true: (p2607 <= 1)
lola: LP says that atomic proposition is always true: (p2006 <= 1)
lola: LP says that atomic proposition is always true: (p2786 <= 1)
lola: LP says that atomic proposition is always true: (p2916 <= 1)
lola: LP says that atomic proposition is always true: (p2168 <= 1)
lola: LP says that atomic proposition is always true: (p2298 <= 1)
lola: LP says that atomic proposition is always true: (p2428 <= 1)
lola: LP says that atomic proposition is always true: (p2055 <= 1)
lola: LP says that atomic proposition is always true: (p2737 <= 1)
lola: LP says that atomic proposition is always true: (p2867 <= 1)
lola: LP says that atomic proposition is always true: (p2997 <= 1)
lola: LP says that atomic proposition is always true: (p2558 <= 1)
lola: LP says that atomic proposition is always true: (p2624 <= 1)
lola: LP says that atomic proposition is always true: (p2038 <= 1)
lola: LP says that atomic proposition is always true: (p2185 <= 1)
lola: LP says that atomic proposition is always true: (p2315 <= 1)
lola: LP says that atomic proposition is always true: (p2445 <= 1)
lola: LP says that atomic proposition is always true: (p2575 <= 1)
lola: LP says that atomic proposition is always true: (p2754 <= 1)
lola: LP says that atomic proposition is always true: (p2884 <= 1)
lola: LP says that atomic proposition is always true: (p2087 <= 1)
lola: LP says that atomic proposition is always true: (p2705 <= 1)
lola: LP says that atomic proposition is always true: (p2835 <= 1)
lola: LP says that atomic proposition is always true: (p2266 <= 1)
lola: LP says that atomic proposition is always true: (p2526 <= 1)
lola: LP says that atomic proposition is always true: (p2965 <= 1)
lola: LP says that atomic proposition is always true: (p2396 <= 1)
lola: LP says that atomic proposition is always true: (p2151 <= 1)
lola: LP says that atomic proposition is always true: (p2070 <= 1)
lola: LP says that atomic proposition is always true: (p2281 <= 1)
lola: LP says that atomic proposition is always true: (p2411 <= 1)
lola: LP says that atomic proposition is always true: (p2541 <= 1)
lola: LP says that atomic proposition is always true: (p2671 <= 1)
lola: LP says that atomic proposition is always true: (p2720 <= 1)
lola: LP says that atomic proposition is always true: (p2850 <= 1)
lola: LP says that atomic proposition is always true: (p2980 <= 1)
lola: LP says that atomic proposition is always true: (p2119 <= 1)
lola: LP says that atomic proposition is always true: (p2622 <= 1)
lola: LP says that atomic proposition is always true: (p2801 <= 1)
lola: LP says that atomic proposition is always true: (p2931 <= 1)
lola: LP says that atomic proposition is always true: (p2232 <= 1)
lola: LP says that atomic proposition is always true: (p2362 <= 1)
lola: LP says that atomic proposition is always true: (p2492 <= 1)
lola: LP says that atomic proposition is always true: (p2688 <= 1)
lola: LP says that atomic proposition is always true: (p2249 <= 1)
lola: LP says that atomic proposition is always true: (p2379 <= 1)
lola: LP says that atomic proposition is always true: (p2509 <= 1)
lola: LP says that atomic proposition is always true: (p2639 <= 1)
lola: LP says that atomic proposition is always true: (p2102 <= 1)
lola: LP says that atomic proposition is always true: (p2818 <= 1)
lola: LP says that atomic proposition is always true: (p2948 <= 1)
lola: LP says that atomic proposition is always true: (p2200 <= 1)
lola: LP says that atomic proposition is always true: (p2330 <= 1)
lola: LP says that atomic proposition is always true: (p2460 <= 1)
lola: LP says that atomic proposition is always true: (p2590 <= 1)
lola: LP says that atomic proposition is always true: (p2769 <= 1)
lola: LP says that atomic proposition is always true: (p2899 <= 1)
lola: LP says that atomic proposition is always true: (p2021 <= 1)
lola: LP says that atomic proposition is always true: (p2215 <= 1)
lola: LP says that atomic proposition is always true: (p2735 <= 1)
lola: LP says that atomic proposition is always true: (p2004 <= 1)
lola: LP says that atomic proposition is always true: (p2134 <= 1)
lola: LP says that atomic proposition is always true: (p2784 <= 1)
lola: LP says that atomic proposition is always true: (p2914 <= 1)
lola: LP says that atomic proposition is always true: (p2345 <= 1)
lola: LP says that atomic proposition is always true: (p2605 <= 1)
lola: LP says that atomic proposition is always true: (p2475 <= 1)
lola: LP says that atomic proposition is always true: (p2166 <= 1)
lola: LP says that atomic proposition is always true: (p2556 <= 1)
lola: LP says that atomic proposition is always true: (p2686 <= 1)
lola: LP says that atomic proposition is always true: (p2296 <= 1)
lola: LP says that atomic proposition is always true: (p2053 <= 1)
lola: LP says that atomic proposition is always true: (p2865 <= 1)
lola: LP says that atomic proposition is always true: (p2426 <= 1)
lola: LP says that atomic proposition is always true: (p2995 <= 1)
lola: LP says that atomic proposition is always true: (p2183 <= 1)
lola: LP says that atomic proposition is always true: (p2703 <= 1)
lola: LP says that atomic proposition is always true: (p2752 <= 1)
lola: LP says that atomic proposition is always true: (p2882 <= 1)
lola: LP says that atomic proposition is always true: (p2036 <= 1)
lola: LP says that atomic proposition is always true: (p2313 <= 1)
lola: LP says that atomic proposition is always true: (p2573 <= 1)
lola: LP says that atomic proposition is always true: (p2443 <= 1)
lola: LP says that atomic proposition is always true: (p2963 <= 1)
lola: LP says that atomic proposition is always true: (p2264 <= 1)
lola: LP says that atomic proposition is always true: (p2394 <= 1)
lola: LP says that atomic proposition is always true: (p2524 <= 1)
lola: LP says that atomic proposition is always true: (p2654 <= 1)
lola: LP says that atomic proposition is always true: (p2085 <= 1)
lola: LP says that atomic proposition is always true: (p2833 <= 1)
lola: LP says that atomic proposition is always true: (p2279 <= 1)
lola: LP says that atomic proposition is always true: (p2799 <= 1)
lola: LP says that atomic proposition is always true: (p2068 <= 1)
lola: LP says that atomic proposition is always true: (p2409 <= 1)
lola: LP says that atomic proposition is always true: (p2669 <= 1)
lola: LP says that atomic proposition is always true: (p2848 <= 1)
lola: LP says that atomic proposition is always true: (p2539 <= 1)
lola: LP says that atomic proposition is always true: (p2978 <= 1)
lola: LP says that atomic proposition is always true: (p2750 <= 1)
lola: LP says that atomic proposition is always true: (p2230 <= 1)
lola: LP says that atomic proposition is always true: (p2117 <= 1)
lola: LP says that atomic proposition is always true: (p2620 <= 1)
lola: LP says that atomic proposition is always true: (p2929 <= 1)
lola: LP says that atomic proposition is always true: (p2360 <= 1)
lola: LP says that atomic proposition is always true: (p2490 <= 1)
lola: LP says that atomic proposition is always true: (p2247 <= 1)
lola: LP says that atomic proposition is always true: (p2767 <= 1)
lola: LP says that atomic proposition is always true: (p2816 <= 1)
lola: LP says that atomic proposition is always true: (p2946 <= 1)
lola: LP says that atomic proposition is always true: (p2377 <= 1)
lola: LP says that atomic proposition is always true: (p2637 <= 1)
lola: LP says that atomic proposition is always true: (p2100 <= 1)
lola: LP says that atomic proposition is always true: (p2507 <= 1)
lola: LP says that atomic proposition is always true: (p2198 <= 1)
lola: LP says that atomic proposition is always true: (p2718 <= 1)
lola: LP says that atomic proposition is always true: (p2149 <= 1)
lola: LP says that atomic proposition is always true: (p2328 <= 1)
lola: LP says that atomic proposition is always true: (p2588 <= 1)
lola: LP says that atomic proposition is always true: (p2897 <= 1)
lola: LP says that atomic proposition is always true: (p2019 <= 1)
lola: LP says that atomic proposition is always true: (p2458 <= 1)
lola: LP says that atomic proposition is always true: (p2213 <= 1)
lola: LP says that atomic proposition is always true: (p2343 <= 1)
lola: LP says that atomic proposition is always true: (p2733 <= 1)
lola: LP says that atomic proposition is always true: (p2863 <= 1)
lola: LP says that atomic proposition is always true: (p2132 <= 1)
lola: LP says that atomic proposition is always true: (p2912 <= 1)
lola: LP says that atomic proposition is always true: (p2473 <= 1)
lola: LP says that atomic proposition is always true: (p2603 <= 1)
lola: LP says that atomic proposition is always true: (p2002 <= 1)
lola: LP says that atomic proposition is always true: (p2164 <= 1)
lola: LP says that atomic proposition is always true: (p2294 <= 1)
lola: LP says that atomic proposition is always true: (p2814 <= 1)
lola: LP says that atomic proposition is always true: (p2684 <= 1)
lola: LP says that atomic proposition is always true: (p2424 <= 1)
lola: LP says that atomic proposition is always true: (p2051 <= 1)
lola: LP says that atomic proposition is always true: (p2993 <= 1)
lola: LP says that atomic proposition is always true: (p2554 <= 1)
lola: LP says that atomic proposition is always true: (p2181 <= 1)
lola: LP says that atomic proposition is always true: (p2311 <= 1)
lola: LP says that atomic proposition is always true: (p2701 <= 1)
lola: LP says that atomic proposition is always true: (p2831 <= 1)
lola: LP says that atomic proposition is always true: (p2880 <= 1)
lola: LP says that atomic proposition is always true: (p2034 <= 1)
lola: LP says that atomic proposition is always true: (p2441 <= 1)
lola: LP says that atomic proposition is always true: (p2571 <= 1)
lola: LP says that atomic proposition is always true: (p2262 <= 1)
lola: LP says that atomic proposition is always true: (p2782 <= 1)
lola: LP says that atomic proposition is always true: (p2961 <= 1)
lola: LP says that atomic proposition is always true: (p2392 <= 1)
lola: LP says that atomic proposition is always true: (p2652 <= 1)
lola: LP says that atomic proposition is always true: (p2083 <= 1)
lola: LP says that atomic proposition is always true: (p2522 <= 1)
lola: LP says that atomic proposition is always true: (p2277 <= 1)
lola: LP says that atomic proposition is always true: (p2407 <= 1)
lola: LP says that atomic proposition is always true: (p2797 <= 1)
lola: LP says that atomic proposition is always true: (p2927 <= 1)
lola: LP says that atomic proposition is always true: (p2066 <= 1)
lola: LP says that atomic proposition is always true: (p2537 <= 1)
lola: LP says that atomic proposition is always true: (p2667 <= 1)
lola: LP says that atomic proposition is always true: (p2976 <= 1)
lola: LP says that atomic proposition is always true: (p2748 <= 1)
lola: LP says that atomic proposition is always true: (p2878 <= 1)
lola: LP says that atomic proposition is always true: (p2228 <= 1)
lola: LP says that atomic proposition is always true: (p2358 <= 1)
lola: LP says that atomic proposition is always true: (p2115 <= 1)
lola: LP says that atomic proposition is always true: (p2488 <= 1)
lola: LP says that atomic proposition is always true: (p2618 <= 1)
lola: LP says that atomic proposition is always true: (p2245 <= 1)
lola: LP says that atomic proposition is always true: (p2375 <= 1)
lola: LP says that atomic proposition is always true: (p2765 <= 1)
lola: LP says that atomic proposition is always true: (p2895 <= 1)
lola: LP says that atomic proposition is always true: (p2944 <= 1)
lola: LP says that atomic proposition is always true: (p2505 <= 1)
lola: LP says that atomic proposition is always true: (p2635 <= 1)
lola: LP says that atomic proposition is always true: (p2098 <= 1)
lola: LP says that atomic proposition is always true: (p2196 <= 1)
lola: LP says that atomic proposition is always true: (p2326 <= 1)
lola: LP says that atomic proposition is always true: (p2716 <= 1)
lola: LP says that atomic proposition is always true: (p2846 <= 1)
lola: LP says that atomic proposition is always true: (p2147 <= 1)
lola: LP says that atomic proposition is always true: (p2456 <= 1)
lola: LP says that atomic proposition is always true: (p2586 <= 1)
lola: LP says that atomic proposition is always true: (p2017 <= 1)
lola: LP says that atomic proposition is always true: (p2211 <= 1)
lola: LP says that atomic proposition is always true: (p2471 <= 1)
lola: LP says that atomic proposition is always true: (p2731 <= 1)
lola: LP says that atomic proposition is always true: (p2991 <= 1)
lola: LP says that atomic proposition is always true: (p2341 <= 1)
lola: LP says that atomic proposition is always true: (p2861 <= 1)
lola: LP says that atomic proposition is always true: (p2130 <= 1)
lola: LP says that atomic proposition is always true: (p2601 <= 1)
lola: LP says that atomic proposition is always true: (p2162 <= 1)
lola: LP says that atomic proposition is always true: (p2422 <= 1)
lola: LP says that atomic proposition is always true: (p2812 <= 1)
lola: LP says that atomic proposition is always true: (p2942 <= 1)
lola: LP says that atomic proposition is always true: (p2292 <= 1)
lola: LP says that atomic proposition is always true: (p2552 <= 1)
lola: LP says that atomic proposition is always true: (p2682 <= 1)
lola: LP says that atomic proposition is always true: (p2049 <= 1)
lola: LP says that atomic proposition is always true: (p2179 <= 1)
lola: LP says that atomic proposition is always true: (p2439 <= 1)
lola: LP says that atomic proposition is always true: (p2699 <= 1)
lola: LP says that atomic proposition is always true: (p2829 <= 1)
lola: LP says that atomic proposition is always true: (p2959 <= 1)
lola: LP says that atomic proposition is always true: (p2309 <= 1)
lola: LP says that atomic proposition is always true: (p2032 <= 1)
lola: LP says that atomic proposition is always true: (p2569 <= 1)
lola: LP says that atomic proposition is always true: (p2260 <= 1)
lola: LP says that atomic proposition is always true: (p2390 <= 1)
lola: LP says that atomic proposition is always true: (p2780 <= 1)
lola: LP says that atomic proposition is always true: (p2910 <= 1)
lola: LP says that atomic proposition is always true: (p2520 <= 1)
lola: LP says that atomic proposition is always true: (p2650 <= 1)
lola: LP says that atomic proposition is always true: (p2081 <= 1)
lola: LP says that atomic proposition is always true: (p2015 <= 1)
lola: LP says that atomic proposition is always true: (p2275 <= 1)
lola: LP says that atomic proposition is always true: (p2535 <= 1)
lola: LP says that atomic proposition is always true: (p2795 <= 1)
lola: LP says that atomic proposition is always true: (p2405 <= 1)
lola: LP says that atomic proposition is always true: (p2925 <= 1)
lola: LP says that atomic proposition is always true: (p2064 <= 1)
lola: LP says that atomic proposition is always true: (p2665 <= 1)
lola: LP says that atomic proposition is always true: (p2486 <= 1)
lola: LP says that atomic proposition is always true: (p2746 <= 1)
lola: LP says that atomic proposition is always true: (p2226 <= 1)
lola: LP says that atomic proposition is always true: (p2876 <= 1)
lola: LP says that atomic proposition is always true: (p2356 <= 1)
lola: LP says that atomic proposition is always true: (p2113 <= 1)
lola: LP says that atomic proposition is always true: (p2616 <= 1)
lola: LP says that atomic proposition is always true: (p2047 <= 1)
lola: LP says that atomic proposition is always true: (p2243 <= 1)
lola: LP says that atomic proposition is always true: (p2503 <= 1)
lola: LP says that atomic proposition is always true: (p2763 <= 1)
lola: LP says that atomic proposition is always true: (p2373 <= 1)
lola: LP says that atomic proposition is always true: (p2893 <= 1)
lola: LP says that atomic proposition is always true: (p2633 <= 1)
lola: LP says that atomic proposition is always true: (p2096 <= 1)
lola: LP says that atomic proposition is always true: (p2194 <= 1)
lola: LP says that atomic proposition is always true: (p2454 <= 1)
lola: LP says that atomic proposition is always true: (p2714 <= 1)
lola: LP says that atomic proposition is always true: (p2974 <= 1)
lola: LP says that atomic proposition is always true: (p2324 <= 1)
lola: LP says that atomic proposition is always true: (p2844 <= 1)
lola: LP says that atomic proposition is always true: (p2145 <= 1)
lola: LP says that atomic proposition is always true: (p2584 <= 1)
lola: LP says that atomic proposition is always true: (p2079 <= 1)
lola: LP says that atomic proposition is always true: (p2209 <= 1)
lola: LP says that atomic proposition is always true: (p2339 <= 1)
lola: LP says that atomic proposition is always true: (p2469 <= 1)
lola: LP says that atomic proposition is always true: (p2599 <= 1)
lola: LP says that atomic proposition is always true: (p2729 <= 1)
lola: LP says that atomic proposition is always true: (p2859 <= 1)
lola: LP says that atomic proposition is always true: (p2989 <= 1)
lola: LP says that atomic proposition is always true: (p2128 <= 1)
lola: LP says that atomic proposition is always true: (p2160 <= 1)
lola: LP says that atomic proposition is always true: (p2290 <= 1)
lola: LP says that atomic proposition is always true: (p2550 <= 1)
lola: LP says that atomic proposition is always true: (p2810 <= 1)
lola: LP says that atomic proposition is always true: (p2420 <= 1)
lola: LP says that atomic proposition is always true: (p2940 <= 1)
lola: LP says that atomic proposition is always true: (p2680 <= 1)
lola: LP says that atomic proposition is always true: (p2111 <= 1)
lola: LP says that atomic proposition is always true: (p2177 <= 1)
lola: LP says that atomic proposition is always true: (p2307 <= 1)
lola: LP says that atomic proposition is always true: (p2437 <= 1)
lola: LP says that atomic proposition is always true: (p2567 <= 1)
lola: LP says that atomic proposition is always true: (p2697 <= 1)
lola: LP says that atomic proposition is always true: (p2827 <= 1)
lola: LP says that atomic proposition is always true: (p2957 <= 1)
lola: LP says that atomic proposition is always true: (p2030 <= 1)
lola: LP says that atomic proposition is always true: (p2258 <= 1)
lola: LP says that atomic proposition is always true: (p2518 <= 1)
lola: LP says that atomic proposition is always true: (p2778 <= 1)
lola: LP says that atomic proposition is always true: (p2388 <= 1)
lola: LP says that atomic proposition is always true: (p2908 <= 1)
lola: LP says that atomic proposition is always true: (p2648 <= 1)
lola: LP says that atomic proposition is always true: (p2013 <= 1)
lola: LP says that atomic proposition is always true: (p2143 <= 1)
lola: LP says that atomic proposition is always true: (p2273 <= 1)
lola: LP says that atomic proposition is always true: (p2403 <= 1)
lola: LP says that atomic proposition is always true: (p2533 <= 1)
lola: LP says that atomic proposition is always true: (p2663 <= 1)
lola: LP says that atomic proposition is always true: (p2793 <= 1)
lola: LP says that atomic proposition is always true: (p2923 <= 1)
lola: LP says that atomic proposition is always true: (p2062 <= 1)
lola: LP says that atomic proposition is always true: (p2354 <= 1)
lola: LP says that atomic proposition is always true: (p2484 <= 1)
lola: LP says that atomic proposition is always true: (p2614 <= 1)
lola: LP says that atomic proposition is always true: (p2744 <= 1)
lola: LP says that atomic proposition is always true: (p2874 <= 1)
lola: LP says that atomic proposition is always true: (p2224 <= 1)
lola: LP says that atomic proposition is always true: (p2175 <= 1)
lola: LP says that atomic proposition is always true: (p2371 <= 1)
lola: LP says that atomic proposition is always true: (p2241 <= 1)
lola: LP says that atomic proposition is always true: (p2501 <= 1)
lola: LP says that atomic proposition is always true: (p2631 <= 1)
lola: LP says that atomic proposition is always true: (p2761 <= 1)
lola: LP says that atomic proposition is always true: (p2891 <= 1)
lola: LP says that atomic proposition is always true: (p2045 <= 1)
lola: LP says that atomic proposition is always true: (p2192 <= 1)
lola: LP says that atomic proposition is always true: (p2322 <= 1)
lola: LP says that atomic proposition is always true: (p2452 <= 1)
lola: LP says that atomic proposition is always true: (p2582 <= 1)
lola: LP says that atomic proposition is always true: (p2712 <= 1)
lola: LP says that atomic proposition is always true: (p2842 <= 1)
lola: LP says that atomic proposition is always true: (p2972 <= 1)
lola: LP says that atomic proposition is always true: (p2094 <= 1)
lola: LP says that atomic proposition is always true: (p2077 <= 1)
lola: LP says that atomic proposition is always true: (p2337 <= 1)
lola: LP says that atomic proposition is always true: (p2597 <= 1)
lola: LP says that atomic proposition is always true: (p2857 <= 1)
lola: LP says that atomic proposition is always true: (p2467 <= 1)
lola: LP says that atomic proposition is always true: (p2987 <= 1)
lola: LP says that atomic proposition is always true: (p2158 <= 1)
lola: LP says that atomic proposition is always true: (p2727 <= 1)
lola: LP says that atomic proposition is always true: (p2126 <= 1)
lola: LP says that atomic proposition is always true: (p2418 <= 1)
lola: LP says that atomic proposition is always true: (p2548 <= 1)
lola: LP says that atomic proposition is always true: (p2678 <= 1)
lola: LP says that atomic proposition is always true: (p2808 <= 1)
lola: LP says that atomic proposition is always true: (p2938 <= 1)
lola: LP says that atomic proposition is always true: (p2288 <= 1)
lola: LP says that atomic proposition is always true: (p2239 <= 1)
lola: LP says that atomic proposition is always true: (p2695 <= 1)
lola: LP says that atomic proposition is always true: (p2825 <= 1)
lola: LP says that atomic proposition is always true: (p2955 <= 1)
lola: LP says that atomic proposition is always true: (p2109 <= 1)
lola: LP says that atomic proposition is always true: (p2305 <= 1)
lola: LP says that atomic proposition is always true: (p2565 <= 1)
lola: LP says that atomic proposition is always true: (p2435 <= 1)
lola: LP says that atomic proposition is always true: (p2256 <= 1)
lola: LP says that atomic proposition is always true: (p2386 <= 1)
lola: LP says that atomic proposition is always true: (p2516 <= 1)
lola: LP says that atomic proposition is always true: (p2646 <= 1)
lola: LP says that atomic proposition is always true: (p2776 <= 1)
lola: LP says that atomic proposition is always true: (p2906 <= 1)
lola: LP says that atomic proposition is always true: (p2028 <= 1)
lola: LP says that atomic proposition is always true: (p2207 <= 1)
lola: LP says that atomic proposition is always true: (p2141 <= 1)
lola: LP says that atomic proposition is always true: (p2401 <= 1)
lola: LP says that atomic proposition is always true: (p2661 <= 1)
lola: LP says that atomic proposition is always true: (p2921 <= 1)
lola: LP says that atomic proposition is always true: (p2011 <= 1)
lola: LP says that atomic proposition is always true: (p2531 <= 1)
lola: LP says that atomic proposition is always true: (p2791 <= 1)
lola: LP says that atomic proposition is always true: (p2222 <= 1)
lola: LP says that atomic proposition is always true: (p2060 <= 1)
lola: LP says that atomic proposition is always true: (p2352 <= 1)
lola: LP says that atomic proposition is always true: (p2612 <= 1)
lola: LP says that atomic proposition is always true: (p2872 <= 1)
lola: LP says that atomic proposition is always true: (p2482 <= 1)
lola: LP says that atomic proposition is always true: (p2173 <= 1)
lola: LP says that atomic proposition is always true: (p2303 <= 1)
lola: LP says that atomic proposition is always true: (p2742 <= 1)
lola: LP says that atomic proposition is always true: (p2369 <= 1)
lola: LP says that atomic proposition is always true: (p2629 <= 1)
lola: LP says that atomic proposition is always true: (p2889 <= 1)
lola: LP says that atomic proposition is always true: (p2043 <= 1)
lola: LP says that atomic proposition is always true: (p2499 <= 1)
lola: LP says that atomic proposition is always true: (p2190 <= 1)
lola: LP says that atomic proposition is always true: (p2759 <= 1)
lola: LP says that atomic proposition is always true: (p2320 <= 1)
lola: LP says that atomic proposition is always true: (p2580 <= 1)
lola: LP says that atomic proposition is always true: (p2840 <= 1)
lola: LP says that atomic proposition is always true: (p2092 <= 1)
lola: LP says that atomic proposition is always true: (p2450 <= 1)
lola: LP says that atomic proposition is always true: (p2970 <= 1)
lola: LP says that atomic proposition is always true: (p2271 <= 1)
lola: LP says that atomic proposition is always true: (p2710 <= 1)
lola: LP says that atomic proposition is always true: (p2075 <= 1)
lola: LP says that atomic proposition is always true: (p2465 <= 1)
lola: LP says that atomic proposition is always true: (p2595 <= 1)
lola: LP says that atomic proposition is always true: (p2985 <= 1)
lola: LP says that atomic proposition is always true: (p2156 <= 1)
lola: LP says that atomic proposition is always true: (p2725 <= 1)
lola: LP says that atomic proposition is always true: (p2855 <= 1)
lola: LP says that atomic proposition is always true: (p2286 <= 1)
lola: LP says that atomic proposition is always true: (p2124 <= 1)
lola: LP says that atomic proposition is always true: (p2416 <= 1)
lola: LP says that atomic proposition is always true: (p2676 <= 1)
lola: LP says that atomic proposition is always true: (p2936 <= 1)
lola: LP says that atomic proposition is always true: (p2546 <= 1)
lola: LP says that atomic proposition is always true: (p2237 <= 1)
lola: LP says that atomic proposition is always true: (p2367 <= 1)
lola: LP says that atomic proposition is always true: (p2806 <= 1)
lola: LP says that atomic proposition is always true: (p2693 <= 1)
lola: LP says that atomic proposition is always true: (p2953 <= 1)
lola: LP says that atomic proposition is always true: (p2107 <= 1)
lola: LP says that atomic proposition is always true: (p2433 <= 1)
lola: LP says that atomic proposition is always true: (p2563 <= 1)
lola: LP says that atomic proposition is always true: (p2823 <= 1)
lola: LP says that atomic proposition is always true: (p2254 <= 1)
lola: LP says that atomic proposition is always true: (p2384 <= 1)
lola: LP says that atomic proposition is always true: (p2644 <= 1)
lola: LP says that atomic proposition is always true: (p2904 <= 1)
lola: LP says that atomic proposition is always true: (p2026 <= 1)
lola: LP says that atomic proposition is always true: (p2514 <= 1)
lola: LP says that atomic proposition is always true: (p2205 <= 1)
lola: LP says that atomic proposition is always true: (p2335 <= 1)
lola: LP says that atomic proposition is always true: (p2774 <= 1)
lola: LP says that atomic proposition is always true: (p2009 <= 1)
lola: LP says that atomic proposition is always true: (p2139 <= 1)
lola: LP says that atomic proposition is always true: (p2529 <= 1)
lola: LP says that atomic proposition is always true: (p2659 <= 1)
lola: LP says that atomic proposition is always true: (p2350 <= 1)
lola: LP says that atomic proposition is always true: (p2789 <= 1)
lola: LP says that atomic proposition is always true: (p2919 <= 1)
lola: LP says that atomic proposition is always true: (p2220 <= 1)
lola: LP says that atomic proposition is always true: (p2058 <= 1)
lola: LP says that atomic proposition is always true: (p2480 <= 1)
lola: LP says that atomic proposition is always true: (p2610 <= 1)
lola: LP says that atomic proposition is always true: (p3000 <= 1)
lola: LP says that atomic proposition is always true: (p2171 <= 1)
lola: LP says that atomic proposition is always true: (p2431 <= 1)
lola: LP says that atomic proposition is always true: (p2740 <= 1)
lola: LP says that atomic proposition is always true: (p2870 <= 1)
lola: LP says that atomic proposition is always true: (p2301 <= 1)
lola: LP says that atomic proposition is always true: (p2497 <= 1)
lola: LP says that atomic proposition is always true: (p2627 <= 1)
lola: LP says that atomic proposition is always true: (p2041 <= 1)
lola: LP says that atomic proposition is always true: (p2188 <= 1)
lola: LP says that atomic proposition is always true: (p2318 <= 1)
lola: LP says that atomic proposition is always true: (p2757 <= 1)
lola: LP says that atomic proposition is always true: (p2887 <= 1)
lola: LP says that atomic proposition is always true: (p2968 <= 1)
lola: LP says that atomic proposition is always true: (p2448 <= 1)
lola: LP says that atomic proposition is always true: (p2578 <= 1)
lola: LP says that atomic proposition is always true: (p2090 <= 1)
lola: LP says that atomic proposition is always true: (p2269 <= 1)
lola: LP says that atomic proposition is always true: (p2399 <= 1)
lola: LP says that atomic proposition is always true: (p2708 <= 1)
lola: LP says that atomic proposition is always true: (p2838 <= 1)
lola: LP says that atomic proposition is always true: (p2073 <= 1)
lola: LP says that atomic proposition is always true: (p2593 <= 1)
lola: LP says that atomic proposition is always true: (p2154 <= 1)
lola: LP says that atomic proposition is always true: (p2723 <= 1)
lola: LP says that atomic proposition is always true: (p2983 <= 1)
lola: LP says that atomic proposition is always true: (p2284 <= 1)
lola: LP says that atomic proposition is always true: (p2414 <= 1)
lola: LP says that atomic proposition is always true: (p2853 <= 1)
lola: LP says that atomic proposition is always true: (p2122 <= 1)
lola: LP says that atomic proposition is always true: (p2544 <= 1)
lola: LP says that atomic proposition is always true: (p2674 <= 1)
lola: LP says that atomic proposition is always true: (p2235 <= 1)
lola: LP says that atomic proposition is always true: (p2495 <= 1)
lola: LP says that atomic proposition is always true: (p2804 <= 1)
lola: LP says that atomic proposition is always true: (p2934 <= 1)
lola: LP says that atomic proposition is always true: (p2365 <= 1)
lola: LP says that atomic proposition is always true: (p2691 <= 1)
lola: LP says that atomic proposition is always true: (p2105 <= 1)
lola: LP says that atomic proposition is always true: (p2561 <= 1)
lola: LP says that atomic proposition is always true: (p2821 <= 1)
lola: LP says that atomic proposition is always true: (p2951 <= 1)
lola: LP says that atomic proposition is always true: (p2252 <= 1)
lola: LP says that atomic proposition is always true: (p2382 <= 1)
lola: LP says that atomic proposition is always true: (p2512 <= 1)
lola: LP says that atomic proposition is always true: (p2642 <= 1)
lola: LP says that atomic proposition is always true: (p2024 <= 1)
lola: LP says that atomic proposition is always true: (p2203 <= 1)
lola: LP says that atomic proposition is always true: (p2463 <= 1)
lola: LP says that atomic proposition is always true: (p2772 <= 1)
lola: LP says that atomic proposition is always true: (p2902 <= 1)
lola: LP says that atomic proposition is always true: (p2333 <= 1)
lola: LP says that atomic proposition is always true: (p2137 <= 1)
lola: LP says that atomic proposition is always true: (p2657 <= 1)
lola: LP says that atomic proposition is always true: (p2007 <= 1)
lola: LP says that atomic proposition is always true: (p2218 <= 1)
lola: LP says that atomic proposition is always true: (p2478 <= 1)
lola: LP says that atomic proposition is always true: (p2787 <= 1)
lola: LP says that atomic proposition is always true: (p2348 <= 1)
lola: LP says that atomic proposition is always true: (p2917 <= 1)
lola: LP says that atomic proposition is always true: (p2056 <= 1)
lola: LP says that atomic proposition is always true: (p2608 <= 1)
lola: LP says that atomic proposition is always true: (p2169 <= 1)
lola: LP says that atomic proposition is always true: (p2299 <= 1)
lola: LP says that atomic proposition is always true: (p2429 <= 1)
lola: LP says that atomic proposition is always true: (p2559 <= 1)
lola: LP says that atomic proposition is always true: (p2738 <= 1)
lola: LP says that atomic proposition is always true: (p2998 <= 1)
lola: LP says that atomic proposition is always true: (p2868 <= 1)
lola: LP says that atomic proposition is always true: (p2625 <= 1)
lola: LP says that atomic proposition is always true: (p2039 <= 1)
lola: LP says that atomic proposition is always true: (p2186 <= 1)
lola: LP says that atomic proposition is always true: (p2446 <= 1)
lola: LP says that atomic proposition is always true: (p2755 <= 1)
lola: LP says that atomic proposition is always true: (p2316 <= 1)
lola: LP says that atomic proposition is always true: (p2885 <= 1)
lola: LP says that atomic proposition is always true: (p2576 <= 1)
lola: LP says that atomic proposition is always true: (p2088 <= 1)
lola: LP says that atomic proposition is always true: (p2267 <= 1)
lola: LP says that atomic proposition is always true: (p2527 <= 1)
lola: LP says that atomic proposition is always true: (p2706 <= 1)
lola: LP says that atomic proposition is always true: (p2966 <= 1)
lola: LP says that atomic proposition is always true: (p2397 <= 1)
lola: LP says that atomic proposition is always true: (p2836 <= 1)
lola: LP says that atomic proposition is always true: (p2152 <= 1)
lola: LP says that atomic proposition is always true: (p2071 <= 1)
lola: LP says that atomic proposition is always true: (p2721 <= 1)
lola: LP says that atomic proposition is always true: (p2851 <= 1)
lola: LP says that atomic proposition is always true: (p2981 <= 1)
lola: LP says that atomic proposition is always true: (p2282 <= 1)
lola: LP says that atomic proposition is always true: (p2542 <= 1)
lola: LP says that atomic proposition is always true: (p2412 <= 1)
lola: LP says that atomic proposition is always true: (p2120 <= 1)
lola: LP says that atomic proposition is always true: (p2672 <= 1)
lola: LP says that atomic proposition is always true: (p2233 <= 1)
lola: LP says that atomic proposition is always true: (p2363 <= 1)
lola: LP says that atomic proposition is always true: (p2493 <= 1)
lola: LP says that atomic proposition is always true: (p2623 <= 1)
lola: LP says that atomic proposition is always true: (p2802 <= 1)
lola: LP says that atomic proposition is always true: (p2932 <= 1)
lola: LP says that atomic proposition is always true: (p2689 <= 1)
lola: LP says that atomic proposition is always true: (p2103 <= 1)
lola: LP says that atomic proposition is always true: (p2819 <= 1)
lola: LP says that atomic proposition is always true: (p2250 <= 1)
lola: LP says that atomic proposition is always true: (p2510 <= 1)
lola: LP says that atomic proposition is always true: (p2949 <= 1)
lola: LP says that atomic proposition is always true: (p2380 <= 1)
lola: LP says that atomic proposition is always true: (p2640 <= 1)
lola: LP says that atomic proposition is always true: (p2022 <= 1)
lola: LP says that atomic proposition is always true: (p2201 <= 1)
lola: LP says that atomic proposition is always true: (p2331 <= 1)
lola: LP says that atomic proposition is always true: (p2461 <= 1)
lola: LP says that atomic proposition is always true: (p2591 <= 1)
lola: LP says that atomic proposition is always true: (p2770 <= 1)
lola: LP says that atomic proposition is always true: (p2900 <= 1)
lola: LP says that atomic proposition is always true: (p2216 <= 1)
lola: LP says that atomic proposition is always true: (p2005 <= 1)
lola: LP says that atomic proposition is always true: (p2135 <= 1)
lola: LP says that atomic proposition is always true: (p2346 <= 1)
lola: LP says that atomic proposition is always true: (p2476 <= 1)
lola: LP says that atomic proposition is always true: (p2606 <= 1)
lola: LP says that atomic proposition is always true: (p2785 <= 1)
lola: LP says that atomic proposition is always true: (p2915 <= 1)
lola: LP says that atomic proposition is always true: (p2167 <= 1)
lola: LP says that atomic proposition is always true: (p2054 <= 1)
lola: LP says that atomic proposition is always true: (p2557 <= 1)
lola: LP says that atomic proposition is always true: (p2687 <= 1)
lola: LP says that atomic proposition is always true: (p2736 <= 1)
lola: LP says that atomic proposition is always true: (p2866 <= 1)
lola: LP says that atomic proposition is always true: (p2996 <= 1)
lola: LP says that atomic proposition is always true: (p2297 <= 1)
lola: LP says that atomic proposition is always true: (p2427 <= 1)
lola: LP says that atomic proposition is always true: (p2184 <= 1)
lola: LP says that atomic proposition is always true: (p2314 <= 1)
lola: LP says that atomic proposition is always true: (p2444 <= 1)
lola: LP says that atomic proposition is always true: (p2574 <= 1)
lola: LP says that atomic proposition is always true: (p2753 <= 1)
lola: LP says that atomic proposition is always true: (p2883 <= 1)
lola: LP says that atomic proposition is always true: (p2037 <= 1)
lola: LP says that atomic proposition is always true: (p2395 <= 1)
lola: LP says that atomic proposition is always true: (p2265 <= 1)
lola: LP says that atomic proposition is always true: (p2525 <= 1)
lola: LP says that atomic proposition is always true: (p2655 <= 1)
lola: LP says that atomic proposition is always true: (p2704 <= 1)
lola: LP says that atomic proposition is always true: (p2834 <= 1)
lola: LP says that atomic proposition is always true: (p2086 <= 1)
lola: LP says that atomic proposition is always true: (p2964 <= 1)
lola: LP says that atomic proposition is always true: (p2280 <= 1)
lola: LP says that atomic proposition is always true: (p2410 <= 1)
lola: LP says that atomic proposition is always true: (p2540 <= 1)
lola: LP says that atomic proposition is always true: (p2670 <= 1)
lola: LP says that atomic proposition is always true: (p2069 <= 1)
lola: LP says that atomic proposition is always true: (p2849 <= 1)
lola: LP says that atomic proposition is always true: (p2979 <= 1)
lola: LP says that atomic proposition is always true: (p2231 <= 1)
lola: LP says that atomic proposition is always true: (p2751 <= 1)
lola: LP says that atomic proposition is always true: (p2118 <= 1)
lola: LP says that atomic proposition is always true: (p2800 <= 1)
lola: LP says that atomic proposition is always true: (p2930 <= 1)
lola: LP says that atomic proposition is always true: (p2361 <= 1)
lola: LP says that atomic proposition is always true: (p2621 <= 1)
lola: LP says that atomic proposition is always true: (p2491 <= 1)
lola: LP says that atomic proposition is always true: (p2817 <= 1)
lola: LP says that atomic proposition is always true: (p2947 <= 1)
lola: LP says that atomic proposition is always true: (p2248 <= 1)
lola: LP says that atomic proposition is always true: (p2378 <= 1)
lola: LP says that atomic proposition is always true: (p2508 <= 1)
lola: LP says that atomic proposition is always true: (p2638 <= 1)
lola: LP says that atomic proposition is always true: (p2101 <= 1)
lola: LP says that atomic proposition is always true: (p2199 <= 1)
lola: LP says that atomic proposition is always true: (p2719 <= 1)
lola: LP says that atomic proposition is always true: (p2898 <= 1)
lola: LP says that atomic proposition is always true: (p2150 <= 1)
lola: LP says that atomic proposition is always true: (p2768 <= 1)
lola: LP says that atomic proposition is always true: (p2020 <= 1)
lola: LP says that atomic proposition is always true: (p2329 <= 1)
lola: LP says that atomic proposition is always true: (p2589 <= 1)
lola: LP says that atomic proposition is always true: (p2459 <= 1)
lola: LP says that atomic proposition is always true: (p2214 <= 1)
lola: LP says that atomic proposition is always true: (p2734 <= 1)
lola: LP says that atomic proposition is always true: (p2133 <= 1)
lola: LP says that atomic proposition is always true: (p2344 <= 1)
lola: LP says that atomic proposition is always true: (p2604 <= 1)
lola: LP says that atomic proposition is always true: (p2913 <= 1)
lola: LP says that atomic proposition is always true: (p2003 <= 1)
lola: LP says that atomic proposition is always true: (p2474 <= 1)
lola: LP says that atomic proposition is always true: (p2165 <= 1)
lola: LP says that atomic proposition is always true: (p2295 <= 1)
lola: LP says that atomic proposition is always true: (p2815 <= 1)
lola: LP says that atomic proposition is always true: (p2052 <= 1)
lola: LP says that atomic proposition is always true: (p2685 <= 1)
lola: LP says that atomic proposition is always true: (p2864 <= 1)
lola: LP says that atomic proposition is always true: (p2425 <= 1)
lola: LP says that atomic proposition is always true: (p2555 <= 1)
lola: LP says that atomic proposition is always true: (p2994 <= 1)
lola: LP says that atomic proposition is always true: (p2182 <= 1)
lola: LP says that atomic proposition is always true: (p2702 <= 1)
lola: LP says that atomic proposition is always true: (p2312 <= 1)
lola: LP says that atomic proposition is always true: (p2572 <= 1)
lola: LP says that atomic proposition is always true: (p2881 <= 1)
lola: LP says that atomic proposition is always true: (p2035 <= 1)
lola: LP says that atomic proposition is always true: (p2442 <= 1)
lola: LP says that atomic proposition is always true: (p2263 <= 1)
lola: LP says that atomic proposition is always true: (p2783 <= 1)
lola: LP says that atomic proposition is always true: (p2832 <= 1)
lola: LP says that atomic proposition is always true: (p2962 <= 1)
lola: LP says that atomic proposition is always true: (p2393 <= 1)
lola: LP says that atomic proposition is always true: (p2653 <= 1)
lola: LP says that atomic proposition is always true: (p2084 <= 1)
lola: LP says that atomic proposition is always true: (p2523 <= 1)
lola: LP says that atomic proposition is always true: (p2278 <= 1)
lola: LP says that atomic proposition is always true: (p2798 <= 1)
lola: LP says that atomic proposition is always true: (p2408 <= 1)
lola: LP says that atomic proposition is always true: (p2668 <= 1)
lola: LP says that atomic proposition is always true: (p2067 <= 1)
lola: LP says that atomic proposition is always true: (p2977 <= 1)
lola: LP says that atomic proposition is always true: (p2538 <= 1)
lola: LP says that atomic proposition is always true: (p2229 <= 1)
lola: LP says that atomic proposition is always true: (p2359 <= 1)
lola: LP says that atomic proposition is always true: (p2749 <= 1)
lola: LP says that atomic proposition is always true: (p2879 <= 1)
lola: LP says that atomic proposition is always true: (p2116 <= 1)
lola: LP says that atomic proposition is always true: (p2928 <= 1)
lola: LP says that atomic proposition is always true: (p2489 <= 1)
lola: LP says that atomic proposition is always true: (p2619 <= 1)
lola: LP says that atomic proposition is always true: (p2246 <= 1)
lola: LP says that atomic proposition is always true: (p2766 <= 1)
lola: LP says that atomic proposition is always true: (p2945 <= 1)
lola: LP says that atomic proposition is always true: (p2376 <= 1)
lola: LP says that atomic proposition is always true: (p2636 <= 1)
lola: LP says that atomic proposition is always true: (p2099 <= 1)
lola: LP says that atomic proposition is always true: (p2506 <= 1)
lola: LP says that atomic proposition is always true: (p2197 <= 1)
lola: LP says that atomic proposition is always true: (p2327 <= 1)
lola: LP says that atomic proposition is always true: (p2717 <= 1)
lola: LP says that atomic proposition is always true: (p2847 <= 1)
lola: LP says that atomic proposition is always true: (p2896 <= 1)
lola: LP says that atomic proposition is always true: (p2148 <= 1)
lola: LP says that atomic proposition is always true: (p2018 <= 1)
lola: LP says that atomic proposition is always true: (p2457 <= 1)
lola: LP says that atomic proposition is always true: (p2587 <= 1)
lola: LP says that atomic proposition is always true: (p2212 <= 1)
lola: LP says that atomic proposition is always true: (p2342 <= 1)
lola: LP says that atomic proposition is always true: (p2732 <= 1)
lola: LP says that atomic proposition is always true: (p2862 <= 1)
lola: LP says that atomic proposition is always true: (p2001 <= 1)
lola: LP says that atomic proposition is always true: (p2131 <= 1)
lola: LP says that atomic proposition is always true: (p2472 <= 1)
lola: LP says that atomic proposition is always true: (p2602 <= 1)
lola: LP says that atomic proposition is always true: (p2163 <= 1)
lola: LP says that atomic proposition is always true: (p2423 <= 1)
lola: LP says that atomic proposition is always true: (p2813 <= 1)
lola: LP says that atomic proposition is always true: (p2943 <= 1)
lola: LP says that atomic proposition is always true: (p2293 <= 1)
lola: LP says that atomic proposition is always true: (p2050 <= 1)
lola: LP says that atomic proposition is always true: (p2553 <= 1)
lola: LP says that atomic proposition is always true: (p2683 <= 1)
lola: LP says that atomic proposition is always true: (p2992 <= 1)
lola: LP says that atomic proposition is always true: (p2180 <= 1)
lola: LP says that atomic proposition is always true: (p2310 <= 1)
lola: LP says that atomic proposition is always true: (p2700 <= 1)
lola: LP says that atomic proposition is always true: (p2830 <= 1)
lola: LP says that atomic proposition is always true: (p2440 <= 1)
lola: time limit reached - aborting
lola: memory consumption: 4983384 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Referendum-PT-1000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is Referendum-PT-1000, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827900450"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-PT-1000.tgz
mv Referendum-PT-1000 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;