About the Execution of ITS-LoLa for AutoFlight-PT-02b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15794.820 | 3600000.00 | 3511539.00 | 25614.80 | FTFFFTFFF?TFTFTF | 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.r166-smll-158987787600395.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is AutoFlight-PT-02b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787600395
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 23:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 14:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 48K 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 AutoFlight-PT-02b-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-02b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591453532769
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-06 14:25:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-06 14:25:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-06 14:25:35] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2020-06-06 14:25:36] [INFO ] Transformed 206 places.
[2020-06-06 14:25:36] [INFO ] Transformed 204 transitions.
[2020-06-06 14:25:36] [INFO ] Found NUPN structural information;
[2020-06-06 14:25:36] [INFO ] Parsed PT model containing 206 places and 204 transitions in 137 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 31 ms.
Incomplete random walk after 100000 steps, including 881 resets, run finished after 365 ms. (steps per millisecond=273 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1]
// Phase 1: matrix 204 rows 206 cols
[2020-06-06 14:25:36] [INFO ] Computed 16 place invariants in 12 ms
[2020-06-06 14:25:36] [INFO ] [Real]Absence check using 15 positive place invariants in 35 ms returned sat
[2020-06-06 14:25:36] [INFO ] [Real]Absence check using 15 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 14:25:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 14:25:37] [INFO ] [Real]Absence check using state equation in 307 ms returned sat
[2020-06-06 14:25:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 14:25:37] [INFO ] [Nat]Absence check using 15 positive place invariants in 94 ms returned sat
[2020-06-06 14:25:37] [INFO ] [Nat]Absence check using 15 positive and 1 generalized place invariants in 3 ms returned sat
[2020-06-06 14:25:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 14:25:37] [INFO ] [Nat]Absence check using state equation in 289 ms returned sat
[2020-06-06 14:25:37] [INFO ] Deduced a trap composed of 32 places in 168 ms
[2020-06-06 14:25:37] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 228 ms
[2020-06-06 14:25:37] [INFO ] Computed and/alt/rep : 203/275/203 causal constraints in 35 ms.
[2020-06-06 14:25:39] [INFO ] Added : 203 causal constraints over 41 iterations in 1253 ms. Result :sat
[2020-06-06 14:25:39] [INFO ] [Real]Absence check using 15 positive place invariants in 22 ms returned sat
[2020-06-06 14:25:39] [INFO ] [Real]Absence check using 15 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 14:25:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-06 14:25:39] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-06-06 14:25:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-06 14:25:39] [INFO ] [Nat]Absence check using 15 positive place invariants in 148 ms returned sat
[2020-06-06 14:25:39] [INFO ] [Nat]Absence check using 15 positive and 1 generalized place invariants in 2 ms returned sat
[2020-06-06 14:25:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-06 14:25:40] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2020-06-06 14:25:40] [INFO ] Deduced a trap composed of 28 places in 140 ms
[2020-06-06 14:25:40] [INFO ] Deduced a trap composed of 28 places in 95 ms
[2020-06-06 14:25:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 285 ms
[2020-06-06 14:25:40] [INFO ] Computed and/alt/rep : 203/275/203 causal constraints in 29 ms.
[2020-06-06 14:25:41] [INFO ] Added : 203 causal constraints over 41 iterations in 1136 ms. Result :sat
[2020-06-06 14:25:41] [INFO ] Deduced a trap composed of 44 places in 121 ms
[2020-06-06 14:25:41] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 178 ms
[2020-06-06 14:25:42] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-06 14:25:42] [INFO ] Flatten gal took : 111 ms
[2020-06-06 14:25:42] [INFO ] Initial state reduction rules for CTL removed 7 formulas.
[2020-06-06 14:25:42] [INFO ] Flatten gal took : 41 ms
FORMULA AutoFlight-PT-02b-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-02b-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-06 14:25:42] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 5 ms.
[2020-06-06 14:25:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ AutoFlight-PT-02b @ 3570 seconds
FORMULA AutoFlight-PT-02b-CTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA AutoFlight-PT-02b-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ AutoFlight-PT-02b
{
"exit":
{
"memory": 783036,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "G (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96)))))",
"processed_size": 72,
"rewrites": 9
},
"result":
{
"preliminary_value": "yes no no no no unknown yes yes yes "
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "universal single path",
"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: 410/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 206
lola: finding significant places
lola: 206 places, 204 transitions, 190 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p86 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p196 <= 1)
lola: LP says that atomic proposition is always true: (p16 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: A (F (E (G ((((p154 <= 0)) OR ((1 <= p164)) OR ((1 <= p0))))))) : (NOT(E (F (((1 <= p186))))) OR (((1 <= p61)) AND ((p48 <= 0)))) : A (G ((((p24 <= 0)) OR ((1 <= p180))))) : A (G ((((p175 <= 0)) OR ((1 <= p7))))) : A ((((((1 <= p205)) AND ((p33 <= 0))) OR ((((p144 <= 0)) OR ((1 <= p204))) AND (((p176 <= 0)) OR ((1 <= p86))))) U E (X (((1 <= p38)))))) : A (G (A (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96))))))) : E (F ((((1 <= p65)) AND ((p82 <= 0)) AND ((1 <= p140)) AND ((p10 <= 0)) AND ((p196 <= 0) OR (((1 <= p93)) AND ((p16 <= 0))))))) : E (G (E (F ((((p153 <= 0)) OR ((1 <= p106))))))) : NOT(A (G (A (G ((((p55 <= 0)) OR ((1 <= p80))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:323
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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((((1 <= p205)) AND ((p33 <= 0))) OR ((((p144 <= 0)) OR ((1 <= p204))) AND (((p176 <= 0)) OR ((1 <= p86))))) U E (X (((1 <= p38))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A(((((1 <= p205)) AND ((p33 <= 0))) OR ((((p144 <= 0)) OR ((1 <= p204))) AND (((p176 <= 0)) OR ((1 <= p86))))) U EX(((1 <= p38))))
lola: processed formula length: 133
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 117 markings, 116 edges
lola: ========================================
lola: subprocess 1 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p175 <= 0)) OR ((1 <= p7)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p175 <= 0)) OR ((1 <= p7)))))
lola: processed formula length: 39
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p175)) AND ((p7 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 2 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p24 <= 0)) OR ((1 <= p180)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((((p24 <= 0)) OR ((1 <= p180)))))
lola: processed formula length: 40
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p24)) AND ((p180 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 34 markings, 33 edges
lola: ========================================
lola: subprocess 3 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p55)) AND ((p80 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p55)) AND ((p80 <= 0)))))
lola: processed formula length: 39
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p55)) AND ((p80 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 16 markings, 15 edges
lola: ========================================
lola: subprocess 4 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p65)) AND ((p82 <= 0)) AND ((1 <= p140)) AND ((p10 <= 0)) AND ((p196 <= 0) OR (((1 <= p93)) AND ((p16 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p65)) AND ((p82 <= 0)) AND ((1 <= p140)) AND ((p10 <= 0)) AND ((p196 <= 0) OR (((1 <= p93)) AND ((p16 <= 0)))))))
lola: processed formula length: 128
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p65)) AND ((p82 <= 0)) AND ((1 <= p140)) AND ((p10 <= 0)) AND ((p196 <= 0) OR (((1 <= p93)) AND ((p16 <= 0)))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 11 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 643 markings, 700 edges
lola: ========================================
lola: subprocess 5 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((((p154 <= 0)) OR ((1 <= p164)) OR ((1 <= p0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(EG((((p154 <= 0)) OR ((1 <= p164)) OR ((1 <= p0)))))
lola: processed formula length: 57
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 109 markings, 109 edges
lola: ========================================
lola: subprocess 6 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p186 <= 0)))) OR (((1 <= p61)) AND ((p48 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 1189 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p61)) AND ((p48 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((1 <= p61)) AND ((p48 <= 0)))
lola: processed formula length: 31
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 2 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 7 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p186 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p186 <= 0))))
lola: processed formula length: 21
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p186))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 648 markings, 696 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((((p153 <= 0)) OR ((1 <= p106)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (((p153 <= 0)) OR ((1 <= p106)))
lola: processed formula length: 33
lola: 10 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p153)) AND ((p106 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 109 markings, 108 edges
lola: ========================================
lola: subprocess 8 will run for 3567 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96)))))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96)))))
lola: processed formula length: 72
lola: 9 rewrites
lola: closed formula file CTLCardinality.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: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 323669 markings, 2073375 edges, 64734 markings/sec, 0 secs
lola: 602002 markings, 4211481 edges, 55667 markings/sec, 5 secs
lola: 870584 markings, 6264129 edges, 53716 markings/sec, 10 secs
lola: 1139050 markings, 8342317 edges, 53693 markings/sec, 15 secs
lola: 1399594 markings, 10422656 edges, 52109 markings/sec, 20 secs
lola: 1664089 markings, 12509057 edges, 52899 markings/sec, 25 secs
lola: 1947451 markings, 14594537 edges, 56672 markings/sec, 30 secs
lola: 2219255 markings, 16686456 edges, 54361 markings/sec, 35 secs
lola: 2490552 markings, 18821426 edges, 54259 markings/sec, 40 secs
lola: 2735130 markings, 20939412 edges, 48916 markings/sec, 45 secs
lola: 2974138 markings, 23041978 edges, 47802 markings/sec, 50 secs
lola: 3196983 markings, 25087322 edges, 44569 markings/sec, 55 secs
lola: 3431890 markings, 27108945 edges, 46981 markings/sec, 60 secs
lola: 3659433 markings, 29164142 edges, 45509 markings/sec, 65 secs
lola: 3891195 markings, 31183275 edges, 46352 markings/sec, 70 secs
lola: 4123280 markings, 33246764 edges, 46417 markings/sec, 75 secs
lola: 4341934 markings, 35256902 edges, 43731 markings/sec, 80 secs
lola: 4575226 markings, 37283304 edges, 46658 markings/sec, 85 secs
lola: 4788163 markings, 39312082 edges, 42587 markings/sec, 90 secs
lola: 4991326 markings, 41314913 edges, 40633 markings/sec, 95 secs
lola: 5196437 markings, 43344643 edges, 41022 markings/sec, 100 secs
lola: 5407035 markings, 45375227 edges, 42120 markings/sec, 105 secs
lola: 5641908 markings, 47433046 edges, 46975 markings/sec, 110 secs
lola: 5876196 markings, 49507055 edges, 46858 markings/sec, 115 secs
lola: 6110585 markings, 51585586 edges, 46878 markings/sec, 120 secs
lola: 6312718 markings, 53537912 edges, 40427 markings/sec, 125 secs
lola: 6549368 markings, 55591301 edges, 47330 markings/sec, 130 secs
lola: 6766037 markings, 57635768 edges, 43334 markings/sec, 135 secs
lola: 6967912 markings, 59619836 edges, 40375 markings/sec, 140 secs
lola: 7169553 markings, 61634634 edges, 40328 markings/sec, 145 secs
lola: 7378334 markings, 63635419 edges, 41756 markings/sec, 150 secs
lola: 7604649 markings, 65657425 edges, 45263 markings/sec, 155 secs
lola: 7807074 markings, 67679186 edges, 40485 markings/sec, 160 secs
lola: 8038239 markings, 69686316 edges, 46233 markings/sec, 165 secs
lola: 8250211 markings, 71652954 edges, 42394 markings/sec, 170 secs
lola: 8456055 markings, 73603211 edges, 41169 markings/sec, 175 secs
lola: 8668953 markings, 75653174 edges, 42580 markings/sec, 180 secs
lola: 8885897 markings, 77675098 edges, 43389 markings/sec, 185 secs
lola: 9101993 markings, 79703609 edges, 43219 markings/sec, 190 secs
lola: 9300830 markings, 81670327 edges, 39767 markings/sec, 195 secs
lola: 9494213 markings, 83623071 edges, 38677 markings/sec, 200 secs
lola: 9704693 markings, 85612017 edges, 42096 markings/sec, 205 secs
lola: 9900824 markings, 87555789 edges, 39226 markings/sec, 210 secs
lola: 10131640 markings, 89595143 edges, 46163 markings/sec, 215 secs
lola: 10350106 markings, 91639274 edges, 43693 markings/sec, 220 secs
lola: 10556605 markings, 93607123 edges, 41300 markings/sec, 225 secs
lola: 10757343 markings, 95573627 edges, 40148 markings/sec, 230 secs
lola: 10957392 markings, 97560351 edges, 40010 markings/sec, 235 secs
lola: 11144029 markings, 99501691 edges, 37327 markings/sec, 240 secs
lola: 11342211 markings, 101481934 edges, 39636 markings/sec, 245 secs
lola: 11536562 markings, 103481012 edges, 38870 markings/sec, 250 secs
lola: 11726194 markings, 105480736 edges, 37926 markings/sec, 255 secs
lola: 11898485 markings, 107407142 edges, 34458 markings/sec, 260 secs
lola: 12075225 markings, 109355540 edges, 35348 markings/sec, 265 secs
lola: 12253700 markings, 111293128 edges, 35695 markings/sec, 270 secs
lola: 12456354 markings, 113275038 edges, 40531 markings/sec, 275 secs
lola: 12649515 markings, 115261841 edges, 38632 markings/sec, 280 secs
lola: 12839290 markings, 117221522 edges, 37955 markings/sec, 285 secs
lola: 13013812 markings, 119100029 edges, 34904 markings/sec, 290 secs
lola: 13191177 markings, 120994029 edges, 35473 markings/sec, 295 secs
lola: 13467243 markings, 123009740 edges, 55213 markings/sec, 300 secs
lola: 13729827 markings, 125024471 edges, 52517 markings/sec, 305 secs
lola: 13981739 markings, 127031835 edges, 50382 markings/sec, 310 secs
lola: 14251609 markings, 129098519 edges, 53974 markings/sec, 315 secs
lola: 14481740 markings, 131092388 edges, 46026 markings/sec, 320 secs
lola: 14704221 markings, 133050176 edges, 44496 markings/sec, 325 secs
lola: 14966044 markings, 135128044 edges, 52365 markings/sec, 330 secs
lola: 15184971 markings, 137117447 edges, 43785 markings/sec, 335 secs
lola: 15398280 markings, 139055104 edges, 42662 markings/sec, 340 secs
lola: 15599780 markings, 140980486 edges, 40300 markings/sec, 345 secs
lola: 15830586 markings, 143038508 edges, 46161 markings/sec, 350 secs
lola: 16084899 markings, 145108451 edges, 50863 markings/sec, 355 secs
lola: 16327562 markings, 147150518 edges, 48533 markings/sec, 360 secs
lola: 16587503 markings, 149204949 edges, 51988 markings/sec, 365 secs
lola: 16827710 markings, 151286411 edges, 48041 markings/sec, 370 secs
lola: 17045973 markings, 153318972 edges, 43653 markings/sec, 375 secs
lola: 17285760 markings, 155342722 edges, 47957 markings/sec, 380 secs
lola: 17495822 markings, 157285802 edges, 42012 markings/sec, 385 secs
lola: 17698507 markings, 159187450 edges, 40537 markings/sec, 390 secs
lola: 17944498 markings, 161229726 edges, 49198 markings/sec, 395 secs
lola: 18161901 markings, 163236965 edges, 43481 markings/sec, 400 secs
lola: 18370410 markings, 165206174 edges, 41702 markings/sec, 405 secs
lola: 18581400 markings, 167185590 edges, 42198 markings/sec, 410 secs
lola: 18809173 markings, 169213475 edges, 45555 markings/sec, 415 secs
lola: 19024133 markings, 171153798 edges, 42992 markings/sec, 420 secs
lola: 19258565 markings, 173194411 edges, 46886 markings/sec, 425 secs
lola: 19477072 markings, 175156210 edges, 43701 markings/sec, 430 secs
lola: 19701416 markings, 177155957 edges, 44869 markings/sec, 435 secs
lola: 19925659 markings, 179166465 edges, 44849 markings/sec, 440 secs
lola: 20136622 markings, 181149464 edges, 42193 markings/sec, 445 secs
lola: 20373121 markings, 183135151 edges, 47300 markings/sec, 450 secs
lola: 20609700 markings, 185195912 edges, 47316 markings/sec, 455 secs
lola: 20852936 markings, 187242954 edges, 48647 markings/sec, 460 secs
lola: 21082655 markings, 189254526 edges, 45944 markings/sec, 465 secs
lola: 21300933 markings, 191226626 edges, 43656 markings/sec, 470 secs
lola: 21558042 markings, 193302227 edges, 51422 markings/sec, 475 secs
lola: 21796378 markings, 195349697 edges, 47667 markings/sec, 480 secs
lola: 22085096 markings, 197460786 edges, 57744 markings/sec, 485 secs
lola: 22365423 markings, 199491475 edges, 56065 markings/sec, 490 secs
lola: 22638480 markings, 201606880 edges, 54611 markings/sec, 495 secs
lola: 22898872 markings, 203704100 edges, 52078 markings/sec, 500 secs
lola: 23188361 markings, 205817320 edges, 57898 markings/sec, 505 secs
lola: 23449220 markings, 207941128 edges, 52172 markings/sec, 510 secs
lola: 23711989 markings, 210024276 edges, 52554 markings/sec, 515 secs
lola: 23973645 markings, 212123017 edges, 52331 markings/sec, 520 secs
lola: 24220540 markings, 214202904 edges, 49379 markings/sec, 525 secs
lola: 24466928 markings, 216233108 edges, 49278 markings/sec, 530 secs
lola: 24712332 markings, 218347847 edges, 49081 markings/sec, 535 secs
lola: 24973867 markings, 220457336 edges, 52307 markings/sec, 540 secs
lola: 25224932 markings, 222536304 edges, 50213 markings/sec, 545 secs
lola: 25461553 markings, 224617866 edges, 47324 markings/sec, 550 secs
lola: 25688540 markings, 226703079 edges, 45397 markings/sec, 555 secs
lola: 25907571 markings, 228770062 edges, 43806 markings/sec, 560 secs
lola: 26156709 markings, 230872979 edges, 49828 markings/sec, 565 secs
lola: 26400619 markings, 232973036 edges, 48782 markings/sec, 570 secs
lola: 26618464 markings, 235034786 edges, 43569 markings/sec, 575 secs
lola: 26843734 markings, 237073038 edges, 45054 markings/sec, 580 secs
lola: 27082697 markings, 239140854 edges, 47793 markings/sec, 585 secs
lola: 27312790 markings, 241204634 edges, 46019 markings/sec, 590 secs
lola: 27538930 markings, 243224011 edges, 45228 markings/sec, 595 secs
lola: 27759281 markings, 245239785 edges, 44070 markings/sec, 600 secs
lola: 27980780 markings, 247242983 edges, 44300 markings/sec, 605 secs
lola: 28227303 markings, 249314135 edges, 49305 markings/sec, 610 secs
lola: 28476042 markings, 251379745 edges, 49748 markings/sec, 615 secs
lola: 28707343 markings, 253461734 edges, 46260 markings/sec, 620 secs
lola: 28926203 markings, 255531933 edges, 43772 markings/sec, 625 secs
lola: 29153873 markings, 257593381 edges, 45534 markings/sec, 630 secs
lola: 29392789 markings, 259647538 edges, 47783 markings/sec, 635 secs
lola: 29642470 markings, 261735945 edges, 49936 markings/sec, 640 secs
lola: 29872860 markings, 263775834 edges, 46078 markings/sec, 645 secs
lola: 30156551 markings, 265833805 edges, 56738 markings/sec, 650 secs
lola: 30399987 markings, 267857845 edges, 48687 markings/sec, 655 secs
lola: 30620458 markings, 269855044 edges, 44094 markings/sec, 660 secs
lola: 30869097 markings, 271906369 edges, 49728 markings/sec, 665 secs
lola: 31107397 markings, 273977139 edges, 47660 markings/sec, 670 secs
lola: 31333235 markings, 275951182 edges, 45168 markings/sec, 675 secs
lola: 31573314 markings, 277938477 edges, 48016 markings/sec, 680 secs
lola: 31821755 markings, 279955486 edges, 49688 markings/sec, 685 secs
lola: 32053747 markings, 281986246 edges, 46398 markings/sec, 690 secs
lola: 32287514 markings, 283994547 edges, 46753 markings/sec, 695 secs
lola: 32521893 markings, 286022312 edges, 46876 markings/sec, 700 secs
lola: 32750303 markings, 288057467 edges, 45682 markings/sec, 705 secs
lola: 32969013 markings, 290022452 edges, 43742 markings/sec, 710 secs
lola: 33202319 markings, 292029835 edges, 46661 markings/sec, 715 secs
lola: 33427046 markings, 294015369 edges, 44945 markings/sec, 720 secs
lola: 33660253 markings, 296053445 edges, 46641 markings/sec, 725 secs
lola: 33859852 markings, 297924657 edges, 39920 markings/sec, 730 secs
lola: 34095036 markings, 299954752 edges, 47037 markings/sec, 735 secs
lola: 34312559 markings, 301911439 edges, 43505 markings/sec, 740 secs
lola: 34518341 markings, 303855707 edges, 41156 markings/sec, 745 secs
lola: 34711604 markings, 305698009 edges, 38653 markings/sec, 750 secs
lola: 34911121 markings, 307586022 edges, 39903 markings/sec, 755 secs
lola: 35154174 markings, 309654224 edges, 48611 markings/sec, 760 secs
lola: 35392460 markings, 311694644 edges, 47657 markings/sec, 765 secs
lola: 35620952 markings, 313748019 edges, 45698 markings/sec, 770 secs
lola: 35833552 markings, 315737648 edges, 42520 markings/sec, 775 secs
lola: 36021476 markings, 317632813 edges, 37585 markings/sec, 780 secs
lola: 36305980 markings, 319707775 edges, 56901 markings/sec, 785 secs
lola: 36553793 markings, 321803757 edges, 49563 markings/sec, 790 secs
lola: 36808635 markings, 323875284 edges, 50968 markings/sec, 795 secs
lola: 37099957 markings, 325928482 edges, 58264 markings/sec, 800 secs
lola: 37332438 markings, 327924031 edges, 46496 markings/sec, 805 secs
lola: 37578839 markings, 330003578 edges, 49280 markings/sec, 810 secs
lola: 37806384 markings, 332089807 edges, 45509 markings/sec, 815 secs
lola: 38042961 markings, 334192139 edges, 47315 markings/sec, 820 secs
lola: 38269031 markings, 336260682 edges, 45214 markings/sec, 825 secs
lola: 38491045 markings, 338287147 edges, 44403 markings/sec, 830 secs
lola: 38711207 markings, 340325794 edges, 44032 markings/sec, 835 secs
lola: 38926197 markings, 342413049 edges, 42998 markings/sec, 840 secs
lola: 39135210 markings, 344460624 edges, 41803 markings/sec, 845 secs
lola: 39373471 markings, 346508732 edges, 47652 markings/sec, 850 secs
lola: 39601841 markings, 348568434 edges, 45674 markings/sec, 855 secs
lola: 39826394 markings, 350623229 edges, 44911 markings/sec, 860 secs
lola: 40044151 markings, 352710804 edges, 43551 markings/sec, 865 secs
lola: 40268071 markings, 354792470 edges, 44784 markings/sec, 870 secs
lola: 40487802 markings, 356836255 edges, 43946 markings/sec, 875 secs
lola: 40696122 markings, 358891679 edges, 41664 markings/sec, 880 secs
lola: 40895148 markings, 360951003 edges, 39805 markings/sec, 885 secs
lola: 41091728 markings, 362990805 edges, 39316 markings/sec, 890 secs
lola: 41307220 markings, 365044294 edges, 43098 markings/sec, 895 secs
lola: 41508497 markings, 367113133 edges, 40255 markings/sec, 900 secs
lola: 41702603 markings, 369168551 edges, 38821 markings/sec, 905 secs
lola: 41908985 markings, 371221407 edges, 41276 markings/sec, 910 secs
lola: 42105228 markings, 373223982 edges, 39249 markings/sec, 915 secs
lola: 42307617 markings, 375241024 edges, 40478 markings/sec, 920 secs
lola: 42514707 markings, 377246248 edges, 41418 markings/sec, 925 secs
lola: 42735199 markings, 379287268 edges, 44098 markings/sec, 930 secs
lola: 42953053 markings, 381293925 edges, 43571 markings/sec, 935 secs
lola: 43171988 markings, 383369035 edges, 43787 markings/sec, 940 secs
lola: 43369108 markings, 385425853 edges, 39424 markings/sec, 945 secs
lola: 43567875 markings, 387491034 edges, 39753 markings/sec, 950 secs
lola: 43785410 markings, 389525477 edges, 43507 markings/sec, 955 secs
lola: 43994483 markings, 391560048 edges, 41815 markings/sec, 960 secs
lola: 44205173 markings, 393583484 edges, 42138 markings/sec, 965 secs
lola: 44396968 markings, 395536451 edges, 38359 markings/sec, 970 secs
lola: 44591494 markings, 397525031 edges, 38905 markings/sec, 975 secs
lola: 44785552 markings, 399480356 edges, 38812 markings/sec, 980 secs
lola: 45012155 markings, 401482611 edges, 45321 markings/sec, 985 secs
lola: 45219546 markings, 403429837 edges, 41478 markings/sec, 990 secs
lola: 45447316 markings, 405389340 edges, 45554 markings/sec, 995 secs
lola: 45661085 markings, 407376091 edges, 42754 markings/sec, 1000 secs
lola: 45877843 markings, 409355893 edges, 43352 markings/sec, 1005 secs
lola: 46082191 markings, 411282748 edges, 40870 markings/sec, 1010 secs
lola: 46290414 markings, 413235285 edges, 41645 markings/sec, 1015 secs
lola: 46484583 markings, 415154252 edges, 38834 markings/sec, 1020 secs
lola: 46695644 markings, 417058568 edges, 42212 markings/sec, 1025 secs
lola: 46906909 markings, 419033266 edges, 42253 markings/sec, 1030 secs
lola: 47103288 markings, 420928361 edges, 39276 markings/sec, 1035 secs
lola: 47302397 markings, 422873298 edges, 39822 markings/sec, 1040 secs
lola: 47492820 markings, 424746902 edges, 38085 markings/sec, 1045 secs
lola: 47697853 markings, 426701074 edges, 41007 markings/sec, 1050 secs
lola: 47875093 markings, 428499673 edges, 35448 markings/sec, 1055 secs
lola: 48060979 markings, 430366389 edges, 37177 markings/sec, 1060 secs
lola: 48281436 markings, 432355725 edges, 44091 markings/sec, 1065 secs
lola: 48477157 markings, 434303255 edges, 39144 markings/sec, 1070 secs
lola: 48664226 markings, 436181006 edges, 37414 markings/sec, 1075 secs
lola: 48860409 markings, 438136350 edges, 39237 markings/sec, 1080 secs
lola: 49051184 markings, 440034099 edges, 38155 markings/sec, 1085 secs
lola: 49235181 markings, 441926522 edges, 36799 markings/sec, 1090 secs
lola: 49413738 markings, 443792951 edges, 35711 markings/sec, 1095 secs
lola: 49611279 markings, 445745885 edges, 39508 markings/sec, 1100 secs
lola: 49814883 markings, 447711474 edges, 40721 markings/sec, 1105 secs
lola: 50004102 markings, 449608863 edges, 37844 markings/sec, 1110 secs
lola: 50165345 markings, 451390408 edges, 32249 markings/sec, 1115 secs
lola: 50370203 markings, 453383889 edges, 40972 markings/sec, 1120 secs
lola: 50647068 markings, 455450553 edges, 55373 markings/sec, 1125 secs
lola: 50890943 markings, 457521452 edges, 48775 markings/sec, 1130 secs
lola: 51131728 markings, 459604670 edges, 48157 markings/sec, 1135 secs
lola: 51352480 markings, 461690555 edges, 44150 markings/sec, 1140 secs
lola: 51580165 markings, 463748428 edges, 45537 markings/sec, 1145 secs
lola: 51808684 markings, 465823490 edges, 45704 markings/sec, 1150 secs
lola: 52034400 markings, 467867533 edges, 45143 markings/sec, 1155 secs
lola: 52278555 markings, 469892695 edges, 48831 markings/sec, 1160 secs
lola: 52489516 markings, 471869700 edges, 42192 markings/sec, 1165 secs
lola: 52711577 markings, 473888125 edges, 44412 markings/sec, 1170 secs
lola: 52921453 markings, 475837976 edges, 41975 markings/sec, 1175 secs
lola: 53141734 markings, 477881009 edges, 44056 markings/sec, 1180 secs
lola: 53341172 markings, 479835912 edges, 39888 markings/sec, 1185 secs
lola: 53557349 markings, 481877970 edges, 43235 markings/sec, 1190 secs
lola: 53759862 markings, 483905591 edges, 40503 markings/sec, 1195 secs
lola: 53964935 markings, 485925704 edges, 41015 markings/sec, 1200 secs
lola: 54188313 markings, 487985558 edges, 44676 markings/sec, 1205 secs
lola: 54403552 markings, 490018737 edges, 43048 markings/sec, 1210 secs
lola: 54616364 markings, 492042645 edges, 42562 markings/sec, 1215 secs
lola: 54840067 markings, 494071563 edges, 44741 markings/sec, 1220 secs
lola: 55055826 markings, 496109706 edges, 43152 markings/sec, 1225 secs
lola: 55251519 markings, 498128448 edges, 39139 markings/sec, 1230 secs
lola: 55437855 markings, 500142413 edges, 37267 markings/sec, 1235 secs
lola: 55647191 markings, 502188885 edges, 41867 markings/sec, 1240 secs
lola: 55858106 markings, 504216184 edges, 42183 markings/sec, 1245 secs
lola: 56046843 markings, 506234514 edges, 37747 markings/sec, 1250 secs
lola: 56247146 markings, 508250515 edges, 40061 markings/sec, 1255 secs
lola: 56438955 markings, 510228500 edges, 38362 markings/sec, 1260 secs
lola: 56635142 markings, 512197759 edges, 39237 markings/sec, 1265 secs
lola: 56830997 markings, 514164362 edges, 39171 markings/sec, 1270 secs
lola: 57044038 markings, 516157536 edges, 42608 markings/sec, 1275 secs
lola: 57252050 markings, 518134905 edges, 41602 markings/sec, 1280 secs
lola: 57457278 markings, 520175641 edges, 41046 markings/sec, 1285 secs
lola: 57655607 markings, 522215048 edges, 39666 markings/sec, 1290 secs
lola: 57857727 markings, 524248364 edges, 40424 markings/sec, 1295 secs
lola: 58071019 markings, 526262348 edges, 42658 markings/sec, 1300 secs
lola: 58259529 markings, 528249240 edges, 37702 markings/sec, 1305 secs
lola: 58457770 markings, 530199143 edges, 39648 markings/sec, 1310 secs
lola: 58659258 markings, 532193645 edges, 40298 markings/sec, 1315 secs
lola: 58844338 markings, 534162878 edges, 37016 markings/sec, 1320 secs
lola: 59028655 markings, 536036483 edges, 36863 markings/sec, 1325 secs
lola: 59211780 markings, 537915917 edges, 36625 markings/sec, 1330 secs
lola: 59405402 markings, 539915046 edges, 38724 markings/sec, 1335 secs
lola: 59589173 markings, 541904773 edges, 36754 markings/sec, 1340 secs
lola: 59781554 markings, 543924563 edges, 38476 markings/sec, 1345 secs
lola: 59961125 markings, 545907395 edges, 35914 markings/sec, 1350 secs
lola: 60129615 markings, 547889636 edges, 33698 markings/sec, 1355 secs
lola: 60390711 markings, 549898434 edges, 52219 markings/sec, 1360 secs
lola: 60637746 markings, 551914291 edges, 49407 markings/sec, 1365 secs
lola: 60864839 markings, 553865070 edges, 45419 markings/sec, 1370 secs
lola: 61132659 markings, 555965626 edges, 53564 markings/sec, 1375 secs
lola: 61382267 markings, 558078025 edges, 49922 markings/sec, 1380 secs
lola: 61640019 markings, 560129693 edges, 51550 markings/sec, 1385 secs
lola: 61858787 markings, 562115374 edges, 43754 markings/sec, 1390 secs
lola: 62059974 markings, 564068963 edges, 40237 markings/sec, 1395 secs
lola: 62264209 markings, 566020541 edges, 40847 markings/sec, 1400 secs
lola: 62495856 markings, 568086192 edges, 46329 markings/sec, 1405 secs
lola: 62713502 markings, 570163688 edges, 43529 markings/sec, 1410 secs
lola: 62912418 markings, 572070325 edges, 39783 markings/sec, 1415 secs
lola: 63108163 markings, 573979568 edges, 39149 markings/sec, 1420 secs
lola: 63283942 markings, 575844665 edges, 35156 markings/sec, 1425 secs
lola: 63475204 markings, 577720433 edges, 38252 markings/sec, 1430 secs
lola: 63656472 markings, 579593749 edges, 36254 markings/sec, 1435 secs
lola: 63851816 markings, 581452713 edges, 39069 markings/sec, 1440 secs
lola: 64044130 markings, 583315294 edges, 38463 markings/sec, 1445 secs
lola: 64212090 markings, 585129992 edges, 33592 markings/sec, 1450 secs
lola: 64402913 markings, 586970976 edges, 38165 markings/sec, 1455 secs
lola: 64577314 markings, 588798459 edges, 34880 markings/sec, 1460 secs
lola: 64805817 markings, 590728627 edges, 45701 markings/sec, 1465 secs
lola: 65011649 markings, 592669283 edges, 41166 markings/sec, 1470 secs
lola: 65223056 markings, 594670204 edges, 42281 markings/sec, 1475 secs
lola: 65417057 markings, 596625762 edges, 38800 markings/sec, 1480 secs
lola: 65619952 markings, 598588011 edges, 40579 markings/sec, 1485 secs
lola: 65836772 markings, 600543440 edges, 43364 markings/sec, 1490 secs
lola: 66021744 markings, 602474597 edges, 36994 markings/sec, 1495 secs
lola: 66204230 markings, 604394786 edges, 36497 markings/sec, 1500 secs
lola: 66434055 markings, 606398627 edges, 45965 markings/sec, 1505 secs
lola: 66634755 markings, 608383734 edges, 40140 markings/sec, 1510 secs
lola: 66830590 markings, 610376807 edges, 39167 markings/sec, 1515 secs
lola: 67020226 markings, 612315400 edges, 37927 markings/sec, 1520 secs
lola: 67213328 markings, 614233466 edges, 38620 markings/sec, 1525 secs
lola: 67396572 markings, 616090096 edges, 36649 markings/sec, 1530 secs
lola: 67578055 markings, 617946883 edges, 36297 markings/sec, 1535 secs
lola: 67772277 markings, 619857521 edges, 38844 markings/sec, 1540 secs
lola: 67968947 markings, 621803874 edges, 39334 markings/sec, 1545 secs
lola: 68169542 markings, 623733478 edges, 40119 markings/sec, 1550 secs
lola: 68363673 markings, 625693506 edges, 38826 markings/sec, 1555 secs
lola: 68593050 markings, 627774776 edges, 45875 markings/sec, 1560 secs
lola: 68809111 markings, 629845725 edges, 43212 markings/sec, 1565 secs
lola: 69011556 markings, 631901695 edges, 40489 markings/sec, 1570 secs
lola: 69203269 markings, 633908983 edges, 38343 markings/sec, 1575 secs
lola: 69401494 markings, 635847454 edges, 39645 markings/sec, 1580 secs
lola: 69602675 markings, 637806855 edges, 40236 markings/sec, 1585 secs
lola: 69789861 markings, 639720167 edges, 37437 markings/sec, 1590 secs
lola: 69979539 markings, 641652335 edges, 37936 markings/sec, 1595 secs
lola: 70168621 markings, 643552591 edges, 37816 markings/sec, 1600 secs
lola: 70342156 markings, 645443774 edges, 34707 markings/sec, 1605 secs
lola: 70521310 markings, 647351972 edges, 35831 markings/sec, 1610 secs
lola: 70681662 markings, 649212664 edges, 32070 markings/sec, 1615 secs
lola: 70858056 markings, 651101155 edges, 35279 markings/sec, 1620 secs
lola: 71021127 markings, 652980665 edges, 32614 markings/sec, 1625 secs
lola: 71232830 markings, 654920366 edges, 42341 markings/sec, 1630 secs
lola: 71439752 markings, 656942379 edges, 41384 markings/sec, 1635 secs
lola: 71639984 markings, 658943604 edges, 40046 markings/sec, 1640 secs
lola: 71856397 markings, 660879653 edges, 43283 markings/sec, 1645 secs
lola: 72071581 markings, 662879118 edges, 43037 markings/sec, 1650 secs
lola: 72282668 markings, 664847772 edges, 42217 markings/sec, 1655 secs
lola: 72487936 markings, 666812194 edges, 41054 markings/sec, 1660 secs
lola: 72681660 markings, 668720393 edges, 38745 markings/sec, 1665 secs
lola: 72876506 markings, 670667477 edges, 38969 markings/sec, 1670 secs
lola: 73067838 markings, 672629211 edges, 38266 markings/sec, 1675 secs
lola: 73259772 markings, 674566502 edges, 38387 markings/sec, 1680 secs
lola: 73487676 markings, 676575716 edges, 45581 markings/sec, 1685 secs
lola: 73701562 markings, 678580861 edges, 42777 markings/sec, 1690 secs
lola: 73906519 markings, 680512080 edges, 40991 markings/sec, 1695 secs
lola: 74111922 markings, 682463303 edges, 41081 markings/sec, 1700 secs
lola: 74299607 markings, 684332488 edges, 37537 markings/sec, 1705 secs
lola: 74494745 markings, 686228750 edges, 39028 markings/sec, 1710 secs
lola: 74681309 markings, 688079584 edges, 37313 markings/sec, 1715 secs
lola: 74860181 markings, 689908460 edges, 35774 markings/sec, 1720 secs
lola: 75070583 markings, 691840029 edges, 42080 markings/sec, 1725 secs
lola: 75275164 markings, 693799000 edges, 40916 markings/sec, 1730 secs
lola: 75464228 markings, 695679678 edges, 37813 markings/sec, 1735 secs
lola: 75649024 markings, 697544922 edges, 36959 markings/sec, 1740 secs
lola: 75837935 markings, 699417240 edges, 37782 markings/sec, 1745 secs
lola: 76023258 markings, 701275746 edges, 37065 markings/sec, 1750 secs
lola: 76194414 markings, 703107351 edges, 34231 markings/sec, 1755 secs
lola: 76384113 markings, 705004673 edges, 37940 markings/sec, 1760 secs
lola: 76579992 markings, 706923137 edges, 39176 markings/sec, 1765 secs
lola: 76782686 markings, 708884621 edges, 40539 markings/sec, 1770 secs
lola: 76958662 markings, 710703156 edges, 35195 markings/sec, 1775 secs
lola: 77128987 markings, 712495584 edges, 34065 markings/sec, 1780 secs
lola: 77326473 markings, 714462112 edges, 39497 markings/sec, 1785 secs
lola: 77508886 markings, 716420601 edges, 36483 markings/sec, 1790 secs
lola: 77696049 markings, 718405479 edges, 37433 markings/sec, 1795 secs
lola: 77861482 markings, 720282257 edges, 33087 markings/sec, 1800 secs
lola: 78036065 markings, 722187001 edges, 34917 markings/sec, 1805 secs
lola: 78202258 markings, 724076276 edges, 33239 markings/sec, 1810 secs
lola: 78394443 markings, 726027594 edges, 38437 markings/sec, 1815 secs
lola: 78567609 markings, 727927454 edges, 34633 markings/sec, 1820 secs
lola: 78755128 markings, 729931575 edges, 37504 markings/sec, 1825 secs
lola: 78934470 markings, 731920449 edges, 35868 markings/sec, 1830 secs
lola: 79123542 markings, 733862337 edges, 37814 markings/sec, 1835 secs
lola: 79300620 markings, 735774083 edges, 35416 markings/sec, 1840 secs
lola: 79467726 markings, 737654243 edges, 33421 markings/sec, 1845 secs
lola: 79633573 markings, 739498176 edges, 33169 markings/sec, 1850 secs
lola: 79808246 markings, 741400456 edges, 34935 markings/sec, 1855 secs
lola: 80051766 markings, 743424327 edges, 48704 markings/sec, 1860 secs
lola: 80296404 markings, 745520977 edges, 48928 markings/sec, 1865 secs
lola: 80554131 markings, 747600018 edges, 51545 markings/sec, 1870 secs
lola: 80801340 markings, 749673610 edges, 49442 markings/sec, 1875 secs
lola: 81055083 markings, 751717638 edges, 50749 markings/sec, 1880 secs
lola: 81271938 markings, 753779326 edges, 43371 markings/sec, 1885 secs
lola: 81508099 markings, 755812108 edges, 47232 markings/sec, 1890 secs
lola: 81745504 markings, 757829608 edges, 47481 markings/sec, 1895 secs
lola: 81953958 markings, 759836843 edges, 41691 markings/sec, 1900 secs
lola: 82168625 markings, 761828633 edges, 42933 markings/sec, 1905 secs
lola: 82394959 markings, 763859589 edges, 45267 markings/sec, 1910 secs
lola: 82605273 markings, 765853962 edges, 42063 markings/sec, 1915 secs
lola: 82828217 markings, 767897058 edges, 44589 markings/sec, 1920 secs
lola: 83048016 markings, 769939177 edges, 43960 markings/sec, 1925 secs
lola: 83260879 markings, 771947163 edges, 42573 markings/sec, 1930 secs
lola: 83456866 markings, 773954928 edges, 39197 markings/sec, 1935 secs
lola: 83640618 markings, 775919019 edges, 36750 markings/sec, 1940 secs
lola: 83862080 markings, 777930672 edges, 44292 markings/sec, 1945 secs
lola: 84074517 markings, 779946898 edges, 42487 markings/sec, 1950 secs
lola: 84278510 markings, 781916131 edges, 40799 markings/sec, 1955 secs
lola: 84471561 markings, 783923636 edges, 38610 markings/sec, 1960 secs
lola: 84670087 markings, 785890811 edges, 39705 markings/sec, 1965 secs
lola: 84884388 markings, 787957533 edges, 42860 markings/sec, 1970 secs
lola: 85091161 markings, 789992658 edges, 41355 markings/sec, 1975 secs
lola: 85303802 markings, 792029632 edges, 42528 markings/sec, 1980 secs
lola: 85501678 markings, 794055285 edges, 39575 markings/sec, 1985 secs
lola: 85683916 markings, 796025646 edges, 36448 markings/sec, 1990 secs
lola: 85877093 markings, 798052040 edges, 38635 markings/sec, 1995 secs
lola: 86070867 markings, 800069627 edges, 38755 markings/sec, 2000 secs
lola: 86252828 markings, 802059762 edges, 36392 markings/sec, 2005 secs
lola: 86417715 markings, 803989755 edges, 32977 markings/sec, 2010 secs
lola: 86590925 markings, 805885309 edges, 34642 markings/sec, 2015 secs
lola: 86781363 markings, 807774207 edges, 38088 markings/sec, 2020 secs
lola: 86974219 markings, 809685158 edges, 38571 markings/sec, 2025 secs
lola: 87173785 markings, 811649064 edges, 39913 markings/sec, 2030 secs
lola: 87359685 markings, 813661174 edges, 37180 markings/sec, 2035 secs
lola: 87535615 markings, 815640582 edges, 35186 markings/sec, 2040 secs
lola: 87736355 markings, 817562278 edges, 40148 markings/sec, 2045 secs
lola: 87940132 markings, 819573553 edges, 40755 markings/sec, 2050 secs
lola: 88175603 markings, 821582264 edges, 47094 markings/sec, 2055 secs
lola: 88400136 markings, 823564057 edges, 44907 markings/sec, 2060 secs
lola: 88641540 markings, 825604933 edges, 48281 markings/sec, 2065 secs
lola: 88872139 markings, 827645810 edges, 46120 markings/sec, 2070 secs
lola: 89108208 markings, 829666042 edges, 47214 markings/sec, 2075 secs
lola: 89319433 markings, 831633948 edges, 42245 markings/sec, 2080 secs
lola: 89524769 markings, 833647242 edges, 41067 markings/sec, 2085 secs
lola: 89735030 markings, 835638678 edges, 42052 markings/sec, 2090 secs
lola: 89948477 markings, 837573357 edges, 42689 markings/sec, 2095 secs
lola: 90160811 markings, 839534814 edges, 42467 markings/sec, 2100 secs
lola: 90365352 markings, 841527111 edges, 40908 markings/sec, 2105 secs
lola: 90564625 markings, 843475008 edges, 39855 markings/sec, 2110 secs
lola: 90794329 markings, 845459575 edges, 45941 markings/sec, 2115 secs
lola: 91000779 markings, 847377799 edges, 41290 markings/sec, 2120 secs
lola: 91210576 markings, 849255981 edges, 41959 markings/sec, 2125 secs
lola: 91416947 markings, 851126671 edges, 41274 markings/sec, 2130 secs
lola: 91633880 markings, 853035867 edges, 43387 markings/sec, 2135 secs
lola: 91844283 markings, 854968103 edges, 42081 markings/sec, 2140 secs
lola: 92047007 markings, 856837403 edges, 40545 markings/sec, 2145 secs
lola: 92244231 markings, 858712779 edges, 39445 markings/sec, 2150 secs
lola: 92437502 markings, 860572714 edges, 38654 markings/sec, 2155 secs
lola: 92663528 markings, 862556830 edges, 45205 markings/sec, 2160 secs
lola: 92873069 markings, 864534246 edges, 41908 markings/sec, 2165 secs
lola: 93067440 markings, 866442042 edges, 38874 markings/sec, 2170 secs
lola: 93265064 markings, 868309310 edges, 39525 markings/sec, 2175 secs
lola: 93465593 markings, 870216328 edges, 40106 markings/sec, 2180 secs
lola: 93667267 markings, 872187340 edges, 40335 markings/sec, 2185 secs
lola: 93884045 markings, 874139457 edges, 43356 markings/sec, 2190 secs
lola: 94087868 markings, 876090675 edges, 40765 markings/sec, 2195 secs
lola: 94288412 markings, 878069720 edges, 40109 markings/sec, 2200 secs
lola: 94491010 markings, 880001229 edges, 40520 markings/sec, 2205 secs
lola: 94696042 markings, 881952613 edges, 41006 markings/sec, 2210 secs
lola: 94872884 markings, 883869574 edges, 35368 markings/sec, 2215 secs
lola: 95051610 markings, 885818021 edges, 35745 markings/sec, 2220 secs
lola: 95239900 markings, 887747742 edges, 37658 markings/sec, 2225 secs
lola: 95438200 markings, 889667724 edges, 39660 markings/sec, 2230 secs
lola: 95611779 markings, 891547414 edges, 34716 markings/sec, 2235 secs
lola: 95787248 markings, 893459114 edges, 35094 markings/sec, 2240 secs
lola: 95971416 markings, 895354847 edges, 36834 markings/sec, 2245 secs
lola: 96175226 markings, 897267293 edges, 40762 markings/sec, 2250 secs
lola: 96351705 markings, 899093689 edges, 35296 markings/sec, 2255 secs
lola: 96535081 markings, 900903146 edges, 36675 markings/sec, 2260 secs
lola: 96711767 markings, 902699320 edges, 35337 markings/sec, 2265 secs
lola: 96896462 markings, 904509173 edges, 36939 markings/sec, 2270 secs
lola: 97093559 markings, 906410700 edges, 39419 markings/sec, 2275 secs
lola: 97264395 markings, 908186374 edges, 34167 markings/sec, 2280 secs
lola: 97442445 markings, 910010509 edges, 35610 markings/sec, 2285 secs
lola: 97620624 markings, 911848777 edges, 35636 markings/sec, 2290 secs
lola: 97798576 markings, 913667513 edges, 35590 markings/sec, 2295 secs
lola: 97991838 markings, 915569380 edges, 38652 markings/sec, 2300 secs
lola: 98178766 markings, 917500638 edges, 37386 markings/sec, 2305 secs
lola: 98351257 markings, 919347959 edges, 34498 markings/sec, 2310 secs
lola: 98524695 markings, 921155373 edges, 34688 markings/sec, 2315 secs
lola: 98705126 markings, 923015849 edges, 36086 markings/sec, 2320 secs
lola: 98892968 markings, 924917948 edges, 37568 markings/sec, 2325 secs
lola: 99098517 markings, 926829512 edges, 41110 markings/sec, 2330 secs
lola: 99310706 markings, 928760707 edges, 42438 markings/sec, 2335 secs
lola: 99504648 markings, 930648955 edges, 38788 markings/sec, 2340 secs
lola: 99719290 markings, 932586064 edges, 42928 markings/sec, 2345 secs
lola: 99909978 markings, 934492602 edges, 38138 markings/sec, 2350 secs
lola: 100083303 markings, 936362584 edges, 34665 markings/sec, 2355 secs
lola: 100286549 markings, 938297101 edges, 40649 markings/sec, 2360 secs
lola: 100471825 markings, 940153613 edges, 37055 markings/sec, 2365 secs
lola: 100654107 markings, 942036383 edges, 36456 markings/sec, 2370 secs
lola: 100832407 markings, 943879058 edges, 35660 markings/sec, 2375 secs
lola: 101046800 markings, 945835966 edges, 42879 markings/sec, 2380 secs
lola: 101237409 markings, 947719833 edges, 38122 markings/sec, 2385 secs
lola: 101429362 markings, 949531384 edges, 38391 markings/sec, 2390 secs
lola: 101624168 markings, 951414894 edges, 38961 markings/sec, 2395 secs
lola: 101815933 markings, 953296561 edges, 38353 markings/sec, 2400 secs
lola: 102006617 markings, 955152790 edges, 38137 markings/sec, 2405 secs
lola: 102187229 markings, 956978647 edges, 36122 markings/sec, 2410 secs
lola: 102363029 markings, 958783534 edges, 35160 markings/sec, 2415 secs
lola: 102530751 markings, 960573563 edges, 33544 markings/sec, 2420 secs
lola: 102717101 markings, 962439606 edges, 37270 markings/sec, 2425 secs
lola: 102882907 markings, 964197755 edges, 33161 markings/sec, 2430 secs
lola: 103036647 markings, 965904825 edges, 30748 markings/sec, 2435 secs
lola: 103218616 markings, 967789785 edges, 36394 markings/sec, 2440 secs
lola: 103421164 markings, 969766030 edges, 40510 markings/sec, 2445 secs
lola: 103597161 markings, 971614427 edges, 35199 markings/sec, 2450 secs
lola: 103776417 markings, 973536067 edges, 35851 markings/sec, 2455 secs
lola: 103979455 markings, 975484900 edges, 40608 markings/sec, 2460 secs
lola: 104182377 markings, 977412684 edges, 40584 markings/sec, 2465 secs
lola: 104383125 markings, 979395837 edges, 40150 markings/sec, 2470 secs
lola: 104596567 markings, 981348383 edges, 42688 markings/sec, 2475 secs
lola: 104779433 markings, 983202764 edges, 36573 markings/sec, 2480 secs
lola: 104951909 markings, 985073691 edges, 34495 markings/sec, 2485 secs
lola: 105127311 markings, 986983405 edges, 35080 markings/sec, 2490 secs
lola: 105319632 markings, 988926104 edges, 38464 markings/sec, 2495 secs
lola: 105512401 markings, 990925663 edges, 38554 markings/sec, 2500 secs
lola: 105716441 markings, 992865067 edges, 40808 markings/sec, 2505 secs
lola: 105892728 markings, 994772128 edges, 35257 markings/sec, 2510 secs
lola: 106070677 markings, 996710968 edges, 35590 markings/sec, 2515 secs
lola: 106257591 markings, 998632998 edges, 37383 markings/sec, 2520 secs
lola: 106432170 markings, 1000470184 edges, 34916 markings/sec, 2525 secs
lola: 106591451 markings, 1002298265 edges, 31856 markings/sec, 2530 secs
lola: 106749870 markings, 1004163591 edges, 31684 markings/sec, 2535 secs
lola: 106903129 markings, 1005998983 edges, 30652 markings/sec, 2540 secs
lola: 107090943 markings, 1007922771 edges, 37563 markings/sec, 2545 secs
lola: 107280300 markings, 1009800400 edges, 37871 markings/sec, 2550 secs
lola: 107465413 markings, 1011696905 edges, 37023 markings/sec, 2555 secs
lola: 107637214 markings, 1013537414 edges, 34360 markings/sec, 2560 secs
lola: 107831291 markings, 1015385019 edges, 38815 markings/sec, 2565 secs
lola: 108014916 markings, 1017244866 edges, 36725 markings/sec, 2570 secs
lola: 108177346 markings, 1019030634 edges, 32486 markings/sec, 2575 secs
lola: 108365973 markings, 1020886750 edges, 37725 markings/sec, 2580 secs
lola: 108533534 markings, 1022718394 edges, 33512 markings/sec, 2585 secs
lola: 108689947 markings, 1024532006 edges, 31283 markings/sec, 2590 secs
lola: 108855964 markings, 1026338006 edges, 33203 markings/sec, 2595 secs
lola: 109029720 markings, 1028161361 edges, 34751 markings/sec, 2600 secs
lola: 109229121 markings, 1029877689 edges, 39880 markings/sec, 2605 secs
lola: 109357872 markings, 1031020852 edges, 25750 markings/sec, 2610 secs
lola: 109552536 markings, 1032698505 edges, 38933 markings/sec, 2615 secs
lola: 109709462 markings, 1034076814 edges, 31385 markings/sec, 2620 secs
lola: 109846911 markings, 1035281947 edges, 27490 markings/sec, 2625 secs
lola: 109959212 markings, 1036340053 edges, 22460 markings/sec, 2630 secs
lola: 110109765 markings, 1037872874 edges, 30111 markings/sec, 2635 secs
lola: 110252353 markings, 1039185258 edges, 28518 markings/sec, 2640 secs
lola: 110409951 markings, 1040686993 edges, 31520 markings/sec, 2645 secs
lola: 110612477 markings, 1042554486 edges, 40505 markings/sec, 2650 secs
lola: 110795523 markings, 1044390635 edges, 36609 markings/sec, 2655 secs
lola: 110992953 markings, 1046254633 edges, 39486 markings/sec, 2660 secs
lola: 111214811 markings, 1048176800 edges, 44372 markings/sec, 2665 secs
lola: 111436233 markings, 1050147276 edges, 44284 markings/sec, 2670 secs
lola: 111642172 markings, 1052024783 edges, 41188 markings/sec, 2675 secs
lola: 111851923 markings, 1053965806 edges, 41950 markings/sec, 2680 secs
lola: 112058203 markings, 1055929233 edges, 41256 markings/sec, 2685 secs
lola: 112257965 markings, 1057909930 edges, 39952 markings/sec, 2690 secs
lola: 112453231 markings, 1059876625 edges, 39053 markings/sec, 2695 secs
lola: 112649163 markings, 1061768990 edges, 39186 markings/sec, 2700 secs
lola: 112866238 markings, 1063731166 edges, 43415 markings/sec, 2705 secs
lola: 113076657 markings, 1065668587 edges, 42084 markings/sec, 2710 secs
lola: 113277493 markings, 1067616264 edges, 40167 markings/sec, 2715 secs
lola: 113476315 markings, 1069531054 edges, 39764 markings/sec, 2720 secs
lola: 113677646 markings, 1071483401 edges, 40266 markings/sec, 2725 secs
lola: 113884664 markings, 1073407797 edges, 41404 markings/sec, 2730 secs
lola: 114065248 markings, 1075222910 edges, 36117 markings/sec, 2735 secs
lola: 114261294 markings, 1077102165 edges, 39209 markings/sec, 2740 secs
lola: 114396714 markings, 1078408908 edges, 27084 markings/sec, 2745 secs
lola: 114494104 markings, 1079417087 edges, 19478 markings/sec, 2750 secs
lola: 114601583 markings, 1080614914 edges, 21496 markings/sec, 2755 secs
lola: 114699853 markings, 1081686450 edges, 19654 markings/sec, 2760 secs
lola: 114802598 markings, 1082758437 edges, 20549 markings/sec, 2765 secs
lola: 114906608 markings, 1083886730 edges, 20802 markings/sec, 2770 secs
lola: 115087741 markings, 1085718833 edges, 36227 markings/sec, 2775 secs
lola: 115239386 markings, 1087432199 edges, 30329 markings/sec, 2780 secs
lola: 115410769 markings, 1089232198 edges, 34277 markings/sec, 2785 secs
lola: 115597932 markings, 1091070941 edges, 37433 markings/sec, 2790 secs
lola: 115800114 markings, 1093006417 edges, 40436 markings/sec, 2795 secs
lola: 115989225 markings, 1094927180 edges, 37822 markings/sec, 2800 secs
lola: 116170382 markings, 1096787260 edges, 36231 markings/sec, 2805 secs
lola: 116360630 markings, 1098704736 edges, 38050 markings/sec, 2810 secs
lola: 116538721 markings, 1100618959 edges, 35618 markings/sec, 2815 secs
lola: 116715927 markings, 1102552963 edges, 35441 markings/sec, 2820 secs
lola: 116889037 markings, 1104468228 edges, 34622 markings/sec, 2825 secs
lola: 117063471 markings, 1106243376 edges, 34887 markings/sec, 2830 secs
lola: 117256133 markings, 1108173658 edges, 38532 markings/sec, 2835 secs
lola: 117443824 markings, 1110081719 edges, 37538 markings/sec, 2840 secs
lola: 117623161 markings, 1111984594 edges, 35867 markings/sec, 2845 secs
lola: 117800510 markings, 1113876369 edges, 35470 markings/sec, 2850 secs
lola: 117981850 markings, 1115779986 edges, 36268 markings/sec, 2855 secs
lola: 118171849 markings, 1117690693 edges, 38000 markings/sec, 2860 secs
lola: 118364100 markings, 1119563798 edges, 38450 markings/sec, 2865 secs
lola: 118526420 markings, 1121134390 edges, 32464 markings/sec, 2870 secs
lola: 118720679 markings, 1123022143 edges, 38852 markings/sec, 2875 secs
lola: 118889749 markings, 1124804044 edges, 33814 markings/sec, 2880 secs
lola: 119040846 markings, 1126475282 edges, 30219 markings/sec, 2885 secs
lola: 119215069 markings, 1128314004 edges, 34845 markings/sec, 2890 secs
lola: 119396811 markings, 1130165983 edges, 36348 markings/sec, 2895 secs
lola: 119561342 markings, 1132010063 edges, 32906 markings/sec, 2900 secs
lola: 119736119 markings, 1133846079 edges, 34955 markings/sec, 2905 secs
lola: 119906136 markings, 1135667855 edges, 34003 markings/sec, 2910 secs
lola: 120060261 markings, 1137472488 edges, 30825 markings/sec, 2915 secs
lola: 120210811 markings, 1139263488 edges, 30110 markings/sec, 2920 secs
lola: 120365743 markings, 1141062239 edges, 30986 markings/sec, 2925 secs
lola: 120514253 markings, 1142558540 edges, 29702 markings/sec, 2930 secs
lola: 120646815 markings, 1143854876 edges, 26512 markings/sec, 2935 secs
lola: 120769275 markings, 1145060922 edges, 24492 markings/sec, 2940 secs
lola: 120884285 markings, 1146271948 edges, 23002 markings/sec, 2945 secs
lola: 120990144 markings, 1147377419 edges, 21172 markings/sec, 2950 secs
lola: 121103077 markings, 1148476073 edges, 22587 markings/sec, 2955 secs
lola: 121267088 markings, 1150230758 edges, 32802 markings/sec, 2960 secs
lola: 121435996 markings, 1152049547 edges, 33782 markings/sec, 2965 secs
lola: 121608863 markings, 1153894200 edges, 34573 markings/sec, 2970 secs
lola: 121738228 markings, 1155135347 edges, 25873 markings/sec, 2975 secs
lola: 121928805 markings, 1156819118 edges, 38115 markings/sec, 2980 secs
lola: 122114165 markings, 1158607183 edges, 37072 markings/sec, 2985 secs
lola: 122314744 markings, 1160481000 edges, 40116 markings/sec, 2990 secs
lola: 122474425 markings, 1162039445 edges, 31936 markings/sec, 2995 secs
lola: 122651127 markings, 1163833229 edges, 35340 markings/sec, 3000 secs
lola: 122837309 markings, 1165485445 edges, 37236 markings/sec, 3005 secs
lola: 123001975 markings, 1167226824 edges, 32933 markings/sec, 3010 secs
lola: 123227477 markings, 1169198188 edges, 45100 markings/sec, 3015 secs
lola: 123434790 markings, 1171207598 edges, 41463 markings/sec, 3020 secs
lola: 123631356 markings, 1173187944 edges, 39313 markings/sec, 3025 secs
lola: 123793106 markings, 1174886844 edges, 32350 markings/sec, 3030 secs
lola: 123974575 markings, 1176832639 edges, 36294 markings/sec, 3035 secs
lola: 124144034 markings, 1178578640 edges, 33892 markings/sec, 3040 secs
lola: 124307338 markings, 1180195049 edges, 32661 markings/sec, 3045 secs
lola: 124463003 markings, 1181663564 edges, 31133 markings/sec, 3050 secs
lola: 124595496 markings, 1183029389 edges, 26499 markings/sec, 3055 secs
lola: 124797914 markings, 1184937371 edges, 40484 markings/sec, 3060 secs
lola: 124991081 markings, 1186852405 edges, 38633 markings/sec, 3065 secs
lola: 125180617 markings, 1188799854 edges, 37907 markings/sec, 3070 secs
lola: 125366718 markings, 1190696448 edges, 37220 markings/sec, 3075 secs
lola: 125542298 markings, 1192584599 edges, 35116 markings/sec, 3080 secs
lola: 125730980 markings, 1194504004 edges, 37736 markings/sec, 3085 secs
lola: 125910297 markings, 1196394824 edges, 35863 markings/sec, 3090 secs
lola: 126090220 markings, 1198311437 edges, 35985 markings/sec, 3095 secs
lola: 126269034 markings, 1200187001 edges, 35763 markings/sec, 3100 secs
lola: 126468310 markings, 1202123612 edges, 39855 markings/sec, 3105 secs
lola: 126649279 markings, 1204032856 edges, 36194 markings/sec, 3110 secs
lola: 126829570 markings, 1205965604 edges, 36058 markings/sec, 3115 secs
lola: 127009793 markings, 1207874056 edges, 36045 markings/sec, 3120 secs
lola: 127186650 markings, 1209775036 edges, 35371 markings/sec, 3125 secs
lola: 127341731 markings, 1211412387 edges, 31016 markings/sec, 3130 secs
lola: 127468164 markings, 1212778552 edges, 25287 markings/sec, 3135 secs
lola: 127571336 markings, 1213896123 edges, 20634 markings/sec, 3140 secs
lola: 127680419 markings, 1215084241 edges, 21817 markings/sec, 3145 secs
lola: 127783716 markings, 1216287826 edges, 20659 markings/sec, 3150 secs
lola: 127889521 markings, 1217473720 edges, 21161 markings/sec, 3155 secs
lola: 128009354 markings, 1218773341 edges, 23967 markings/sec, 3160 secs
lola: 128163175 markings, 1220574930 edges, 30764 markings/sec, 3165 secs
lola: 128313012 markings, 1222352692 edges, 29967 markings/sec, 3170 secs
lola: 128470902 markings, 1224171826 edges, 31578 markings/sec, 3175 secs
lola: 128623278 markings, 1225483560 edges, 30475 markings/sec, 3180 secs
lola: 128853546 markings, 1227390441 edges, 46054 markings/sec, 3185 secs
lola: 129086603 markings, 1229339787 edges, 46611 markings/sec, 3190 secs
lola: 129299787 markings, 1231294392 edges, 42637 markings/sec, 3195 secs
lola: 129492246 markings, 1233040054 edges, 38492 markings/sec, 3200 secs
lola: 129662488 markings, 1234536466 edges, 34048 markings/sec, 3205 secs
lola: 129863357 markings, 1236429743 edges, 40174 markings/sec, 3210 secs
lola: 130071685 markings, 1238268488 edges, 41666 markings/sec, 3215 secs
lola: 130272431 markings, 1240102096 edges, 40149 markings/sec, 3220 secs
lola: 130479032 markings, 1242007142 edges, 41320 markings/sec, 3225 secs
lola: 130636069 markings, 1243411634 edges, 31407 markings/sec, 3230 secs
lola: 130828273 markings, 1245293110 edges, 38441 markings/sec, 3235 secs
lola: 131035509 markings, 1247276957 edges, 41447 markings/sec, 3240 secs
lola: 131243746 markings, 1249244455 edges, 41647 markings/sec, 3245 secs
lola: 131431167 markings, 1251069069 edges, 37484 markings/sec, 3250 secs
lola: 131634001 markings, 1253044217 edges, 40567 markings/sec, 3255 secs
lola: 131809853 markings, 1254891660 edges, 35170 markings/sec, 3260 secs
lola: 132007450 markings, 1256616285 edges, 39519 markings/sec, 3265 secs
lola: 132252892 markings, 1258640861 edges, 49088 markings/sec, 3270 secs
lola: 132495390 markings, 1260681402 edges, 48500 markings/sec, 3275 secs
lola: 132718681 markings, 1262709885 edges, 44658 markings/sec, 3280 secs
lola: 132947054 markings, 1264755130 edges, 45675 markings/sec, 3285 secs
lola: 133162701 markings, 1266758113 edges, 43129 markings/sec, 3290 secs
lola: 133380972 markings, 1268712567 edges, 43654 markings/sec, 3295 secs
lola: 133599409 markings, 1270699168 edges, 43687 markings/sec, 3300 secs
lola: 133811879 markings, 1272674681 edges, 42494 markings/sec, 3305 secs
lola: 134011716 markings, 1274432548 edges, 39967 markings/sec, 3310 secs
lola: 134214939 markings, 1276417952 edges, 40645 markings/sec, 3315 secs
lola: 134426132 markings, 1278452993 edges, 42239 markings/sec, 3320 secs
lola: 134639023 markings, 1280462345 edges, 42578 markings/sec, 3325 secs
lola: 134839958 markings, 1282422552 edges, 40187 markings/sec, 3330 secs
lola: 135046585 markings, 1284426581 edges, 41325 markings/sec, 3335 secs
lola: 135235454 markings, 1286407966 edges, 37774 markings/sec, 3340 secs
lola: 135436964 markings, 1288376281 edges, 40302 markings/sec, 3345 secs
lola: 135644315 markings, 1290371647 edges, 41470 markings/sec, 3350 secs
lola: 135879444 markings, 1292385414 edges, 47026 markings/sec, 3355 secs
lola: 136010095 markings, 1293506987 edges, 26130 markings/sec, 3360 secs
lola: 136044672 markings, 1293809748 edges, 6915 markings/sec, 3365 secs
lola: 136045457 markings, 1293816607 edges, 157 markings/sec, 3370 secs
lola: 136045493 markings, 1293816872 edges, 7 markings/sec, 3375 secs
lola: 136049913 markings, 1293855479 edges, 884 markings/sec, 3380 secs
lola: 136049940 markings, 1293855663 edges, 5 markings/sec, 3385 secs
lola: 136049947 markings, 1293855750 edges, 1 markings/sec, 3390 secs
lola: 136049964 markings, 1293855877 edges, 3 markings/sec, 3395 secs
lola: 136049987 markings, 1293856062 edges, 5 markings/sec, 3400 secs
lola: 136050001 markings, 1293856221 edges, 3 markings/sec, 3405 secs
lola: 136050019 markings, 1293856397 edges, 4 markings/sec, 3410 secs
lola: 136050038 markings, 1293856526 edges, 4 markings/sec, 3415 secs
lola: 136050049 markings, 1293856622 edges, 2 markings/sec, 3420 secs
lola: 136050060 markings, 1293856710 edges, 2 markings/sec, 3425 secs
lola: 136050067 markings, 1293856794 edges, 1 markings/sec, 3430 secs
lola: 136050083 markings, 1293856867 edges, 3 markings/sec, 3435 secs
lola: 136050091 markings, 1293856955 edges, 2 markings/sec, 3440 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (A (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96)))))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((((p10 <= 0)) OR ((1 <= p22))) U (((p158 <= 0)) OR ((1 <= p96)))))
lola: processed formula length: 72
lola: 9 rewrites
lola: closed formula file CTLCardinality.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: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 291557 markings, 1821777 edges, 58311 markings/sec, 0 secs
lola: 567320 markings, 3965408 edges, 55153 markings/sec, 5 secs
lola: 853541 markings, 6107902 edges, 57244 markings/sec, 10 secs
lola: 1125372 markings, 8219296 edges, 54366 markings/sec, 15 secs
lola: 1383451 markings, 10296833 edges, 51616 markings/sec, 20 secs
lola: 1648601 markings, 12381077 edges, 53030 markings/sec, 25 secs
lola: 1925108 markings, 14456921 edges, 55301 markings/sec, 30 secs
lola: 2199552 markings, 16541033 edges, 54889 markings/sec, 35 secs
lola: 2472171 markings, 18677249 edges, 54524 markings/sec, 40 secs
lola: 2719560 markings, 20793605 edges, 49478 markings/sec, 45 secs
lola: 2960511 markings, 22902010 edges, 48190 markings/sec, 50 secs
lola: 3181013 markings, 24941160 edges, 44100 markings/sec, 55 secs
lola: 3415414 markings, 26974152 edges, 46880 markings/sec, 60 secs
lola: 3642973 markings, 29027853 edges, 45512 markings/sec, 65 secs
lola: 3878186 markings, 31052976 edges, 47043 markings/sec, 70 secs
lola: 4110199 markings, 33123034 edges, 46403 markings/sec, 75 secs
lola: 4329220 markings, 35152699 edges, 43804 markings/sec, 80 secs
lola: 4564641 markings, 37192549 edges, 47084 markings/sec, 85 secs
lola: 4781369 markings, 39243233 edges, 43346 markings/sec, 90 secs
lola: 4982621 markings, 41234650 edges, 40250 markings/sec, 95 secs
lola: 5187326 markings, 43266107 edges, 40941 markings/sec, 100 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no no no no unknown yes yes yes
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: yes no no no no unknown yes yes yes
lola:
preliminary result: yes no no no no unknown yes yes yes
lola: memory consumption: 783036 KB
lola: memory consumption: 783036 KBlola:
time consumption: 3570 seconds
lola: lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no no no no unknown yes yes yes
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutoFlight-PT-02b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is AutoFlight-PT-02b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787600395"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-02b.tgz
mv AutoFlight-PT-02b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;