About the Execution of LoLA for DES-PT-50b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.290 | 3600000.00 | 8911532.00 | 44823.80 | F?FFFFFFFTTFFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 127K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DES-PT-50b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-smll-152646380200278
=====================================================================
--------------------
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 DES-PT-50b-ReachabilityCardinality-00
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-01
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-02
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-03
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-04
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-05
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-06
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-07
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-08
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-09
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-10
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-11
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-12
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-13
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-14
FORMULA_NAME DES-PT-50b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526640105030
info: Time: 3600 - MCC
===========================================================================================
prep: translating DES-PT-50b Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DES-PT-50b formula ReachabilityCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityCardinality @ DES-PT-50b @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 909/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 479
lola: finding significant places
lola: 479 places, 430 transitions, 414 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 527 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50b-ReachabilityCardinality.task
lola: LP says that atomic proposition is always false: (2 <= p81)
lola: LP says that atomic proposition is always false: (2 <= p66)
lola: LP says that atomic proposition is always false: (2 <= p158)
lola: LP says that atomic proposition is always false: (3 <= p206)
lola: LP says that atomic proposition is always false: (2 <= p27)
lola: LP says that atomic proposition is always false: (3 <= p298)
lola: LP says that atomic proposition is always false: (3 <= p120)
lola: LP says that atomic proposition is always false: (2 <= p139)
lola: LP says that atomic proposition is always false: (2 <= p122)
lola: LP says that atomic proposition is always false: (3 <= p92)
lola: LP says that atomic proposition is always false: (2 <= p388)
lola: LP says that atomic proposition is always false: (3 <= p383)
lola: LP says that atomic proposition is always false: (2 <= p273)
lola: LP says that atomic proposition is always false: (3 <= p343)
lola: LP says that atomic proposition is always false: (2 <= p184)
lola: LP says that atomic proposition is always false: (3 <= p428)
lola: LP says that atomic proposition is always false: (3 <= p138)
lola: LP says that atomic proposition is always false: (3 <= p24)
lola: LP says that atomic proposition is always false: (2 <= p152)
lola: LP says that atomic proposition is always false: (3 <= p224)
lola: E (F (())) : A (G (((p33 <= 0) OR (p137 <= p297)))) : A (G (((p314 <= p416) OR ((p193 <= p282) AND (p142 <= p136) AND (p252 + 1 <= p79))))) : A (G (((p318 <= p294) OR (p234 + 1 <= p8)))) : E (F (FALSE)) : A (G (((p296 <= p86) OR (p159 <= p218)))) : E (F (())) : A (G (((((p303 <= p32))) OR (p477 <= p85)))) : E (F (())) : A (G (())) : A (G (((p211 <= 0) OR (p417 + 1 <= p31) OR (p176 <= p408)))) : A (G (((p122 <= p466)))) : A (G (((1 <= p11) OR ((p46 <= p130) AND (p172 <= p156)) OR ((p226 + 1 <= p218) AND (p178 + 1 <= p44))))) : E (F (FALSE)) : E (F (FALSE)) : E (F (((1 <= p90) AND (p338 <= p373))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola:
FORMULA DES-PT-50b-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA DES-PT-50b-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
FORMULA DES-PT-50b-ReachabilityCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 21 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p122 <= p466))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p122 <= p466))))
lola: processed formula length: 24
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p466 + 1 <= p122))
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p33 <= 0) OR (p137 <= p297))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p33 <= 0) OR (p137 <= p297))))
lola: processed formula length: 39
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p33) AND (p297 + 1 <= p137))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-8-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 754351 markings, 965969 edges, 150870 markings/sec, 0 secs
lola: sara is running 5 secs || 1509667 markings, 1937355 edges, 151063 markings/sec, 5 secs
lola: sara is running 10 secs || 2221984 markings, 2909286 edges, 142463 markings/sec, 10 secs
lola: sara is running 15 secs || 2922522 markings, 3877495 edges, 140108 markings/sec, 15 secs
lola: sara is running 20 secs || 3640046 markings, 4857143 edges, 143505 markings/sec, 20 secs
lola: sara is running 25 secs || 4330409 markings, 5827686 edges, 138073 markings/sec, 25 secs
lola: sara is running 30 secs || 5009603 markings, 6805771 edges, 135839 markings/sec, 30 secs
lola: sara is running 35 secs || 5696734 markings, 7764435 edges, 137426 markings/sec, 35 secs
lola: sara is running 40 secs || 6273307 markings, 8747792 edges, 115315 markings/sec, 40 secs
lola: sara is running 45 secs || 6696175 markings, 9729933 edges, 84574 markings/sec, 45 secs
lola: sara is running 50 secs || 7220236 markings, 10729306 edges, 104812 markings/sec, 50 secs
lola: sara is running 55 secs || 7644565 markings, 11714473 edges, 84866 markings/sec, 55 secs
lola: sara is running 60 secs || 8165386 markings, 12701322 edges, 104164 markings/sec, 60 secs
lola: sara is running 65 secs || 8568399 markings, 13618656 edges, 80603 markings/sec, 65 secs
lola: sara is running 70 secs || 9088606 markings, 14627172 edges, 104041 markings/sec, 70 secs
lola: sara is running 75 secs || 9531256 markings, 15574108 edges, 88530 markings/sec, 75 secs
lola: sara is running 80 secs || 10032966 markings, 16602469 edges, 100342 markings/sec, 80 secs
lola: sara is running 85 secs || 10512335 markings, 17550911 edges, 95874 markings/sec, 85 secs
lola: sara is running 90 secs || 10976771 markings, 18575238 edges, 92887 markings/sec, 90 secs
lola: sara is running 95 secs || 11481133 markings, 19526644 edges, 100872 markings/sec, 95 secs
lola: sara is running 100 secs || 11923110 markings, 20551385 edges, 88395 markings/sec, 100 secs
lola: sara is running 105 secs || 12430519 markings, 21511245 edges, 101482 markings/sec, 105 secs
lola: sara is running 110 secs || 12868606 markings, 22529108 edges, 87617 markings/sec, 110 secs
lola: sara is running 115 secs || 13381118 markings, 23501314 edges, 102502 markings/sec, 115 secs
lola: sara is running 120 secs || 13813872 markings, 24505499 edges, 86551 markings/sec, 120 secs
lola: sara is running 125 secs || 14333044 markings, 25490371 edges, 103834 markings/sec, 125 secs
lola: sara is running 130 secs || 14761756 markings, 26485397 edges, 85742 markings/sec, 130 secs
lola: sara is running 135 secs || 15287572 markings, 27488724 edges, 105163 markings/sec, 135 secs
lola: sara is running 140 secs || 15714328 markings, 28479979 edges, 85351 markings/sec, 140 secs
lola: sara is running 145 secs || 16243867 markings, 29490498 edges, 105908 markings/sec, 145 secs
lola: sara is running 150 secs || 16672295 markings, 30462419 edges, 85686 markings/sec, 150 secs
lola: sara is running 155 secs || 17196789 markings, 31482626 edges, 104899 markings/sec, 155 secs
lola: sara is running 160 secs || 17653234 markings, 32439526 edges, 91289 markings/sec, 160 secs
lola: sara is running 165 secs || 18147596 markings, 33473178 edges, 98872 markings/sec, 165 secs
lola: sara is running 170 secs || 18644180 markings, 34432717 edges, 99317 markings/sec, 170 secs
lola: sara is running 175 secs || 19106443 markings, 35478582 edges, 92453 markings/sec, 175 secs
lola: sara is running 180 secs || 19621140 markings, 36454922 edges, 102939 markings/sec, 180 secs
lola: sara is running 185 secs || 20065191 markings, 37486863 edges, 88810 markings/sec, 185 secs
lola: sara is running 190 secs || 20586553 markings, 38479658 edges, 104272 markings/sec, 190 secs
lola: sara is running 195 secs || 21027556 markings, 39501979 edges, 88201 markings/sec, 195 secs
lola: sara is running 200 secs || 21544099 markings, 40511780 edges, 103309 markings/sec, 200 secs
lola: sara is running 205 secs || 22050274 markings, 41519272 edges, 101235 markings/sec, 205 secs
lola: sara is running 210 secs || 22615702 markings, 42568658 edges, 113086 markings/sec, 210 secs
lola: sara is running 215 secs || 23110025 markings, 43647050 edges, 98865 markings/sec, 215 secs
lola: sara is running 220 secs || 23585581 markings, 44685386 edges, 95111 markings/sec, 220 secs
lola: sara is running 225 secs || 24140139 markings, 45749570 edges, 110912 markings/sec, 225 secs
lola: sara is running 230 secs || 24667959 markings, 46826408 edges, 105564 markings/sec, 230 secs
lola: sara is running 235 secs || 25187539 markings, 47885811 edges, 103916 markings/sec, 235 secs
lola: sara is running 240 secs || 25729004 markings, 48941155 edges, 108293 markings/sec, 240 secs
lola: sara is running 245 secs || 26428092 markings, 49878471 edges, 139818 markings/sec, 245 secs
lola: sara is running 250 secs || 27189662 markings, 50805107 edges, 152314 markings/sec, 250 secs
lola: sara is running 255 secs || 27958508 markings, 51697444 edges, 153769 markings/sec, 255 secs
lola: sara is running 260 secs || 28655301 markings, 52633150 edges, 139359 markings/sec, 260 secs
lola: sara is running 265 secs || 29242075 markings, 53652735 edges, 117355 markings/sec, 265 secs
lola: sara is running 270 secs || 29862123 markings, 54640816 edges, 124010 markings/sec, 270 secs
lola: sara is running 275 secs || 30535873 markings, 55604794 edges, 134750 markings/sec, 275 secs
lola: sara is running 280 secs || 31200599 markings, 56583981 edges, 132945 markings/sec, 280 secs
lola: sara is running 285 secs || 31811588 markings, 57597048 edges, 122198 markings/sec, 285 secs
lola: sara is running 290 secs || 32493082 markings, 58550344 edges, 136299 markings/sec, 290 secs
lola: sara is running 295 secs || 33227437 markings, 59483736 edges, 146871 markings/sec, 295 secs
lola: sara is running 300 secs || 33989155 markings, 60403635 edges, 152344 markings/sec, 300 secs
lola: sara is running 305 secs || 34743338 markings, 61325289 edges, 150837 markings/sec, 305 secs
lola: sara is running 310 secs || 35531112 markings, 62215538 edges, 157555 markings/sec, 310 secs
lola: sara is running 315 secs || 36202459 markings, 63211263 edges, 134269 markings/sec, 315 secs
lola: sara is running 320 secs || 36786886 markings, 64223955 edges, 116885 markings/sec, 320 secs
lola: sara is running 325 secs || 37445316 markings, 65205721 edges, 131686 markings/sec, 325 secs
lola: sara is running 330 secs || 38133481 markings, 66192596 edges, 137633 markings/sec, 330 secs
lola: sara is running 335 secs || 38753917 markings, 67207154 edges, 124087 markings/sec, 335 secs
lola: sara is running 340 secs || 39396113 markings, 68200356 edges, 128439 markings/sec, 340 secs
lola: sara is running 345 secs || 40100220 markings, 69160588 edges, 140821 markings/sec, 345 secs
lola: sara is running 350 secs || 40858703 markings, 70085404 edges, 151697 markings/sec, 350 secs
lola: sara is running 355 secs || 41628993 markings, 71025003 edges, 154058 markings/sec, 355 secs
lola: sara is running 360 secs || 42380991 markings, 71941112 edges, 150400 markings/sec, 360 secs
lola: sara is running 365 secs || 43142844 markings, 72842388 edges, 152371 markings/sec, 365 secs
lola: sara is running 370 secs || 43769990 markings, 73867974 edges, 125429 markings/sec, 370 secs
lola: sara is running 375 secs || 44350389 markings, 74877970 edges, 116080 markings/sec, 375 secs
lola: sara is running 380 secs || 45068726 markings, 75820030 edges, 143667 markings/sec, 380 secs
lola: sara is running 385 secs || 45699806 markings, 76830114 edges, 126216 markings/sec, 385 secs
lola: sara is running 390 secs || 46337290 markings, 77831488 edges, 127497 markings/sec, 390 secs
lola: sara is running 395 secs || 47001287 markings, 78798556 edges, 132799 markings/sec, 395 secs
lola: sara is running 400 secs || 47713445 markings, 79755786 edges, 142432 markings/sec, 400 secs
lola: sara is running 405 secs || 48493984 markings, 80672393 edges, 156108 markings/sec, 405 secs
lola: sara is running 410 secs || 49240746 markings, 81626059 edges, 149352 markings/sec, 410 secs
lola: sara is running 415 secs || 50004589 markings, 82535613 edges, 152769 markings/sec, 415 secs
lola: sara is running 420 secs || 50764549 markings, 83451702 edges, 151992 markings/sec, 420 secs
lola: sara is running 425 secs || 51334183 markings, 84496796 edges, 113927 markings/sec, 425 secs
lola: sara is running 430 secs || 51938384 markings, 85494120 edges, 120840 markings/sec, 430 secs
lola: sara is running 435 secs || 52650636 markings, 86457504 edges, 142450 markings/sec, 435 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown no unknown no unknown no yes unknown no unknown no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown no unknown no unknown no yes unknown no unknown no no unknown
lola: memory consumption: 2755392 KB
lola: time consumption: 454 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p90) AND (p338 <= p373))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (((1 <= p90) AND (p338 <= p373))))
lola: processed formula length: 39
lola: 22 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: ((1 <= p90) AND (p338 <= p373))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-9-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-9-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 849018 markings, 1005307 edges, 169804 markings/sec, 0 secs
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 518 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p296 <= p86) OR (p159 <= p218))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p296 <= p86) OR (p159 <= p218))))
lola: processed formula length: 42
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p86 + 1 <= p296) AND (p218 + 1 <= p159))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 456415 markings, 1101634 edges, 91283 markings/sec, 0 secs
lola: sara is running 5 secs || 913810 markings, 2192947 edges, 91479 markings/sec, 5 secs
lola: sara is running 10 secs || 1370594 markings, 3285020 edges, 91357 markings/sec, 10 secs
lola: sara is running 15 secs || 1829965 markings, 4377788 edges, 91874 markings/sec, 15 secs
lola: sara is running 20 secs || 2285865 markings, 5466205 edges, 91180 markings/sec, 20 secs
lola: sara is running 25 secs || 2742145 markings, 6556464 edges, 91256 markings/sec, 25 secs
lola: sara is running 30 secs || 3201028 markings, 7649071 edges, 91777 markings/sec, 30 secs
lola: sara is running 35 secs || 3660062 markings, 8742125 edges, 91807 markings/sec, 35 secs
lola: sara is running 40 secs || 4116810 markings, 9828651 edges, 91350 markings/sec, 40 secs
lola: sara is running 45 secs || 4573254 markings, 10922025 edges, 91289 markings/sec, 45 secs
lola: sara is running 50 secs || 5062719 markings, 11973084 edges, 97893 markings/sec, 50 secs
lola: sara is running 55 secs || 5604628 markings, 12948468 edges, 108382 markings/sec, 55 secs
lola: sara is running 60 secs || 6141968 markings, 13923346 edges, 107468 markings/sec, 60 secs
lola: sara is running 65 secs || 6652301 markings, 14946716 edges, 102067 markings/sec, 65 secs
lola: sara is running 70 secs || 7202282 markings, 15892772 edges, 109996 markings/sec, 70 secs
lola: sara is running 75 secs || 7736202 markings, 16874389 edges, 106784 markings/sec, 75 secs
lola: sara is running 80 secs || 8280119 markings, 17819927 edges, 108783 markings/sec, 80 secs
lola: sara is running 85 secs || 8786861 markings, 18846257 edges, 101348 markings/sec, 85 secs
lola: sara is running 90 secs || 9326568 markings, 19810169 edges, 107941 markings/sec, 90 secs
lola: sara is running 95 secs || 9861522 markings, 20794020 edges, 106991 markings/sec, 95 secs
lola: sara is running 100 secs || 10403694 markings, 21736509 edges, 108434 markings/sec, 100 secs
lola: sara is running 105 secs || 10904992 markings, 22766385 edges, 100260 markings/sec, 105 secs
lola: sara is running 110 secs || 11446185 markings, 23715178 edges, 108239 markings/sec, 110 secs
lola: sara is running 115 secs || 11973965 markings, 24689411 edges, 105556 markings/sec, 115 secs
lola: sara is running 120 secs || 12515084 markings, 25626066 edges, 108224 markings/sec, 120 secs
lola: sara is running 125 secs || 13012578 markings, 26672650 edges, 99499 markings/sec, 125 secs
lola: sara is running 130 secs || 13560097 markings, 27608265 edges, 109504 markings/sec, 130 secs
lola: sara is running 135 secs || 14090106 markings, 28585385 edges, 106002 markings/sec, 135 secs
lola: sara is running 140 secs || 14624021 markings, 29531717 edges, 106783 markings/sec, 140 secs
lola: sara is running 145 secs || 15123812 markings, 30560964 edges, 99958 markings/sec, 145 secs
lola: sara is running 150 secs || 15669530 markings, 31489809 edges, 109144 markings/sec, 150 secs
lola: sara is running 155 secs || 16196061 markings, 32469344 edges, 105306 markings/sec, 155 secs
lola: sara is running 160 secs || 16728266 markings, 33438965 edges, 106441 markings/sec, 160 secs
lola: sara is running 165 secs || 17282441 markings, 34351993 edges, 110835 markings/sec, 165 secs
lola: sara is running 170 secs || 17824449 markings, 35283040 edges, 108402 markings/sec, 170 secs
lola: sara is running 175 secs || 18321567 markings, 36273433 edges, 99424 markings/sec, 175 secs
lola: sara is running 180 secs || 18821929 markings, 37303913 edges, 100072 markings/sec, 180 secs
lola: sara is running 185 secs || 19355156 markings, 38286344 edges, 106645 markings/sec, 185 secs
lola: sara is running 190 secs || 19902475 markings, 39270230 edges, 109464 markings/sec, 190 secs
lola: sara is running 195 secs || 20430484 markings, 40284026 edges, 105602 markings/sec, 195 secs
lola: sara is running 200 secs || 20965859 markings, 41277811 edges, 107075 markings/sec, 200 secs
lola: sara is running 205 secs || 21504323 markings, 42252476 edges, 107693 markings/sec, 205 secs
lola: sara is running 210 secs || 22043442 markings, 43229302 edges, 107824 markings/sec, 210 secs
lola: sara is running 215 secs || 22574911 markings, 44225944 edges, 106294 markings/sec, 215 secs
lola: sara is running 220 secs || 23102945 markings, 45229814 edges, 105607 markings/sec, 220 secs
lola: sara is running 225 secs || 23643182 markings, 46206873 edges, 108047 markings/sec, 225 secs
lola: sara is running 230 secs || 24182110 markings, 47175503 edges, 107786 markings/sec, 230 secs
lola: sara is running 235 secs || 24701141 markings, 48146759 edges, 103806 markings/sec, 235 secs
lola: sara is running 240 secs || 25210620 markings, 49110235 edges, 101896 markings/sec, 240 secs
lola: sara is running 245 secs || 25737484 markings, 50062565 edges, 105373 markings/sec, 245 secs
lola: sara is running 250 secs || 26271194 markings, 51023020 edges, 106742 markings/sec, 250 secs
lola: sara is running 255 secs || 26783387 markings, 52018394 edges, 102439 markings/sec, 255 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 27201473 markings, 52781721 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 569 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p318 <= p294) OR (p234 + 1 <= p8))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p318 <= p294) OR (p234 + 1 <= p8))))
lola: processed formula length: 45
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p294 + 1 <= p318) AND (p8 <= p234))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-11-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 32 markings, 31 edges
FORMULA DES-PT-50b-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 12 will run for 711 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((((p303 <= p32))) OR (p477 <= p85))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((((p303 <= p32))) OR (p477 <= p85))))
lola: processed formula length: 45
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-11-0.sara.
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((((p32 + 1 <= p303))) AND (p85 + 1 <= p477))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-12-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 16 markings, 15 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 948 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p211 <= 0) OR (p417 + 1 <= p31) OR (p176 <= p408))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p211 <= 0) OR (p417 + 1 <= p31) OR (p176 <= p408))))
lola: processed formula length: 62
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p211) AND (p31 <= p417) AND (p408 + 1 <= p176))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-13-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-13-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 328 markings, 499 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p314 <= p416) OR ((p193 <= p282) AND (p142 <= p136) AND (p252 + 1 <= p79)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p314 <= p416) OR ((p193 <= p282) AND (p142 <= p136) AND (p252 + 1 <= p79)))))
lola: processed formula length: 86
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p416 + 1 <= p314) AND ((p282 + 1 <= p193) OR (p136 + 1 <= p142) OR (p79 <= p252)))
lola: state equation: Generated DNF with 6 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-14-0.sara
lola: lola: SUBRESULT
state equation: calling and running sara
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 37 markings, 36 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2845 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p11) OR ((p46 <= p130) AND (p172 <= p156)) OR ((p226 + 1 <= p218) AND (p178 + 1 <= p44)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((1 <= p11) OR ((p46 <= p130) AND (p172 <= p156)) OR ((p226 + 1 <= p218) AND (p178 + 1 <= p44)))))
lola: processed formula length: 106
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
sara: lola: using a prefix tree store (--store=prefix)
try reading problem file DES-PT-50b-ReachabilityCardinality-14-0.sara.lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
sara: place or transition ordering is non-deterministic
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((p11 <= 0) AND ((p130 + 1 <= p46) OR (p156 + 1 <= p172)) AND ((p218 <= p226) OR (p44 <= p178)))
lola: state equation: Generated DNF with 12 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-15-0.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2179 markings, 3056 edges
lola: ========================================
FORMULA DES-PT-50b-ReachabilityCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (((p33 <= 0) OR (p137 <= p297))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((p33 <= 0) OR (p137 <= p297))))
lola: processed formula length: 39
lola: 23 rewrites
lola: closed formula file DES-PT-50b-ReachabilityCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((1 <= p33) AND (p297 + 1 <= p137))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-50b-ReachabilityCardinality-16-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-50b-ReachabilityCardinality-16-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 711073 markings, 915688 edges, 142215 markings/sec, 0 secs
lola: sara is running 5 secs || 1444490 markings, 1852599 edges, 146683 markings/sec, 5 secs
lola: sara is running 10 secs || 2133988 markings, 2779952 edges, 137900 markings/sec, 10 secs
lola: sara is running 15 secs || 2803148 markings, 3715626 edges, 133832 markings/sec, 15 secs
lola: sara is running 20 secs || 3478383 markings, 4638250 edges, 135047 markings/sec, 20 secs
lola: sara is running 25 secs || 4142391 markings, 5564689 edges, 132802 markings/sec, 25 secs
lola: sara is running 30 secs || 4780816 markings, 6485576 edges, 127685 markings/sec, 30 secs
lola: sara is running 35 secs || 5436729 markings, 7395801 edges, 131183 markings/sec, 35 secs
lola: sara is running 40 secs || 6066123 markings, 8268923 edges, 125879 markings/sec, 40 secs
lola: sara is running 45 secs || 6488673 markings, 9248872 edges, 84510 markings/sec, 45 secs
lola: sara is running 50 secs || 6967522 markings, 10142524 edges, 95770 markings/sec, 50 secs
lola: sara is running 55 secs || 7389716 markings, 11122007 edges, 84439 markings/sec, 55 secs
lola: sara is running 60 secs || 7874178 markings, 12026754 edges, 96892 markings/sec, 60 secs
lola: sara is running 65 secs || 8295237 markings, 13003911 edges, 84212 markings/sec, 65 secs
lola: sara is running 70 secs || 8777745 markings, 13904838 edges, 96502 markings/sec, 70 secs
lola: sara is running 75 secs || 9195523 markings, 14875273 edges, 83556 markings/sec, 75 secs
lola: sara is running 80 secs || 9677080 markings, 15774222 edges, 96311 markings/sec, 80 secs
lola: sara is running 85 secs || 10098053 markings, 16751185 edges, 84195 markings/sec, 85 secs
lola: sara is running 90 secs || 10580180 markings, 17653496 edges, 96425 markings/sec, 90 secs
lola: sara is running 95 secs || 10999512 markings, 18624931 edges, 83866 markings/sec, 95 secs
lola: sara is running 100 secs || 11481340 markings, 19527489 edges, 96366 markings/sec, 100 secs
lola: sara is running 105 secs || 11902227 markings, 20501636 edges, 84177 markings/sec, 105 secs
lola: sara is running 110 secs || 12382982 markings, 21402213 edges, 96151 markings/sec, 110 secs
lola: sara is running 115 secs || 12806226 markings, 22383435 edges, 84649 markings/sec, 115 secs
lola: sara is running 120 secs || 13289454 markings, 23286028 edges, 96646 markings/sec, 120 secs
lola: sara is running 125 secs || 13710343 markings, 24262515 edges, 84178 markings/sec, 125 secs
lola: sara is running 130 secs || 14194019 markings, 25166086 edges, 96735 markings/sec, 130 secs
lola: sara is running 135 secs || 14613551 markings, 26139793 edges, 83906 markings/sec, 135 secs
lola: sara is running 140 secs || 15098068 markings, 27048422 edges, 96903 markings/sec, 140 secs
lola: sara is running 145 secs || 15520442 markings, 28027956 edges, 84475 markings/sec, 145 secs
lola: sara is running 150 secs || 16008702 markings, 28940699 edges, 97652 markings/sec, 150 secs
lola: sara is running 155 secs || 16429021 markings, 29918870 edges, 84064 markings/sec, 155 secs
lola: sara is running 160 secs || 16917694 markings, 30834697 edges, 97735 markings/sec, 160 secs
lola: sara is running 165 secs || 17337577 markings, 31809602 edges, 83977 markings/sec, 165 secs
lola: sara is running 170 secs || 17828723 markings, 32731449 edges, 98229 markings/sec, 170 secs
lola: sara is running 175 secs || 18248306 markings, 33705352 edges, 83917 markings/sec, 175 secs
lola: sara is running 180 secs || 18741206 markings, 34631511 edges, 98580 markings/sec, 180 secs
lola: sara is running 185 secs || 19162092 markings, 35608974 edges, 84177 markings/sec, 185 secs
lola: sara is running 190 secs || 19658108 markings, 36541742 edges, 99203 markings/sec, 190 secs
lola: sara is running 195 secs || 20077438 markings, 37515693 edges, 83866 markings/sec, 195 secs
lola: sara is running 200 secs || 20575110 markings, 38452786 edges, 99534 markings/sec, 200 secs
lola: sara is running 205 secs || 20994511 markings, 39426565 edges, 83880 markings/sec, 205 secs
lola: sara is running 210 secs || 21481783 markings, 40373485 edges, 97454 markings/sec, 210 secs
lola: sara is running 215 secs || 21945885 markings, 41346101 edges, 92820 markings/sec, 215 secs
lola: sara is running 220 secs || 22502636 markings, 42320476 edges, 111350 markings/sec, 220 secs
lola: sara is running 225 secs || 22977989 markings, 43354112 edges, 95071 markings/sec, 225 secs
lola: sara is running 230 secs || 23425211 markings, 44334263 edges, 89444 markings/sec, 230 secs
lola: sara is running 235 secs || 23925701 markings, 45332907 edges, 100098 markings/sec, 235 secs
lola: sara is running 240 secs || 24437288 markings, 46352889 edges, 102317 markings/sec, 240 secs
lola: sara is running 245 secs || 24929426 markings, 47359091 edges, 98428 markings/sec, 245 secs
lola: sara is running 250 secs || 25418803 markings, 48351608 edges, 97875 markings/sec, 250 secs
lola: sara is running 255 secs || 25970463 markings, 49315555 edges, 110332 markings/sec, 255 secs
lola: sara is running 260 secs || 26690709 markings, 50188256 edges, 144049 markings/sec, 260 secs
lola: sara is running 265 secs || 27402161 markings, 51053346 edges, 142290 markings/sec, 265 secs
lola: sara is running 270 secs || 28138922 markings, 51886329 edges, 147352 markings/sec, 270 secs
lola: sara is running 275 secs || 28764644 markings, 52805665 edges, 125144 markings/sec, 275 secs
lola: sara is running 280 secs || 29311979 markings, 53763517 edges, 109467 markings/sec, 280 secs
lola: sara is running 285 secs || 29901641 markings, 54696767 edges, 117932 markings/sec, 285 secs
lola: sara is running 290 secs || 30540219 markings, 55610969 edges, 127716 markings/sec, 290 secs
lola: sara is running 295 secs || 31162680 markings, 56541704 edges, 124492 markings/sec, 295 secs
lola: sara is running 300 secs || 31744938 markings, 57503507 edges, 116452 markings/sec, 300 secs
lola: sara is running 305 secs || 32389013 markings, 58403676 edges, 128815 markings/sec, 305 secs
lola: sara is running 310 secs || 33065460 markings, 59296869 edges, 135289 markings/sec, 310 secs
lola: sara is running 315 secs || 33789102 markings, 60159023 edges, 144728 markings/sec, 315 secs
lola: sara is running 320 secs || 34519508 markings, 61053612 edges, 146081 markings/sec, 320 secs
lola: sara is running 325 secs || 35246930 markings, 61911291 edges, 145484 markings/sec, 325 secs
lola: sara is running 330 secs || 35961962 markings, 62780839 edges, 143006 markings/sec, 330 secs
lola: sara is running 335 secs || 36507885 markings, 63777584 edges, 109185 markings/sec, 335 secs
lola: sara is running 340 secs || 37085257 markings, 64732902 edges, 115474 markings/sec, 340 secs
lola: sara is running 345 secs || 37765695 markings, 65622618 edges, 136088 markings/sec, 345 secs
lola: sara is running 350 secs || 38351003 markings, 66593538 edges, 117062 markings/sec, 350 secs
lola: sara is running 355 secs || 38962955 markings, 67535667 edges, 122390 markings/sec, 355 secs
lola: sara is running 360 secs || 39594175 markings, 68452915 edges, 126244 markings/sec, 360 secs
lola: sara is running 365 secs || 40277388 markings, 69364958 edges, 136643 markings/sec, 365 secs
lola: sara is running 370 secs || 41004520 markings, 70233676 edges, 145426 markings/sec, 370 secs
lola: sara is running 375 secs || 41726119 markings, 71141678 edges, 144320 markings/sec, 375 secs
lola: sara is running 380 secs || 42435138 markings, 72010846 edges, 141804 markings/sec, 380 secs
lola: sara is running 385 secs || 43160775 markings, 72867670 edges, 145127 markings/sec, 385 secs
lola: sara is running 390 secs || 43759008 markings, 73850807 edges, 119647 markings/sec, 390 secs
lola: sara is running 395 secs || 44316191 markings, 74810905 edges, 111437 markings/sec, 395 secs
lola: sara is running 400 secs || 44985979 markings, 75717466 edges, 133958 markings/sec, 400 secs
lola: sara is running 405 secs || 45618510 markings, 76667261 edges, 126506 markings/sec, 405 secs
lola: sara is running 410 secs || 46201463 markings, 77634846 edges, 116591 markings/sec, 410 secs
lola: sara is running 415 secs || 46819954 markings, 78569441 edges, 123698 markings/sec, 415 secs
lola: sara is running 420 secs || 47486367 markings, 79481758 edges, 133283 markings/sec, 420 secs
lola: sara is running 425 secs || 48210045 markings, 80368664 edges, 144736 markings/sec, 425 secs
lola: sara is running 430 secs || 48945319 markings, 81264856 edges, 147055 markings/sec, 430 secs
lola: sara is running 435 secs || 49662991 markings, 82137911 edges, 143534 markings/sec, 435 secs
lola: sara is running 440 secs || 50421729 markings, 82981900 edges, 151748 markings/sec, 440 secs
lola: sara is running 445 secs || 51034109 markings, 83939039 edges, 122476 markings/sec, 445 secs
lola: sara is running 450 secs || 51585791 markings, 84892729 edges, 110336 markings/sec, 450 secs
lola: sara is running 455 secs || 52211760 markings, 85823366 edges, 125194 markings/sec, 455 secs
lola: sara is running 460 secs || 52855280 markings, 86770329 edges, 128704 markings/sec, 460 secs
lola: sara is running 465 secs || 53476659 markings, 87717311 edges, 124276 markings/sec, 465 secs
lola: sara is running 470 secs || 54063260 markings, 88676774 edges, 117320 markings/sec, 470 secs
lola: sara is running 475 secs || 54718104 markings, 89591132 edges, 130969 markings/sec, 475 secs
lola: sara is running 480 secs || 55430800 markings, 90492220 edges, 142539 markings/sec, 480 secs
lola: sara is running 485 secs || 56157454 markings, 91376043 edges, 145331 markings/sec, 485 secs
lola: sara is running 490 secs || 56880732 markings, 92257847 edges, 144656 markings/sec, 490 secs
lola: sara is running 495 secs || 57617872 markings, 93111807 edges, 147428 markings/sec, 495 secs
lola: sara is running 500 secs || 58290544 markings, 94032843 edges, 134534 markings/sec, 500 secs
lola: sara is running 505 secs || 58847416 markings, 95003794 edges, 111374 markings/sec, 505 secs
lola: sara is running 510 secs || 59434980 markings, 95950645 edges, 117513 markings/sec, 510 secs
lola: sara is running 515 secs || 60096720 markings, 96878977 edges, 132348 markings/sec, 515 secs
lola: sara is running 520 secs || 60708938 markings, 97819922 edges, 122444 markings/sec, 520 secs
lola: sara is running 525 secs || 61307443 markings, 98770619 edges, 119701 markings/sec, 525 secs
lola: sara is running 530 secs || 61939586 markings, 99674101 edges, 126429 markings/sec, 530 secs
lola: sara is running 535 secs || 62623526 markings, 100584676 edges, 136788 markings/sec, 535 secs
lola: sara is running 540 secs || 63357823 markings, 101456338 edges, 146859 markings/sec, 540 secs
lola: sara is running 545 secs || 64083174 markings, 102350246 edges, 145070 markings/sec, 545 secs
lola: sara is running 550 secs || 64806552 markings, 103211553 edges, 144676 markings/sec, 550 secs
lola: sara is running 555 secs || 65525974 markings, 104077060 edges, 143884 markings/sec, 555 secs
lola: sara is running 560 secs || 66084850 markings, 105067016 edges, 111775 markings/sec, 560 secs
lola: sara is running 565 secs || 66640464 markings, 106029304 edges, 111123 markings/sec, 565 secs
lola: sara is running 570 secs || 67348239 markings, 106926303 edges, 141555 markings/sec, 570 secs
lola: sara is running 575 secs || 67936641 markings, 107899397 edges, 117680 markings/sec, 575 secs
lola: sara is running 580 secs || 68544684 markings, 108848692 edges, 121609 markings/sec, 580 secs
lola: sara is running 585 secs || 69175332 markings, 109768714 edges, 126130 markings/sec, 585 secs
lola: sara is running 590 secs || 69856270 markings, 110681446 edges, 136188 markings/sec, 590 secs
lola: sara is running 595 secs || 70580617 markings, 111557816 edges, 144869 markings/sec, 595 secs
lola: sara is running 600 secs || 71302312 markings, 112459448 edges, 144339 markings/sec, 600 secs
lola: sara is running 605 secs || 72014952 markings, 113325836 edges, 142528 markings/sec, 605 secs
lola: sara is running 610 secs || 72740140 markings, 114179621 edges, 145038 markings/sec, 610 secs
lola: sara is running 615 secs || 73344984 markings, 115155946 edges, 120969 markings/sec, 615 secs
lola: sara is running 620 secs || 73902968 markings, 116110502 edges, 111597 markings/sec, 620 secs
lola: sara is running 625 secs || 74547762 markings, 117017916 edges, 128959 markings/sec, 625 secs
lola: sara is running 630 secs || 75197561 markings, 117957474 edges, 129960 markings/sec, 630 secs
lola: sara is running 635 secs || 75781784 markings, 118923808 edges, 116845 markings/sec, 635 secs
lola: sara is running 640 secs || 76388701 markings, 119861779 edges, 121383 markings/sec, 640 secs
lola: sara is running 645 secs || 77036426 markings, 120772604 edges, 129545 markings/sec, 645 secs
lola: sara is running 650 secs || 77756486 markings, 121659991 edges, 144012 markings/sec, 650 secs
lola: sara is running 655 secs || 78499576 markings, 122549347 edges, 148618 markings/sec, 655 secs
lola: sara is running 660 secs || 79208838 markings, 123418445 edges, 141852 markings/sec, 660 secs
lola: sara is running 665 secs || 79954771 markings, 124262365 edges, 149187 markings/sec, 665 secs
lola: sara is running 670 secs || 80597569 markings, 125198941 edges, 128560 markings/sec, 670 secs
lola: sara is running 675 secs || 81147823 markings, 126162697 edges, 110051 markings/sec, 675 secs
lola: sara is running 680 secs || 81745726 markings, 127104404 edges, 119581 markings/sec, 680 secs
lola: sara is running 685 secs || 82398885 markings, 128040875 edges, 130632 markings/sec, 685 secs
lola: sara is running 690 secs || 83035406 markings, 128979481 edges, 127304 markings/sec, 690 secs
lola: sara is running 695 secs || 83610582 markings, 129944107 edges, 115035 markings/sec, 695 secs
lola: sara is running 700 secs || 84257760 markings, 130846417 edges, 129436 markings/sec, 700 secs
lola: sara is running 705 secs || 84952330 markings, 131750477 edges, 138914 markings/sec, 705 secs
lola: sara is running 710 secs || 85675883 markings, 132625614 edges, 144711 markings/sec, 710 secs
lola: sara is running 715 secs || 86405638 markings, 133515329 edges, 145951 markings/sec, 715 secs
lola: sara is running 720 secs || 87135774 markings, 134362637 edges, 146027 markings/sec, 720 secs
lola: sara is running 725 secs || 87835725 markings, 135252457 edges, 139990 markings/sec, 725 secs
lola: sara is running 730 secs || 88375942 markings, 136239406 edges, 108043 markings/sec, 730 secs
lola: sara is running 735 secs || 88955340 markings, 137189577 edges, 115880 markings/sec, 735 secs
lola: sara is running 740 secs || 89637934 markings, 138091242 edges, 136519 markings/sec, 740 secs
lola: sara is running 745 secs || 90231587 markings, 139051838 edges, 118731 markings/sec, 745 secs
lola: sara is running 750 secs || 90834851 markings, 140002128 edges, 120653 markings/sec, 750 secs
lola: sara is running 755 secs || 91468439 markings, 140910614 edges, 126718 markings/sec, 755 secs
lola: sara is running 760 secs || 92150682 markings, 141821106 edges, 136449 markings/sec, 760 secs
lola: sara is running 765 secs || 92893692 markings, 142684287 edges, 148602 markings/sec, 765 secs
lola: sara is running 770 secs || 93604685 markings, 143594001 edges, 142199 markings/sec, 770 secs
lola: sara is running 775 secs || 94317829 markings, 144459931 edges, 142629 markings/sec, 775 secs
lola: sara is running 780 secs || 95035840 markings, 145317894 edges, 143602 markings/sec, 780 secs
lola: sara is running 785 secs || 95628563 markings, 146299281 edges, 118545 markings/sec, 785 secs
lola: sara is running 790 secs || 96179059 markings, 147261874 edges, 110099 markings/sec, 790 secs
lola: sara is running 795 secs || 96855299 markings, 148162254 edges, 135248 markings/sec, 795 secs
lola: sara is running 800 secs || 97480564 markings, 149116517 edges, 125053 markings/sec, 800 secs
lola: sara is running 805 secs || 98067683 markings, 150076336 edges, 117424 markings/sec, 805 secs
lola: sara is running 810 secs || 98688200 markings, 151006257 edges, 124103 markings/sec, 810 secs
lola: sara is running 815 secs || 99361934 markings, 151922797 edges, 134747 markings/sec, 815 secs
lola: sara is running 820 secs || 100087077 markings, 152811278 edges, 145029 markings/sec, 820 secs
lola: sara is running 825 secs || 100822987 markings, 153709722 edges, 147182 markings/sec, 825 secs
lola: sara is running 830 secs || 101541563 markings, 154582179 edges, 143715 markings/sec, 830 secs
lola: sara is running 835 secs || 102290239 markings, 155435351 edges, 149735 markings/sec, 835 secs
lola: sara is running 840 secs || 102901522 markings, 156403886 edges, 122257 markings/sec, 840 secs
lola: sara is running 845 secs || 103461377 markings, 157362062 edges, 111971 markings/sec, 845 secs
lola: sara is running 850 secs || 104093406 markings, 158290771 edges, 126406 markings/sec, 850 secs
lola: sara is running 855 secs || 104744296 markings, 159235154 edges, 130178 markings/sec, 855 secs
lola: sara is running 860 secs || 105352005 markings, 160192753 edges, 121542 markings/sec, 860 secs
lola: sara is running 865 secs || 105950285 markings, 161147177 edges, 119656 markings/sec, 865 secs
lola: sara is running 870 secs || 106604138 markings, 162062926 edges, 130771 markings/sec, 870 secs
lola: sara is running 875 secs || 107315480 markings, 162964004 edges, 142268 markings/sec, 875 secs
lola: sara is running 880 secs || 108059844 markings, 163849871 edges, 148873 markings/sec, 880 secs
lola: sara is running 885 secs || 108778653 markings, 164730338 edges, 143762 markings/sec, 885 secs
lola: sara is running 890 secs || 109527383 markings, 165583058 edges, 149746 markings/sec, 890 secs
lola: sara is running 895 secs || 110189356 markings, 166514247 edges, 132395 markings/sec, 895 secs
lola: sara is running 900 secs || 110747304 markings, 167489179 edges, 111590 markings/sec, 900 secs
lola: sara is running 905 secs || 111342602 markings, 168442353 edges, 119060 markings/sec, 905 secs
lola: sara is running 910 secs || 111998835 markings, 169381622 edges, 131247 markings/sec, 910 secs
lola: sara is running 915 secs || 112633376 markings, 170324146 edges, 126908 markings/sec, 915 secs
lola: sara is running 920 secs || 113217243 markings, 171295463 edges, 116773 markings/sec, 920 secs
lola: sara is running 925 secs || 113867246 markings, 172201453 edges, 130001 markings/sec, 925 secs
lola: sara is running 930 secs || 114566397 markings, 173112862 edges, 139830 markings/sec, 930 secs
lola: sara is running 935 secs || 115295577 markings, 173995120 edges, 145836 markings/sec, 935 secs
lola: sara is running 940 secs || 116034322 markings, 174894108 edges, 147749 markings/sec, 940 secs
lola: sara is running 945 secs || 116772630 markings, 175750993 edges, 147662 markings/sec, 945 secs
lola: sara is running 950 secs || 117473060 markings, 176655657 edges, 140086 markings/sec, 950 secs
lola: sara is running 955 secs || 118019828 markings, 177645227 edges, 109354 markings/sec, 955 secs
lola: sara is running 960 secs || 118600293 markings, 178601029 edges, 116093 markings/sec, 960 secs
lola: sara is running 965 secs || 119285122 markings, 179518278 edges, 136966 markings/sec, 965 secs
lola: sara is running 970 secs || 119892513 markings, 180480993 edges, 121478 markings/sec, 970 secs
lola: sara is running 975 secs || 120501601 markings, 181439858 edges, 121818 markings/sec, 975 secs
lola: sara is running 980 secs || 121138049 markings, 182354485 edges, 127290 markings/sec, 980 secs
lola: sara is running 985 secs || 121826670 markings, 183272972 edges, 137724 markings/sec, 985 secs
lola: sara is running 990 secs || 122573664 markings, 184155159 edges, 149399 markings/sec, 990 secs
lola: sara is running 995 secs || 123300729 markings, 185060489 edges, 145413 markings/sec, 995 secs
lola: sara is running 1000 secs || 124026761 markings, 185927826 edges, 145206 markings/sec, 1000 secs
lola: sara is running 1005 secs || 124748584 markings, 186794791 edges, 144365 markings/sec, 1005 secs
lola: sara is running 1010 secs || 125316097 markings, 187788683 edges, 113503 markings/sec, 1010 secs
lola: sara is running 1015 secs || 125870242 markings, 188756034 edges, 110829 markings/sec, 1015 secs
lola: sara is running 1020 secs || 126576666 markings, 189651461 edges, 141285 markings/sec, 1020 secs
lola: sara is running 1025 secs || 127168585 markings, 190623914 edges, 118384 markings/sec, 1025 secs
lola: sara is running 1030 secs || 127768892 markings, 191568312 edges, 120061 markings/sec, 1030 secs
lola: sara is running 1035 secs || 128427195 markings, 192521195 edges, 131661 markings/sec, 1035 secs
lola: sara is running 1040 secs || 129133329 markings, 193466852 edges, 141227 markings/sec, 1040 secs
lola: sara is running 1045 secs || 129858259 markings, 194333999 edges, 144986 markings/sec, 1045 secs
lola: sara is running 1050 secs || 130580186 markings, 195242189 edges, 144385 markings/sec, 1050 secs
lola: sara is running 1055 secs || 131286383 markings, 196108111 edges, 141239 markings/sec, 1055 secs
lola: sara is running 1060 secs || 132011862 markings, 196962954 edges, 145096 markings/sec, 1060 secs
lola: sara is running 1065 secs || 132609292 markings, 197942758 edges, 119486 markings/sec, 1065 secs
lola: sara is running 1070 secs || 133163205 markings, 198895899 edges, 110783 markings/sec, 1070 secs
lola: sara is running 1075 secs || 133827447 markings, 199802612 edges, 132848 markings/sec, 1075 secs
lola: sara is running 1080 secs || 134464754 markings, 200749762 edges, 127461 markings/sec, 1080 secs
lola: sara is running 1085 secs || 135048203 markings, 201717994 edges, 116690 markings/sec, 1085 secs
lola: sara is running 1090 secs || 135662858 markings, 202653640 edges, 122931 markings/sec, 1090 secs
lola: sara is running 1095 secs || 136326402 markings, 203566280 edges, 132709 markings/sec, 1095 secs
lola: sara is running 1100 secs || 137050414 markings, 204454438 edges, 144802 markings/sec, 1100 secs
lola: sara is running 1105 secs || 137789302 markings, 205348044 edges, 147778 markings/sec, 1105 secs
lola: sara is running 1110 secs || 138498670 markings, 206215740 edges, 141874 markings/sec, 1110 secs
lola: sara is running 1115 secs || 139257684 markings, 207064165 edges, 151803 markings/sec, 1115 secs
lola: sara is running 1120 secs || 139879773 markings, 208021198 edges, 124418 markings/sec, 1120 secs
lola: sara is running 1125 secs || 140433226 markings, 208982223 edges, 110691 markings/sec, 1125 secs
lola: sara is running 1130 secs || 141060150 markings, 209918243 edges, 125385 markings/sec, 1130 secs
lola: sara is running 1135 secs || 141703166 markings, 210863878 edges, 128603 markings/sec, 1135 secs
lola: sara is running 1140 secs || 142327109 markings, 211808680 edges, 124789 markings/sec, 1140 secs
lola: sara is running 1145 secs || 142912967 markings, 212769717 edges, 117172 markings/sec, 1145 secs
lola: sara is running 1150 secs || 143566674 markings, 213682718 edges, 130741 markings/sec, 1150 secs
lola: sara is running 1155 secs || 144277881 markings, 214584346 edges, 142241 markings/sec, 1155 secs
lola: sara is running 1160 secs || 145003604 markings, 215467155 edges, 145145 markings/sec, 1160 secs
lola: sara is running 1165 secs || 145731952 markings, 216354365 edges, 145670 markings/sec, 1165 secs
lola: sara is running 1170 secs || 146470510 markings, 217211024 edges, 147712 markings/sec, 1170 secs
lola: sara is running 1175 secs || 147143869 markings, 218129070 edges, 134672 markings/sec, 1175 secs
lola: sara is running 1180 secs || 147698322 markings, 219099709 edges, 110891 markings/sec, 1180 secs
lola: sara is running 1185 secs || 148289105 markings, 220050145 edges, 118157 markings/sec, 1185 secs
lola: sara is running 1190 secs || 148954888 markings, 220984947 edges, 133157 markings/sec, 1190 secs
lola: sara is running 1195 secs || 149577586 markings, 221936577 edges, 124540 markings/sec, 1195 secs
lola: sara is running 1200 secs || 150177426 markings, 222898330 edges, 119968 markings/sec, 1200 secs
lola: sara is running 1205 secs || 150819145 markings, 223809142 edges, 128344 markings/sec, 1205 secs
lola: sara is running 1210 secs || 151506069 markings, 224728931 edges, 137385 markings/sec, 1210 secs
lola: sara is running 1215 secs || 152248963 markings, 225607851 edges, 148579 markings/sec, 1215 secs
lola: sara is running 1220 secs || 152983883 markings, 226508332 edges, 146984 markings/sec, 1220 secs
lola: sara is running 1225 secs || 153716084 markings, 227375750 edges, 146440 markings/sec, 1225 secs
lola: sara is running 1230 secs || 154439960 markings, 228255913 edges, 144775 markings/sec, 1230 secs
lola: sara is running 1235 secs || 154987194 markings, 229255619 edges, 109447 markings/sec, 1235 secs
lola: sara is running 1240 secs || 155569108 markings, 230213164 edges, 116383 markings/sec, 1240 secs
lola: sara is running 1245 secs || 156255464 markings, 231120162 edges, 137271 markings/sec, 1245 secs
lola: sara is running 1250 secs || 156848637 markings, 232093549 edges, 118635 markings/sec, 1250 secs
lola: sara is running 1255 secs || 157460698 markings, 233048960 edges, 122412 markings/sec, 1255 secs
lola: sara is running 1260 secs || 158097850 markings, 233967387 edges, 127430 markings/sec, 1260 secs
lola: sara is running 1265 secs || 158786201 markings, 234887540 edges, 137670 markings/sec, 1265 secs
lola: sara is running 1270 secs || 159533253 markings, 235758787 edges, 149410 markings/sec, 1270 secs
lola: sara is running 1275 secs || 160247640 markings, 236671945 edges, 142877 markings/sec, 1275 secs
lola: sara is running 1280 secs || 160964945 markings, 237542365 edges, 143461 markings/sec, 1280 secs
lola: sara is running 1285 secs || 161684405 markings, 238402474 edges, 143892 markings/sec, 1285 secs
lola: sara is running 1290 secs || 162278932 markings, 239389581 edges, 118905 markings/sec, 1290 secs
lola: sara is running 1295 secs || 162830686 markings, 240359261 edges, 110351 markings/sec, 1295 secs
lola: sara is running 1300 secs || 163517443 markings, 241261417 edges, 137351 markings/sec, 1300 secs
lola: sara is running 1305 secs || 164137438 markings, 242221416 edges, 123999 markings/sec, 1305 secs
lola: sara is running 1310 secs || 164731638 markings, 243185284 edges, 118840 markings/sec, 1310 secs
lola: sara is running 1315 secs || 165356632 markings, 244115801 edges, 124999 markings/sec, 1315 secs
lola: sara is running 1320 secs || 166031833 markings, 245030713 edges, 135040 markings/sec, 1320 secs
lola: sara is running 1325 secs || 166755637 markings, 245915330 edges, 144761 markings/sec, 1325 secs
lola: sara is running 1330 secs || 167486268 markings, 246812570 edges, 146126 markings/sec, 1330 secs
lola: sara is running 1335 secs || 168208169 markings, 247686232 edges, 144380 markings/sec, 1335 secs
lola: sara is running 1340 secs || 168947879 markings, 248540716 edges, 147942 markings/sec, 1340 secs
lola: sara is running 1345 secs || 169559213 markings, 249510350 edges, 122267 markings/sec, 1345 secs
lola: sara is running 1350 secs || 170120928 markings, 250472525 edges, 112343 markings/sec, 1350 secs
lola: sara is running 1355 secs || 170755146 markings, 251395836 edges, 126844 markings/sec, 1355 secs
lola: sara is running 1360 secs || 171407751 markings, 252335968 edges, 130521 markings/sec, 1360 secs
lola: sara is running 1365 secs || 172008618 markings, 253300949 edges, 120173 markings/sec, 1365 secs
lola: sara is running 1370 secs || 172614128 markings, 254257618 edges, 121102 markings/sec, 1370 secs
lola: sara is running 1375 secs || 173268652 markings, 255173304 edges, 130905 markings/sec, 1375 secs
lola: sara is running 1380 secs || 173981918 markings, 256068106 edges, 142653 markings/sec, 1380 secs
lola: sara is running 1385 secs || 174728218 markings, 256955900 edges, 149260 markings/sec, 1385 secs
lola: sara is running 1390 secs || 175444939 markings, 257835378 edges, 143344 markings/sec, 1390 secs
lola: sara is running 1395 secs || 176194066 markings, 258685101 edges, 149825 markings/sec, 1395 secs
lola: sara is running 1400 secs || 176847251 markings, 259622640 edges, 130637 markings/sec, 1400 secs
lola: sara is running 1405 secs || 177403641 markings, 260595525 edges, 111278 markings/sec, 1405 secs
lola: sara is running 1410 secs || 178002869 markings, 261544445 edges, 119846 markings/sec, 1410 secs
lola: sara is running 1415 secs || 178658477 markings, 262483326 edges, 131122 markings/sec, 1415 secs
lola: sara is running 1420 secs || 179293855 markings, 263421420 edges, 127076 markings/sec, 1420 secs
lola: sara is running 1425 secs || 179874882 markings, 264393114 edges, 116205 markings/sec, 1425 secs
lola: sara is running 1430 secs || 180526776 markings, 265302166 edges, 130379 markings/sec, 1430 secs
lola: sara is running 1435 secs || 181227235 markings, 266210840 edges, 140092 markings/sec, 1435 secs
lola: sara is running 1440 secs || 181956880 markings, 267095040 edges, 145929 markings/sec, 1440 secs
lola: sara is running 1445 secs || 182693033 markings, 267990705 edges, 147231 markings/sec, 1445 secs
lola: sara is running 1450 secs || 183433433 markings, 268848081 edges, 148080 markings/sec, 1450 secs
lola: sara is running 1455 secs || 184126467 markings, 269758693 edges, 138607 markings/sec, 1455 secs
lola: sara is running 1460 secs || 184673793 markings, 270746669 edges, 109465 markings/sec, 1460 secs
lola: sara is running 1465 secs || 185261636 markings, 271700685 edges, 117569 markings/sec, 1465 secs
lola: sara is running 1470 secs || 185940370 markings, 272621673 edges, 135747 markings/sec, 1470 secs
lola: sara is running 1475 secs || 186548611 markings, 273582032 edges, 121648 markings/sec, 1475 secs
lola: sara is running 1480 secs || 187158894 markings, 274537483 edges, 122057 markings/sec, 1480 secs
lola: sara is running 1485 secs || 187794025 markings, 275451025 edges, 127026 markings/sec, 1485 secs
lola: sara is running 1490 secs || 188484002 markings, 276367784 edges, 137995 markings/sec, 1490 secs
lola: sara is running 1495 secs || 189226926 markings, 277251670 edges, 148585 markings/sec, 1495 secs
lola: sara is running 1500 secs || 189957894 markings, 278156269 edges, 146194 markings/sec, 1500 secs
lola: sara is running 1505 secs || 190689214 markings, 279027002 edges, 146264 markings/sec, 1505 secs
lola: sara is running 1510 secs || 191414475 markings, 279899449 edges, 145052 markings/sec, 1510 secs
lola: sara is running 1515 secs || 191975470 markings, 280897774 edges, 112199 markings/sec, 1515 secs
lola: sara is running 1520 secs || 192539159 markings, 281863027 edges, 112738 markings/sec, 1520 secs
lola: sara is running 1525 secs || 193242076 markings, 282760879 edges, 140583 markings/sec, 1525 secs
lola: sara is running 1530 secs || 193829112 markings, 283737748 edges, 117407 markings/sec, 1530 secs
lola: sara is running 1535 secs || 194447092 markings, 284690296 edges, 123596 markings/sec, 1535 secs
lola: sara is running 1540 secs || 195081654 markings, 285614951 edges, 126912 markings/sec, 1540 secs
lola: sara is running 1545 secs || 195770945 markings, 286536562 edges, 137858 markings/sec, 1545 secs
lola: sara is running 1550 secs || 196503396 markings, 287414171 edges, 146490 markings/sec, 1550 secs
lola: sara is running 1555 secs || 197227399 markings, 288324883 edges, 144801 markings/sec, 1555 secs
lola: sara is running 1560 secs || 197939092 markings, 289196893 edges, 142339 markings/sec, 1560 secs
lola: sara is running 1565 secs || 198666951 markings, 290057871 edges, 145572 markings/sec, 1565 secs
lola: sara is running 1570 secs || 199267386 markings, 291045864 edges, 120087 markings/sec, 1570 secs
lola: sara is running 1575 secs || 199825830 markings, 292010458 edges, 111689 markings/sec, 1575 secs
lola: sara is running 1580 secs || 200498211 markings, 292920632 edges, 134476 markings/sec, 1580 secs
lola: sara is running 1585 secs || 201132451 markings, 293875766 edges, 126848 markings/sec, 1585 secs
lola: sara is running 1590 secs || 201722733 markings, 294847492 edges, 118056 markings/sec, 1590 secs
lola: sara is running 1595 secs || 202345506 markings, 295782435 edges, 124555 markings/sec, 1595 secs
lola: sara is running 1600 secs || 203018399 markings, 296699133 edges, 134579 markings/sec, 1600 secs
lola: sara is running 1605 secs || 203744216 markings, 297588700 edges, 145163 markings/sec, 1605 secs
lola: sara is running 1610 secs || 204481000 markings, 298486536 edges, 147357 markings/sec, 1610 secs
lola: sara is running 1615 secs || 205200601 markings, 299361426 edges, 143920 markings/sec, 1615 secs
lola: sara is running 1620 secs || 205953728 markings, 300216517 edges, 150625 markings/sec, 1620 secs
lola: sara is running 1625 secs || 206565607 markings, 301187099 edges, 122376 markings/sec, 1625 secs
lola: sara is running 1630 secs || 207126424 markings, 302146390 edges, 112163 markings/sec, 1630 secs
lola: sara is running 1635 secs || 207759990 markings, 303078402 edges, 126713 markings/sec, 1635 secs
lola: sara is running 1640 secs || 208413545 markings, 304025569 edges, 130711 markings/sec, 1640 secs
lola: sara is running 1645 secs || 209021388 markings, 304986186 edges, 121569 markings/sec, 1645 secs
lola: sara is running 1650 secs || 209621954 markings, 305942681 edges, 120113 markings/sec, 1650 secs
lola: sara is running 1655 secs || 210274700 markings, 306857854 edges, 130549 markings/sec, 1655 secs
lola: sara is running 1660 secs || 210987101 markings, 307758262 edges, 142480 markings/sec, 1660 secs
lola: sara is running 1665 secs || 211732034 markings, 308643777 edges, 148987 markings/sec, 1665 secs
lola: sara is running 1670 secs || 212451307 markings, 309525825 edges, 143855 markings/sec, 1670 secs
lola: sara is running 1675 secs || 213202396 markings, 310379284 edges, 150218 markings/sec, 1675 secs
lola: sara is running 1680 secs || 213862337 markings, 311314186 edges, 131988 markings/sec, 1680 secs
lola: sara is running 1685 secs || 214420023 markings, 312289714 edges, 111537 markings/sec, 1685 secs
lola: sara is running 1690 secs || 215018587 markings, 313243337 edges, 119713 markings/sec, 1690 secs
lola: sara is running 1695 secs || 215675851 markings, 314184094 edges, 131453 markings/sec, 1695 secs
lola: sara is running 1700 secs || 216313390 markings, 315126623 edges, 127508 markings/sec, 1700 secs
lola: sara is running 1705 secs || 216895991 markings, 316099200 edges, 116520 markings/sec, 1705 secs
lola: sara is running 1710 secs || 217545692 markings, 317005179 edges, 129940 markings/sec, 1710 secs
lola: sara is running 1715 secs || 218239067 markings, 317907270 edges, 138675 markings/sec, 1715 secs
lola: sara is running 1720 secs || 218979171 markings, 318803201 edges, 148021 markings/sec, 1720 secs
lola: sara is running 1725 secs || 219740936 markings, 319728297 edges, 152353 markings/sec, 1725 secs
lola: sara is running 1730 secs || 220494281 markings, 320603841 edges, 150669 markings/sec, 1730 secs
lola: sara is running 1735 secs || 221171709 markings, 321510003 edges, 135486 markings/sec, 1735 secs
lola: sara is running 1740 secs || 221703902 markings, 322468483 edges, 106439 markings/sec, 1740 secs
lola: sara is running 1745 secs || 222284454 markings, 323409150 edges, 116110 markings/sec, 1745 secs
lola: sara is running 1750 secs || 222968336 markings, 324338835 edges, 136776 markings/sec, 1750 secs
lola: sara is running 1755 secs || 223566641 markings, 325282224 edges, 119661 markings/sec, 1755 secs
lola: sara is running 1760 secs || 224173011 markings, 326233168 edges, 121274 markings/sec, 1760 secs
lola: sara is running 1765 secs || 224801873 markings, 327139332 edges, 125772 markings/sec, 1765 secs
lola: sara is running 1770 secs || 225485078 markings, 328047636 edges, 136641 markings/sec, 1770 secs
lola: sara is running 1775 secs || 226230268 markings, 328922197 edges, 149038 markings/sec, 1775 secs
lola: sara is running 1780 secs || 226947238 markings, 329822929 edges, 143394 markings/sec, 1780 secs
lola: sara is running 1785 secs || 227667474 markings, 330686692 edges, 144047 markings/sec, 1785 secs
lola: sara is running 1790 secs || 228383826 markings, 331546071 edges, 143270 markings/sec, 1790 secs
lola: sara is running 1795 secs || 228955395 markings, 332524389 edges, 114314 markings/sec, 1795 secs
lola: sara is running 1800 secs || 229499503 markings, 333486884 edges, 108822 markings/sec, 1800 secs
lola: sara is running 1805 secs || 230197639 markings, 334380516 edges, 139627 markings/sec, 1805 secs
lola: sara is running 1810 secs || 230800837 markings, 335344226 edges, 120640 markings/sec, 1810 secs
lola: sara is running 1815 secs || 231403468 markings, 336304338 edges, 120526 markings/sec, 1815 secs
lola: sara is running 1820 secs || 232028786 markings, 337229054 edges, 125064 markings/sec, 1820 secs
lola: sara is running 1825 secs || 232706809 markings, 338144545 edges, 135605 markings/sec, 1825 secs
lola: sara is running 1830 secs || 233431423 markings, 339026631 edges, 144923 markings/sec, 1830 secs
lola: sara is running 1835 secs || 234162822 markings, 339927949 edges, 146280 markings/sec, 1835 secs
lola: sara is running 1840 secs || 234875412 markings, 340800079 edges, 142518 markings/sec, 1840 secs
lola: sara is running 1845 secs || 235612595 markings, 341656985 edges, 147437 markings/sec, 1845 secs
lola: sara is running 1850 secs || 236222286 markings, 342629891 edges, 121938 markings/sec, 1850 secs
lola: sara is running 1855 secs || 236784952 markings, 343590019 edges, 112533 markings/sec, 1855 secs
lola: sara is running 1860 secs || 237426660 markings, 344511224 edges, 128342 markings/sec, 1860 secs
lola: sara is running 1865 secs || 238086232 markings, 345454712 edges, 131914 markings/sec, 1865 secs
lola: sara is running 1870 secs || 238674861 markings, 346425817 edges, 117726 markings/sec, 1870 secs
lola: sara is running 1875 secs || 239283200 markings, 347373279 edges, 121668 markings/sec, 1875 secs
lola: sara is running 1880 secs || 239936191 markings, 348289459 edges, 130598 markings/sec, 1880 secs
lola: sara is running 1885 secs || 240661773 markings, 349183385 edges, 145116 markings/sec, 1885 secs
lola: sara is running 1890 secs || 241400446 markings, 349963561 edges, 147735 markings/sec, 1890 secs
lola: sara is running 1895 secs || 242133821 markings, 350736839 edges, 146675 markings/sec, 1895 secs
lola: sara is running 1900 secs || 242859891 markings, 351506410 edges, 145214 markings/sec, 1900 secs
lola: sara is running 1905 secs || 243610347 markings, 352297783 edges, 150091 markings/sec, 1905 secs
lola: sara is running 1910 secs || 244380482 markings, 353109665 edges, 154027 markings/sec, 1910 secs
lola: sara is running 1915 secs || 245140036 markings, 353909881 edges, 151911 markings/sec, 1915 secs
lola: sara is running 1920 secs || 245863387 markings, 354672604 edges, 144670 markings/sec, 1920 secs
lola: sara is running 1925 secs || 246578915 markings, 355425618 edges, 143106 markings/sec, 1925 secs
lola: sara is running 1930 secs || 247294872 markings, 356184087 edges, 143191 markings/sec, 1930 secs
lola: sara is running 1935 secs || 248006957 markings, 356942657 edges, 142417 markings/sec, 1935 secs
lola: sara is running 1940 secs || 248707927 markings, 357701726 edges, 140194 markings/sec, 1940 secs
lola: sara is running 1945 secs || 249410625 markings, 358470521 edges, 140540 markings/sec, 1945 secs
lola: sara is running 1950 secs || 250233383 markings, 359350595 edges, 164552 markings/sec, 1950 secs
lola: sara is running 1955 secs || 250926612 markings, 360151207 edges, 138646 markings/sec, 1955 secs
lola: sara is running 1960 secs || 251642164 markings, 360963225 edges, 143110 markings/sec, 1960 secs
lola: sara is running 1965 secs || 252359746 markings, 361751482 edges, 143516 markings/sec, 1965 secs
lola: sara is running 1970 secs || 253092703 markings, 362537024 edges, 146591 markings/sec, 1970 secs
lola: sara is running 1975 secs || 253908879 markings, 363402248 edges, 163235 markings/sec, 1975 secs
lola: sara is running 1980 secs || 254650931 markings, 364223013 edges, 148410 markings/sec, 1980 secs
lola: sara is running 1985 secs || 255359610 markings, 364980896 edges, 141736 markings/sec, 1985 secs
lola: sara is running 1990 secs || 256071559 markings, 365750409 edges, 142390 markings/sec, 1990 secs
lola: sara is running 1995 secs || 256785126 markings, 366544645 edges, 142713 markings/sec, 1995 secs
lola: sara is running 2000 secs || 257563672 markings, 367362219 edges, 155709 markings/sec, 2000 secs
lola: sara is running 2005 secs || 258333652 markings, 368165704 edges, 153996 markings/sec, 2005 secs
lola: sara is running 2010 secs || 259079136 markings, 368963906 edges, 149097 markings/sec, 2010 secs
lola: sara is running 2015 secs || 259819446 markings, 369755819 edges, 148062 markings/sec, 2015 secs
lola: sara is running 2020 secs || 260606288 markings, 370580524 edges, 157368 markings/sec, 2020 secs
lola: sara is running 2025 secs || 261375238 markings, 371387186 edges, 153790 markings/sec, 2025 secs
lola: sara is running 2030 secs || 262145823 markings, 372195168 edges, 154117 markings/sec, 2030 secs
lola: sara is running 2035 secs || 262880236 markings, 372979912 edges, 146883 markings/sec, 2035 secs
lola: sara is running 2040 secs || 263653836 markings, 373787900 edges, 154720 markings/sec, 2040 secs
lola: sara is running 2045 secs || 264415093 markings, 374583443 edges, 152251 markings/sec, 2045 secs
lola: sara is running 2050 secs || 265192387 markings, 375384989 edges, 155459 markings/sec, 2050 secs
lola: sara is running 2055 secs || 265953893 markings, 376174983 edges, 152301 markings/sec, 2055 secs
lola: sara is running 2060 secs || 266711338 markings, 376959480 edges, 151489 markings/sec, 2060 secs
lola: sara is running 2065 secs || 267478386 markings, 377744172 edges, 153410 markings/sec, 2065 secs
lola: sara is running 2070 secs || 268235070 markings, 378522209 edges, 151337 markings/sec, 2070 secs
lola: sara is running 2075 secs || 268997667 markings, 379307961 edges, 152519 markings/sec, 2075 secs
lola: sara is running 2080 secs || 269753003 markings, 380085137 edges, 151067 markings/sec, 2080 secs
lola: sara is running 2085 secs || 270492374 markings, 380858900 edges, 147874 markings/sec, 2085 secs
lola: sara is running 2090 secs || 271218347 markings, 381634417 edges, 145195 markings/sec, 2090 secs
lola: sara is running 2095 secs || 271942864 markings, 382406729 edges, 144903 markings/sec, 2095 secs
lola: sara is running 2100 secs || 272663747 markings, 383172986 edges, 144177 markings/sec, 2100 secs
lola: sara is running 2105 secs || 273381686 markings, 383946299 edges, 143588 markings/sec, 2105 secs
lola: sara is running 2110 secs || 274105424 markings, 384722259 edges, 144748 markings/sec, 2110 secs
lola: sara is running 2115 secs || 274833281 markings, 385497875 edges, 145571 markings/sec, 2115 secs
lola: sara is running 2120 secs || 275554369 markings, 386272462 edges, 144218 markings/sec, 2120 secs
lola: sara is running 2125 secs || 276232170 markings, 387117635 edges, 135560 markings/sec, 2125 secs
lola: sara is running 2130 secs || 276679296 markings, 388046414 edges, 89425 markings/sec, 2130 secs
lola: sara is running 2135 secs || 277198511 markings, 388957497 edges, 103843 markings/sec, 2135 secs
lola: sara is running 2140 secs || 278027118 markings, 389883585 edges, 165721 markings/sec, 2140 secs
lola: sara is running 2145 secs || 278896519 markings, 390803830 edges, 173880 markings/sec, 2145 secs
lola: sara is running 2150 secs || 279770850 markings, 391717232 edges, 174866 markings/sec, 2150 secs
lola: sara is running 2155 secs || 280351334 markings, 392634037 edges, 116097 markings/sec, 2155 secs
lola: sara is running 2160 secs || 281213623 markings, 393547681 edges, 172458 markings/sec, 2160 secs
lola: sara is running 2165 secs || 282041093 markings, 394445771 edges, 165494 markings/sec, 2165 secs
lola: sara is running 2170 secs || 282796122 markings, 395343487 edges, 151006 markings/sec, 2170 secs
lola: sara is running 2175 secs || 283484880 markings, 396165275 edges, 137752 markings/sec, 2175 secs
lola: sara is running 2180 secs || 284045221 markings, 397067752 edges, 112068 markings/sec, 2180 secs
lola: sara is running 2185 secs || 284752857 markings, 397894803 edges, 141527 markings/sec, 2185 secs
lola: sara is running 2190 secs || 285330084 markings, 398805915 edges, 115445 markings/sec, 2190 secs
lola: sara is running 2195 secs || 285919806 markings, 399706036 edges, 117944 markings/sec, 2195 secs
lola: sara is running 2200 secs || 286539094 markings, 400566431 edges, 123858 markings/sec, 2200 secs
lola: sara is running 2205 secs || 287225455 markings, 401395906 edges, 137272 markings/sec, 2205 secs
lola: sara is running 2210 secs || 287802358 markings, 402308511 edges, 115381 markings/sec, 2210 secs
lola: sara is running 2215 secs || 288568813 markings, 403213426 edges, 153291 markings/sec, 2215 secs
lola: sara is running 2220 secs || 289190581 markings, 404092753 edges, 124354 markings/sec, 2220 secs
lola: sara is running 2225 secs || 289838904 markings, 404944949 edges, 129665 markings/sec, 2225 secs
lola: sara is running 2230 secs || 290548828 markings, 405852129 edges, 141985 markings/sec, 2230 secs
lola: sara is running 2235 secs || 291288995 markings, 406766010 edges, 148033 markings/sec, 2235 secs
lola: sara is running 2240 secs || 291926037 markings, 407640081 edges, 127408 markings/sec, 2240 secs
lola: sara is running 2245 secs || 292616128 markings, 408521964 edges, 138018 markings/sec, 2245 secs
lola: sara is running 2250 secs || 293439282 markings, 409415763 edges, 164631 markings/sec, 2250 secs
lola: sara is running 2255 secs || 294251887 markings, 410302686 edges, 162521 markings/sec, 2255 secs
lola: sara is running 2260 secs || 294879120 markings, 411201666 edges, 125447 markings/sec, 2260 secs
lola: sara is running 2265 secs || 295594820 markings, 412113813 edges, 143140 markings/sec, 2265 secs
lola: sara is running 2270 secs || 296337054 markings, 412982636 edges, 148447 markings/sec, 2270 secs
lola: sara is running 2275 secs || 297179810 markings, 413885753 edges, 168551 markings/sec, 2275 secs
lola: sara is running 2280 secs || 297993544 markings, 414780712 edges, 162747 markings/sec, 2280 secs
lola: sara is running 2285 secs || 298801021 markings, 415691442 edges, 161495 markings/sec, 2285 secs
lola: sara is running 2290 secs || 299449356 markings, 416581363 edges, 129667 markings/sec, 2290 secs
lola: sara is running 2295 secs || 300065325 markings, 417451713 edges, 123194 markings/sec, 2295 secs
lola: sara is running 2300 secs || 300717889 markings, 418210980 edges, 130513 markings/sec, 2300 secs
lola: sara is running 2305 secs || 300922400 markings, 418441881 edges, 40902 markings/sec, 2305 secs
lola: sara is running 2310 secs || 300931783 markings, 418451294 edges, 1877 markings/sec, 2310 secs
lola: sara is running 2315 secs || 300935342 markings, 418454856 edges, 712 markings/sec, 2315 secs
lola: sara is running 2320 secs || 300958760 markings, 418478968 edges, 4684 markings/sec, 2320 secs
lola: sara is running 2325 secs || 300977349 markings, 418498507 edges, 3718 markings/sec, 2325 secs
lola: sara is running 2330 secs || 300994202 markings, 418515391 edges, 3371 markings/sec, 2330 secs
lola: sara is running 2335 secs || 301004872 markings, 418526705 edges, 2134 markings/sec, 2335 secs
lola: sara is running 2340 secs || 301012989 markings, 418534853 edges, 1623 markings/sec, 2340 secs
lola: sara is running 2345 secs || 301030629 markings, 418552540 edges, 3528 markings/sec, 2345 secs
lola: sara is running 2350 secs || 301044770 markings, 418568137 edges, 2828 markings/sec, 2350 secs
lola: sara is running 2355 secs || 301060759 markings, 418584487 edges, 3198 markings/sec, 2355 secs
lola: sara is running 2360 secs || 301068427 markings, 418592322 edges, 1534 markings/sec, 2360 secs
lola: sara is running 2365 secs || 301099222 markings, 418623864 edges, 6159 markings/sec, 2365 secs
lola: sara is running 2370 secs || 301113793 markings, 418638813 edges, 2914 markings/sec, 2370 secs
lola: sara is running 2375 secs || 301113896 markings, 418638917 edges, 21 markings/sec, 2375 secs
lola: sara is running 2380 secs || 301129976 markings, 418657191 edges, 3216 markings/sec, 2380 secs
lola: sara is running 2385 secs || 301472253 markings, 419023398 edges, 68455 markings/sec, 2385 secs
lola: sara is running 2390 secs || 302334846 markings, 419936360 edges, 172519 markings/sec, 2390 secs
lola: sara is running 2395 secs || 303041588 markings, 420819379 edges, 141348 markings/sec, 2395 secs
lola: sara is running 2400 secs || 303817286 markings, 421734078 edges, 155140 markings/sec, 2400 secs
lola: sara is running 2405 secs || 304657377 markings, 422630847 edges, 168018 markings/sec, 2405 secs
lola: sara is running 2410 secs || 305264929 markings, 423372034 edges, 121510 markings/sec, 2410 secs
lola: sara is running 2415 secs || 305714794 markings, 423844051 edges, 89973 markings/sec, 2415 secs
lola: sara is running 2420 secs || 305745284 markings, 423875796 edges, 6098 markings/sec, 2420 secs
lola: sara is running 2425 secs || 305763249 markings, 423895390 edges, 3593 markings/sec, 2425 secs
lola: sara is running 2430 secs || 305790779 markings, 423924085 edges, 5506 markings/sec, 2430 secs
lola: sara is running 2435 secs || 305798755 markings, 423932217 edges, 1595 markings/sec, 2435 secs
lola: sara is running 2440 secs || 305823405 markings, 423960359 edges, 4930 markings/sec, 2440 secs
lola: sara is running 2445 secs || 305832686 markings, 423970972 edges, 1856 markings/sec, 2445 secs
lola: sara is running 2450 secs || 305843834 markings, 423982379 edges, 2230 markings/sec, 2450 secs
lola: sara is running 2455 secs || 305848745 markings, 423987696 edges, 982 markings/sec, 2455 secs
lola: sara is running 2460 secs || 305859676 markings, 423998931 edges, 2186 markings/sec, 2460 secs
lola: sara is running 2465 secs || 305865396 markings, 424004671 edges, 1144 markings/sec, 2465 secs
lola: sara is running 2470 secs || 305874279 markings, 424014015 edges, 1777 markings/sec, 2470 secs
lola: sara is running 2475 secs || 305881460 markings, 424021207 edges, 1436 markings/sec, 2475 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA DES-PT-50b-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no unknown no no no no no no no yes yes no no no no yes
lola:
preliminary result: no unknown no no no no no no no yes yes no no no no yes
lola: memory consumption: 23776 KB
lola: time consumption: 3226 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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="DES-PT-50b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="lola"
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
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-50b.tgz
mv DES-PT-50b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DES-PT-50b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-smll-152646380200278"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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
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 ;