About the Execution of 2019-Gold for ASLink-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4440.300 | 3570175.00 | 3618268.00 | 9001.20 | TTFTFF?FFFTTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r015-smll-158897552700037.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is ASLink-PT-09b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r015-smll-158897552700037
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-09b-00
FORMULA_NAME ASLink-PT-09b-01
FORMULA_NAME ASLink-PT-09b-02
FORMULA_NAME ASLink-PT-09b-03
FORMULA_NAME ASLink-PT-09b-04
FORMULA_NAME ASLink-PT-09b-05
FORMULA_NAME ASLink-PT-09b-06
FORMULA_NAME ASLink-PT-09b-07
FORMULA_NAME ASLink-PT-09b-08
FORMULA_NAME ASLink-PT-09b-09
FORMULA_NAME ASLink-PT-09b-10
FORMULA_NAME ASLink-PT-09b-11
FORMULA_NAME ASLink-PT-09b-12
FORMULA_NAME ASLink-PT-09b-13
FORMULA_NAME ASLink-PT-09b-14
FORMULA_NAME ASLink-PT-09b-15
=== Now, execution of the tool begins
BK_START 1589211476822
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ASLink-PT-09b @ 3570 seconds
FORMULA ASLink-PT-09b-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-09b-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality @ ASLink-PT-09b
{
"exit":
{
"memory": 1675476,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (F (G ((p2635 <= 0))))",
"processed_size": 24,
"rewrites": 133
},
"result":
{
"preliminary_value": "yes yes no yes no no unknown no no no yes yes no no no no "
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 8946/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4014
lola: finding significant places
lola: 4014 places, 4932 transitions, 3620 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p190)
lola: LP says that atomic proposition is always false: (3 <= p190)
lola: LP says that atomic proposition is always false: (2 <= p0)
lola: LP says that atomic proposition is always false: (2 <= p0)
lola: LP says that atomic proposition is always false: (3 <= p152)
lola: LP says that atomic proposition is always false: (3 <= p2096)
lola: LP says that atomic proposition is always false: (3 <= p940)
lola: LP says that atomic proposition is always false: (2 <= p378)
lola: LP says that atomic proposition is always false: (3 <= p712)
lola: LP says that atomic proposition is always false: (2 <= p2361)
lola: LP says that atomic proposition is always false: (2 <= p2756)
lola: LP says that atomic proposition is always false: (2 <= p2756)
lola: A (G ((0 <= p3468))) : A ((G ((p852 <= p3397)) OR NOT(((X ((3 <= p190)) OR (G ((p1507 <= p2370)) U X ((3 <= p190)))) U X ((2 <= p3680)))))) : A (F (G (NOT(G ((G ((p464 <= p2707)) OR ((1 <= p970) U (p3587 <= p2689)))))))) : A (((p566 <= p1261) OR G (X (((3 <= p3378) U ((2 <= p0) OR ((p3031 <= p3678) U (2 <= p0)))))))) : A (G ((X (F ((3 <= p152))) AND F (G (X (((1 <= p1794) AND (p469 <= p394)))))))) : A (NOT((F (((p2243 <= p2212) AND (p377 <= p2623))) OR ((p377 <= p2623) AND G (((3 <= p2096) U (p3554 <= p2884))))))) : A (G ((((0 <= p3975) OR G (X (X (G ((0 <= p3975)))))) U NOT(G (F ((1 <= p2635))))))) : A (((((p1190 <= p3908)) AND X (G ((p1190 <= p3908)))) U (2 <= p378))) : A (((p2018 <= 0) AND NOT(X (NOT(((1 <= p2018) OR NOT(((3 <= p712) U X ((p375 <= p407)))))))))) : A (X (G (X (X (X (X (X (G (NOT((G ((p3056 <= p3884)) U (p3056 <= p3884)))))))))))) : A ((((p97 <= p3097) OR (3 <= p1016)) AND ((p97 <= p3097) OR F ((p590 <= p3057))))) : A ((NOT(G ((p544 <= p3588))) U (p432 <= p1810))) : A (F ((((p700 <= p130) AND G ((3 <= p3286))) AND X (((p700 <= p130)))))) : A (NOT(F ((X ((p3509 <= p3477)) AND (G ((p3509 <= p3477)) OR F (((2 <= p2756) AND X ((2 <= p2756))))))))) : A ((NOT(X ((NOT(((p2679 + 1 <= p606) U X ((p2126 <= p3923)))) U X ((p1631 <= p2528))))) OR NOT(F ((p1631 <= p2528))))) : A (NOT(G (X (X ((p3710 <= p1467))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:371
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:142
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 211 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: 133 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 1 will run for 225 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p566 <= p1261)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p566 <= p1261)
lola: processed formula length: 15
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 241 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: 133 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 3 will run for 260 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: 133 rewrites
lola: closed formula file LTLCardinality.xml
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: ========================================
lola: subprocess 4 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((p852 <= p3397)) OR X ((p3680 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((p852 <= p3397)) OR X ((p3680 <= 1))))
lola: processed formula length: 45
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p2018 <= 0) AND A (X (((1 <= p2018) OR X ((p407 + 1 <= p375))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p2018 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p2018 <= 0)
lola: processed formula length: 12
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((1 <= p2018) OR X ((p407 + 1 <= p375)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((1 <= p2018) OR X ((p407 + 1 <= p375)))))
lola: processed formula length: 48
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 338 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (X (X (X (G (((p3884 + 1 <= p3056) AND (F ((p3884 + 1 <= p3056)) OR G ((p3884 + 1 <= p3056))))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (X (X (X (G (((p3884 + 1 <= p3056) AND (F ((p3884 + 1 <= p3056)) OR G ((p3884 + 1 <= p3056))))))))))))
lola: processed formula length: 113
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: subprocess 7 will run for 376 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p700 <= p130) AND (G ((3 <= p3286)) AND X (((p700 <= p130)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((p700 <= p130) AND (G ((3 <= p3286)) AND X (((p700 <= p130)))))))
lola: processed formula length: 72
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: subprocess 8 will run for 423 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((X ((p3477 + 1 <= p3509)) OR F ((p3477 + 1 <= p3509)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((X ((p3477 + 1 <= p3509)) OR F ((p3477 + 1 <= p3509)))))
lola: processed formula length: 62
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: subprocess 9 will run for 483 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((((p2679 + 1 <= p606) U X ((p2126 <= p3923))) R X ((p2528 + 1 <= p1631)))) OR G ((p2528 + 1 <= p1631))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((((p2679 + 1 <= p606) U X ((p2126 <= p3923))) R X ((p2528 + 1 <= p1631)))) OR G ((p2528 + 1 <= p1631))))
lola: processed formula length: 111
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 19 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: subprocess 10 will run for 564 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((p1467 + 1 <= p3710)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((p1467 + 1 <= p3710)))))
lola: processed formula length: 36
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 338 markings, 338 edges
lola: ========================================
lola: subprocess 11 will run for 677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p2635 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p2635 <= 0))))
lola: processed formula length: 24
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 39408 markings, 138153 edges, 7882 markings/sec, 0 secs
lola: 59395 markings, 297780 edges, 3997 markings/sec, 5 secs
lola: 80574 markings, 456794 edges, 4236 markings/sec, 10 secs
lola: 100889 markings, 616054 edges, 4063 markings/sec, 15 secs
lola: 120814 markings, 775268 edges, 3985 markings/sec, 20 secs
lola: 138826 markings, 934970 edges, 3602 markings/sec, 25 secs
lola: 156734 markings, 1094764 edges, 3582 markings/sec, 30 secs
lola: 176381 markings, 1254225 edges, 3929 markings/sec, 35 secs
lola: 194508 markings, 1413940 edges, 3625 markings/sec, 40 secs
lola: 212174 markings, 1573079 edges, 3533 markings/sec, 45 secs
lola: 229010 markings, 1733079 edges, 3367 markings/sec, 50 secs
lola: 245038 markings, 1893156 edges, 3206 markings/sec, 55 secs
lola: 262789 markings, 2052829 edges, 3550 markings/sec, 60 secs
lola: 281276 markings, 2212381 edges, 3697 markings/sec, 65 secs
lola: 298899 markings, 2372137 edges, 3525 markings/sec, 70 secs
lola: 316495 markings, 2531905 edges, 3519 markings/sec, 75 secs
lola: 332750 markings, 2689655 edges, 3251 markings/sec, 80 secs
lola: 348724 markings, 2849836 edges, 3195 markings/sec, 85 secs
lola: 366163 markings, 3009749 edges, 3488 markings/sec, 90 secs
lola: 382660 markings, 3169826 edges, 3299 markings/sec, 95 secs
lola: 398587 markings, 3329903 edges, 3185 markings/sec, 100 secs
lola: 414364 markings, 3490220 edges, 3155 markings/sec, 105 secs
lola: 429192 markings, 3650524 edges, 2966 markings/sec, 110 secs
lola: 443620 markings, 3811028 edges, 2886 markings/sec, 115 secs
lola: 462669 markings, 3970827 edges, 3810 markings/sec, 120 secs
lola: 480906 markings, 4130246 edges, 3647 markings/sec, 125 secs
lola: 498898 markings, 4290117 edges, 3598 markings/sec, 130 secs
lola: 518022 markings, 4449905 edges, 3825 markings/sec, 135 secs
lola: 535696 markings, 4610039 edges, 3535 markings/sec, 140 secs
lola: 554232 markings, 4770026 edges, 3707 markings/sec, 145 secs
lola: 571287 markings, 4929874 edges, 3411 markings/sec, 150 secs
lola: 587552 markings, 5090095 edges, 3253 markings/sec, 155 secs
lola: 604060 markings, 5249886 edges, 3302 markings/sec, 160 secs
lola: 620893 markings, 5409928 edges, 3367 markings/sec, 165 secs
lola: 636819 markings, 5570276 edges, 3185 markings/sec, 170 secs
lola: 653803 markings, 5730451 edges, 3397 markings/sec, 175 secs
lola: 671102 markings, 5890441 edges, 3460 markings/sec, 180 secs
lola: 687322 markings, 6050184 edges, 3244 markings/sec, 185 secs
lola: 703699 markings, 6210065 edges, 3275 markings/sec, 190 secs
lola: 720662 markings, 6370275 edges, 3393 markings/sec, 195 secs
lola: 736781 markings, 6530718 edges, 3224 markings/sec, 200 secs
lola: 753250 markings, 6691028 edges, 3294 markings/sec, 205 secs
lola: 768970 markings, 6851263 edges, 3144 markings/sec, 210 secs
lola: 783807 markings, 7011344 edges, 2967 markings/sec, 215 secs
lola: 798112 markings, 7171770 edges, 2861 markings/sec, 220 secs
lola: 813938 markings, 7332011 edges, 3165 markings/sec, 225 secs
lola: 828727 markings, 7492094 edges, 2958 markings/sec, 230 secs
lola: 843354 markings, 7652606 edges, 2925 markings/sec, 235 secs
lola: 863321 markings, 7811850 edges, 3993 markings/sec, 240 secs
lola: 883118 markings, 7971008 edges, 3959 markings/sec, 245 secs
lola: 902477 markings, 8130322 edges, 3872 markings/sec, 250 secs
lola: 919867 markings, 8290094 edges, 3478 markings/sec, 255 secs
lola: 937952 markings, 8449636 edges, 3617 markings/sec, 260 secs
lola: 955290 markings, 8609470 edges, 3468 markings/sec, 265 secs
lola: 973448 markings, 8769143 edges, 3632 markings/sec, 270 secs
lola: 989811 markings, 8929385 edges, 3273 markings/sec, 275 secs
lola: 1006015 markings, 9089060 edges, 3241 markings/sec, 280 secs
lola: 1021670 markings, 9248643 edges, 3131 markings/sec, 285 secs
lola: 1038303 markings, 9408647 edges, 3327 markings/sec, 290 secs
lola: 1055796 markings, 9568465 edges, 3499 markings/sec, 295 secs
lola: 1072066 markings, 9728584 edges, 3254 markings/sec, 300 secs
lola: 1088140 markings, 9888709 edges, 3215 markings/sec, 305 secs
lola: 1104026 markings, 10048721 edges, 3177 markings/sec, 310 secs
lola: 1120246 markings, 10208583 edges, 3244 markings/sec, 315 secs
lola: 1135901 markings, 10368526 edges, 3131 markings/sec, 320 secs
lola: 1150657 markings, 10528520 edges, 2951 markings/sec, 325 secs
lola: 1165390 markings, 10688847 edges, 2947 markings/sec, 330 secs
lola: 1179707 markings, 10849380 edges, 2863 markings/sec, 335 secs
lola: 1194762 markings, 11009588 edges, 3011 markings/sec, 340 secs
lola: 1212535 markings, 11169188 edges, 3555 markings/sec, 345 secs
lola: 1230054 markings, 11328993 edges, 3504 markings/sec, 350 secs
lola: 1247256 markings, 11488811 edges, 3440 markings/sec, 355 secs
lola: 1263496 markings, 11648911 edges, 3248 markings/sec, 360 secs
lola: 1279210 markings, 11808778 edges, 3143 markings/sec, 365 secs
lola: 1295188 markings, 11968805 edges, 3196 markings/sec, 370 secs
lola: 1310586 markings, 12128979 edges, 3080 markings/sec, 375 secs
lola: 1326055 markings, 12289182 edges, 3094 markings/sec, 380 secs
lola: 1341778 markings, 12449323 edges, 3145 markings/sec, 385 secs
lola: 1357755 markings, 12609585 edges, 3195 markings/sec, 390 secs
lola: 1373250 markings, 12770054 edges, 3099 markings/sec, 395 secs
lola: 1388080 markings, 12930674 edges, 2966 markings/sec, 400 secs
lola: 1402484 markings, 13091155 edges, 2881 markings/sec, 405 secs
lola: 1416901 markings, 13251604 edges, 2883 markings/sec, 410 secs
lola: 1431403 markings, 13411973 edges, 2900 markings/sec, 415 secs
lola: 1444707 markings, 13572893 edges, 2661 markings/sec, 420 secs
lola: 1468454 markings, 13730856 edges, 4749 markings/sec, 425 secs
lola: 1484713 markings, 13890881 edges, 3252 markings/sec, 430 secs
lola: 1502694 markings, 14050604 edges, 3596 markings/sec, 435 secs
lola: 1518853 markings, 14210458 edges, 3232 markings/sec, 440 secs
lola: 1534774 markings, 14370381 edges, 3184 markings/sec, 445 secs
lola: 1550434 markings, 14530590 edges, 3132 markings/sec, 450 secs
lola: 1568852 markings, 14689989 edges, 3684 markings/sec, 455 secs
lola: 1585609 markings, 14849658 edges, 3351 markings/sec, 460 secs
lola: 1601850 markings, 15009484 edges, 3248 markings/sec, 465 secs
lola: 1618060 markings, 15169167 edges, 3242 markings/sec, 470 secs
lola: 1633388 markings, 15329220 edges, 3066 markings/sec, 475 secs
lola: 1650091 markings, 15488744 edges, 3341 markings/sec, 480 secs
lola: 1665087 markings, 15648451 edges, 2999 markings/sec, 485 secs
lola: 1680312 markings, 15808512 edges, 3045 markings/sec, 490 secs
lola: 1695139 markings, 15968414 edges, 2965 markings/sec, 495 secs
lola: 1709659 markings, 16128643 edges, 2904 markings/sec, 500 secs
lola: 1724037 markings, 16288805 edges, 2876 markings/sec, 505 secs
lola: 1739164 markings, 16448788 edges, 3025 markings/sec, 510 secs
lola: 1755294 markings, 16608524 edges, 3226 markings/sec, 515 secs
lola: 1770470 markings, 16768417 edges, 3035 markings/sec, 520 secs
lola: 1785265 markings, 16928466 edges, 2959 markings/sec, 525 secs
lola: 1800009 markings, 17088501 edges, 2949 markings/sec, 530 secs
lola: 1814219 markings, 17248629 edges, 2842 markings/sec, 535 secs
lola: 1831085 markings, 17408097 edges, 3373 markings/sec, 540 secs
lola: 1847605 markings, 17567808 edges, 3304 markings/sec, 545 secs
lola: 1863430 markings, 17727723 edges, 3165 markings/sec, 550 secs
lola: 1879930 markings, 17887281 edges, 3300 markings/sec, 555 secs
lola: 1896295 markings, 18047097 edges, 3273 markings/sec, 560 secs
lola: 1912149 markings, 18207179 edges, 3171 markings/sec, 565 secs
lola: 1927735 markings, 18367165 edges, 3117 markings/sec, 570 secs
lola: 1944184 markings, 18526850 edges, 3290 markings/sec, 575 secs
lola: 1959727 markings, 18686711 edges, 3109 markings/sec, 580 secs
lola: 1975396 markings, 18846659 edges, 3134 markings/sec, 585 secs
lola: 1990607 markings, 19006713 edges, 3042 markings/sec, 590 secs
lola: 2005202 markings, 19166895 edges, 2919 markings/sec, 595 secs
lola: 2019719 markings, 19326826 edges, 2903 markings/sec, 600 secs
lola: 2034821 markings, 19486833 edges, 3020 markings/sec, 605 secs
lola: 2050467 markings, 19646854 edges, 3129 markings/sec, 610 secs
lola: 2065189 markings, 19806957 edges, 2944 markings/sec, 615 secs
lola: 2079674 markings, 19967382 edges, 2897 markings/sec, 620 secs
lola: 2093854 markings, 20127736 edges, 2836 markings/sec, 625 secs
lola: 2108960 markings, 20287644 edges, 3021 markings/sec, 630 secs
lola: 2123213 markings, 20447919 edges, 2851 markings/sec, 635 secs
lola: 2137747 markings, 20608124 edges, 2907 markings/sec, 640 secs
lola: 2154233 markings, 20767653 edges, 3297 markings/sec, 645 secs
lola: 2169445 markings, 20927874 edges, 3042 markings/sec, 650 secs
lola: 2184268 markings, 21087747 edges, 2965 markings/sec, 655 secs
lola: 2199000 markings, 21247584 edges, 2946 markings/sec, 660 secs
lola: 2215161 markings, 21407229 edges, 3232 markings/sec, 665 secs
lola: 2229961 markings, 21567491 edges, 2960 markings/sec, 670 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no unknown unknown no no no unknown unknown no no no no
lola: memory consumption: 594232 KB
lola: time consumption: 862 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 677 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F ((p3588 + 1 <= p544)) U (p432 <= p1810)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F ((p3588 + 1 <= p544)) U (p432 <= p1810)))
lola: processed formula length: 47
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 902 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((F ((p2707 + 1 <= p464)) AND ((p970 <= 0) R (p2689 + 1 <= p3587))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((F ((p2707 + 1 <= p464)) AND ((p970 <= 0) R (p2689 + 1 <= p3587))))))
lola: processed formula length: 78
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 286 markings, 286 edges
lola: ========================================
lola: subprocess 14 will run for 1354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p97 <= p3097) OR (3 <= p1016)) AND A (((p97 <= p3097) OR F ((p590 <= p3057)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p97 <= p3097) OR (3 <= p1016))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p97 <= p3097) OR (3 <= p1016))
lola: processed formula length: 33
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 2 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 15 will run for 2708 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p97 <= p3097) OR F ((p590 <= p3057))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p97 <= p3097) OR F ((p590 <= p3057))))
lola: processed formula length: 43
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 15 will run for 2708 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p2212 + 1 <= p2243) OR (p2623 + 1 <= p377)))) AND A (((p2623 + 1 <= p377) OR F ((p2884 + 1 <= p3554)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2708 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p2623 + 1 <= p377) OR F ((p2884 + 1 <= p3554))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p2623 + 1 <= p377) OR F ((p2884 + 1 <= p3554))))
lola: processed formula length: 53
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 286 markings, 286 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((p2635 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p2635 <= 0))))
lola: processed formula length: 24
lola: 133 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 38814 markings, 134052 edges, 7763 markings/sec, 0 secs
lola: 58929 markings, 293880 edges, 4023 markings/sec, 5 secs
lola: 78900 markings, 445921 edges, 3994 markings/sec, 10 secs
lola: 99505 markings, 604539 edges, 4121 markings/sec, 15 secs
lola: 119383 markings, 763276 edges, 3976 markings/sec, 20 secs
lola: 137560 markings, 922050 edges, 3635 markings/sec, 25 secs
lola: 154954 markings, 1080013 edges, 3479 markings/sec, 30 secs
lola: 174423 markings, 1239170 edges, 3894 markings/sec, 35 secs
lola: 192792 markings, 1398739 edges, 3674 markings/sec, 40 secs
lola: 210502 markings, 1558304 edges, 3542 markings/sec, 45 secs
lola: 227529 markings, 1718090 edges, 3405 markings/sec, 50 secs
lola: 243680 markings, 1878196 edges, 3230 markings/sec, 55 secs
lola: 260913 markings, 2037959 edges, 3447 markings/sec, 60 secs
lola: 279658 markings, 2197356 edges, 3749 markings/sec, 65 secs
lola: 297342 markings, 2357178 edges, 3537 markings/sec, 70 secs
lola: 315020 markings, 2516816 edges, 3536 markings/sec, 75 secs
lola: 331341 markings, 2676810 edges, 3264 markings/sec, 80 secs
lola: 347265 markings, 2836992 edges, 3185 markings/sec, 85 secs
lola: 364866 markings, 2996881 edges, 3520 markings/sec, 90 secs
lola: 381254 markings, 3156687 edges, 3278 markings/sec, 95 secs
lola: 397145 markings, 3316447 edges, 3178 markings/sec, 100 secs
lola: 412940 markings, 3476100 edges, 3159 markings/sec, 105 secs
lola: 427806 markings, 3636183 edges, 2973 markings/sec, 110 secs
lola: 442133 markings, 3796461 edges, 2865 markings/sec, 115 secs
lola: 460988 markings, 3955883 edges, 3771 markings/sec, 120 secs
lola: 479057 markings, 4115435 edges, 3614 markings/sec, 125 secs
lola: 496970 markings, 4275148 edges, 3583 markings/sec, 130 secs
lola: 516261 markings, 4434516 edges, 3858 markings/sec, 135 secs
lola: 534172 markings, 4594134 edges, 3582 markings/sec, 140 secs
lola: 552325 markings, 4753756 edges, 3631 markings/sec, 145 secs
lola: 569699 markings, 4913457 edges, 3475 markings/sec, 150 secs
lola: 585921 markings, 5073397 edges, 3244 markings/sec, 155 secs
lola: 602269 markings, 5233390 edges, 3270 markings/sec, 160 secs
lola: 619201 markings, 5393056 edges, 3386 markings/sec, 165 secs
lola: 635340 markings, 5553331 edges, 3228 markings/sec, 170 secs
lola: 651884 markings, 5713339 edges, 3309 markings/sec, 175 secs
lola: 669295 markings, 5873068 edges, 3482 markings/sec, 180 secs
lola: 685583 markings, 6033117 edges, 3258 markings/sec, 185 secs
lola: 701766 markings, 6193014 edges, 3237 markings/sec, 190 secs
lola: 718835 markings, 6352954 edges, 3414 markings/sec, 195 secs
lola: 735098 markings, 6513169 edges, 3253 markings/sec, 200 secs
lola: 751404 markings, 6673292 edges, 3261 markings/sec, 205 secs
lola: 767262 markings, 6833412 edges, 3172 markings/sec, 210 secs
lola: 781966 markings, 6993518 edges, 2941 markings/sec, 215 secs
lola: 796644 markings, 7153661 edges, 2936 markings/sec, 220 secs
lola: 812247 markings, 7313760 edges, 3121 markings/sec, 225 secs
lola: 827149 markings, 7474067 edges, 2980 markings/sec, 230 secs
lola: 841760 markings, 7634339 edges, 2922 markings/sec, 235 secs
lola: 860777 markings, 7793596 edges, 3803 markings/sec, 240 secs
lola: 880748 markings, 7952565 edges, 3994 markings/sec, 245 secs
lola: 900291 markings, 8111589 edges, 3909 markings/sec, 250 secs
lola: 917972 markings, 8271062 edges, 3536 markings/sec, 255 secs
lola: 935773 markings, 8430633 edges, 3560 markings/sec, 260 secs
lola: 953198 markings, 8590154 edges, 3485 markings/sec, 265 secs
lola: 971246 markings, 8749847 edges, 3610 markings/sec, 270 secs
lola: 987764 markings, 8909534 edges, 3304 markings/sec, 275 secs
lola: 1003998 markings, 9069402 edges, 3247 markings/sec, 280 secs
lola: 1019817 markings, 9229433 edges, 3164 markings/sec, 285 secs
lola: 1035961 markings, 9389300 edges, 3229 markings/sec, 290 secs
lola: 1053758 markings, 9548883 edges, 3559 markings/sec, 295 secs
lola: 1070000 markings, 9708831 edges, 3248 markings/sec, 300 secs
lola: 1086240 markings, 9868812 edges, 3248 markings/sec, 305 secs
lola: 1102007 markings, 10028868 edges, 3153 markings/sec, 310 secs
lola: 1118228 markings, 10188677 edges, 3244 markings/sec, 315 secs
lola: 1134071 markings, 10348531 edges, 3169 markings/sec, 320 secs
lola: 1148814 markings, 10508595 edges, 2949 markings/sec, 325 secs
lola: 1163568 markings, 10668819 edges, 2951 markings/sec, 330 secs
lola: 1177964 markings, 10828970 edges, 2879 markings/sec, 335 secs
lola: 1192365 markings, 10989313 edges, 2880 markings/sec, 340 secs
lola: 1210265 markings, 11148619 edges, 3580 markings/sec, 345 secs
lola: 1227708 markings, 11308220 edges, 3489 markings/sec, 350 secs
lola: 1245080 markings, 11468011 edges, 3474 markings/sec, 355 secs
lola: 1261349 markings, 11628090 edges, 3254 markings/sec, 360 secs
lola: 1277161 markings, 11788042 edges, 3162 markings/sec, 365 secs
lola: 1293069 markings, 11947964 edges, 3182 markings/sec, 370 secs
lola: 1308688 markings, 12108003 edges, 3124 markings/sec, 375 secs
lola: 1323896 markings, 12268033 edges, 3042 markings/sec, 380 secs
lola: 1339715 markings, 12428011 edges, 3164 markings/sec, 385 secs
lola: 1355565 markings, 12587752 edges, 3170 markings/sec, 390 secs
lola: 1371228 markings, 12748136 edges, 3133 markings/sec, 395 secs
lola: 1386044 markings, 12908526 edges, 2963 markings/sec, 400 secs
lola: 1400533 markings, 13068693 edges, 2898 markings/sec, 405 secs
lola: 1414758 markings, 13228764 edges, 2845 markings/sec, 410 secs
lola: 1429351 markings, 13389171 edges, 2919 markings/sec, 415 secs
lola: 1442831 markings, 13549809 edges, 2696 markings/sec, 420 secs
lola: 1465835 markings, 13707793 edges, 4601 markings/sec, 425 secs
lola: 1482590 markings, 13867508 edges, 3351 markings/sec, 430 secs
lola: 1500132 markings, 14027062 edges, 3508 markings/sec, 435 secs
lola: 1516545 markings, 14187029 edges, 3283 markings/sec, 440 secs
lola: 1532369 markings, 14346523 edges, 3165 markings/sec, 445 secs
lola: 1547688 markings, 14506386 edges, 3064 markings/sec, 450 secs
lola: 1566326 markings, 14665508 edges, 3728 markings/sec, 455 secs
lola: 1583066 markings, 14824967 edges, 3348 markings/sec, 460 secs
lola: 1599296 markings, 14984486 edges, 3246 markings/sec, 465 secs
lola: 1615480 markings, 15143717 edges, 3237 markings/sec, 470 secs
lola: 1631001 markings, 15303599 edges, 3104 markings/sec, 475 secs
lola: 1647462 markings, 15462948 edges, 3292 markings/sec, 480 secs
lola: 1662581 markings, 15622554 edges, 3024 markings/sec, 485 secs
lola: 1677865 markings, 15782334 edges, 3057 markings/sec, 490 secs
lola: 1692763 markings, 15942170 edges, 2980 markings/sec, 495 secs
lola: 1707329 markings, 16101705 edges, 2913 markings/sec, 500 secs
lola: 1721738 markings, 16261607 edges, 2882 markings/sec, 505 secs
lola: 1736222 markings, 16421569 edges, 2897 markings/sec, 510 secs
lola: 1752757 markings, 16581296 edges, 3307 markings/sec, 515 secs
lola: 1767932 markings, 16741220 edges, 3035 markings/sec, 520 secs
lola: 1782747 markings, 16901163 edges, 2963 markings/sec, 525 secs
lola: 1797479 markings, 17060824 edges, 2946 markings/sec, 530 secs
lola: 1811652 markings, 17220890 edges, 2835 markings/sec, 535 secs
lola: 1827892 markings, 17380397 edges, 3248 markings/sec, 540 secs
lola: 1844967 markings, 17539993 edges, 3415 markings/sec, 545 secs
lola: 1860906 markings, 17699938 edges, 3188 markings/sec, 550 secs
lola: 1876886 markings, 17859665 edges, 3196 markings/sec, 555 secs
lola: 1893471 markings, 18019144 edges, 3317 markings/sec, 560 secs
lola: 1909296 markings, 18178897 edges, 3165 markings/sec, 565 secs
lola: 1924715 markings, 18338658 edges, 3084 markings/sec, 570 secs
lola: 1941426 markings, 18498119 edges, 3342 markings/sec, 575 secs
lola: 1957031 markings, 18658087 edges, 3121 markings/sec, 580 secs
lola: 1972455 markings, 18817630 edges, 3085 markings/sec, 585 secs
lola: 1988049 markings, 18977628 edges, 3119 markings/sec, 590 secs
lola: 2002519 markings, 19137624 edges, 2894 markings/sec, 595 secs
lola: 2017013 markings, 19297518 edges, 2899 markings/sec, 600 secs
lola: 2031857 markings, 19457565 edges, 2969 markings/sec, 605 secs
lola: 2047808 markings, 19617363 edges, 3190 markings/sec, 610 secs
lola: 2062467 markings, 19777352 edges, 2932 markings/sec, 615 secs
lola: 2076954 markings, 19937431 edges, 2897 markings/sec, 620 secs
lola: 2091000 markings, 20097654 edges, 2809 markings/sec, 625 secs
lola: 2106183 markings, 20257376 edges, 3037 markings/sec, 630 secs
lola: 2120651 markings, 20417454 edges, 2894 markings/sec, 635 secs
lola: 2134512 markings, 20577392 edges, 2772 markings/sec, 640 secs
lola: 2151238 markings, 20736797 edges, 3345 markings/sec, 645 secs
lola: 2166374 markings, 20896626 edges, 3027 markings/sec, 650 secs
lola: 2181171 markings, 21056119 edges, 2959 markings/sec, 655 secs
lola: 2196286 markings, 21215831 edges, 3023 markings/sec, 660 secs
lola: 2212045 markings, 21375651 edges, 3152 markings/sec, 665 secs
lola: 2226699 markings, 21535779 edges, 2931 markings/sec, 670 secs
lola: 2241442 markings, 21695660 edges, 2949 markings/sec, 675 secs
lola: 2256014 markings, 21855781 edges, 2914 markings/sec, 680 secs
lola: 2271243 markings, 22015634 edges, 3046 markings/sec, 685 secs
lola: 2286984 markings, 22175911 edges, 3148 markings/sec, 690 secs
lola: 2302245 markings, 22335644 edges, 3052 markings/sec, 695 secs
lola: 2316844 markings, 22495181 edges, 2920 markings/sec, 700 secs
lola: 2331500 markings, 22654976 edges, 2931 markings/sec, 705 secs
lola: 2345991 markings, 22815090 edges, 2898 markings/sec, 710 secs
lola: 2360149 markings, 22974952 edges, 2832 markings/sec, 715 secs
lola: 2374083 markings, 23134769 edges, 2787 markings/sec, 720 secs
lola: 2389314 markings, 23294366 edges, 3046 markings/sec, 725 secs
lola: 2403165 markings, 23454106 edges, 2770 markings/sec, 730 secs
lola: 2416634 markings, 23613907 edges, 2694 markings/sec, 735 secs
lola: 2430588 markings, 23773786 edges, 2791 markings/sec, 740 secs
lola: 2444775 markings, 23933537 edges, 2837 markings/sec, 745 secs
lola: 2458769 markings, 24093444 edges, 2799 markings/sec, 750 secs
lola: 2472279 markings, 24253561 edges, 2702 markings/sec, 755 secs
lola: 2485465 markings, 24413772 edges, 2637 markings/sec, 760 secs
lola: 2498438 markings, 24574170 edges, 2595 markings/sec, 765 secs
lola: 2512750 markings, 24734096 edges, 2862 markings/sec, 770 secs
lola: 2527355 markings, 24894158 edges, 2921 markings/sec, 775 secs
lola: 2541097 markings, 25054167 edges, 2748 markings/sec, 780 secs
lola: 2554565 markings, 25214001 edges, 2694 markings/sec, 785 secs
lola: 2567869 markings, 25373946 edges, 2661 markings/sec, 790 secs
lola: 2581356 markings, 25534090 edges, 2697 markings/sec, 795 secs
lola: 2594417 markings, 25694114 edges, 2612 markings/sec, 800 secs
lola: 2607168 markings, 25854216 edges, 2550 markings/sec, 805 secs
lola: 2622783 markings, 26013805 edges, 3123 markings/sec, 810 secs
lola: 2638197 markings, 26173554 edges, 3083 markings/sec, 815 secs
lola: 2652638 markings, 26333469 edges, 2888 markings/sec, 820 secs
lola: 2667226 markings, 26493209 edges, 2918 markings/sec, 825 secs
lola: 2681548 markings, 26653008 edges, 2864 markings/sec, 830 secs
lola: 2695698 markings, 26813247 edges, 2830 markings/sec, 835 secs
lola: 2709197 markings, 26972954 edges, 2700 markings/sec, 840 secs
lola: 2722603 markings, 27132977 edges, 2681 markings/sec, 845 secs
lola: 2736559 markings, 27292581 edges, 2791 markings/sec, 850 secs
lola: 2751234 markings, 27452175 edges, 2935 markings/sec, 855 secs
lola: 2765650 markings, 27612156 edges, 2883 markings/sec, 860 secs
lola: 2779641 markings, 27771810 edges, 2798 markings/sec, 865 secs
lola: 2793085 markings, 27931422 edges, 2689 markings/sec, 870 secs
lola: 2806497 markings, 28091096 edges, 2682 markings/sec, 875 secs
lola: 2820005 markings, 28250930 edges, 2702 markings/sec, 880 secs
lola: 2833352 markings, 28410622 edges, 2669 markings/sec, 885 secs
lola: 2846834 markings, 28570017 edges, 2696 markings/sec, 890 secs
lola: 2860049 markings, 28729827 edges, 2643 markings/sec, 895 secs
lola: 2873024 markings, 28889931 edges, 2595 markings/sec, 900 secs
lola: 2885798 markings, 29049481 edges, 2555 markings/sec, 905 secs
lola: 2898283 markings, 29209059 edges, 2497 markings/sec, 910 secs
lola: 2910234 markings, 29368572 edges, 2390 markings/sec, 915 secs
lola: 2922704 markings, 29528557 edges, 2494 markings/sec, 920 secs
lola: 2939627 markings, 29687555 edges, 3385 markings/sec, 925 secs
lola: 2955525 markings, 29847313 edges, 3180 markings/sec, 930 secs
lola: 2971419 markings, 30007149 edges, 3179 markings/sec, 935 secs
lola: 2988013 markings, 30167104 edges, 3319 markings/sec, 940 secs
lola: 3004009 markings, 30326809 edges, 3199 markings/sec, 945 secs
lola: 3019463 markings, 30486463 edges, 3091 markings/sec, 950 secs
lola: 3034227 markings, 30646191 edges, 2953 markings/sec, 955 secs
lola: 3048977 markings, 30805981 edges, 2950 markings/sec, 960 secs
lola: 3062481 markings, 30966086 edges, 2701 markings/sec, 965 secs
lola: 3077164 markings, 31125822 edges, 2937 markings/sec, 970 secs
lola: 3091095 markings, 31285794 edges, 2786 markings/sec, 975 secs
lola: 3106175 markings, 31445754 edges, 3016 markings/sec, 980 secs
lola: 3121220 markings, 31605788 edges, 3009 markings/sec, 985 secs
lola: 3135274 markings, 31765805 edges, 2811 markings/sec, 990 secs
lola: 3149442 markings, 31926027 edges, 2834 markings/sec, 995 secs
lola: 3162980 markings, 32086017 edges, 2708 markings/sec, 1000 secs
lola: 3176534 markings, 32245936 edges, 2711 markings/sec, 1005 secs
lola: 3189078 markings, 32405945 edges, 2509 markings/sec, 1010 secs
lola: 3207750 markings, 32564610 edges, 3734 markings/sec, 1015 secs
lola: 3223781 markings, 32724186 edges, 3206 markings/sec, 1020 secs
lola: 3239763 markings, 32884102 edges, 3196 markings/sec, 1025 secs
lola: 3254704 markings, 33043896 edges, 2988 markings/sec, 1030 secs
lola: 3269778 markings, 33203630 edges, 3015 markings/sec, 1035 secs
lola: 3284134 markings, 33363661 edges, 2871 markings/sec, 1040 secs
lola: 3298398 markings, 33523918 edges, 2853 markings/sec, 1045 secs
lola: 3313309 markings, 33683735 edges, 2982 markings/sec, 1050 secs
lola: 3328112 markings, 33843377 edges, 2961 markings/sec, 1055 secs
lola: 3342633 markings, 34003469 edges, 2904 markings/sec, 1060 secs
lola: 3356616 markings, 34163980 edges, 2797 markings/sec, 1065 secs
lola: 3370543 markings, 34323914 edges, 2785 markings/sec, 1070 secs
lola: 3384048 markings, 34483721 edges, 2701 markings/sec, 1075 secs
lola: 3397295 markings, 34643736 edges, 2649 markings/sec, 1080 secs
lola: 3410325 markings, 34804277 edges, 2606 markings/sec, 1085 secs
lola: 3426053 markings, 34963299 edges, 3146 markings/sec, 1090 secs
lola: 3440826 markings, 35123085 edges, 2955 markings/sec, 1095 secs
lola: 3454802 markings, 35283121 edges, 2795 markings/sec, 1100 secs
lola: 3469930 markings, 35443206 edges, 3026 markings/sec, 1105 secs
lola: 3485107 markings, 35602877 edges, 3035 markings/sec, 1110 secs
lola: 3499736 markings, 35762964 edges, 2926 markings/sec, 1115 secs
lola: 3514312 markings, 35922838 edges, 2915 markings/sec, 1120 secs
lola: 3528798 markings, 36082515 edges, 2897 markings/sec, 1125 secs
lola: 3543625 markings, 36242201 edges, 2965 markings/sec, 1130 secs
lola: 3558029 markings, 36402401 edges, 2881 markings/sec, 1135 secs
lola: 3572219 markings, 36562245 edges, 2838 markings/sec, 1140 secs
lola: 3586174 markings, 36721963 edges, 2791 markings/sec, 1145 secs
lola: 3601106 markings, 36881682 edges, 2986 markings/sec, 1150 secs
lola: 3615828 markings, 37041147 edges, 2944 markings/sec, 1155 secs
lola: 3630712 markings, 37200727 edges, 2977 markings/sec, 1160 secs
lola: 3645138 markings, 37360767 edges, 2885 markings/sec, 1165 secs
lola: 3659267 markings, 37520713 edges, 2826 markings/sec, 1170 secs
lola: 3673542 markings, 37681016 edges, 2855 markings/sec, 1175 secs
lola: 3687750 markings, 37840822 edges, 2842 markings/sec, 1180 secs
lola: 3701796 markings, 38000582 edges, 2809 markings/sec, 1185 secs
lola: 3715874 markings, 38160548 edges, 2816 markings/sec, 1190 secs
lola: 3729595 markings, 38320350 edges, 2744 markings/sec, 1195 secs
lola: 3742948 markings, 38480100 edges, 2671 markings/sec, 1200 secs
lola: 3756372 markings, 38640632 edges, 2685 markings/sec, 1205 secs
lola: 3769649 markings, 38800620 edges, 2655 markings/sec, 1210 secs
lola: 3782657 markings, 38960483 edges, 2602 markings/sec, 1215 secs
lola: 3796112 markings, 39120590 edges, 2691 markings/sec, 1220 secs
lola: 3809238 markings, 39280598 edges, 2625 markings/sec, 1225 secs
lola: 3822315 markings, 39440617 edges, 2615 markings/sec, 1230 secs
lola: 3836603 markings, 39600395 edges, 2858 markings/sec, 1235 secs
lola: 3850589 markings, 39760497 edges, 2797 markings/sec, 1240 secs
lola: 3864309 markings, 39920393 edges, 2744 markings/sec, 1245 secs
lola: 3878011 markings, 40080347 edges, 2740 markings/sec, 1250 secs
lola: 3891150 markings, 40240321 edges, 2628 markings/sec, 1255 secs
lola: 3904038 markings, 40393456 edges, 2578 markings/sec, 1260 secs
lola: 3916948 markings, 40546605 edges, 2582 markings/sec, 1265 secs
lola: 3930437 markings, 40706357 edges, 2698 markings/sec, 1270 secs
lola: 3943862 markings, 40866038 edges, 2685 markings/sec, 1275 secs
lola: 3957122 markings, 41026447 edges, 2652 markings/sec, 1280 secs
lola: 3970244 markings, 41186478 edges, 2624 markings/sec, 1285 secs
lola: 3983178 markings, 41346648 edges, 2587 markings/sec, 1290 secs
lola: 3996552 markings, 41506174 edges, 2675 markings/sec, 1295 secs
lola: 4010010 markings, 41665630 edges, 2692 markings/sec, 1300 secs
lola: 4023333 markings, 41818461 edges, 2665 markings/sec, 1305 secs
lola: 4036552 markings, 41978203 edges, 2644 markings/sec, 1310 secs
lola: 4049665 markings, 42138508 edges, 2623 markings/sec, 1315 secs
lola: 4062923 markings, 42298600 edges, 2652 markings/sec, 1320 secs
lola: 4075755 markings, 42458603 edges, 2566 markings/sec, 1325 secs
lola: 4088779 markings, 42618692 edges, 2605 markings/sec, 1330 secs
lola: 4101795 markings, 42778599 edges, 2603 markings/sec, 1335 secs
lola: 4114702 markings, 42938398 edges, 2581 markings/sec, 1340 secs
lola: 4127382 markings, 43098564 edges, 2536 markings/sec, 1345 secs
lola: 4139820 markings, 43258611 edges, 2488 markings/sec, 1350 secs
lola: 4152237 markings, 43419337 edges, 2483 markings/sec, 1355 secs
lola: 4164195 markings, 43579931 edges, 2392 markings/sec, 1360 secs
lola: 4176638 markings, 43739812 edges, 2489 markings/sec, 1365 secs
lola: 4189056 markings, 43900076 edges, 2484 markings/sec, 1370 secs
lola: 4201128 markings, 44060132 edges, 2414 markings/sec, 1375 secs
lola: 4213163 markings, 44220359 edges, 2407 markings/sec, 1380 secs
lola: 4227158 markings, 44380114 edges, 2799 markings/sec, 1385 secs
lola: 4240936 markings, 44540108 edges, 2756 markings/sec, 1390 secs
lola: 4254553 markings, 44699826 edges, 2723 markings/sec, 1395 secs
lola: 4267744 markings, 44859765 edges, 2638 markings/sec, 1400 secs
lola: 4280719 markings, 45019529 edges, 2595 markings/sec, 1405 secs
lola: 4294673 markings, 45179066 edges, 2791 markings/sec, 1410 secs
lola: 4307914 markings, 45338546 edges, 2648 markings/sec, 1415 secs
lola: 4321385 markings, 45498280 edges, 2694 markings/sec, 1420 secs
lola: 4334691 markings, 45658002 edges, 2661 markings/sec, 1425 secs
lola: 4347606 markings, 45817727 edges, 2583 markings/sec, 1430 secs
lola: 4360095 markings, 45977422 edges, 2498 markings/sec, 1435 secs
lola: 4372154 markings, 46137155 edges, 2412 markings/sec, 1440 secs
lola: 4384448 markings, 46297464 edges, 2459 markings/sec, 1445 secs
lola: 4397280 markings, 46456956 edges, 2566 markings/sec, 1450 secs
lola: 4410211 markings, 46616935 edges, 2586 markings/sec, 1455 secs
lola: 4423341 markings, 46777024 edges, 2626 markings/sec, 1460 secs
lola: 4435837 markings, 46936815 edges, 2499 markings/sec, 1465 secs
lola: 4448489 markings, 47096542 edges, 2530 markings/sec, 1470 secs
lola: 4460611 markings, 47256585 edges, 2424 markings/sec, 1475 secs
lola: 4472837 markings, 47416565 edges, 2445 markings/sec, 1480 secs
lola: 4485528 markings, 47576180 edges, 2538 markings/sec, 1485 secs
lola: 4497959 markings, 47735714 edges, 2486 markings/sec, 1490 secs
lola: 4510129 markings, 47895485 edges, 2434 markings/sec, 1495 secs
lola: 4522342 markings, 48055494 edges, 2443 markings/sec, 1500 secs
lola: 4534647 markings, 48215102 edges, 2461 markings/sec, 1505 secs
lola: 4546198 markings, 48374912 edges, 2310 markings/sec, 1510 secs
lola: 4557965 markings, 48534543 edges, 2353 markings/sec, 1515 secs
lola: 4569171 markings, 48694446 edges, 2241 markings/sec, 1520 secs
lola: 4580626 markings, 48854494 edges, 2291 markings/sec, 1525 secs
lola: 4599802 markings, 49012570 edges, 3835 markings/sec, 1530 secs
lola: 4621254 markings, 49171078 edges, 4290 markings/sec, 1535 secs
lola: 4637775 markings, 49331007 edges, 3304 markings/sec, 1540 secs
lola: 4652978 markings, 49491197 edges, 3041 markings/sec, 1545 secs
lola: 4668826 markings, 49651194 edges, 3170 markings/sec, 1550 secs
lola: 4683370 markings, 49811391 edges, 2909 markings/sec, 1555 secs
lola: 4697483 markings, 49971587 edges, 2823 markings/sec, 1560 secs
lola: 4713492 markings, 50131521 edges, 3202 markings/sec, 1565 secs
lola: 4728261 markings, 50291662 edges, 2954 markings/sec, 1570 secs
lola: 4741861 markings, 50451966 edges, 2720 markings/sec, 1575 secs
lola: 4756477 markings, 50612150 edges, 2923 markings/sec, 1580 secs
lola: 4769770 markings, 50772494 edges, 2659 markings/sec, 1585 secs
lola: 4782936 markings, 50932818 edges, 2633 markings/sec, 1590 secs
lola: 4798210 markings, 51092716 edges, 3055 markings/sec, 1595 secs
lola: 4813179 markings, 51253008 edges, 2994 markings/sec, 1600 secs
lola: 4827197 markings, 51413395 edges, 2804 markings/sec, 1605 secs
lola: 4841418 markings, 51573492 edges, 2844 markings/sec, 1610 secs
lola: 4854763 markings, 51733838 edges, 2669 markings/sec, 1615 secs
lola: 4868257 markings, 51894175 edges, 2699 markings/sec, 1620 secs
lola: 4882311 markings, 52054228 edges, 2811 markings/sec, 1625 secs
lola: 4895865 markings, 52214470 edges, 2711 markings/sec, 1630 secs
lola: 4909391 markings, 52374656 edges, 2705 markings/sec, 1635 secs
lola: 4922234 markings, 52535002 edges, 2569 markings/sec, 1640 secs
lola: 4935223 markings, 52695123 edges, 2598 markings/sec, 1645 secs
lola: 4947504 markings, 52855408 edges, 2456 markings/sec, 1650 secs
lola: 4959503 markings, 53015596 edges, 2400 markings/sec, 1655 secs
lola: 4980072 markings, 53173467 edges, 4114 markings/sec, 1660 secs
lola: 5001183 markings, 53331516 edges, 4222 markings/sec, 1665 secs
lola: 5020472 markings, 53489843 edges, 3858 markings/sec, 1670 secs
lola: 5046546 markings, 53647150 edges, 5215 markings/sec, 1675 secs
lola: 5068743 markings, 53805126 edges, 4439 markings/sec, 1680 secs
lola: 5088024 markings, 53963424 edges, 3856 markings/sec, 1685 secs
lola: 5106034 markings, 54121446 edges, 3602 markings/sec, 1690 secs
lola: 5126724 markings, 54279330 edges, 4138 markings/sec, 1695 secs
lola: 5146422 markings, 54437351 edges, 3940 markings/sec, 1700 secs
lola: 5164504 markings, 54595560 edges, 3616 markings/sec, 1705 secs
lola: 5182998 markings, 54753722 edges, 3699 markings/sec, 1710 secs
lola: 5205531 markings, 54911265 edges, 4507 markings/sec, 1715 secs
lola: 5225479 markings, 55069189 edges, 3990 markings/sec, 1720 secs
lola: 5245757 markings, 55227071 edges, 4056 markings/sec, 1725 secs
lola: 5265350 markings, 55385259 edges, 3919 markings/sec, 1730 secs
lola: 5282892 markings, 55543384 edges, 3508 markings/sec, 1735 secs
lola: 5301342 markings, 55701286 edges, 3690 markings/sec, 1740 secs
lola: 5324901 markings, 55859225 edges, 4712 markings/sec, 1745 secs
lola: 5341391 markings, 56019166 edges, 3298 markings/sec, 1750 secs
lola: 5359033 markings, 56178662 edges, 3528 markings/sec, 1755 secs
lola: 5374986 markings, 56338556 edges, 3191 markings/sec, 1760 secs
lola: 5390380 markings, 56498593 edges, 3079 markings/sec, 1765 secs
lola: 5405535 markings, 56658427 edges, 3031 markings/sec, 1770 secs
lola: 5421396 markings, 56818438 edges, 3172 markings/sec, 1775 secs
lola: 5436857 markings, 56978455 edges, 3092 markings/sec, 1780 secs
lola: 5451753 markings, 57138377 edges, 2979 markings/sec, 1785 secs
lola: 5466239 markings, 57298516 edges, 2897 markings/sec, 1790 secs
lola: 5480391 markings, 57458653 edges, 2830 markings/sec, 1795 secs
lola: 5493948 markings, 57618638 edges, 2711 markings/sec, 1800 secs
lola: 5510296 markings, 57778162 edges, 3270 markings/sec, 1805 secs
lola: 5526319 markings, 57937834 edges, 3205 markings/sec, 1810 secs
lola: 5541315 markings, 58097971 edges, 2999 markings/sec, 1815 secs
lola: 5555891 markings, 58250569 edges, 2915 markings/sec, 1820 secs
lola: 5569707 markings, 58403183 edges, 2763 markings/sec, 1825 secs
lola: 5584104 markings, 58562705 edges, 2879 markings/sec, 1830 secs
lola: 5599335 markings, 58722021 edges, 3046 markings/sec, 1835 secs
lola: 5613783 markings, 58881474 edges, 2890 markings/sec, 1840 secs
lola: 5628148 markings, 59040848 edges, 2873 markings/sec, 1845 secs
lola: 5642351 markings, 59200416 edges, 2841 markings/sec, 1850 secs
lola: 5655760 markings, 59359767 edges, 2682 markings/sec, 1855 secs
lola: 5671372 markings, 59519041 edges, 3122 markings/sec, 1860 secs
lola: 5687630 markings, 59678482 edges, 3252 markings/sec, 1865 secs
lola: 5702410 markings, 59837909 edges, 2956 markings/sec, 1870 secs
lola: 5717852 markings, 59997441 edges, 3088 markings/sec, 1875 secs
lola: 5732214 markings, 60156594 edges, 2872 markings/sec, 1880 secs
lola: 5746518 markings, 60316066 edges, 2861 markings/sec, 1885 secs
lola: 5761419 markings, 60475742 edges, 2980 markings/sec, 1890 secs
lola: 5776090 markings, 60635652 edges, 2934 markings/sec, 1895 secs
lola: 5789565 markings, 60795444 edges, 2695 markings/sec, 1900 secs
lola: 5803722 markings, 60954636 edges, 2831 markings/sec, 1905 secs
lola: 5816697 markings, 61114129 edges, 2595 markings/sec, 1910 secs
lola: 5830187 markings, 61273936 edges, 2698 markings/sec, 1915 secs
lola: 5844401 markings, 61433708 edges, 2843 markings/sec, 1920 secs
lola: 5859366 markings, 61593414 edges, 2993 markings/sec, 1925 secs
lola: 5873387 markings, 61753419 edges, 2804 markings/sec, 1930 secs
lola: 5887126 markings, 61913263 edges, 2748 markings/sec, 1935 secs
lola: 5900640 markings, 62073144 edges, 2703 markings/sec, 1940 secs
lola: 5913970 markings, 62232966 edges, 2666 markings/sec, 1945 secs
lola: 5927429 markings, 62392302 edges, 2692 markings/sec, 1950 secs
lola: 5941133 markings, 62552069 edges, 2741 markings/sec, 1955 secs
lola: 5954503 markings, 62711842 edges, 2674 markings/sec, 1960 secs
lola: 5967679 markings, 62870865 edges, 2635 markings/sec, 1965 secs
lola: 5980640 markings, 63030617 edges, 2592 markings/sec, 1970 secs
lola: 5993134 markings, 63190295 edges, 2499 markings/sec, 1975 secs
lola: 6007775 markings, 63349791 edges, 2928 markings/sec, 1980 secs
lola: 6023258 markings, 63509868 edges, 3097 markings/sec, 1985 secs
lola: 6038509 markings, 63669837 edges, 3050 markings/sec, 1990 secs
lola: 6053083 markings, 63829807 edges, 2915 markings/sec, 1995 secs
lola: 6067091 markings, 63989972 edges, 2802 markings/sec, 2000 secs
lola: 6081087 markings, 64149905 edges, 2799 markings/sec, 2005 secs
lola: 6095246 markings, 64310127 edges, 2832 markings/sec, 2010 secs
lola: 6109317 markings, 64470456 edges, 2814 markings/sec, 2015 secs
lola: 6123489 markings, 64630452 edges, 2834 markings/sec, 2020 secs
lola: 6136947 markings, 64790615 edges, 2692 markings/sec, 2025 secs
lola: 6149416 markings, 64950885 edges, 2494 markings/sec, 2030 secs
lola: 6162851 markings, 65110804 edges, 2687 markings/sec, 2035 secs
lola: 6176048 markings, 65270737 edges, 2639 markings/sec, 2040 secs
lola: 6190727 markings, 65430690 edges, 2936 markings/sec, 2045 secs
lola: 6205258 markings, 65590823 edges, 2906 markings/sec, 2050 secs
lola: 6218972 markings, 65751080 edges, 2743 markings/sec, 2055 secs
lola: 6232912 markings, 65910855 edges, 2788 markings/sec, 2060 secs
lola: 6246158 markings, 66070743 edges, 2649 markings/sec, 2065 secs
lola: 6259155 markings, 66230813 edges, 2599 markings/sec, 2070 secs
lola: 6273361 markings, 66390476 edges, 2841 markings/sec, 2075 secs
lola: 6286393 markings, 66550565 edges, 2606 markings/sec, 2080 secs
lola: 6299909 markings, 66710742 edges, 2703 markings/sec, 2085 secs
lola: 6313194 markings, 66870282 edges, 2657 markings/sec, 2090 secs
lola: 6325732 markings, 67030099 edges, 2508 markings/sec, 2095 secs
lola: 6338741 markings, 67189751 edges, 2602 markings/sec, 2100 secs
lola: 6353477 markings, 67349509 edges, 2947 markings/sec, 2105 secs
lola: 6367958 markings, 67509428 edges, 2896 markings/sec, 2110 secs
lola: 6381690 markings, 67669427 edges, 2746 markings/sec, 2115 secs
lola: 6395620 markings, 67829207 edges, 2786 markings/sec, 2120 secs
lola: 6408851 markings, 67988773 edges, 2646 markings/sec, 2125 secs
lola: 6421994 markings, 68148247 edges, 2629 markings/sec, 2130 secs
lola: 6435515 markings, 68308038 edges, 2704 markings/sec, 2135 secs
lola: 6449081 markings, 68467785 edges, 2713 markings/sec, 2140 secs
lola: 6462051 markings, 68627974 edges, 2594 markings/sec, 2145 secs
lola: 6474678 markings, 68787782 edges, 2525 markings/sec, 2150 secs
lola: 6487192 markings, 68946978 edges, 2503 markings/sec, 2155 secs
lola: 6499468 markings, 69106784 edges, 2455 markings/sec, 2160 secs
lola: 6511724 markings, 69266359 edges, 2451 markings/sec, 2165 secs
lola: 6525329 markings, 69426129 edges, 2721 markings/sec, 2170 secs
lola: 6538817 markings, 69586128 edges, 2698 markings/sec, 2175 secs
lola: 6551557 markings, 69746315 edges, 2548 markings/sec, 2180 secs
lola: 6564298 markings, 69906424 edges, 2548 markings/sec, 2185 secs
lola: 6576742 markings, 70066289 edges, 2489 markings/sec, 2190 secs
lola: 6589163 markings, 70226274 edges, 2484 markings/sec, 2195 secs
lola: 6601412 markings, 70386067 edges, 2450 markings/sec, 2200 secs
lola: 6614190 markings, 70545843 edges, 2556 markings/sec, 2205 secs
lola: 6626384 markings, 70705906 edges, 2439 markings/sec, 2210 secs
lola: 6638694 markings, 70865906 edges, 2462 markings/sec, 2215 secs
lola: 6651019 markings, 71025399 edges, 2465 markings/sec, 2220 secs
lola: 6662614 markings, 71185184 edges, 2319 markings/sec, 2225 secs
lola: 6674060 markings, 71344677 edges, 2289 markings/sec, 2230 secs
lola: 6690039 markings, 71504659 edges, 3196 markings/sec, 2235 secs
lola: 6705546 markings, 71664622 edges, 3101 markings/sec, 2240 secs
lola: 6720498 markings, 71824668 edges, 2990 markings/sec, 2245 secs
lola: 6734751 markings, 71984910 edges, 2851 markings/sec, 2250 secs
lola: 6748970 markings, 72144870 edges, 2844 markings/sec, 2255 secs
lola: 6762602 markings, 72304722 edges, 2726 markings/sec, 2260 secs
lola: 6777129 markings, 72465060 edges, 2905 markings/sec, 2265 secs
lola: 6791289 markings, 72625309 edges, 2832 markings/sec, 2270 secs
lola: 6804865 markings, 72785490 edges, 2715 markings/sec, 2275 secs
lola: 6818351 markings, 72945583 edges, 2697 markings/sec, 2280 secs
lola: 6831577 markings, 73105863 edges, 2645 markings/sec, 2285 secs
lola: 6846749 markings, 73265825 edges, 3034 markings/sec, 2290 secs
lola: 6861270 markings, 73425589 edges, 2904 markings/sec, 2295 secs
lola: 6875721 markings, 73585163 edges, 2890 markings/sec, 2300 secs
lola: 6889720 markings, 73745000 edges, 2800 markings/sec, 2305 secs
lola: 6903025 markings, 73904614 edges, 2661 markings/sec, 2310 secs
lola: 6917097 markings, 74064416 edges, 2814 markings/sec, 2315 secs
lola: 6930261 markings, 74224253 edges, 2633 markings/sec, 2320 secs
lola: 6943680 markings, 74384238 edges, 2684 markings/sec, 2325 secs
lola: 6957000 markings, 74543862 edges, 2664 markings/sec, 2330 secs
lola: 6969420 markings, 74703767 edges, 2484 markings/sec, 2335 secs
lola: 6982338 markings, 74863181 edges, 2584 markings/sec, 2340 secs
lola: 6997129 markings, 75023068 edges, 2958 markings/sec, 2345 secs
lola: 7011743 markings, 75183077 edges, 2923 markings/sec, 2350 secs
lola: 7025378 markings, 75343250 edges, 2727 markings/sec, 2355 secs
lola: 7039443 markings, 75503015 edges, 2813 markings/sec, 2360 secs
lola: 7052571 markings, 75662888 edges, 2626 markings/sec, 2365 secs
lola: 7065865 markings, 75822542 edges, 2659 markings/sec, 2370 secs
lola: 7079733 markings, 75982125 edges, 2774 markings/sec, 2375 secs
lola: 7093069 markings, 76142102 edges, 2667 markings/sec, 2380 secs
lola: 7106380 markings, 76302025 edges, 2662 markings/sec, 2385 secs
lola: 7119779 markings, 76461449 edges, 2680 markings/sec, 2390 secs
lola: 7132307 markings, 76621197 edges, 2506 markings/sec, 2395 secs
lola: 7144734 markings, 76780561 edges, 2485 markings/sec, 2400 secs
lola: 7158861 markings, 76940305 edges, 2825 markings/sec, 2405 secs
lola: 7171876 markings, 77099893 edges, 2603 markings/sec, 2410 secs
lola: 7185286 markings, 77259689 edges, 2682 markings/sec, 2415 secs
lola: 7198528 markings, 77419201 edges, 2648 markings/sec, 2420 secs
lola: 7211145 markings, 77579220 edges, 2523 markings/sec, 2425 secs
lola: 7223639 markings, 77738766 edges, 2499 markings/sec, 2430 secs
lola: 7236520 markings, 77898759 edges, 2576 markings/sec, 2435 secs
lola: 7248585 markings, 78058674 edges, 2413 markings/sec, 2440 secs
lola: 7261017 markings, 78218990 edges, 2486 markings/sec, 2445 secs
lola: 7273394 markings, 78378993 edges, 2475 markings/sec, 2450 secs
lola: 7285014 markings, 78538787 edges, 2324 markings/sec, 2455 secs
lola: 7296491 markings, 78698517 edges, 2295 markings/sec, 2460 secs
lola: 7310965 markings, 78858544 edges, 2895 markings/sec, 2465 secs
lola: 7325026 markings, 79018787 edges, 2812 markings/sec, 2470 secs
lola: 7338848 markings, 79178814 edges, 2764 markings/sec, 2475 secs
lola: 7352209 markings, 79338918 edges, 2672 markings/sec, 2480 secs
lola: 7365014 markings, 79499425 edges, 2561 markings/sec, 2485 secs
lola: 7378149 markings, 79659394 edges, 2627 markings/sec, 2490 secs
lola: 7391158 markings, 79819704 edges, 2602 markings/sec, 2495 secs
lola: 7403930 markings, 79980330 edges, 2554 markings/sec, 2500 secs
lola: 7417010 markings, 80140235 edges, 2616 markings/sec, 2505 secs
lola: 7429663 markings, 80300447 edges, 2531 markings/sec, 2510 secs
lola: 7441939 markings, 80460577 edges, 2455 markings/sec, 2515 secs
lola: 7454120 markings, 80620523 edges, 2436 markings/sec, 2520 secs
lola: 7468083 markings, 80780481 edges, 2793 markings/sec, 2525 secs
lola: 7481347 markings, 80940494 edges, 2653 markings/sec, 2530 secs
lola: 7494450 markings, 81100485 edges, 2621 markings/sec, 2535 secs
lola: 7507817 markings, 81260171 edges, 2673 markings/sec, 2540 secs
lola: 7520259 markings, 81420067 edges, 2488 markings/sec, 2545 secs
lola: 7532771 markings, 81579834 edges, 2502 markings/sec, 2550 secs
lola: 7545510 markings, 81739872 edges, 2548 markings/sec, 2555 secs
lola: 7557801 markings, 81899845 edges, 2458 markings/sec, 2560 secs
lola: 7569827 markings, 82059812 edges, 2405 markings/sec, 2565 secs
lola: 7582278 markings, 82219767 edges, 2490 markings/sec, 2570 secs
lola: 7593871 markings, 82379718 edges, 2319 markings/sec, 2575 secs
lola: 7605831 markings, 82539209 edges, 2392 markings/sec, 2580 secs
lola: 7619285 markings, 82699092 edges, 2691 markings/sec, 2585 secs
lola: 7632788 markings, 82859051 edges, 2701 markings/sec, 2590 secs
lola: 7645392 markings, 83019249 edges, 2521 markings/sec, 2595 secs
lola: 7658205 markings, 83178814 edges, 2563 markings/sec, 2600 secs
lola: 7670587 markings, 83338512 edges, 2476 markings/sec, 2605 secs
lola: 7682950 markings, 83498258 edges, 2473 markings/sec, 2610 secs
lola: 7695240 markings, 83658088 edges, 2458 markings/sec, 2615 secs
lola: 7708072 markings, 83817789 edges, 2566 markings/sec, 2620 secs
lola: 7720236 markings, 83977333 edges, 2433 markings/sec, 2625 secs
lola: 7732418 markings, 84136978 edges, 2436 markings/sec, 2630 secs
lola: 7744667 markings, 84296344 edges, 2450 markings/sec, 2635 secs
lola: 7756222 markings, 84455807 edges, 2311 markings/sec, 2640 secs
lola: 7767880 markings, 84615139 edges, 2332 markings/sec, 2645 secs
lola: 7780848 markings, 84774990 edges, 2594 markings/sec, 2650 secs
lola: 7793003 markings, 84935162 edges, 2431 markings/sec, 2655 secs
lola: 7805325 markings, 85095182 edges, 2464 markings/sec, 2660 secs
lola: 7817822 markings, 85255554 edges, 2499 markings/sec, 2665 secs
lola: 7829648 markings, 85416446 edges, 2365 markings/sec, 2670 secs
lola: 7840759 markings, 85570265 edges, 2222 markings/sec, 2675 secs
lola: 7852316 markings, 85726845 edges, 2311 markings/sec, 2680 secs
lola: 7863772 markings, 85884434 edges, 2291 markings/sec, 2685 secs
lola: 7874990 markings, 86041027 edges, 2244 markings/sec, 2690 secs
lola: 7885992 markings, 86197849 edges, 2200 markings/sec, 2695 secs
lola: 7897248 markings, 86354449 edges, 2251 markings/sec, 2700 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes no yes no no unknown no no no yes yes no no no no
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: yes yes no yes no no unknown no no no yes yes no no no no
lola:
preliminary result: yes yes no yes no no unknown no no no yes yes no no no no
lola: memory consumption: 1675476 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes no yes no no unknown no no no yes yes no no no no
lola: memory consumption: 1675476 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1589215046997
--------------------
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="ASLink-PT-09b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool win2019"
echo " Input is ASLink-PT-09b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r015-smll-158897552700037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09b.tgz
mv ASLink-PT-09b execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;