About the Execution of LoLA for DNAwalker-PT-12ringLLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4411.390 | 3570196.00 | 6602739.00 | 7144.70 | TT?TFFT?FT?TTTFF | 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 296K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K 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 2.1K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-PT-12ringLLLarge, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735500304
=====================================================================
--------------------
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 DNAwalker-PT-12ringLLLarge-CTLCardinality-00
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-01
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-02
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-03
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-04
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-05
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-06
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-07
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-08
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-09
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-10
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-11
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-12
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-13
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-14
FORMULA_NAME DNAwalker-PT-12ringLLLarge-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526818545786
info: Time: 3600 - MCC
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating DNAwalker-PT-12ringLLLarge formula CTLCardinality into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLCardinality @ DNAwalker-PT-12ringLLLarge @ 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: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (3 <= B3)
lola: atomic prop true by contained trap!
lola: LP says that atomic proposition is always false: (2 <= B2)
lola: always true
lola: E (G ((() OR A (F ((A15 <= A11)))))) : A (X (A (F ((A23 <= 1))))) : ((A7 <= B3) AND A (F (E (F ((3 <= A23)))))) : E (G ((A19 <= A10))) : E (X (A (F ((2 <= A24))))) : A (F ((E (F (FALSE)) OR A (G ((A21 <= A25)))))) : E (X ((E (G ((1 <= A10))) AND (((1 <= A23)) OR (A24 <= 1))))) : A (G (E (X ((A18 <= 1))))) : (E (F (FALSE)) AND (A (((1 <= A7) U (A15 <= A20))) OR (2 <= A22))) : E (G (TRUE)) : NOT((A (((B2 <= B4) U (A26 <= A2))) OR E (F (((B2 <= B5) AND (3 <= A10)))))) : E (G ((E (X ((A13 <= A19))) OR E (F ((A6 <= B5)))))) : E (G (E (X (((A12 <= B4) AND (1 <= B4)))))) : E (((A5 <= A27) U E (G ((A20 <= A16))))) : (A (F (E (X ((3 <= A23))))) AND A (F (E (G ((A4 <= A26)))))) : A (G (A (F (((3 <= A17) AND (A6 <= B3))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:449
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:122
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:118
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 203 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: 24 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.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 DNAwalker-PT-12ringLLLarge-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 217 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: 24 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.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 DNAwalker-PT-12ringLLLarge-CTLCardinality-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 232 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: 24 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.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
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E (G ((1 <= A10))) AND (((1 <= A23)) OR (A24 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX((NOT(A(TRUE U (A10 <= 0))) AND (((1 <= A23)) OR (A24 <= 1))))
lola: processed formula length: 65
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 12 markings, 12 edges
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 4 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((A18 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(EX((A18 <= 1)))))
lola: processed formula length: 34
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 869357 markings, 2799327 edges, 173871 markings/sec, 0 secs
lola: 1788160 markings, 5717600 edges, 183761 markings/sec, 5 secs
lola: 2488554 markings, 8996947 edges, 140079 markings/sec, 10 secs
lola: 3188765 markings, 12468786 edges, 140042 markings/sec, 15 secs
lola: 3838458 markings, 16090816 edges, 129939 markings/sec, 20 secs
lola: 4546657 markings, 19592532 edges, 141640 markings/sec, 25 secs
lola: 5241476 markings, 22683307 edges, 138964 markings/sec, 30 secs
lola: 5908958 markings, 25670129 edges, 133496 markings/sec, 35 secs
lola: 6601020 markings, 28655648 edges, 138412 markings/sec, 40 secs
lola: 7247337 markings, 31535724 edges, 129263 markings/sec, 45 secs
lola: 7887590 markings, 34437361 edges, 128051 markings/sec, 50 secs
lola: 8515855 markings, 37292957 edges, 125653 markings/sec, 55 secs
lola: 9177603 markings, 40288940 edges, 132350 markings/sec, 60 secs
lola: 9893710 markings, 43407387 edges, 143221 markings/sec, 65 secs
lola: 10653386 markings, 46785003 edges, 151935 markings/sec, 70 secs
lola: 11252121 markings, 50205020 edges, 119747 markings/sec, 75 secs
lola: 11742274 markings, 53194061 edges, 98031 markings/sec, 80 secs
lola: 12251637 markings, 56297536 edges, 101873 markings/sec, 85 secs
lola: 12739118 markings, 59341020 edges, 97496 markings/sec, 90 secs
lola: 13268971 markings, 62637823 edges, 105971 markings/sec, 95 secs
lola: 13824400 markings, 66028079 edges, 111086 markings/sec, 100 secs
lola: 14366901 markings, 69414964 edges, 108500 markings/sec, 105 secs
lola: 14878554 markings, 72580176 edges, 102331 markings/sec, 110 secs
lola: 15383616 markings, 75673087 edges, 101012 markings/sec, 115 secs
lola: 15864528 markings, 78728702 edges, 96182 markings/sec, 120 secs
lola: 16392324 markings, 82047008 edges, 105559 markings/sec, 125 secs
lola: 16991494 markings, 85733487 edges, 119834 markings/sec, 130 secs
lola: 17422741 markings, 89126761 edges, 86249 markings/sec, 135 secs
lola: 17838032 markings, 92399512 edges, 83058 markings/sec, 140 secs
lola: 18295257 markings, 96036710 edges, 91445 markings/sec, 145 secs
lola: 19001663 markings, 99345673 edges, 141281 markings/sec, 150 secs
lola: 19690045 markings, 102285246 edges, 137676 markings/sec, 155 secs
lola: 20344579 markings, 105158731 edges, 130907 markings/sec, 160 secs
lola: 20977938 markings, 108064828 edges, 126672 markings/sec, 165 secs
lola: 21668708 markings, 111132706 edges, 138154 markings/sec, 170 secs
lola: 22455562 markings, 114603896 edges, 157371 markings/sec, 175 secs
lola: 22988270 markings, 117868316 edges, 106542 markings/sec, 180 secs
lola: 23474094 markings, 120885920 edges, 97165 markings/sec, 185 secs
lola: 24025734 markings, 124319921 edges, 110328 markings/sec, 190 secs
lola: 24603749 markings, 127821595 edges, 115603 markings/sec, 195 secs
lola: 25097721 markings, 130879401 edges, 98794 markings/sec, 200 secs
lola: 25585646 markings, 133999267 edges, 97585 markings/sec, 205 secs
lola: 26171609 markings, 137783497 edges, 117193 markings/sec, 210 secs
lola: 26602959 markings, 141248657 edges, 86270 markings/sec, 215 secs
lola: 27200907 markings, 144777634 edges, 119590 markings/sec, 220 secs
lola: 27776687 markings, 148355944 edges, 115156 markings/sec, 225 secs
lola: 28348485 markings, 151467078 edges, 114360 markings/sec, 230 secs
lola: 28980333 markings, 154598246 edges, 126370 markings/sec, 235 secs
lola: 29528405 markings, 157675510 edges, 109614 markings/sec, 240 secs
lola: 30049172 markings, 160824852 edges, 104153 markings/sec, 245 secs
lola: 30580830 markings, 163738088 edges, 106332 markings/sec, 250 secs
lola: 31154606 markings, 166565112 edges, 114755 markings/sec, 255 secs
lola: 31633557 markings, 169536455 edges, 95790 markings/sec, 260 secs
lola: 32135809 markings, 172448303 edges, 100450 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown unknown unknown unknown yes unknown no yes unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3585592 KB
lola: time consumption: 582 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((A23 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (2 <= A23)
lola: processed formula length: 10
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEG
lola: The predicate eventually occurs from all successors.
lola: 127 markings, 126 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 298 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((2 <= A24)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U (2 <= A24)))
lola: processed formula length: 24
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 271 markings, 302 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((E (X ((A13 <= A19))) OR E (F ((A6 <= B5))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(A(TRUE U (NOT(EX((A13 <= A19))) AND NOT(E(TRUE U (A6 <= B5))))))
lola: processed formula length: 68
lola: 28 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 13 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 373 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (X (((A12 <= B4) AND (1 <= B4))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(EX(((A12 <= B4) AND (1 <= B4))))))
lola: processed formula length: 51
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 20 markings, 20 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X ((3 <= A23))))) AND A (F (E (G ((A4 <= A26))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 426 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((A4 <= A26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U (A26 + 1 <= A4))))
lola: processed formula length: 40
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 14 edges
lola: ========================================
lola: subprocess 10 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((3 <= A23)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U EX((3 <= A23)))
lola: processed formula length: 24
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 13 markings, 13 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 498 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((A19 <= A10)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G ((A19 <= A10)))
lola: processed formula length: 20
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 9 markings, 9 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 597 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((3 <= A17) AND (A6 <= B3))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: ((A17 <= 2) OR (B3 + 1 <= A6))
lola: processed formula length: 31
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 11 markings, 11 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 747 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A5 <= A27) U E (G ((A20 <= A16)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((A5 <= A27) U NOT(A(TRUE U (A16 + 1 <= A20))))
lola: processed formula length: 48
lola: 27 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 13 markings, 14 edges
lola: ========================================
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 996 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A7 <= B3) AND E (F ((3 <= A23))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 996 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A7 <= B3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (A7 <= B3)
lola: processed formula length: 10
lola: 24 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1494 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A23)))
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 ((3 <= A23)))
lola: processed formula length: 18
lola: 25 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.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: (3 <= A23)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-CTLCardinality-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-CTLCardinality-14-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 362388 markings, 1005472 edges, 72478 markings/sec, 0 secs
lola: sara is running 5 secs || 740322 markings, 2124270 edges, 75587 markings/sec, 5 secs
lola: sara is running 10 secs || 1115922 markings, 3282060 edges, 75120 markings/sec, 10 secs
lola: sara is running 15 secs || 1484298 markings, 4455689 edges, 73675 markings/sec, 15 secs
lola: sara is running 20 secs || 1853544 markings, 5747360 edges, 73849 markings/sec, 20 secs
lola: sara is running 25 secs || 2236793 markings, 7102103 edges, 76650 markings/sec, 25 secs
lola: sara is running 30 secs || 2590404 markings, 8430844 edges, 70722 markings/sec, 30 secs
lola: sara is running 35 secs || 2966168 markings, 9705022 edges, 75153 markings/sec, 35 secs
lola: sara is running 40 secs || 3340103 markings, 11091235 edges, 74787 markings/sec, 40 secs
lola: sara is running 45 secs || 3723012 markings, 12736876 edges, 76582 markings/sec, 45 secs
lola: sara is running 50 secs || 4099379 markings, 14358886 edges, 75273 markings/sec, 50 secs
lola: sara is running 55 secs || 4441319 markings, 15915476 edges, 68388 markings/sec, 55 secs
lola: sara is running 60 secs || 4802866 markings, 17548923 edges, 72309 markings/sec, 60 secs
lola: sara is running 65 secs || 5160848 markings, 19170896 edges, 71596 markings/sec, 65 secs
lola: sara is running 70 secs || 5525326 markings, 20919755 edges, 72896 markings/sec, 70 secs
lola: sara is running 75 secs || 5862960 markings, 22480599 edges, 67527 markings/sec, 75 secs
lola: sara is running 80 secs || 6218245 markings, 24120859 edges, 71057 markings/sec, 80 secs
lola: sara is running 85 secs || 6570028 markings, 25738218 edges, 70357 markings/sec, 85 secs
lola: sara is running 90 secs || 6928382 markings, 27603524 edges, 71671 markings/sec, 90 secs
lola: sara is running 95 secs || 7266655 markings, 29504500 edges, 67655 markings/sec, 95 secs
lola: sara is running 100 secs || 7608442 markings, 30936230 edges, 68357 markings/sec, 100 secs
lola: sara is running 105 secs || 7975654 markings, 32197898 edges, 73442 markings/sec, 105 secs
lola: sara is running 110 secs || 8333697 markings, 33562474 edges, 71609 markings/sec, 110 secs
lola: sara is running 115 secs || 8678088 markings, 35024563 edges, 68878 markings/sec, 115 secs
lola: sara is running 120 secs || 9015484 markings, 36389998 edges, 67479 markings/sec, 120 secs
lola: sara is running 125 secs || 9359310 markings, 37715660 edges, 68765 markings/sec, 125 secs
lola: sara is running 130 secs || 9711804 markings, 39338084 edges, 70499 markings/sec, 130 secs
lola: sara is running 135 secs || 10051917 markings, 40926028 edges, 68023 markings/sec, 135 secs
lola: sara is running 140 secs || 10395610 markings, 42580953 edges, 68739 markings/sec, 140 secs
lola: sara is running 145 secs || 10721065 markings, 44235297 edges, 65091 markings/sec, 145 secs
lola: sara is running 150 secs || 11049693 markings, 45978577 edges, 65726 markings/sec, 150 secs
lola: sara is running 155 secs || 11390734 markings, 47668098 edges, 68208 markings/sec, 155 secs
lola: sara is running 160 secs || 11712282 markings, 49342387 edges, 64310 markings/sec, 160 secs
lola: sara is running 165 secs || 12041838 markings, 51245359 edges, 65911 markings/sec, 165 secs
lola: sara is running 170 secs || 12370006 markings, 52989640 edges, 65634 markings/sec, 170 secs
lola: sara is running 175 secs || 12724332 markings, 54282422 edges, 70865 markings/sec, 175 secs
lola: sara is running 180 secs || 13052779 markings, 55605248 edges, 65689 markings/sec, 180 secs
lola: sara is running 185 secs || 13387379 markings, 57080355 edges, 66920 markings/sec, 185 secs
lola: sara is running 190 secs || 13688013 markings, 58574378 edges, 60127 markings/sec, 190 secs
lola: sara is running 195 secs || 14007501 markings, 60243211 edges, 63898 markings/sec, 195 secs
lola: sara is running 200 secs || 14326536 markings, 62041488 edges, 63807 markings/sec, 200 secs
lola: sara is running 205 secs || 14680741 markings, 63486315 edges, 70841 markings/sec, 205 secs
lola: sara is running 210 secs || 15025876 markings, 64860231 edges, 69027 markings/sec, 210 secs
lola: sara is running 215 secs || 15354342 markings, 66222730 edges, 65693 markings/sec, 215 secs
lola: sara is running 220 secs || 15711606 markings, 67804278 edges, 71453 markings/sec, 220 secs
lola: sara is running 225 secs || 16042883 markings, 69460974 edges, 66255 markings/sec, 225 secs
lola: sara is running 230 secs || 16377269 markings, 71234596 edges, 66877 markings/sec, 230 secs
lola: sara is running 235 secs || 16699763 markings, 72967367 edges, 64499 markings/sec, 235 secs
lola: sara is running 240 secs || 17031204 markings, 74798975 edges, 66288 markings/sec, 240 secs
lola: sara is running 245 secs || 17380509 markings, 76244338 edges, 69861 markings/sec, 245 secs
lola: sara is running 250 secs || 17729876 markings, 77885651 edges, 69873 markings/sec, 250 secs
lola: sara is running 255 secs || 18060821 markings, 79648927 edges, 66189 markings/sec, 255 secs
lola: sara is running 260 secs || 18403895 markings, 81370108 edges, 68615 markings/sec, 260 secs
lola: sara is running 265 secs || 18752863 markings, 82972949 edges, 69794 markings/sec, 265 secs
lola: sara is running 270 secs || 19098539 markings, 84431403 edges, 69135 markings/sec, 270 secs
lola: sara is running 275 secs || 19446526 markings, 85903726 edges, 69597 markings/sec, 275 secs
lola: sara is running 280 secs || 19802628 markings, 87176644 edges, 71220 markings/sec, 280 secs
lola: sara is running 285 secs || 20153803 markings, 88411272 edges, 70235 markings/sec, 285 secs
lola: sara is running 290 secs || 20488644 markings, 90028805 edges, 66968 markings/sec, 290 secs
lola: sara is running 295 secs || 20837531 markings, 91622713 edges, 69777 markings/sec, 295 secs
lola: sara is running 300 secs || 21168261 markings, 93286637 edges, 66146 markings/sec, 300 secs
lola: sara is running 305 secs || 21500585 markings, 94890866 edges, 66465 markings/sec, 305 secs
lola: sara is running 310 secs || 21828784 markings, 96671479 edges, 65640 markings/sec, 310 secs
lola: sara is running 315 secs || 22151466 markings, 98395560 edges, 64536 markings/sec, 315 secs
lola: sara is running 320 secs || 22478021 markings, 99973788 edges, 65311 markings/sec, 320 secs
lola: sara is running 325 secs || 22800041 markings, 101835565 edges, 64404 markings/sec, 325 secs
lola: sara is running 330 secs || 23126841 markings, 103639027 edges, 65360 markings/sec, 330 secs
lola: sara is running 335 secs || 23477407 markings, 105061739 edges, 70113 markings/sec, 335 secs
lola: sara is running 340 secs || 23812639 markings, 106555217 edges, 67046 markings/sec, 340 secs
lola: sara is running 345 secs || 24161999 markings, 107842794 edges, 69872 markings/sec, 345 secs
lola: sara is running 350 secs || 24510806 markings, 109054489 edges, 69761 markings/sec, 350 secs
lola: sara is running 355 secs || 24838534 markings, 110641681 edges, 65546 markings/sec, 355 secs
lola: sara is running 360 secs || 25181637 markings, 112227477 edges, 68621 markings/sec, 360 secs
lola: sara is running 365 secs || 25505158 markings, 113920784 edges, 64704 markings/sec, 365 secs
lola: sara is running 370 secs || 25831588 markings, 115522092 edges, 65286 markings/sec, 370 secs
lola: sara is running 375 secs || 26160698 markings, 117276814 edges, 65822 markings/sec, 375 secs
lola: sara is running 380 secs || 26479306 markings, 118958590 edges, 63722 markings/sec, 380 secs
lola: sara is running 385 secs || 26798882 markings, 120681729 edges, 63915 markings/sec, 385 secs
lola: sara is running 390 secs || 27114591 markings, 122562541 edges, 63142 markings/sec, 390 secs
lola: sara is running 395 secs || 27410561 markings, 124208318 edges, 59194 markings/sec, 395 secs
lola: sara is running 400 secs || 27693456 markings, 125794101 edges, 56579 markings/sec, 400 secs
lola: sara is running 405 secs || 27985165 markings, 127319864 edges, 58342 markings/sec, 405 secs
lola: sara is running 410 secs || 28275231 markings, 128820815 edges, 58013 markings/sec, 410 secs
lola: sara is running 415 secs || 28549718 markings, 130500459 edges, 54897 markings/sec, 415 secs
lola: sara is running 420 secs || 28837594 markings, 132041795 edges, 57575 markings/sec, 420 secs
lola: sara is running 425 secs || 29122630 markings, 133511072 edges, 57007 markings/sec, 425 secs
lola: sara is running 430 secs || 29381387 markings, 135276637 edges, 51751 markings/sec, 430 secs
lola: sara is running 435 secs || 29704603 markings, 136687382 edges, 64643 markings/sec, 435 secs
lola: sara is running 440 secs || 30019524 markings, 138063613 edges, 62984 markings/sec, 440 secs
lola: sara is running 445 secs || 30320981 markings, 139457986 edges, 60291 markings/sec, 445 secs
lola: sara is running 450 secs || 30642683 markings, 140756166 edges, 64340 markings/sec, 450 secs
lola: sara is running 455 secs || 30948366 markings, 142116015 edges, 61137 markings/sec, 455 secs
lola: sara is running 460 secs || 31260765 markings, 143500316 edges, 62480 markings/sec, 460 secs
lola: sara is running 465 secs || 31564862 markings, 144852055 edges, 60819 markings/sec, 465 secs
lola: sara is running 470 secs || 31868836 markings, 146250782 edges, 60795 markings/sec, 470 secs
lola: sara is running 475 secs || 32163562 markings, 147649829 edges, 58945 markings/sec, 475 secs
lola: sara is running 480 secs || 32460036 markings, 149045770 edges, 59295 markings/sec, 480 secs
lola: sara is running 485 secs || 32806714 markings, 150449076 edges, 69336 markings/sec, 485 secs
lola: sara is running 490 secs || 33160991 markings, 151891105 edges, 70855 markings/sec, 490 secs
lola: sara is running 495 secs || 33519683 markings, 153246865 edges, 71738 markings/sec, 495 secs
lola: sara is running 500 secs || 33826479 markings, 154604012 edges, 61359 markings/sec, 500 secs
lola: sara is running 505 secs || 34108908 markings, 156002611 edges, 56486 markings/sec, 505 secs
lola: sara is running 510 secs || 34390447 markings, 157390393 edges, 56308 markings/sec, 510 secs
lola: sara is running 515 secs || 34676780 markings, 158803176 edges, 57267 markings/sec, 515 secs
lola: sara is running 520 secs || 34960899 markings, 160219183 edges, 56824 markings/sec, 520 secs
lola: sara is running 525 secs || 35281072 markings, 161596811 edges, 64035 markings/sec, 525 secs
lola: sara is running 530 secs || 35566270 markings, 163079154 edges, 57040 markings/sec, 530 secs
lola: sara is running 535 secs || 35853196 markings, 164523205 edges, 57385 markings/sec, 535 secs
lola: sara is running 540 secs || 36128477 markings, 165982544 edges, 55056 markings/sec, 540 secs
lola: sara is running 545 secs || 36403661 markings, 167500472 edges, 55037 markings/sec, 545 secs
lola: sara is running 550 secs || 36677271 markings, 169027395 edges, 54722 markings/sec, 550 secs
lola: sara is running 555 secs || 36957094 markings, 170531647 edges, 55965 markings/sec, 555 secs
lola: sara is running 560 secs || 37232957 markings, 171966644 edges, 55173 markings/sec, 560 secs
lola: sara is running 565 secs || 37500130 markings, 173474614 edges, 53435 markings/sec, 565 secs
lola: sara is running 570 secs || 37772952 markings, 174992754 edges, 54564 markings/sec, 570 secs
lola: sara is running 575 secs || 38053514 markings, 176454551 edges, 56112 markings/sec, 575 secs
lola: sara is running 580 secs || 38327316 markings, 177920421 edges, 54760 markings/sec, 580 secs
lola: sara is running 585 secs || 38608601 markings, 179337161 edges, 56257 markings/sec, 585 secs
lola: sara is running 590 secs || 38884568 markings, 180771789 edges, 55193 markings/sec, 590 secs
lola: sara is running 595 secs || 39179647 markings, 182099588 edges, 59016 markings/sec, 595 secs
lola: sara is running 600 secs || 39459872 markings, 183466041 edges, 56045 markings/sec, 600 secs
lola: sara is running 605 secs || 39731768 markings, 184891785 edges, 54379 markings/sec, 605 secs
lola: sara is running 610 secs || 40001973 markings, 186351125 edges, 54041 markings/sec, 610 secs
lola: sara is running 615 secs || 40272615 markings, 187853349 edges, 54128 markings/sec, 615 secs
lola: sara is running 620 secs || 40551124 markings, 189313436 edges, 55702 markings/sec, 620 secs
lola: sara is running 625 secs || 40836157 markings, 190725886 edges, 57007 markings/sec, 625 secs
lola: sara is running 630 secs || 41121400 markings, 192102496 edges, 57049 markings/sec, 630 secs
lola: sara is running 635 secs || 41401163 markings, 193487047 edges, 55953 markings/sec, 635 secs
lola: sara is running 640 secs || 41676492 markings, 194904780 edges, 55066 markings/sec, 640 secs
lola: sara is running 645 secs || 41950221 markings, 196336529 edges, 54746 markings/sec, 645 secs
lola: sara is running 650 secs || 42228097 markings, 197882883 edges, 55575 markings/sec, 650 secs
lola: sara is running 655 secs || 42504299 markings, 199429654 edges, 55240 markings/sec, 655 secs
lola: sara is running 660 secs || 42787162 markings, 200932982 edges, 56573 markings/sec, 660 secs
lola: sara is running 665 secs || 43068395 markings, 202457625 edges, 56247 markings/sec, 665 secs
lola: sara is running 670 secs || 43346219 markings, 203956805 edges, 55565 markings/sec, 670 secs
lola: sara is running 675 secs || 43634714 markings, 205435242 edges, 57699 markings/sec, 675 secs
lola: sara is running 680 secs || 43941332 markings, 206807057 edges, 61324 markings/sec, 680 secs
lola: sara is running 685 secs || 44243110 markings, 208139069 edges, 60356 markings/sec, 685 secs
lola: sara is running 690 secs || 44538991 markings, 209610427 edges, 59176 markings/sec, 690 secs
lola: sara is running 695 secs || 44821852 markings, 211034824 edges, 56572 markings/sec, 695 secs
lola: sara is running 700 secs || 45099363 markings, 212552647 edges, 55502 markings/sec, 700 secs
lola: sara is running 705 secs || 45422520 markings, 214130876 edges, 64631 markings/sec, 705 secs
lola: sara is running 710 secs || 45741438 markings, 215678468 edges, 63784 markings/sec, 710 secs
lola: sara is running 715 secs || 46062273 markings, 217253921 edges, 64167 markings/sec, 715 secs
lola: sara is running 720 secs || 46382778 markings, 218778378 edges, 64101 markings/sec, 720 secs
lola: sara is running 725 secs || 46698445 markings, 220433563 edges, 63133 markings/sec, 725 secs
lola: sara is running 730 secs || 47002645 markings, 222021674 edges, 60840 markings/sec, 730 secs
lola: sara is running 735 secs || 47321184 markings, 223505423 edges, 63708 markings/sec, 735 secs
lola: sara is running 740 secs || 47662172 markings, 225033311 edges, 68198 markings/sec, 740 secs
lola: sara is running 745 secs || 47942259 markings, 226499139 edges, 56017 markings/sec, 745 secs
lola: sara is running 750 secs || 48246523 markings, 228222737 edges, 60853 markings/sec, 750 secs
lola: sara is running 755 secs || 48554773 markings, 229851189 edges, 61650 markings/sec, 755 secs
lola: sara is running 760 secs || 48867558 markings, 231533956 edges, 62557 markings/sec, 760 secs
lola: sara is running 765 secs || 49209625 markings, 232961362 edges, 68413 markings/sec, 765 secs
lola: sara is running 770 secs || 49508214 markings, 234464473 edges, 59718 markings/sec, 770 secs
lola: sara is running 775 secs || 49801630 markings, 236063368 edges, 58683 markings/sec, 775 secs
lola: sara is running 780 secs || 50082897 markings, 237563051 edges, 56253 markings/sec, 780 secs
lola: sara is running 785 secs || 50373012 markings, 238896347 edges, 58023 markings/sec, 785 secs
lola: sara is running 790 secs || 50671832 markings, 240356517 edges, 59764 markings/sec, 790 secs
lola: sara is running 795 secs || 50973754 markings, 241678135 edges, 60384 markings/sec, 795 secs
lola: sara is running 800 secs || 51282980 markings, 243061076 edges, 61845 markings/sec, 800 secs
lola: sara is running 805 secs || 51585969 markings, 244549889 edges, 60598 markings/sec, 805 secs
lola: sara is running 810 secs || 51879192 markings, 246143208 edges, 58645 markings/sec, 810 secs
lola: sara is running 815 secs || 52166807 markings, 247762951 edges, 57523 markings/sec, 815 secs
lola: sara is running 820 secs || 52464473 markings, 249473303 edges, 59533 markings/sec, 820 secs
lola: sara is running 825 secs || 52760717 markings, 251176086 edges, 59249 markings/sec, 825 secs
lola: sara is running 830 secs || 53069163 markings, 252699874 edges, 61689 markings/sec, 830 secs
lola: sara is running 835 secs || 53372002 markings, 254042339 edges, 60568 markings/sec, 835 secs
lola: sara is running 840 secs || 53661076 markings, 255580887 edges, 57815 markings/sec, 840 secs
lola: sara is running 845 secs || 53934934 markings, 256972905 edges, 54772 markings/sec, 845 secs
lola: sara is running 850 secs || 54236148 markings, 258665356 edges, 60243 markings/sec, 850 secs
lola: sara is running 855 secs || 54514019 markings, 260298204 edges, 55574 markings/sec, 855 secs
lola: sara is running 860 secs || 54789356 markings, 262013902 edges, 55067 markings/sec, 860 secs
lola: sara is running 865 secs || 55069890 markings, 263713065 edges, 56107 markings/sec, 865 secs
lola: sara is running 870 secs || 55344599 markings, 265379666 edges, 54942 markings/sec, 870 secs
lola: sara is running 875 secs || 55618007 markings, 267092886 edges, 54682 markings/sec, 875 secs
lola: sara is running 880 secs || 55891100 markings, 268757540 edges, 54619 markings/sec, 880 secs
lola: sara is running 885 secs || 56166597 markings, 270409852 edges, 55099 markings/sec, 885 secs
lola: sara is running 890 secs || 56446593 markings, 272078285 edges, 55999 markings/sec, 890 secs
lola: sara is running 895 secs || 56714480 markings, 273725286 edges, 53577 markings/sec, 895 secs
lola: sara is running 900 secs || 56985193 markings, 275441322 edges, 54143 markings/sec, 900 secs
lola: sara is running 905 secs || 57264450 markings, 277141810 edges, 55851 markings/sec, 905 secs
lola: sara is running 910 secs || 57562784 markings, 278768497 edges, 59667 markings/sec, 910 secs
lola: sara is running 915 secs || 57831315 markings, 280385774 edges, 53706 markings/sec, 915 secs
lola: sara is running 920 secs || 58103048 markings, 282087247 edges, 54347 markings/sec, 920 secs
lola: sara is running 925 secs || 58374052 markings, 283735331 edges, 54201 markings/sec, 925 secs
lola: sara is running 930 secs || 58643515 markings, 285398012 edges, 53893 markings/sec, 930 secs
lola: sara is running 935 secs || 58910994 markings, 287040946 edges, 53496 markings/sec, 935 secs
lola: sara is running 940 secs || 59179271 markings, 288647224 edges, 53655 markings/sec, 940 secs
lola: sara is running 945 secs || 59480922 markings, 290313197 edges, 60330 markings/sec, 945 secs
lola: sara is running 950 secs || 59801943 markings, 292003470 edges, 64204 markings/sec, 950 secs
lola: sara is running 955 secs || 60126409 markings, 293720705 edges, 64893 markings/sec, 955 secs
lola: sara is running 960 secs || 60435953 markings, 295429194 edges, 61909 markings/sec, 960 secs
lola: sara is running 965 secs || 60729326 markings, 297081561 edges, 58675 markings/sec, 965 secs
lola: sara is running 970 secs || 61039532 markings, 298725855 edges, 62041 markings/sec, 970 secs
lola: sara is running 975 secs || 61349730 markings, 300489431 edges, 62040 markings/sec, 975 secs
lola: sara is running 980 secs || 61654432 markings, 302084958 edges, 60940 markings/sec, 980 secs
lola: sara is running 985 secs || 61956998 markings, 303813535 edges, 60513 markings/sec, 985 secs
lola: sara is running 990 secs || 62267274 markings, 305401261 edges, 62055 markings/sec, 990 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no unknown yes unknown no yes unknown yes yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no unknown yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 2211920 KB
lola: time consumption: 1578 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no unknown yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 2212112 KB
lola: time consumption: 1578 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 996 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((A21 <= A25)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:665
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (A25 + 1 <= A21)
lola: processed formula length: 16
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 13 markings, 13 edges
FORMULA DNAwalker-PT-12ringLLLarge-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1992 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((B4 + 1 <= B2) R (A2 + 1 <= A26))) AND A (G (((B5 + 1 <= B2) OR (A10 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1992 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((B5 + 1 <= B2) OR (A10 <= 2))))
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:695
lola: processed formula: A (G (((B5 + 1 <= B2) OR (A10 <= 2))))
lola: processed formula length: 39
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.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:695
lola: formula 0: ((B2 <= B5) AND (3 <= A10))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-12ringLLLarge-CTLCardinality-15-0.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-12ringLLLarge-CTLCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 448067 markings, 1221822 edges, 89613 markings/sec, 0 secs
lola: sara is running 5 secs || 868295 markings, 2688895 edges, 84046 markings/sec, 5 secs
lola: sara is running 10 secs || 1275122 markings, 4303965 edges, 81365 markings/sec, 10 secs
lola: sara is running 15 secs || 1680736 markings, 5967018 edges, 81123 markings/sec, 15 secs
lola: sara is running 20 secs || 2182389 markings, 8000190 edges, 100331 markings/sec, 20 secs
lola: sara is running 25 secs || 2652931 markings, 9614844 edges, 94108 markings/sec, 25 secs
lola: sara is running 30 secs || 3060482 markings, 11148560 edges, 81510 markings/sec, 30 secs
lola: sara is running 35 secs || 3469372 markings, 12612493 edges, 81778 markings/sec, 35 secs
lola: sara is running 40 secs || 3941117 markings, 14331111 edges, 94349 markings/sec, 40 secs
lola: sara is running 45 secs || 4295090 markings, 15735129 edges, 70795 markings/sec, 45 secs
lola: sara is running 50 secs || 4645622 markings, 17238925 edges, 70106 markings/sec, 50 secs
lola: sara is running 55 secs || 4989327 markings, 18604072 edges, 68741 markings/sec, 55 secs
lola: sara is running 60 secs || 5306611 markings, 20173993 edges, 63457 markings/sec, 60 secs
lola: sara is running 65 secs || 5632248 markings, 21646865 edges, 65127 markings/sec, 65 secs
lola: sara is running 70 secs || 5970383 markings, 22973425 edges, 67627 markings/sec, 70 secs
lola: sara is running 75 secs || 6290571 markings, 24434868 edges, 64038 markings/sec, 75 secs
lola: sara is running 80 secs || 6604826 markings, 26127125 edges, 62851 markings/sec, 80 secs
lola: sara is running 85 secs || 7044461 markings, 28135065 edges, 87927 markings/sec, 85 secs
lola: sara is running 90 secs || 7500510 markings, 29647901 edges, 91210 markings/sec, 90 secs
lola: sara is running 95 secs || 7842885 markings, 30926115 edges, 68475 markings/sec, 95 secs
lola: sara is running 100 secs || 8177346 markings, 32490970 edges, 66892 markings/sec, 100 secs
lola: sara is running 105 secs || 8499589 markings, 34118499 edges, 64449 markings/sec, 105 secs
lola: sara is running 110 secs || 8813614 markings, 35788518 edges, 62805 markings/sec, 110 secs
lola: sara is running 115 secs || 9138916 markings, 37418556 edges, 65060 markings/sec, 115 secs
lola: sara is running 120 secs || 9450797 markings, 39266294 edges, 62376 markings/sec, 120 secs
lola: sara is running 125 secs || 9981730 markings, 41518109 edges, 106187 markings/sec, 125 secs
lola: sara is running 130 secs || 10328094 markings, 42996576 edges, 69273 markings/sec, 130 secs
lola: sara is running 135 secs || 10647767 markings, 44470728 edges, 63935 markings/sec, 135 secs
lola: sara is running 140 secs || 10947808 markings, 45872915 edges, 60008 markings/sec, 140 secs
lola: sara is running 145 secs || 11268599 markings, 47384662 edges, 64158 markings/sec, 145 secs
lola: sara is running 150 secs || 11597612 markings, 48879365 edges, 65803 markings/sec, 150 secs
lola: sara is running 155 secs || 12014923 markings, 50726444 edges, 83462 markings/sec, 155 secs
lola: sara is running 160 secs || 12353902 markings, 52258590 edges, 67796 markings/sec, 160 secs
lola: sara is running 165 secs || 12702214 markings, 53605788 edges, 69662 markings/sec, 165 secs
lola: sara is running 170 secs || 13027620 markings, 55234189 edges, 65081 markings/sec, 170 secs
lola: sara is running 175 secs || 13342266 markings, 56890550 edges, 62929 markings/sec, 175 secs
lola: sara is running 180 secs || 13752120 markings, 58987591 edges, 81971 markings/sec, 180 secs
lola: sara is running 185 secs || 14100175 markings, 60466877 edges, 69611 markings/sec, 185 secs
lola: sara is running 190 secs || 14415167 markings, 62069275 edges, 62998 markings/sec, 190 secs
lola: sara is running 195 secs || 14796855 markings, 63979819 edges, 76338 markings/sec, 195 secs
lola: sara is running 200 secs || 15117146 markings, 65515384 edges, 64058 markings/sec, 200 secs
lola: sara is running 205 secs || 15469003 markings, 67328322 edges, 70371 markings/sec, 205 secs
lola: sara is running 210 secs || 15792321 markings, 68784443 edges, 64664 markings/sec, 210 secs
lola: sara is running 215 secs || 16104123 markings, 70184005 edges, 62360 markings/sec, 215 secs
lola: sara is running 220 secs || 16428283 markings, 71615667 edges, 64832 markings/sec, 220 secs
lola: sara is running 225 secs || 16726470 markings, 73273559 edges, 59637 markings/sec, 225 secs
lola: sara is running 230 secs || 17012546 markings, 74885410 edges, 57215 markings/sec, 230 secs
lola: sara is running 235 secs || 17399337 markings, 76953523 edges, 77358 markings/sec, 235 secs
lola: sara is running 240 secs || 17761325 markings, 78547548 edges, 72398 markings/sec, 240 secs
lola: sara is running 245 secs || 18058624 markings, 80098947 edges, 59460 markings/sec, 245 secs
lola: sara is running 250 secs || 18346422 markings, 81807089 edges, 57560 markings/sec, 250 secs
lola: sara is running 255 secs || 18716089 markings, 83634489 edges, 73933 markings/sec, 255 secs
lola: sara is running 260 secs || 18998478 markings, 85247480 edges, 56478 markings/sec, 260 secs
lola: sara is running 265 secs || 19274893 markings, 86961398 edges, 55283 markings/sec, 265 secs
lola: sara is running 270 secs || 19572014 markings, 88844596 edges, 59424 markings/sec, 270 secs
lola: sara is running 275 secs || 19927386 markings, 90692548 edges, 71074 markings/sec, 275 secs
lola: sara is running 280 secs || 20334847 markings, 92466857 edges, 81492 markings/sec, 280 secs
lola: sara is running 285 secs || 20718228 markings, 94023705 edges, 76676 markings/sec, 285 secs
lola: sara is running 290 secs || 21050439 markings, 95438164 edges, 66442 markings/sec, 290 secs
lola: sara is running 295 secs || 21344210 markings, 96999039 edges, 58754 markings/sec, 295 secs
lola: sara is running 300 secs || 21655911 markings, 98493841 edges, 62340 markings/sec, 300 secs
lola: sara is running 305 secs || 21954562 markings, 100037170 edges, 59730 markings/sec, 305 secs
lola: sara is running 310 secs || 22271365 markings, 101417360 edges, 63361 markings/sec, 310 secs
lola: sara is running 315 secs || 22577489 markings, 102789822 edges, 61225 markings/sec, 315 secs
lola: sara is running 320 secs || 22874505 markings, 104379884 edges, 59403 markings/sec, 320 secs
lola: sara is running 325 secs || 23148304 markings, 106070580 edges, 54760 markings/sec, 325 secs
lola: sara is running 330 secs || 23613092 markings, 108034807 edges, 92958 markings/sec, 330 secs
lola: sara is running 335 secs || 23999747 markings, 109708661 edges, 77331 markings/sec, 335 secs
lola: sara is running 340 secs || 24366956 markings, 111393187 edges, 73442 markings/sec, 340 secs
lola: sara is running 345 secs || 24696724 markings, 113085082 edges, 65954 markings/sec, 345 secs
lola: sara is running 350 secs || 25009510 markings, 114801645 edges, 62557 markings/sec, 350 secs
lola: sara is running 355 secs || 25329860 markings, 116513922 edges, 64070 markings/sec, 355 secs
lola: sara is running 360 secs || 25642177 markings, 118116152 edges, 62463 markings/sec, 360 secs
lola: sara is running 365 secs || 25933329 markings, 119704608 edges, 58230 markings/sec, 365 secs
lola: sara is running 370 secs || 26261137 markings, 121500636 edges, 65562 markings/sec, 370 secs
lola: sara is running 375 secs || 26549306 markings, 123099636 edges, 57634 markings/sec, 375 secs
lola: sara is running 380 secs || 26862645 markings, 124887647 edges, 62668 markings/sec, 380 secs
lola: sara is running 385 secs || 27147959 markings, 126487828 edges, 57063 markings/sec, 385 secs
lola: sara is running 390 secs || 27452795 markings, 128092581 edges, 60967 markings/sec, 390 secs
lola: sara is running 395 secs || 27751733 markings, 129499845 edges, 59788 markings/sec, 395 secs
lola: sara is running 400 secs || 28037717 markings, 131122947 edges, 57197 markings/sec, 400 secs
lola: sara is running 405 secs || 28292170 markings, 132751322 edges, 50891 markings/sec, 405 secs
lola: sara is running 410 secs || 28583412 markings, 134281842 edges, 58248 markings/sec, 410 secs
lola: sara is running 415 secs || 28848124 markings, 135702427 edges, 52942 markings/sec, 415 secs
lola: sara is running 420 secs || 29176129 markings, 137403468 edges, 65601 markings/sec, 420 secs
lola: sara is running 425 secs || 29533716 markings, 139059311 edges, 71517 markings/sec, 425 secs
lola: sara is running 430 secs || 29822733 markings, 140545790 edges, 57803 markings/sec, 430 secs
lola: sara is running 435 secs || 30123381 markings, 142178515 edges, 60130 markings/sec, 435 secs
lola: sara is running 440 secs || 30433980 markings, 143788949 edges, 62120 markings/sec, 440 secs
lola: sara is running 445 secs || 30743317 markings, 145259217 edges, 61867 markings/sec, 445 secs
lola: sara is running 450 secs || 31060108 markings, 146696655 edges, 63358 markings/sec, 450 secs
lola: sara is running 455 secs || 31358728 markings, 148191300 edges, 59724 markings/sec, 455 secs
lola: sara is running 460 secs || 31660382 markings, 149744117 edges, 60331 markings/sec, 460 secs
lola: sara is running 465 secs || 31961810 markings, 151156269 edges, 60286 markings/sec, 465 secs
lola: sara is running 470 secs || 32232197 markings, 152698715 edges, 54077 markings/sec, 470 secs
lola: sara is running 475 secs || 32518954 markings, 154428038 edges, 57351 markings/sec, 475 secs
lola: sara is running 480 secs || 32807105 markings, 156113702 edges, 57630 markings/sec, 480 secs
lola: sara is running 485 secs || 33092609 markings, 157859943 edges, 57101 markings/sec, 485 secs
lola: sara is running 490 secs || 33370782 markings, 159634389 edges, 55635 markings/sec, 490 secs
lola: sara is running 495 secs || 33731710 markings, 161639125 edges, 72186 markings/sec, 495 secs
lola: sara is running 500 secs || 34256326 markings, 163794001 edges, 104923 markings/sec, 500 secs
lola: sara is running 505 secs || 34709514 markings, 165902533 edges, 90638 markings/sec, 505 secs
lola: sara is running 510 secs || 35021011 markings, 167532477 edges, 62299 markings/sec, 510 secs
lola: sara is running 515 secs || 35301128 markings, 169072610 edges, 56023 markings/sec, 515 secs
lola: sara is running 520 secs || 35595414 markings, 170656747 edges, 58857 markings/sec, 520 secs
lola: sara is running 525 secs || 35893833 markings, 172209205 edges, 59684 markings/sec, 525 secs
lola: sara is running 530 secs || 36206349 markings, 173576198 edges, 62503 markings/sec, 530 secs
lola: sara is running 535 secs || 36492242 markings, 175255814 edges, 57179 markings/sec, 535 secs
lola: sara is running 540 secs || 36779871 markings, 177004585 edges, 57526 markings/sec, 540 secs
lola: sara is running 545 secs || 37062573 markings, 178807265 edges, 56540 markings/sec, 545 secs
lola: sara is running 550 secs || 37552113 markings, 180950799 edges, 97908 markings/sec, 550 secs
lola: sara is running 555 secs || 37949801 markings, 182870142 edges, 79538 markings/sec, 555 secs
lola: sara is running 560 secs || 38257198 markings, 184505626 edges, 61479 markings/sec, 560 secs
lola: sara is running 565 secs || 38554753 markings, 186128946 edges, 59511 markings/sec, 565 secs
lola: sara is running 570 secs || 38862192 markings, 187706878 edges, 61488 markings/sec, 570 secs
lola: sara is running 575 secs || 39176499 markings, 189081193 edges, 62861 markings/sec, 575 secs
lola: sara is running 580 secs || 39465763 markings, 190640619 edges, 57853 markings/sec, 580 secs
lola: sara is running 585 secs || 39753862 markings, 192316751 edges, 57620 markings/sec, 585 secs
lola: sara is running 590 secs || 40067468 markings, 194160989 edges, 62721 markings/sec, 590 secs
lola: sara is running 595 secs || 40533852 markings, 196227501 edges, 93277 markings/sec, 595 secs
lola: sara is running 600 secs || 40813484 markings, 197799119 edges, 55926 markings/sec, 600 secs
lola: sara is running 605 secs || 41121003 markings, 199691601 edges, 61504 markings/sec, 605 secs
lola: sara is running 610 secs || 41405537 markings, 201551325 edges, 56907 markings/sec, 610 secs
lola: sara is running 615 secs || 41695062 markings, 203318181 edges, 57905 markings/sec, 615 secs
lola: sara is running 620 secs || 41960784 markings, 204904510 edges, 53144 markings/sec, 620 secs
lola: sara is running 625 secs || 42244849 markings, 206902137 edges, 56813 markings/sec, 625 secs
lola: sara is running 630 secs || 42522374 markings, 208627604 edges, 55505 markings/sec, 630 secs
lola: sara is running 635 secs || 42810793 markings, 210456337 edges, 57684 markings/sec, 635 secs
lola: sara is running 640 secs || 43074988 markings, 212253942 edges, 52839 markings/sec, 640 secs
lola: sara is running 645 secs || 43369367 markings, 214059192 edges, 58876 markings/sec, 645 secs
lola: sara is running 650 secs || 43659571 markings, 215886544 edges, 58041 markings/sec, 650 secs
lola: sara is running 655 secs || 43934284 markings, 217681835 edges, 54943 markings/sec, 655 secs
lola: sara is running 660 secs || 44213887 markings, 219517301 edges, 55921 markings/sec, 660 secs
lola: sara is running 665 secs || 44494886 markings, 221206740 edges, 56200 markings/sec, 665 secs
lola: sara is running 670 secs || 44748503 markings, 223018826 edges, 50723 markings/sec, 670 secs
lola: sara is running 675 secs || 45043873 markings, 224540119 edges, 59074 markings/sec, 675 secs
lola: sara is running 680 secs || 45316134 markings, 226148568 edges, 54452 markings/sec, 680 secs
lola: sara is running 685 secs || 45596088 markings, 227767160 edges, 55991 markings/sec, 685 secs
lola: sara is running 690 secs || 45861894 markings, 229389067 edges, 53161 markings/sec, 690 secs
lola: sara is running 695 secs || 46128399 markings, 231010936 edges, 53301 markings/sec, 695 secs
lola: sara is running 700 secs || 46415894 markings, 232390422 edges, 57499 markings/sec, 700 secs
lola: sara is running 705 secs || 46683506 markings, 233923848 edges, 53522 markings/sec, 705 secs
lola: sara is running 710 secs || 46938262 markings, 235663707 edges, 50951 markings/sec, 710 secs
lola: sara is running 715 secs || 47304769 markings, 237642874 edges, 73301 markings/sec, 715 secs
lola: sara is running 720 secs || 47731426 markings, 239399978 edges, 85331 markings/sec, 720 secs
lola: sara is running 725 secs || 48052610 markings, 240812004 edges, 64237 markings/sec, 725 secs
lola: sara is running 730 secs || 48363832 markings, 242254747 edges, 62244 markings/sec, 730 secs
lola: sara is running 735 secs || 48654644 markings, 243933902 edges, 58162 markings/sec, 735 secs
lola: sara is running 740 secs || 49029836 markings, 245762797 edges, 75038 markings/sec, 740 secs
lola: sara is running 745 secs || 49364903 markings, 247695321 edges, 67013 markings/sec, 745 secs
lola: sara is running 750 secs || 49662480 markings, 249483435 edges, 59515 markings/sec, 750 secs
lola: sara is running 755 secs || 50043165 markings, 250875868 edges, 76137 markings/sec, 755 secs
lola: sara is running 760 secs || 50396341 markings, 252171866 edges, 70635 markings/sec, 760 secs
lola: sara is running 765 secs || 50758068 markings, 253720337 edges, 72345 markings/sec, 765 secs
lola: sara is running 770 secs || 51103689 markings, 255330006 edges, 69124 markings/sec, 770 secs
lola: sara is running 775 secs || 51431229 markings, 257080762 edges, 65508 markings/sec, 775 secs
lola: sara is running 780 secs || 51749178 markings, 258530162 edges, 63590 markings/sec, 780 secs
lola: sara is running 785 secs || 52075361 markings, 260368197 edges, 65237 markings/sec, 785 secs
lola: sara is running 790 secs || 52643234 markings, 262561272 edges, 113575 markings/sec, 790 secs
lola: sara is running 795 secs || 52993086 markings, 264000947 edges, 69970 markings/sec, 795 secs
lola: sara is running 800 secs || 53356478 markings, 265511696 edges, 72678 markings/sec, 800 secs
lola: sara is running 805 secs || 53687578 markings, 267067004 edges, 66220 markings/sec, 805 secs
lola: sara is running 810 secs || 54058839 markings, 268494983 edges, 74252 markings/sec, 810 secs
lola: sara is running 815 secs || 54385804 markings, 270068139 edges, 65393 markings/sec, 815 secs
lola: sara is running 820 secs || 54800706 markings, 271831184 edges, 82980 markings/sec, 820 secs
lola: sara is running 825 secs || 55133840 markings, 273268561 edges, 66627 markings/sec, 825 secs
lola: sara is running 830 secs || 55447359 markings, 274634878 edges, 62704 markings/sec, 830 secs
lola: sara is running 835 secs || 55749751 markings, 276311432 edges, 60478 markings/sec, 835 secs
lola: sara is running 840 secs || 56042342 markings, 278035004 edges, 58518 markings/sec, 840 secs
lola: sara is running 845 secs || 56464318 markings, 280144629 edges, 84395 markings/sec, 845 secs
lola: sara is running 850 secs || 56793710 markings, 281657843 edges, 65878 markings/sec, 850 secs
lola: sara is running 855 secs || 57087024 markings, 283223859 edges, 58663 markings/sec, 855 secs
lola: sara is running 860 secs || 57443766 markings, 285139363 edges, 71348 markings/sec, 860 secs
lola: sara is running 865 secs || 57771615 markings, 286722219 edges, 65570 markings/sec, 865 secs
lola: sara is running 870 secs || 58112873 markings, 288584906 edges, 68252 markings/sec, 870 secs
lola: sara is running 875 secs || 58430305 markings, 290118572 edges, 63486 markings/sec, 875 secs
lola: sara is running 880 secs || 58725083 markings, 291637810 edges, 58956 markings/sec, 880 secs
lola: sara is running 885 secs || 59029179 markings, 292979220 edges, 60819 markings/sec, 885 secs
lola: sara is running 890 secs || 59321347 markings, 294647029 edges, 58434 markings/sec, 890 secs
lola: sara is running 895 secs || 59605282 markings, 296262842 edges, 56787 markings/sec, 895 secs
lola: sara is running 900 secs || 59877143 markings, 298070936 edges, 54372 markings/sec, 900 secs
lola: sara is running 905 secs || 60304412 markings, 300157256 edges, 85454 markings/sec, 905 secs
lola: sara is running 910 secs || 60625188 markings, 301638336 edges, 64155 markings/sec, 910 secs
lola: sara is running 915 secs || 60909774 markings, 303243687 edges, 56917 markings/sec, 915 secs
lola: sara is running 920 secs || 61185138 markings, 304947099 edges, 55073 markings/sec, 920 secs
lola: sara is running 925 secs || 61560978 markings, 306821940 edges, 75168 markings/sec, 925 secs
lola: sara is running 930 secs || 61838082 markings, 308428608 edges, 55421 markings/sec, 930 secs
lola: sara is running 935 secs || 62111832 markings, 310177092 edges, 54750 markings/sec, 935 secs
lola: sara is running 940 secs || 62432074 markings, 312058451 edges, 64048 markings/sec, 940 secs
lola: sara is running 945 secs || 62784446 markings, 313943211 edges, 70474 markings/sec, 945 secs
lola: sara is running 950 secs || 63053460 markings, 315768097 edges, 53803 markings/sec, 950 secs
lola: sara is running 955 secs || 63376967 markings, 317717133 edges, 64701 markings/sec, 955 secs
lola: sara is running 960 secs || 63686988 markings, 319507863 edges, 62004 markings/sec, 960 secs
lola: sara is running 965 secs || 64004075 markings, 321094160 edges, 63417 markings/sec, 965 secs
lola: sara is running 970 secs || 64364996 markings, 322744346 edges, 72184 markings/sec, 970 secs
lola: sara is running 975 secs || 64693544 markings, 324495683 edges, 65710 markings/sec, 975 secs
lola: sara is running 980 secs || 64984351 markings, 326182203 edges, 58161 markings/sec, 980 secs
lola: sara is running 985 secs || 65305731 markings, 327968786 edges, 64276 markings/sec, 985 secs
lola: sara is running 990 secs || 65635026 markings, 329691611 edges, 65859 markings/sec, 990 secs
lola: sara is running 995 secs || 65930106 markings, 331260845 edges, 59016 markings/sec, 995 secs
lola: sara is running 1000 secs || 66250812 markings, 333124404 edges, 64141 markings/sec, 1000 secs
lola: sara is running 1005 secs || 66554618 markings, 334777641 edges, 60761 markings/sec, 1005 secs
lola: sara is running 1010 secs || 66816558 markings, 336496948 edges, 52388 markings/sec, 1010 secs
lola: sara is running 1015 secs || 67163420 markings, 338311171 edges, 69372 markings/sec, 1015 secs
lola: sara is running 1020 secs || 67450144 markings, 339960717 edges, 57345 markings/sec, 1020 secs
lola: sara is running 1025 secs || 67769677 markings, 341491024 edges, 63907 markings/sec, 1025 secs
lola: sara is running 1030 secs || 68062066 markings, 343053873 edges, 58478 markings/sec, 1030 secs
lola: sara is running 1035 secs || 68322737 markings, 344698781 edges, 52134 markings/sec, 1035 secs
lola: sara is running 1040 secs || 68589571 markings, 346365147 edges, 53367 markings/sec, 1040 secs
lola: sara is running 1045 secs || 68866728 markings, 347947218 edges, 55431 markings/sec, 1045 secs
lola: sara is running 1050 secs || 69148686 markings, 349481119 edges, 56392 markings/sec, 1050 secs
lola: sara is running 1055 secs || 69525917 markings, 351375000 edges, 75446 markings/sec, 1055 secs
lola: sara is running 1060 secs || 69827982 markings, 353181092 edges, 60413 markings/sec, 1060 secs
lola: sara is running 1065 secs || 70098161 markings, 354893020 edges, 54036 markings/sec, 1065 secs
lola: sara is running 1070 secs || 70351375 markings, 356768438 edges, 50643 markings/sec, 1070 secs
lola: sara is running 1075 secs || 70702669 markings, 358799580 edges, 70259 markings/sec, 1075 secs
lola: sara is running 1080 secs || 70966892 markings, 360567543 edges, 52845 markings/sec, 1080 secs
lola: sara is running 1085 secs || 71283499 markings, 362538987 edges, 63321 markings/sec, 1085 secs
lola: sara is running 1090 secs || 71551376 markings, 364295339 edges, 53575 markings/sec, 1090 secs
lola: sara is running 1095 secs || 71877801 markings, 366080748 edges, 65285 markings/sec, 1095 secs
lola: sara is running 1100 secs || 72192912 markings, 367539186 edges, 63022 markings/sec, 1100 secs
lola: sara is running 1105 secs || 72493510 markings, 369054502 edges, 60120 markings/sec, 1105 secs
lola: sara is running 1110 secs || 72766140 markings, 370651173 edges, 54526 markings/sec, 1110 secs
lola: sara is running 1115 secs || 73044392 markings, 372291804 edges, 55650 markings/sec, 1115 secs
lola: sara is running 1120 secs || 73342246 markings, 373806591 edges, 59571 markings/sec, 1120 secs
lola: sara is running 1125 secs || 73620002 markings, 375374479 edges, 55551 markings/sec, 1125 secs
lola: sara is running 1130 secs || 73892926 markings, 376987192 edges, 54585 markings/sec, 1130 secs
lola: sara is running 1135 secs || 74183915 markings, 378493300 edges, 58198 markings/sec, 1135 secs
lola: sara is running 1140 secs || 74493073 markings, 379865982 edges, 61832 markings/sec, 1140 secs
lola: sara is running 1145 secs || 74782785 markings, 381293016 edges, 57942 markings/sec, 1145 secs
lola: sara is running 1150 secs || 75067252 markings, 382973037 edges, 56893 markings/sec, 1150 secs
lola: sara is running 1155 secs || 75337996 markings, 384684138 edges, 54149 markings/sec, 1155 secs
lola: sara is running 1160 secs || 75785501 markings, 386717626 edges, 89501 markings/sec, 1160 secs
lola: sara is running 1165 secs || 76246352 markings, 388804788 edges, 92170 markings/sec, 1165 secs
lola: sara is running 1170 secs || 76585764 markings, 390272294 edges, 67882 markings/sec, 1170 secs
lola: sara is running 1175 secs || 76922368 markings, 391446636 edges, 67321 markings/sec, 1175 secs
lola: sara is running 1180 secs || 77247711 markings, 393030994 edges, 65069 markings/sec, 1180 secs
lola: sara is running 1185 secs || 77560404 markings, 394562196 edges, 62539 markings/sec, 1185 secs
lola: sara is running 1190 secs || 77869237 markings, 396136758 edges, 61767 markings/sec, 1190 secs
lola: sara is running 1195 secs || 78161804 markings, 397926394 edges, 58513 markings/sec, 1195 secs
lola: sara is running 1200 secs || 78473361 markings, 399487309 edges, 62311 markings/sec, 1200 secs
lola: sara is running 1205 secs || 78766966 markings, 401285259 edges, 58721 markings/sec, 1205 secs
lola: sara is running 1210 secs || 79222665 markings, 403422265 edges, 91140 markings/sec, 1210 secs
lola: sara is running 1215 secs || 79640850 markings, 404998448 edges, 83637 markings/sec, 1215 secs
lola: sara is running 1220 secs || 79957126 markings, 406490715 edges, 63255 markings/sec, 1220 secs
lola: sara is running 1225 secs || 80253913 markings, 408123339 edges, 59357 markings/sec, 1225 secs
lola: sara is running 1230 secs || 80550419 markings, 409796176 edges, 59301 markings/sec, 1230 secs
lola: sara is running 1235 secs || 80955997 markings, 411829265 edges, 81116 markings/sec, 1235 secs
lola: sara is running 1240 secs || 81288316 markings, 413323982 edges, 66464 markings/sec, 1240 secs
lola: sara is running 1245 secs || 81597092 markings, 414870633 edges, 61755 markings/sec, 1245 secs
lola: sara is running 1250 secs || 81972298 markings, 416780055 edges, 75041 markings/sec, 1250 secs
lola: sara is running 1255 secs || 82267179 markings, 418295930 edges, 58976 markings/sec, 1255 secs
lola: sara is running 1260 secs || 82539891 markings, 419965035 edges, 54542 markings/sec, 1260 secs
lola: sara is running 1265 secs || 82803553 markings, 421821330 edges, 52732 markings/sec, 1265 secs
lola: sara is running 1270 secs || 83090233 markings, 423660477 edges, 57336 markings/sec, 1270 secs
lola: sara is running 1275 secs || 83367406 markings, 425410902 edges, 55435 markings/sec, 1275 secs
lola: sara is running 1280 secs || 83635770 markings, 426991603 edges, 53673 markings/sec, 1280 secs
lola: sara is running 1285 secs || 83932857 markings, 428443605 edges, 59417 markings/sec, 1285 secs
lola: sara is running 1290 secs || 84282240 markings, 430188676 edges, 69877 markings/sec, 1290 secs
lola: sara is running 1295 secs || 84563869 markings, 431653298 edges, 56326 markings/sec, 1295 secs
lola: sara is running 1300 secs || 84886816 markings, 433395145 edges, 64589 markings/sec, 1300 secs
lola: sara is running 1305 secs || 85195316 markings, 435183517 edges, 61700 markings/sec, 1305 secs
lola: sara is running 1310 secs || 85496114 markings, 436988838 edges, 60160 markings/sec, 1310 secs
lola: sara is running 1315 secs || 85791588 markings, 438605961 edges, 59095 markings/sec, 1315 secs
lola: sara is running 1320 secs || 86113966 markings, 440293430 edges, 64476 markings/sec, 1320 secs
lola: sara is running 1325 secs || 86393428 markings, 441929278 edges, 55892 markings/sec, 1325 secs
lola: sara is running 1330 secs || 86711647 markings, 443768870 edges, 63644 markings/sec, 1330 secs
lola: sara is running 1335 secs || 87008231 markings, 445400055 edges, 59317 markings/sec, 1335 secs
lola: sara is running 1340 secs || 87264803 markings, 447093425 edges, 51314 markings/sec, 1340 secs
lola: sara is running 1345 secs || 87602899 markings, 448989134 edges, 67619 markings/sec, 1345 secs
lola: sara is running 1350 secs || 87878678 markings, 450639577 edges, 55156 markings/sec, 1350 secs
lola: sara is running 1355 secs || 88158463 markings, 452307341 edges, 55957 markings/sec, 1355 secs
lola: sara is running 1360 secs || 88477789 markings, 453797404 edges, 63865 markings/sec, 1360 secs
lola: sara is running 1365 secs || 88759631 markings, 455395353 edges, 56368 markings/sec, 1365 secs
lola: sara is running 1370 secs || 89006858 markings, 456936376 edges, 49445 markings/sec, 1370 secs
lola: sara is running 1375 secs || 89272020 markings, 458633805 edges, 53032 markings/sec, 1375 secs
lola: sara is running 1380 secs || 89547924 markings, 460197844 edges, 55181 markings/sec, 1380 secs
lola: sara is running 1385 secs || 89822247 markings, 461780722 edges, 54865 markings/sec, 1385 secs
lola: sara is running 1390 secs || 90089120 markings, 463340006 edges, 53375 markings/sec, 1390 secs
lola: sara is running 1395 secs || 90491348 markings, 465321729 edges, 80446 markings/sec, 1395 secs
lola: sara is running 1400 secs || 90801416 markings, 467267088 edges, 62014 markings/sec, 1400 secs
lola: sara is running 1405 secs || 91124791 markings, 468745585 edges, 64675 markings/sec, 1405 secs
lola: sara is running 1410 secs || 91427075 markings, 470080093 edges, 60457 markings/sec, 1410 secs
lola: sara is running 1415 secs || 91712910 markings, 471758099 edges, 57167 markings/sec, 1415 secs
lola: sara is running 1420 secs || 91994970 markings, 473472571 edges, 56412 markings/sec, 1420 secs
lola: sara is running 1425 secs || 92360222 markings, 475522625 edges, 73050 markings/sec, 1425 secs
lola: sara is running 1430 secs || 92734639 markings, 477160283 edges, 74883 markings/sec, 1430 secs
lola: sara is running 1435 secs || 93013562 markings, 478747652 edges, 55785 markings/sec, 1435 secs
lola: sara is running 1440 secs || 93296881 markings, 480546004 edges, 56664 markings/sec, 1440 secs
lola: sara is running 1445 secs || 93672291 markings, 482311313 edges, 75082 markings/sec, 1445 secs
lola: sara is running 1450 secs || 93937000 markings, 483979737 edges, 52942 markings/sec, 1450 secs
lola: sara is running 1455 secs || 94294043 markings, 485673348 edges, 71409 markings/sec, 1455 secs
lola: sara is running 1460 secs || 94569477 markings, 487203085 edges, 55087 markings/sec, 1460 secs
lola: sara is running 1465 secs || 94852325 markings, 488579754 edges, 56570 markings/sec, 1465 secs
lola: sara is running 1470 secs || 95113852 markings, 490261969 edges, 52305 markings/sec, 1470 secs
lola: sara is running 1475 secs || 95375787 markings, 491926074 edges, 52387 markings/sec, 1475 secs
lola: sara is running 1480 secs || 95629302 markings, 493771506 edges, 50703 markings/sec, 1480 secs
lola: sara is running 1485 secs || 96062599 markings, 495828972 edges, 86659 markings/sec, 1485 secs
lola: sara is running 1490 secs || 96367619 markings, 497331210 edges, 61004 markings/sec, 1490 secs
lola: sara is running 1495 secs || 96624454 markings, 498929819 edges, 51367 markings/sec, 1495 secs
lola: sara is running 1500 secs || 96876880 markings, 500691811 edges, 50485 markings/sec, 1500 secs
lola: sara is running 1505 secs || 97242715 markings, 502501661 edges, 73167 markings/sec, 1505 secs
lola: sara is running 1510 secs || 97508963 markings, 504112847 edges, 53250 markings/sec, 1510 secs
lola: sara is running 1515 secs || 97767986 markings, 505935637 edges, 51805 markings/sec, 1515 secs
lola: sara is running 1520 secs || 98056541 markings, 507714349 edges, 57711 markings/sec, 1520 secs
lola: sara is running 1525 secs || 98336766 markings, 509628369 edges, 56045 markings/sec, 1525 secs
lola: sara is running 1530 secs || 98619078 markings, 511417725 edges, 56462 markings/sec, 1530 secs
lola: sara is running 1535 secs || 98962882 markings, 512994736 edges, 68761 markings/sec, 1535 secs
lola: sara is running 1540 secs || 99276606 markings, 514765528 edges, 62745 markings/sec, 1540 secs
lola: sara is running 1545 secs || 99642564 markings, 516403574 edges, 73192 markings/sec, 1545 secs
lola: sara is running 1550 secs || 99959377 markings, 517990082 edges, 63363 markings/sec, 1550 secs
lola: sara is running 1555 secs || 100303352 markings, 519804382 edges, 68795 markings/sec, 1555 secs
lola: sara is running 1560 secs || 100595886 markings, 521415137 edges, 58507 markings/sec, 1560 secs
lola: sara is running 1565 secs || 100933489 markings, 523186592 edges, 67521 markings/sec, 1565 secs
lola: sara is running 1570 secs || 101242918 markings, 524981016 edges, 61886 markings/sec, 1570 secs
lola: sara is running 1575 secs || 101541462 markings, 526784464 edges, 59709 markings/sec, 1575 secs
lola: sara is running 1580 secs || 101866669 markings, 528448810 edges, 65041 markings/sec, 1580 secs
lola: sara is running 1585 secs || 102209142 markings, 530163064 edges, 68495 markings/sec, 1585 secs
lola: sara is running 1590 secs || 102522745 markings, 531734895 edges, 62721 markings/sec, 1590 secs
lola: sara is running 1595 secs || 102810718 markings, 533442599 edges, 57595 markings/sec, 1595 secs
lola: sara is running 1600 secs || 103135922 markings, 535274360 edges, 65041 markings/sec, 1600 secs
lola: sara is running 1605 secs || 103446576 markings, 536990938 edges, 62131 markings/sec, 1605 secs
lola: sara is running 1610 secs || 103754610 markings, 538516200 edges, 61607 markings/sec, 1610 secs
lola: sara is running 1615 secs || 104035380 markings, 540168339 edges, 56154 markings/sec, 1615 secs
lola: sara is running 1620 secs || 104340932 markings, 542021359 edges, 61110 markings/sec, 1620 secs
lola: sara is running 1625 secs || 104657188 markings, 543800869 edges, 63251 markings/sec, 1625 secs
lola: sara is running 1630 secs || 104970868 markings, 545664359 edges, 62736 markings/sec, 1630 secs
lola: sara is running 1635 secs || 105253453 markings, 547402083 edges, 56517 markings/sec, 1635 secs
lola: sara is running 1640 secs || 105541637 markings, 549151136 edges, 57637 markings/sec, 1640 secs
lola: sara is running 1645 secs || 105852602 markings, 550877001 edges, 62193 markings/sec, 1645 secs
lola: sara is running 1650 secs || 106169748 markings, 552438232 edges, 63429 markings/sec, 1650 secs
lola: sara is running 1655 secs || 106513349 markings, 554292659 edges, 68720 markings/sec, 1655 secs
lola: sara is running 1660 secs || 106806022 markings, 555852448 edges, 58535 markings/sec, 1660 secs
lola: sara is running 1665 secs || 107126700 markings, 557680568 edges, 64136 markings/sec, 1665 secs
lola: sara is running 1670 secs || 107417465 markings, 559310621 edges, 58153 markings/sec, 1670 secs
lola: sara is running 1675 secs || 107702042 markings, 561144904 edges, 56915 markings/sec, 1675 secs
lola: sara is running 1680 secs || 107990797 markings, 562999207 edges, 57751 markings/sec, 1680 secs
lola: sara is running 1685 secs || 108300024 markings, 564584797 edges, 61845 markings/sec, 1685 secs
lola: sara is running 1690 secs || 108584347 markings, 566050454 edges, 56865 markings/sec, 1690 secs
lola: sara is running 1695 secs || 108856773 markings, 567707826 edges, 54485 markings/sec, 1695 secs
lola: sara is running 1700 secs || 109146438 markings, 569540974 edges, 57933 markings/sec, 1700 secs
lola: sara is running 1705 secs || 109515563 markings, 571409854 edges, 73825 markings/sec, 1705 secs
lola: sara is running 1710 secs || 109786029 markings, 572974280 edges, 54093 markings/sec, 1710 secs
lola: sara is running 1715 secs || 110057388 markings, 574725333 edges, 54272 markings/sec, 1715 secs
lola: sara is running 1720 secs || 110401748 markings, 576563075 edges, 68872 markings/sec, 1720 secs
lola: sara is running 1725 secs || 110715161 markings, 578121258 edges, 62683 markings/sec, 1725 secs
lola: sara is running 1730 secs || 111022986 markings, 579868217 edges, 61565 markings/sec, 1730 secs
lola: sara is running 1735 secs || 111339040 markings, 581536678 edges, 63211 markings/sec, 1735 secs
lola: sara is running 1740 secs || 111661738 markings, 583387184 edges, 64540 markings/sec, 1740 secs
lola: sara is running 1745 secs || 111963002 markings, 585132660 edges, 60253 markings/sec, 1745 secs
lola: sara is running 1750 secs || 112248634 markings, 586879602 edges, 57126 markings/sec, 1750 secs
lola: sara is running 1755 secs || 112543203 markings, 588521871 edges, 58914 markings/sec, 1755 secs
lola: sara is running 1760 secs || 112833200 markings, 589950519 edges, 57999 markings/sec, 1760 secs
lola: sara is running 1765 secs || 113147496 markings, 591350637 edges, 62859 markings/sec, 1765 secs
lola: sara is running 1770 secs || 113457818 markings, 592768127 edges, 62064 markings/sec, 1770 secs
lola: sara is running 1775 secs || 113768650 markings, 594085208 edges, 62166 markings/sec, 1775 secs
lola: sara is running 1780 secs || 114083063 markings, 595352314 edges, 62883 markings/sec, 1780 secs
lola: sara is running 1785 secs || 114366808 markings, 596856698 edges, 56749 markings/sec, 1785 secs
lola: sara is running 1790 secs || 114651164 markings, 598370881 edges, 56871 markings/sec, 1790 secs
lola: sara is running 1795 secs || 114916869 markings, 600072270 edges, 53141 markings/sec, 1795 secs
lola: sara is running 1800 secs || 115199450 markings, 601652454 edges, 56516 markings/sec, 1800 secs
lola: sara is running 1805 secs || 115467890 markings, 603232840 edges, 53688 markings/sec, 1805 secs
lola: sara is running 1810 secs || 115723733 markings, 604965388 edges, 51169 markings/sec, 1810 secs
lola: sara is running 1815 secs || 116025636 markings, 606635271 edges, 60381 markings/sec, 1815 secs
lola: sara is running 1820 secs || 116327601 markings, 608183509 edges, 60393 markings/sec, 1820 secs
lola: sara is running 1825 secs || 116599865 markings, 609903169 edges, 54453 markings/sec, 1825 secs
lola: sara is running 1830 secs || 116866411 markings, 611651564 edges, 53309 markings/sec, 1830 secs
lola: sara is running 1835 secs || 117138552 markings, 613427287 edges, 54428 markings/sec, 1835 secs
lola: sara is running 1840 secs || 117434011 markings, 615052726 edges, 59092 markings/sec, 1840 secs
lola: sara is running 1845 secs || 117723688 markings, 616631693 edges, 57935 markings/sec, 1845 secs
lola: sara is running 1850 secs || 117984470 markings, 618384747 edges, 52156 markings/sec, 1850 secs
lola: sara is running 1855 secs || 118248756 markings, 620159675 edges, 52857 markings/sec, 1855 secs
lola: sara is running 1860 secs || 118513090 markings, 622007388 edges, 52867 markings/sec, 1860 secs
lola: sara is running 1865 secs || 118786621 markings, 623814436 edges, 54706 markings/sec, 1865 secs
lola: sara is running 1870 secs || 119151715 markings, 625805272 edges, 73019 markings/sec, 1870 secs
lola: sara is running 1875 secs || 119689737 markings, 627850551 edges, 107604 markings/sec, 1875 secs
lola: sara is running 1880 secs || 120182593 markings, 629917942 edges, 98571 markings/sec, 1880 secs
lola: sara is running 1885 secs || 120682988 markings, 632058391 edges, 100079 markings/sec, 1885 secs
lola: sara is running 1890 secs || 121155553 markings, 634145783 edges, 94513 markings/sec, 1890 secs
lola: sara is running 1895 secs || 121624263 markings, 636297225 edges, 93742 markings/sec, 1895 secs
lola: sara is running 1900 secs || 121924822 markings, 637954672 edges, 60112 markings/sec, 1900 secs
lola: sara is running 1905 secs || 122184989 markings, 639511970 edges, 52033 markings/sec, 1905 secs
lola: sara is running 1910 secs || 122448839 markings, 641004961 edges, 52770 markings/sec, 1910 secs
lola: sara is running 1915 secs || 122695922 markings, 642629515 edges, 49417 markings/sec, 1915 secs
lola: sara is running 1920 secs || 122955032 markings, 644151861 edges, 51822 markings/sec, 1920 secs
lola: sara is running 1925 secs || 123200710 markings, 645882160 edges, 49136 markings/sec, 1925 secs
lola: sara is running 1930 secs || 123442562 markings, 647632303 edges, 48370 markings/sec, 1930 secs
lola: sara is running 1935 secs || 123675257 markings, 649474265 edges, 46539 markings/sec, 1935 secs
lola: sara is running 1940 secs || 124133899 markings, 651487909 edges, 91728 markings/sec, 1940 secs
lola: sara is running 1945 secs || 124519710 markings, 653423492 edges, 77162 markings/sec, 1945 secs
lola: sara is running 1950 secs || 124779212 markings, 655081763 edges, 51900 markings/sec, 1950 secs
lola: sara is running 1955 secs || 125025422 markings, 656791805 edges, 49242 markings/sec, 1955 secs
lola: sara is running 1960 secs || 125291934 markings, 658342256 edges, 53302 markings/sec, 1960 secs
lola: sara is running 1965 secs || 125544671 markings, 660031028 edges, 50547 markings/sec, 1965 secs
lola: sara is running 1970 secs || 125792066 markings, 661846865 edges, 49479 markings/sec, 1970 secs
lola: sara is running 1975 secs || 126182473 markings, 663920260 edges, 78081 markings/sec, 1975 secs
lola: sara is running 1980 secs || 126599250 markings, 666104244 edges, 83355 markings/sec, 1980 secs
lola: sara is running 1985 secs || 126907255 markings, 668046371 edges, 61601 markings/sec, 1985 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 4294584 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 4294584 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((A18 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(EX((A18 <= 1)))))
lola: processed formula length: 34
lola: 26 rewrites
lola: closed formula file DNAwalker-PT-12ringLLLarge-CTLCardinality.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 22588 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no yes unknown no yes unknown yes yes yes no no
lola: memory consumption: 21208 KB
lola: time consumption: 3570 seconds
BK_STOP 1526822115982
--------------------
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="DNAwalker-PT-12ringLLLarge"
export BK_EXAMINATION="CTLCardinality"
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/DNAwalker-PT-12ringLLLarge.tgz
mv DNAwalker-PT-12ringLLLarge 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 DNAwalker-PT-12ringLLLarge, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500304"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;