About the Execution of ITS-LoLa for CloudDeployment-PT-6a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15746.640 | 3600000.00 | 3615556.00 | 13904.20 | ?TF?TFFTFTFTFFTF | 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.r168-smll-158987806600331.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 CloudDeployment-PT-6a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806600331
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 317K 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 CloudDeployment-PT-6a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-6a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591300048419
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 19:47:31] [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-04 19:47:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 19:47:31] [INFO ] Load time of PNML (sax parser for PT used): 256 ms
[2020-06-04 19:47:31] [INFO ] Transformed 221 places.
[2020-06-04 19:47:31] [INFO ] Transformed 908 transitions.
[2020-06-04 19:47:31] [INFO ] Found NUPN structural information;
[2020-06-04 19:47:31] [INFO ] Parsed PT model containing 221 places and 908 transitions in 348 ms.
Ensure Unique test removed 114 transitions
Reduce redundant transitions removed 114 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 61 ms.
Incomplete random walk after 100000 steps, including 1128 resets, run finished after 567 ms. (steps per millisecond=176 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0]
[2020-06-04 19:47:32] [INFO ] Flow matrix only has 384 transitions (discarded 410 similar events)
// Phase 1: matrix 384 rows 221 cols
[2020-06-04 19:47:32] [INFO ] Computed 36 place invariants in 18 ms
[2020-06-04 19:47:32] [INFO ] [Real]Absence check using 0 positive and 36 generalized place invariants in 43 ms returned sat
[2020-06-04 19:47:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:33] [INFO ] [Real]Absence check using state equation in 344 ms returned sat
[2020-06-04 19:47:33] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 19:47:33] [INFO ] [Nat]Absence check using 0 positive and 36 generalized place invariants in 197 ms returned sat
[2020-06-04 19:47:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:34] [INFO ] [Nat]Absence check using state equation in 424 ms returned sat
[2020-06-04 19:47:34] [INFO ] State equation strengthened by 182 read => feed constraints.
[2020-06-04 19:47:34] [INFO ] [Nat]Added 182 Read/Feed constraints in 73 ms returned sat
[2020-06-04 19:47:34] [INFO ] Computed and/alt/rep : 793/5824/383 causal constraints in 108 ms.
[2020-06-04 19:47:37] [INFO ] Added : 222 causal constraints over 45 iterations in 2814 ms. Result :sat
[2020-06-04 19:47:37] [INFO ] [Real]Absence check using 0 positive and 36 generalized place invariants in 39 ms returned sat
[2020-06-04 19:47:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:37] [INFO ] [Real]Absence check using state equation in 414 ms returned sat
[2020-06-04 19:47:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 19:47:38] [INFO ] [Nat]Absence check using 0 positive and 36 generalized place invariants in 530 ms returned unsat
[2020-06-04 19:47:38] [INFO ] [Real]Absence check using 0 positive and 36 generalized place invariants in 25 ms returned sat
[2020-06-04 19:47:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:38] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-06-04 19:47:38] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 19:47:41] [INFO ] [Nat]Absence check using 0 positive and 36 generalized place invariants in 3154 ms returned sat
[2020-06-04 19:47:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:42] [INFO ] [Nat]Absence check using state equation in 378 ms returned sat
[2020-06-04 19:47:42] [INFO ] [Nat]Added 182 Read/Feed constraints in 108 ms returned sat
[2020-06-04 19:47:42] [INFO ] Computed and/alt/rep : 793/5824/383 causal constraints in 112 ms.
[2020-06-04 19:47:45] [INFO ] Added : 213 causal constraints over 44 iterations in 2790 ms. Result :sat
[2020-06-04 19:47:45] [INFO ] [Real]Absence check using 0 positive and 36 generalized place invariants in 36 ms returned sat
[2020-06-04 19:47:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:45] [INFO ] [Real]Absence check using state equation in 400 ms returned sat
[2020-06-04 19:47:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 19:47:45] [INFO ] [Nat]Absence check using 0 positive and 36 generalized place invariants in 166 ms returned unsat
[2020-06-04 19:47:46] [INFO ] [Real]Absence check using 0 positive and 36 generalized place invariants in 39 ms returned sat
[2020-06-04 19:47:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 19:47:46] [INFO ] [Real]Absence check using state equation in 411 ms returned sat
[2020-06-04 19:47:46] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 19:47:46] [INFO ] [Nat]Absence check using 0 positive and 36 generalized place invariants in 168 ms returned unsat
Successfully simplified 3 atomic propositions for a total of 3 simplifications.
[2020-06-04 19:47:47] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 19:47:47] [INFO ] Flatten gal took : 247 ms
[2020-06-04 19:47:47] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 19:47:47] [INFO ] Flatten gal took : 144 ms
FORMULA CloudDeployment-PT-6a-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudDeployment-PT-6a-CTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudDeployment-PT-6a-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudDeployment-PT-6a-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 19:47:47] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 5 ms.
[2020-06-04 19:47:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ CloudDeployment-PT-6a @ 3570 seconds
FORMULA CloudDeployment-PT-6a-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA CloudDeployment-PT-6a-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ CloudDeployment-PT-6a
{
"exit":
{
"memory": 7000888,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"result":
{
"preliminary_value": "unknown yes no unknown yes no yes no yes no yes yes "
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
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: 1015/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 221
lola: finding significant places
lola: 221 places, 794 transitions, 185 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: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p173 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p189 <= 1)
lola: LP says that atomic proposition is always true: (p125 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p22 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p113 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p34 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: (A (((((p218 <= 0)) OR ((1 <= p165)) OR ((p66 <= 0)) OR ((1 <= p177))) U ((1 <= p173)))) OR E (G (((1 <= p122) AND (((p180 <= 0)) OR ((p200 <= 1) AND (1 <= p200))))))) : A (F (E (G ((((p33 <= 0)) OR ((1 <= p12))))))) : A (G ((((p15 <= 0)) OR ((1 <= p7)) OR ((p120 <= 0)) OR ((1 <= p205)) OR (((1 <= p163)) AND ((p152 <= 0)))))) : (NOT(E (((((p188 <= 0)) OR ((1 <= p7))) U (((p2 <= 0)) OR ((1 <= p28)))))) OR E (F ((((1 <= p79)) AND ((p30 <= 0)))))) : E (G ((0 <= 0))) : A (G (E (F (((1 <= p170)))))) : E (G ((0 <= 0))) : ((E (X (((1 <= p92)))) OR ((1 <= p97) AND (((p130 <= 0)) OR ((1 <= p124))) AND (((p31 <= 0)) OR ((1 <= p63))))) AND (E (F ((((p75 <= 0)) OR ((1 <= p189))))) OR A (((1 <= 0) U ((1 <= p125)))))) : E (G ((((p102 <= 0)) OR ((1 <= p24))))) : A (G ((((p201 <= 0)) OR ((1 <= p22))))) : E (G ((((p3 <= 0)) OR ((1 <= p12)) OR (((p113 <= 0)) AND (((p220 <= 0)) OR ((1 <= p68)) OR ((1 <= p34))))))) : E (X (NOT(A (G ((((p162 <= 0)) OR ((1 <= p90))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:148
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:184
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 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((E (X (((1 <= p92)))) OR ((1 <= p97) AND (((p130 <= 0)) OR ((1 <= p124))) AND (((p31 <= 0)) OR ((1 <= p63))))) AND (E (F ((((p75 <= 0)) OR ((1 <= p189))))) OR ((1 <= p125))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p97) AND (((p130 <= 0)) OR ((1 <= p124))) AND (((p31 <= 0)) OR ((1 <= p63))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p97) AND (((p130 <= 0)) OR ((1 <= p124))) AND (((p31 <= 0)) OR ((1 <= p63))))
lola: processed formula length: 86
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p125))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p125))
lola: processed formula length: 13
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((p75 <= 0)) OR ((1 <= p189)))))
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 ((((p75 <= 0)) OR ((1 <= p189)))))
lola: processed formula length: 40
lola: 16 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: (((p75 <= 0)) OR ((1 <= p189)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p92))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p92)))
lola: processed formula length: 16
lola: 16 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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((((1 <= p162)) AND ((p90 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (((1 <= p162)) AND ((p90 <= 0)))
lola: processed formula length: 32
lola: 17 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
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: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 <= p162)) AND ((p90 <= 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 /EXEF
lola: The predicate is reachable from some successor.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p201 <= 0)) OR ((1 <= p22)))))
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 ((((p201 <= 0)) OR ((1 <= p22)))))
lola: processed formula length: 40
lola: 17 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 <= p201)) AND ((p22 <= 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: 19 markings, 18 edges
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p15 <= 0)) OR ((1 <= p7)) OR ((p120 <= 0)) OR ((1 <= p205)) OR (((1 <= p163)) AND ((p152 <= 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:787
lola: processed formula: A (G ((((p15 <= 0)) OR ((1 <= p7)) OR ((p120 <= 0)) OR ((1 <= p205)) OR (((1 <= p163)) AND ((p152 <= 0))))))
lola: processed formula length: 112
lola: 17 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 <= p15)) AND ((p7 <= 0)) AND ((1 <= p120)) AND ((p205 <= 0)) AND (((p163 <= 0)) OR ((1 <= p152))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 10 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 19 markings, 18 edges
lola: ========================================
lola: subprocess 6 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (((1 <= p170))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: ((1 <= p170))
lola: processed formula length: 13
lola: 18 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
lola: using tscc preserving stubborn set method (--stubborn)
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: ((p170 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p170))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: tscc_search
lola: The predicate is not live.
lola: 33 markings, 32 edges
lola: ========================================
lola: subprocess 7 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p102 <= 0)) OR ((1 <= p24)))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p102 <= 0)) OR ((1 <= p24)))))
lola: processed formula length: 40
lola: 16 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
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 <= p102)) AND ((p24 <= 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 / EG
lola: The predicate is possibly preserved.
lola: 12 markings, 12 edges
lola: ========================================
lola: subprocess 8 will run for 891 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((((p3 <= 0)) OR ((1 <= p12)) OR (((p113 <= 0)) AND (((p220 <= 0)) OR ((1 <= p68)) OR ((1 <= p34)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((((p3 <= 0)) OR ((1 <= p12)) OR (((p113 <= 0)) AND (((p220 <= 0)) OR ((1 <= p68)) OR ((1 <= p34)))))))
lola: processed formula length: 112
lola: 16 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
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 <= p3)) AND ((p12 <= 0)) AND (((1 <= p113)) OR (((1 <= p220)) AND ((p68 <= 0)) AND ((p34 <= 0)))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 12 markings, 12 edges
lola: ========================================
lola: subprocess 9 will run for 1188 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((((p33 <= 0)) OR ((1 <= p12)))))))
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((((p33 <= 0)) OR ((1 <= p12)))))
lola: processed formula length: 39
lola: 17 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: 2 markings, 3 edges
lola: ========================================
lola: subprocess 10 will run for 1782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((((1 <= p188)) AND ((p7 <= 0))) R (((1 <= p2)) AND ((p28 <= 0))))) OR E (F ((((1 <= p79)) AND ((p30 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1782 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p79)) AND ((p30 <= 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 <= p79)) AND ((p30 <= 0)))))
lola: processed formula length: 39
lola: 16 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 <= p79)) AND ((p30 <= 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: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.
sara: error: :2275: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 583840 markings, 1308062 edges, 116768 markings/sec, 0 secs
lola: sara is running 5 secs || 1097196 markings, 2378022 edges, 102671 markings/sec, 5 secs
lola: sara is running 10 secs || 1462759 markings, 3361977 edges, 73113 markings/sec, 10 secs
lola: sara is running 15 secs || 1852920 markings, 4142251 edges, 78032 markings/sec, 15 secs
lola: sara is running 20 secs || 2385107 markings, 5300140 edges, 106437 markings/sec, 20 secs
lola: sara is running 25 secs || 3051778 markings, 6941716 edges, 133334 markings/sec, 25 secs
lola: sara is running 30 secs || 3747160 markings, 8579261 edges, 139076 markings/sec, 30 secs
lola: sara is running 35 secs || 4407368 markings, 10231384 edges, 132042 markings/sec, 35 secs
lola: sara is running 40 secs || 5079540 markings, 11747519 edges, 134434 markings/sec, 40 secs
lola: sara is running 45 secs || 5714390 markings, 13378629 edges, 126970 markings/sec, 45 secs
lola: sara is running 50 secs || 6129579 markings, 14686641 edges, 83038 markings/sec, 50 secs
lola: sara is running 55 secs || 6578870 markings, 15997702 edges, 89858 markings/sec, 55 secs
lola: sara is running 60 secs || 7169532 markings, 17433548 edges, 118132 markings/sec, 60 secs
lola: sara is running 65 secs || 7676075 markings, 18820779 edges, 101309 markings/sec, 65 secs
lola: sara is running 70 secs || 8319273 markings, 20346623 edges, 128640 markings/sec, 70 secs
lola: sara is running 75 secs || 8940748 markings, 21821025 edges, 124295 markings/sec, 75 secs
lola: sara is running 80 secs || 9483221 markings, 23256968 edges, 108495 markings/sec, 80 secs
lola: sara is running 85 secs || 10122021 markings, 24731473 edges, 127760 markings/sec, 85 secs
lola: sara is running 90 secs || 10742412 markings, 26164930 edges, 124078 markings/sec, 90 secs
lola: sara is running 95 secs || 11277518 markings, 27579900 edges, 107021 markings/sec, 95 secs
lola: sara is running 100 secs || 11839224 markings, 28977203 edges, 112341 markings/sec, 100 secs
lola: sara is running 105 secs || 12404330 markings, 30376241 edges, 113021 markings/sec, 105 secs
lola: sara is running 110 secs || 12886891 markings, 31703145 edges, 96512 markings/sec, 110 secs
lola: sara is running 115 secs || 13449326 markings, 33083414 edges, 112487 markings/sec, 115 secs
lola: sara is running 120 secs || 13938649 markings, 34405774 edges, 97865 markings/sec, 120 secs
lola: sara is running 125 secs || 14577845 markings, 35963681 edges, 127839 markings/sec, 125 secs
lola: sara is running 130 secs || 15230713 markings, 37513377 edges, 130574 markings/sec, 130 secs
lola: sara is running 135 secs || 15783975 markings, 38992665 edges, 110652 markings/sec, 135 secs
lola: sara is running 140 secs || 16286073 markings, 40115930 edges, 100420 markings/sec, 140 secs
lola: sara is running 145 secs || 16783134 markings, 41202005 edges, 99412 markings/sec, 145 secs
lola: sara is running 150 secs || 17286298 markings, 42302217 edges, 100633 markings/sec, 150 secs
lola: sara is running 155 secs || 17793319 markings, 43411589 edges, 101404 markings/sec, 155 secs
lola: sara is running 160 secs || 18236063 markings, 44511432 edges, 88549 markings/sec, 160 secs
lola: sara is running 165 secs || 18758751 markings, 45628313 edges, 104538 markings/sec, 165 secs
lola: sara is running 170 secs || 19265149 markings, 46716609 edges, 101280 markings/sec, 170 secs
lola: sara is running 175 secs || 19773452 markings, 47803427 edges, 101661 markings/sec, 175 secs
lola: sara is running 180 secs || 20223914 markings, 48924220 edges, 90092 markings/sec, 180 secs
lola: sara is running 185 secs || 20778904 markings, 50126566 edges, 110998 markings/sec, 185 secs
lola: sara is running 190 secs || 21319194 markings, 51297903 edges, 108058 markings/sec, 190 secs
lola: sara is running 195 secs || 21850565 markings, 52444769 edges, 106274 markings/sec, 195 secs
lola: sara is running 200 secs || 22386090 markings, 53603894 edges, 107105 markings/sec, 200 secs
lola: sara is running 205 secs || 22821506 markings, 54729284 edges, 87083 markings/sec, 205 secs
lola: sara is running 210 secs || 23315911 markings, 55816672 edges, 98881 markings/sec, 210 secs
lola: sara is running 215 secs || 23771360 markings, 56812270 edges, 91090 markings/sec, 215 secs
lola: sara is running 220 secs || 24254879 markings, 57875420 edges, 96704 markings/sec, 220 secs
lola: sara is running 225 secs || 24733434 markings, 58925594 edges, 95711 markings/sec, 225 secs
lola: sara is running 230 secs || 24987223 markings, 59935631 edges, 50758 markings/sec, 230 secs
lola: sara is running 235 secs || 25258575 markings, 61041290 edges, 54270 markings/sec, 235 secs
lola: sara is running 240 secs || 25526842 markings, 62058633 edges, 53653 markings/sec, 240 secs
lola: sara is running 245 secs || 25808208 markings, 63175802 edges, 56273 markings/sec, 245 secs
lola: sara is running 250 secs || 26076816 markings, 64248337 edges, 53722 markings/sec, 250 secs
lola: sara is running 255 secs || 26340204 markings, 65246352 edges, 52678 markings/sec, 255 secs
lola: sara is running 260 secs || 26577352 markings, 66258991 edges, 47430 markings/sec, 260 secs
lola: sara is running 265 secs || 26834613 markings, 67390321 edges, 51452 markings/sec, 265 secs
lola: sara is running 270 secs || 27085166 markings, 68472321 edges, 50111 markings/sec, 270 secs
lola: sara is running 275 secs || 27331972 markings, 69454551 edges, 49361 markings/sec, 275 secs
lola: sara is running 280 secs || 27682195 markings, 70333113 edges, 70045 markings/sec, 280 secs
lola: sara is running 285 secs || 28068119 markings, 71161640 edges, 77185 markings/sec, 285 secs
lola: sara is running 290 secs || 28448923 markings, 71971506 edges, 76161 markings/sec, 290 secs
lola: sara is running 295 secs || 28825815 markings, 72777841 edges, 75378 markings/sec, 295 secs
lola: sara is running 300 secs || 29162245 markings, 73642401 edges, 67286 markings/sec, 300 secs
lola: sara is running 305 secs || 29519151 markings, 74562317 edges, 71381 markings/sec, 305 secs
lola: sara is running 310 secs || 29887603 markings, 75508325 edges, 73690 markings/sec, 310 secs
lola: sara is running 315 secs || 30278872 markings, 76376500 edges, 78254 markings/sec, 315 secs
lola: sara is running 320 secs || 30668908 markings, 77206012 edges, 78007 markings/sec, 320 secs
lola: sara is running 325 secs || 31047074 markings, 78009714 edges, 75633 markings/sec, 325 secs
lola: sara is running 330 secs || 31351249 markings, 78976436 edges, 60835 markings/sec, 330 secs
lola: sara is running 335 secs || 31685284 markings, 79848248 edges, 66807 markings/sec, 335 secs
lola: sara is running 340 secs || 32053858 markings, 80639533 edges, 73715 markings/sec, 340 secs
lola: sara is running 345 secs || 32410566 markings, 81401356 edges, 71342 markings/sec, 345 secs
lola: sara is running 350 secs || 32760596 markings, 82204907 edges, 70006 markings/sec, 350 secs
lola: sara is running 355 secs || 33062609 markings, 83028078 edges, 60403 markings/sec, 355 secs
lola: sara is running 360 secs || 33419609 markings, 83881745 edges, 71400 markings/sec, 360 secs
lola: sara is running 365 secs || 33786648 markings, 84628780 edges, 73408 markings/sec, 365 secs
lola: sara is running 370 secs || 34168810 markings, 85387055 edges, 76432 markings/sec, 370 secs
lola: sara is running 375 secs || 34552440 markings, 86142532 edges, 76726 markings/sec, 375 secs
lola: sara is running 380 secs || 34926057 markings, 86888378 edges, 74723 markings/sec, 380 secs
lola: sara is running 385 secs || 35308952 markings, 87643506 edges, 76579 markings/sec, 385 secs
lola: sara is running 390 secs || 35677551 markings, 88376781 edges, 73720 markings/sec, 390 secs
lola: sara is running 395 secs || 36050570 markings, 89115342 edges, 74604 markings/sec, 395 secs
lola: sara is running 400 secs || 36424870 markings, 89852813 edges, 74860 markings/sec, 400 secs
lola: sara is running 405 secs || 36791807 markings, 90582080 edges, 73387 markings/sec, 405 secs
lola: sara is running 410 secs || 37076395 markings, 91418682 edges, 56918 markings/sec, 410 secs
lola: sara is running 415 secs || 37536403 markings, 92973412 edges, 92002 markings/sec, 415 secs
lola: sara is running 420 secs || 37947155 markings, 94473907 edges, 82150 markings/sec, 420 secs
lola: sara is running 425 secs || 38492500 markings, 96109261 edges, 109069 markings/sec, 425 secs
lola: sara is running 430 secs || 39216565 markings, 97848709 edges, 144813 markings/sec, 430 secs
lola: sara is running 435 secs || 39932740 markings, 99565007 edges, 143235 markings/sec, 435 secs
lola: sara is running 440 secs || 40658705 markings, 101303671 edges, 145193 markings/sec, 440 secs
lola: sara is running 445 secs || 41383627 markings, 103041628 edges, 144984 markings/sec, 445 secs
lola: sara is running 450 secs || 42118096 markings, 104802376 edges, 146894 markings/sec, 450 secs
lola: sara is running 455 secs || 42855188 markings, 106566761 edges, 147418 markings/sec, 455 secs
lola: sara is running 460 secs || 43581647 markings, 108309921 edges, 145292 markings/sec, 460 secs
lola: sara is running 465 secs || 44306165 markings, 110045390 edges, 144904 markings/sec, 465 secs
lola: sara is running 470 secs || 45027422 markings, 111774066 edges, 144251 markings/sec, 470 secs
lola: sara is running 475 secs || 45739089 markings, 113480094 edges, 142333 markings/sec, 475 secs
lola: sara is running 480 secs || 46449290 markings, 115179020 edges, 142040 markings/sec, 480 secs
lola: sara is running 485 secs || 47160856 markings, 116887051 edges, 142313 markings/sec, 485 secs
lola: sara is running 490 secs || 47864248 markings, 118573049 edges, 140678 markings/sec, 490 secs
lola: sara is running 495 secs || 48569519 markings, 120258460 edges, 141054 markings/sec, 495 secs
lola: sara is running 500 secs || 49268500 markings, 121938277 edges, 139796 markings/sec, 500 secs
lola: sara is running 505 secs || 49965068 markings, 123607618 edges, 139314 markings/sec, 505 secs
lola: sara is running 510 secs || 50357851 markings, 125125182 edges, 78557 markings/sec, 510 secs
lola: sara is running 515 secs || 50710623 markings, 126637477 edges, 70554 markings/sec, 515 secs
lola: sara is running 520 secs || 51411142 markings, 128168820 edges, 140104 markings/sec, 520 secs
lola: sara is running 525 secs || 52130028 markings, 129849249 edges, 143777 markings/sec, 525 secs
lola: sara is running 530 secs || 52858828 markings, 131560156 edges, 145760 markings/sec, 530 secs
lola: sara is running 535 secs || 53586191 markings, 133229212 edges, 145473 markings/sec, 535 secs
lola: sara is running 540 secs || 54303456 markings, 134873870 edges, 143453 markings/sec, 540 secs
lola: sara is running 545 secs || 55022044 markings, 136514590 edges, 143718 markings/sec, 545 secs
lola: sara is running 550 secs || 55724196 markings, 138051355 edges, 140430 markings/sec, 550 secs
lola: sara is running 555 secs || 56453122 markings, 139774049 edges, 145785 markings/sec, 555 secs
lola: sara is running 560 secs || 57176920 markings, 141451307 edges, 144760 markings/sec, 560 secs
lola: sara is running 565 secs || 57865657 markings, 142960129 edges, 137747 markings/sec, 565 secs
lola: sara is running 570 secs || 58584747 markings, 144664763 edges, 143818 markings/sec, 570 secs
lola: sara is running 575 secs || 59299013 markings, 146317407 edges, 142853 markings/sec, 575 secs
lola: sara is running 580 secs || 59980235 markings, 147809894 edges, 136244 markings/sec, 580 secs
lola: sara is running 585 secs || 60691111 markings, 149494876 edges, 142175 markings/sec, 585 secs
lola: sara is running 590 secs || 61397649 markings, 151132769 edges, 141308 markings/sec, 590 secs
lola: sara is running 595 secs || 62073339 markings, 152612572 edges, 135138 markings/sec, 595 secs
lola: sara is running 600 secs || 62776788 markings, 154275367 edges, 140690 markings/sec, 600 secs
lola: sara is running 605 secs || 63277618 markings, 155871919 edges, 100166 markings/sec, 605 secs
lola: sara is running 610 secs || 63489486 markings, 157301594 edges, 42374 markings/sec, 610 secs
lola: sara is running 615 secs || 64015075 markings, 158729849 edges, 105118 markings/sec, 615 secs
lola: sara is running 620 secs || 64353632 markings, 160176547 edges, 67711 markings/sec, 620 secs
lola: sara is running 625 secs || 64690858 markings, 161589714 edges, 67445 markings/sec, 625 secs
lola: sara is running 630 secs || 65241753 markings, 163195964 edges, 110179 markings/sec, 630 secs
lola: sara is running 635 secs || 65591841 markings, 164662773 edges, 70018 markings/sec, 635 secs
lola: sara is running 640 secs || 66022950 markings, 166156711 edges, 86222 markings/sec, 640 secs
lola: sara is running 645 secs || 66747217 markings, 167885494 edges, 144853 markings/sec, 645 secs
lola: sara is running 650 secs || 67470952 markings, 169614104 edges, 144747 markings/sec, 650 secs
lola: sara is running 655 secs || 68199993 markings, 171349911 edges, 145808 markings/sec, 655 secs
lola: sara is running 660 secs || 68925495 markings, 173083426 edges, 145100 markings/sec, 660 secs
lola: sara is running 665 secs || 69664579 markings, 174847774 edges, 147817 markings/sec, 665 secs
lola: sara is running 670 secs || 70397148 markings, 176596708 edges, 146514 markings/sec, 670 secs
lola: sara is running 675 secs || 71132502 markings, 178352865 edges, 147071 markings/sec, 675 secs
lola: sara is running 680 secs || 71852914 markings, 180072289 edges, 144082 markings/sec, 680 secs
lola: sara is running 685 secs || 72570312 markings, 181783498 edges, 143480 markings/sec, 685 secs
lola: sara is running 690 secs || 73282453 markings, 183484319 edges, 142428 markings/sec, 690 secs
lola: sara is running 695 secs || 73977915 markings, 185142359 edges, 139092 markings/sec, 695 secs
lola: sara is running 700 secs || 74681981 markings, 186823014 edges, 140813 markings/sec, 700 secs
lola: sara is running 705 secs || 75382204 markings, 188495753 edges, 140045 markings/sec, 705 secs
lola: sara is running 710 secs || 76081977 markings, 190161601 edges, 139955 markings/sec, 710 secs
lola: sara is running 715 secs || 76764008 markings, 191792696 edges, 136406 markings/sec, 715 secs
lola: sara is running 720 secs || 77449480 markings, 193429587 edges, 137094 markings/sec, 720 secs
lola: sara is running 725 secs || 77872935 markings, 194957359 edges, 84691 markings/sec, 725 secs
lola: sara is running 730 secs || 78097856 markings, 196360967 edges, 44984 markings/sec, 730 secs
lola: sara is running 735 secs || 78418850 markings, 197531056 edges, 64199 markings/sec, 735 secs
lola: sara is running 740 secs || 78842709 markings, 199052294 edges, 84772 markings/sec, 740 secs
lola: sara is running 745 secs || 79248951 markings, 200548622 edges, 81248 markings/sec, 745 secs
lola: sara is running 750 secs || 79691011 markings, 202091094 edges, 88412 markings/sec, 750 secs
lola: sara is running 755 secs || 80121812 markings, 203638753 edges, 86160 markings/sec, 755 secs
lola: sara is running 760 secs || 80527399 markings, 205151706 edges, 81117 markings/sec, 760 secs
lola: sara is running 765 secs || 81240248 markings, 206884571 edges, 142570 markings/sec, 765 secs
lola: sara is running 770 secs || 81965576 markings, 208625374 edges, 145066 markings/sec, 770 secs
lola: sara is running 775 secs || 82685246 markings, 210351332 edges, 143934 markings/sec, 775 secs
lola: sara is running 780 secs || 83411599 markings, 212093515 edges, 145271 markings/sec, 780 secs
lola: sara is running 785 secs || 84146417 markings, 213856619 edges, 146964 markings/sec, 785 secs
lola: sara is running 790 secs || 84883960 markings, 215623213 edges, 147509 markings/sec, 790 secs
lola: sara is running 795 secs || 85620329 markings, 217391366 edges, 147274 markings/sec, 795 secs
lola: sara is running 800 secs || 86339066 markings, 219117173 edges, 143747 markings/sec, 800 secs
lola: sara is running 805 secs || 87057795 markings, 220839924 edges, 143746 markings/sec, 805 secs
lola: sara is running 810 secs || 87775971 markings, 222563556 edges, 143635 markings/sec, 810 secs
lola: sara is running 815 secs || 88483455 markings, 224262079 edges, 141497 markings/sec, 815 secs
lola: sara is running 820 secs || 89196141 markings, 225969715 edges, 142537 markings/sec, 820 secs
lola: sara is running 825 secs || 89909231 markings, 227681231 edges, 142618 markings/sec, 825 secs
lola: sara is running 830 secs || 90610850 markings, 229363805 edges, 140324 markings/sec, 830 secs
lola: sara is running 835 secs || 91320508 markings, 231065657 edges, 141932 markings/sec, 835 secs
lola: sara is running 840 secs || 92021388 markings, 232747790 edges, 140176 markings/sec, 840 secs
lola: sara is running 845 secs || 92542057 markings, 234327782 edges, 104134 markings/sec, 845 secs
lola: sara is running 850 secs || 92744833 markings, 235772915 edges, 40555 markings/sec, 850 secs
lola: sara is running 855 secs || 93032689 markings, 236846794 edges, 57571 markings/sec, 855 secs
lola: sara is running 860 secs || 93543162 markings, 238390966 edges, 102095 markings/sec, 860 secs
lola: sara is running 865 secs || 93884539 markings, 239824452 edges, 68275 markings/sec, 865 secs
lola: sara is running 870 secs || 94200347 markings, 241172497 edges, 63162 markings/sec, 870 secs
lola: sara is running 875 secs || 94501786 markings, 242440568 edges, 60288 markings/sec, 875 secs
lola: sara is running 880 secs || 94895701 markings, 243833359 edges, 78783 markings/sec, 880 secs
lola: sara is running 885 secs || 95297409 markings, 245260561 edges, 80342 markings/sec, 885 secs
lola: sara is running 890 secs || 95676306 markings, 246620410 edges, 75779 markings/sec, 890 secs
lola: sara is running 895 secs || 96041672 markings, 247898457 edges, 73073 markings/sec, 895 secs
lola: sara is running 900 secs || 96406220 markings, 249213726 edges, 72910 markings/sec, 900 secs
lola: sara is running 905 secs || 96809458 markings, 250668208 edges, 80648 markings/sec, 905 secs
lola: sara is running 910 secs || 97177281 markings, 252000400 edges, 73565 markings/sec, 910 secs
lola: sara is running 915 secs || 97569909 markings, 253391739 edges, 78526 markings/sec, 915 secs
lola: sara is running 920 secs || 97963070 markings, 254791453 edges, 78632 markings/sec, 920 secs
lola: sara is running 925 secs || 98316634 markings, 256074776 edges, 70713 markings/sec, 925 secs
lola: sara is running 930 secs || 98640578 markings, 257316633 edges, 64789 markings/sec, 930 secs
lola: sara is running 935 secs || 98979815 markings, 258454270 edges, 67847 markings/sec, 935 secs
lola: sara is running 940 secs || 99319691 markings, 259579739 edges, 67975 markings/sec, 940 secs
lola: sara is running 945 secs || 99625736 markings, 260591211 edges, 61209 markings/sec, 945 secs
lola: sara is running 950 secs || 99973400 markings, 261758967 edges, 69533 markings/sec, 950 secs
lola: sara is running 955 secs || 100307388 markings, 262866966 edges, 66798 markings/sec, 955 secs
lola: sara is running 960 secs || 100638237 markings, 263974108 edges, 66170 markings/sec, 960 secs
lola: sara is running 965 secs || 100957699 markings, 265077307 edges, 63892 markings/sec, 965 secs
lola: sara is running 970 secs || 101324235 markings, 266282526 edges, 73307 markings/sec, 970 secs
lola: sara is running 975 secs || 101662115 markings, 267398565 edges, 67576 markings/sec, 975 secs
lola: sara is running 980 secs || 102012723 markings, 268572685 edges, 70122 markings/sec, 980 secs
lola: sara is running 985 secs || 102364417 markings, 269741376 edges, 70339 markings/sec, 985 secs
lola: sara is running 990 secs || 102711842 markings, 270909344 edges, 69485 markings/sec, 990 secs
lola: sara is running 995 secs || 102995654 markings, 272058029 edges, 56762 markings/sec, 995 secs
lola: sara is running 1000 secs || 103219283 markings, 273313112 edges, 44726 markings/sec, 1000 secs
lola: sara is running 1005 secs || 103426134 markings, 274476557 edges, 41370 markings/sec, 1005 secs
lola: sara is running 1010 secs || 103642922 markings, 275714461 edges, 43358 markings/sec, 1010 secs
lola: sara is running 1015 secs || 103861793 markings, 276950067 edges, 43774 markings/sec, 1015 secs
lola: sara is running 1020 secs || 104068057 markings, 278084171 edges, 41253 markings/sec, 1020 secs
lola: sara is running 1025 secs || 104302619 markings, 279170773 edges, 46912 markings/sec, 1025 secs
lola: sara is running 1030 secs || 104529429 markings, 280206827 edges, 45362 markings/sec, 1030 secs
lola: sara is running 1035 secs || 104758875 markings, 281286616 edges, 45889 markings/sec, 1035 secs
lola: sara is running 1040 secs || 104986091 markings, 282353236 edges, 45443 markings/sec, 1040 secs
lola: sara is running 1045 secs || 105182717 markings, 283517060 edges, 39325 markings/sec, 1045 secs
lola: sara is running 1050 secs || 105780659 markings, 285064863 edges, 119588 markings/sec, 1050 secs
lola: sara is running 1055 secs || 106382519 markings, 286653786 edges, 120372 markings/sec, 1055 secs
lola: sara is running 1060 secs || 106934016 markings, 288087761 edges, 110299 markings/sec, 1060 secs
lola: sara is running 1065 secs || 107474032 markings, 289495258 edges, 108003 markings/sec, 1065 secs
lola: sara is running 1070 secs || 108057463 markings, 291015446 edges, 116686 markings/sec, 1070 secs
lola: sara is running 1075 secs || 108613839 markings, 292524179 edges, 111275 markings/sec, 1075 secs
lola: sara is running 1080 secs || 109188241 markings, 294066789 edges, 114880 markings/sec, 1080 secs
lola: sara is running 1085 secs || 109753632 markings, 295607226 edges, 113078 markings/sec, 1085 secs
lola: sara is running 1090 secs || 110385604 markings, 297160220 edges, 126394 markings/sec, 1090 secs
lola: sara is running 1095 secs || 110976241 markings, 298728395 edges, 118127 markings/sec, 1095 secs
lola: sara is running 1100 secs || 111520687 markings, 300164643 edges, 108889 markings/sec, 1100 secs
lola: sara is running 1105 secs || 112068286 markings, 301616936 edges, 109520 markings/sec, 1105 secs
lola: sara is running 1110 secs || 112622410 markings, 303070497 edges, 110825 markings/sec, 1110 secs
lola: sara is running 1115 secs || 113171793 markings, 304506776 edges, 109877 markings/sec, 1115 secs
lola: sara is running 1120 secs || 113732716 markings, 306011390 edges, 112185 markings/sec, 1120 secs
lola: sara is running 1125 secs || 114289998 markings, 307531820 edges, 111456 markings/sec, 1125 secs
lola: sara is running 1130 secs || 114912788 markings, 309064759 edges, 124558 markings/sec, 1130 secs
lola: sara is running 1135 secs || 115499307 markings, 310615037 edges, 117304 markings/sec, 1135 secs
lola: sara is running 1140 secs || 116036214 markings, 312033578 edges, 107381 markings/sec, 1140 secs
lola: sara is running 1145 secs || 116581768 markings, 313478567 edges, 109111 markings/sec, 1145 secs
lola: sara is running 1150 secs || 117133788 markings, 314925236 edges, 110404 markings/sec, 1150 secs
lola: sara is running 1155 secs || 117679982 markings, 316354372 edges, 109239 markings/sec, 1155 secs
lola: sara is running 1160 secs || 118225734 markings, 317816065 edges, 109150 markings/sec, 1160 secs
lola: sara is running 1165 secs || 118776250 markings, 319316155 edges, 110103 markings/sec, 1165 secs
lola: sara is running 1170 secs || 119380297 markings, 320830926 edges, 120809 markings/sec, 1170 secs
lola: sara is running 1175 secs || 119981247 markings, 322372487 edges, 120190 markings/sec, 1175 secs
lola: sara is running 1180 secs || 120492359 markings, 323743123 edges, 102222 markings/sec, 1180 secs
lola: sara is running 1185 secs || 121054306 markings, 325230727 edges, 112389 markings/sec, 1185 secs
lola: sara is running 1190 secs || 121579769 markings, 326618645 edges, 105093 markings/sec, 1190 secs
lola: sara is running 1195 secs || 122125422 markings, 328038083 edges, 109131 markings/sec, 1195 secs
lola: sara is running 1200 secs || 122660820 markings, 329470371 edges, 107080 markings/sec, 1200 secs
lola: sara is running 1205 secs || 123216245 markings, 330963647 edges, 111085 markings/sec, 1205 secs
lola: sara is running 1210 secs || 123783024 markings, 332440692 edges, 113356 markings/sec, 1210 secs
lola: sara is running 1215 secs || 124395321 markings, 333994239 edges, 122459 markings/sec, 1215 secs
lola: sara is running 1220 secs || 124896320 markings, 335323910 edges, 100200 markings/sec, 1220 secs
lola: sara is running 1225 secs || 125463549 markings, 336816521 edges, 113446 markings/sec, 1225 secs
lola: sara is running 1230 secs || 125991410 markings, 338216898 edges, 105572 markings/sec, 1230 secs
lola: sara is running 1235 secs || 126526946 markings, 339615276 edges, 107107 markings/sec, 1235 secs
lola: sara is running 1240 secs || 127058142 markings, 341019561 edges, 106239 markings/sec, 1240 secs
lola: sara is running 1245 secs || 127606540 markings, 342489633 edges, 109680 markings/sec, 1245 secs
lola: sara is running 1250 secs || 128168625 markings, 343985801 edges, 112417 markings/sec, 1250 secs
lola: sara is running 1255 secs || 128809491 markings, 345597844 edges, 128173 markings/sec, 1255 secs
lola: sara is running 1260 secs || 129432942 markings, 347216187 edges, 124690 markings/sec, 1260 secs
lola: sara is running 1265 secs || 130072463 markings, 348859999 edges, 127904 markings/sec, 1265 secs
lola: sara is running 1270 secs || 130638351 markings, 350365914 edges, 113178 markings/sec, 1270 secs
lola: sara is running 1275 secs || 131119290 markings, 351662702 edges, 96188 markings/sec, 1275 secs
lola: sara is running 1280 secs || 131639652 markings, 353060566 edges, 104072 markings/sec, 1280 secs
lola: sara is running 1285 secs || 132212070 markings, 354597646 edges, 114484 markings/sec, 1285 secs
lola: sara is running 1290 secs || 132521447 markings, 355830606 edges, 61875 markings/sec, 1290 secs
lola: sara is running 1295 secs || 132633289 markings, 356917247 edges, 22368 markings/sec, 1295 secs
lola: sara is running 1300 secs || 132739134 markings, 357970395 edges, 21169 markings/sec, 1300 secs
lola: sara is running 1305 secs || 132840857 markings, 359065141 edges, 20345 markings/sec, 1305 secs
lola: sara is running 1310 secs || 132936029 markings, 360073568 edges, 19034 markings/sec, 1310 secs
lola: sara is running 1315 secs || 133379657 markings, 361521635 edges, 88726 markings/sec, 1315 secs
lola: sara is running 1320 secs || 133935947 markings, 363014859 edges, 111258 markings/sec, 1320 secs
lola: sara is running 1325 secs || 134381928 markings, 364445972 edges, 89196 markings/sec, 1325 secs
lola: sara is running 1330 secs || 134943941 markings, 365949245 edges, 112403 markings/sec, 1330 secs
lola: sara is running 1335 secs || 135496441 markings, 367437078 edges, 110500 markings/sec, 1335 secs
lola: sara is running 1340 secs || 135996837 markings, 368869178 edges, 100079 markings/sec, 1340 secs
lola: sara is running 1345 secs || 136636914 markings, 370403865 edges, 128015 markings/sec, 1345 secs
lola: sara is running 1350 secs || 137187497 markings, 371837106 edges, 110117 markings/sec, 1350 secs
lola: sara is running 1355 secs || 137760479 markings, 373291064 edges, 114596 markings/sec, 1355 secs
lola: sara is running 1360 secs || 138330384 markings, 374732707 edges, 113981 markings/sec, 1360 secs
lola: sara is running 1365 secs || 138918768 markings, 376314801 edges, 117677 markings/sec, 1365 secs
lola: sara is running 1370 secs || 139502178 markings, 377882172 edges, 116682 markings/sec, 1370 secs
lola: sara is running 1375 secs || 140090908 markings, 379466862 edges, 117746 markings/sec, 1375 secs
lola: sara is running 1380 secs || 140694628 markings, 381015458 edges, 120744 markings/sec, 1380 secs
lola: sara is running 1385 secs || 141330627 markings, 382551562 edges, 127200 markings/sec, 1385 secs
lola: sara is running 1390 secs || 141890469 markings, 384017182 edges, 111968 markings/sec, 1390 secs
lola: sara is running 1395 secs || 142483133 markings, 385562248 edges, 118533 markings/sec, 1395 secs
lola: sara is running 1400 secs || 143050056 markings, 387045595 edges, 113385 markings/sec, 1400 secs
lola: sara is running 1405 secs || 143634927 markings, 388533405 edges, 116974 markings/sec, 1405 secs
lola: sara is running 1410 secs || 144206891 markings, 390066899 edges, 114393 markings/sec, 1410 secs
lola: sara is running 1415 secs || 144790898 markings, 391651262 edges, 116801 markings/sec, 1415 secs
lola: sara is running 1420 secs || 145405759 markings, 393174198 edges, 122972 markings/sec, 1420 secs
lola: sara is running 1425 secs || 146020773 markings, 394688307 edges, 123003 markings/sec, 1425 secs
lola: sara is running 1430 secs || 146559065 markings, 396121908 edges, 107658 markings/sec, 1430 secs
lola: sara is running 1435 secs || 147137255 markings, 397610076 edges, 115638 markings/sec, 1435 secs
lola: sara is running 1440 secs || 147684819 markings, 399041468 edges, 109513 markings/sec, 1440 secs
lola: sara is running 1445 secs || 148248446 markings, 400474746 edges, 112725 markings/sec, 1445 secs
lola: sara is running 1450 secs || 148806443 markings, 401968564 edges, 111599 markings/sec, 1450 secs
lola: sara is running 1455 secs || 149378631 markings, 403515090 edges, 114438 markings/sec, 1455 secs
lola: sara is running 1460 secs || 149977483 markings, 405030270 edges, 119770 markings/sec, 1460 secs
lola: sara is running 1465 secs || 150591626 markings, 406519046 edges, 122829 markings/sec, 1465 secs
lola: sara is running 1470 secs || 151125512 markings, 407923016 edges, 106777 markings/sec, 1470 secs
lola: sara is running 1475 secs || 151699180 markings, 409417062 edges, 114734 markings/sec, 1475 secs
lola: sara is running 1480 secs || 152243997 markings, 410836249 edges, 108963 markings/sec, 1480 secs
lola: sara is running 1485 secs || 152787079 markings, 412228777 edges, 108616 markings/sec, 1485 secs
lola: sara is running 1490 secs || 153346084 markings, 413705698 edges, 111801 markings/sec, 1490 secs
lola: sara is running 1495 secs || 153911130 markings, 415226766 edges, 113009 markings/sec, 1495 secs
lola: sara is running 1500 secs || 154497849 markings, 416757503 edges, 117344 markings/sec, 1500 secs
lola: sara is running 1505 secs || 155115548 markings, 418246810 edges, 123540 markings/sec, 1505 secs
lola: sara is running 1510 secs || 155649297 markings, 419641629 edges, 106750 markings/sec, 1510 secs
lola: sara is running 1515 secs || 156234217 markings, 421149228 edges, 116984 markings/sec, 1515 secs
lola: sara is running 1520 secs || 156782791 markings, 422592857 edges, 109715 markings/sec, 1520 secs
lola: sara is running 1525 secs || 157329246 markings, 423980886 edges, 109291 markings/sec, 1525 secs
lola: sara is running 1530 secs || 157867265 markings, 425399785 edges, 107604 markings/sec, 1530 secs
lola: sara is running 1535 secs || 158430848 markings, 426913333 edges, 112717 markings/sec, 1535 secs
lola: sara is running 1540 secs || 159008676 markings, 428450348 edges, 115566 markings/sec, 1540 secs
lola: sara is running 1545 secs || 159658309 markings, 430023894 edges, 129927 markings/sec, 1545 secs
lola: sara is running 1550 secs || 160291850 markings, 431584509 edges, 126708 markings/sec, 1550 secs
lola: sara is running 1555 secs || 160916104 markings, 433146932 edges, 124851 markings/sec, 1555 secs
lola: sara is running 1560 secs || 161500542 markings, 434685857 edges, 116888 markings/sec, 1560 secs
lola: sara is running 1565 secs || 162006656 markings, 436051301 edges, 101223 markings/sec, 1565 secs
lola: sara is running 1570 secs || 162530455 markings, 437470978 edges, 104760 markings/sec, 1570 secs
lola: sara is running 1575 secs || 163120002 markings, 439050646 edges, 117909 markings/sec, 1575 secs
lola: sara is running 1580 secs || 163445402 markings, 440331344 edges, 65080 markings/sec, 1580 secs
lola: sara is running 1585 secs || 163560560 markings, 441456067 edges, 23032 markings/sec, 1585 secs
lola: sara is running 1590 secs || 163670684 markings, 442537914 edges, 22025 markings/sec, 1590 secs
lola: sara is running 1595 secs || 163772170 markings, 443651957 edges, 20297 markings/sec, 1595 secs
lola: sara is running 1600 secs || 163871629 markings, 444723561 edges, 19892 markings/sec, 1600 secs
lola: sara is running 1605 secs || 164393075 markings, 446255980 edges, 104289 markings/sec, 1605 secs
lola: sara is running 1610 secs || 164958417 markings, 447778996 edges, 113068 markings/sec, 1610 secs
lola: sara is running 1615 secs || 165420718 markings, 449255654 edges, 92460 markings/sec, 1615 secs
lola: sara is running 1620 secs || 165991200 markings, 450788955 edges, 114096 markings/sec, 1620 secs
lola: sara is running 1625 secs || 166468362 markings, 452226675 edges, 95432 markings/sec, 1625 secs
lola: sara is running 1630 secs || 167033365 markings, 453677623 edges, 113001 markings/sec, 1630 secs
lola: sara is running 1635 secs || 167693783 markings, 455288927 edges, 132084 markings/sec, 1635 secs
lola: sara is running 1640 secs || 168355682 markings, 456924708 edges, 132380 markings/sec, 1640 secs
lola: sara is running 1645 secs || 168995729 markings, 458513799 edges, 128009 markings/sec, 1645 secs
lola: sara is running 1650 secs || 169603983 markings, 460010060 edges, 121651 markings/sec, 1650 secs
lola: sara is running 1655 secs || 170225573 markings, 461572764 edges, 124318 markings/sec, 1655 secs
lola: sara is running 1660 secs || 170851712 markings, 463167858 edges, 125228 markings/sec, 1660 secs
lola: sara is running 1665 secs || 171465532 markings, 464732735 edges, 122764 markings/sec, 1665 secs
lola: sara is running 1670 secs || 172080452 markings, 466295626 edges, 122984 markings/sec, 1670 secs
lola: sara is running 1675 secs || 172713237 markings, 467876558 edges, 126557 markings/sec, 1675 secs
lola: sara is running 1680 secs || 173369831 markings, 469479451 edges, 131319 markings/sec, 1680 secs
lola: sara is running 1685 secs || 174021418 markings, 471083880 edges, 130317 markings/sec, 1685 secs
lola: sara is running 1690 secs || 174664562 markings, 472707123 edges, 128629 markings/sec, 1690 secs
lola: sara is running 1695 secs || 175302058 markings, 474285123 edges, 127499 markings/sec, 1695 secs
lola: sara is running 1700 secs || 175910232 markings, 475805143 edges, 121635 markings/sec, 1700 secs
lola: sara is running 1705 secs || 176499852 markings, 477277201 edges, 117924 markings/sec, 1705 secs
lola: sara is running 1710 secs || 177096584 markings, 478797264 edges, 119346 markings/sec, 1710 secs
lola: sara is running 1715 secs || 177708435 markings, 480350734 edges, 122370 markings/sec, 1715 secs
lola: sara is running 1720 secs || 178319180 markings, 481896125 edges, 122149 markings/sec, 1720 secs
lola: sara is running 1725 secs || 178987643 markings, 483456699 edges, 133693 markings/sec, 1725 secs
lola: sara is running 1730 secs || 179608025 markings, 485049679 edges, 124076 markings/sec, 1730 secs
lola: sara is running 1735 secs || 180246965 markings, 486646520 edges, 127788 markings/sec, 1735 secs
lola: sara is running 1740 secs || 180876340 markings, 488213706 edges, 125875 markings/sec, 1740 secs
lola: sara is running 1745 secs || 181485178 markings, 489739610 edges, 121768 markings/sec, 1745 secs
lola: sara is running 1750 secs || 182073829 markings, 491198981 edges, 117730 markings/sec, 1750 secs
lola: sara is running 1755 secs || 182652089 markings, 492670013 edges, 115652 markings/sec, 1755 secs
lola: sara is running 1760 secs || 183248936 markings, 494185377 edges, 119369 markings/sec, 1760 secs
lola: sara is running 1765 secs || 183836664 markings, 495700032 edges, 117546 markings/sec, 1765 secs
lola: sara is running 1770 secs || 184483120 markings, 497250718 edges, 129291 markings/sec, 1770 secs
lola: sara is running 1775 secs || 185107039 markings, 498800775 edges, 124784 markings/sec, 1775 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: memory consumption: 6985516 KB
lola: time consumption: 1787 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: memory consumption: 6985660 KB
lola: time consumption: 1787 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((((p218 <= 0)) OR ((1 <= p165)) OR ((p66 <= 0)) OR ((1 <= p177))) U ((1 <= p173)))) OR E (G (((1 <= p122) AND (((p180 <= 0)) OR ((p200 <= 1) AND (1 <= p200)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1783 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((1 <= p122) AND (((p180 <= 0)) OR ((p200 <= 1) AND (1 <= p200))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((1 <= p122) AND (((p180 <= 0)) OR ((p200 <= 1) AND (1 <= p200))))))
lola: processed formula length: 75
lola: 16 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 / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
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: ((p122 <= 0) OR (((1 <= p180)) AND ((2 <= p200) OR (p200 <= 0))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (A (((((1 <= p188)) AND ((p7 <= 0))) R (((1 <= p2)) AND ((p28 <= 0))))) OR E (F ((((1 <= p79)) AND ((p30 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p79)) AND ((p30 <= 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 <= p79)) AND ((p30 <= 0)))))
lola: processed formula length: 39
lola: 16 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 <= p79)) AND ((p30 <= 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: write sara problem file to CTLCardinality-12-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-0.sara.
sara: error: :2275: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 551539 markings, 1242550 edges, 110308 markings/sec, 0 secs
lola: sara is running 5 secs || 1085267 markings, 2353366 edges, 106746 markings/sec, 5 secs
lola: sara is running 10 secs || 1453409 markings, 3344289 edges, 73628 markings/sec, 10 secs
lola: sara is running 15 secs || 1844981 markings, 4126782 edges, 78314 markings/sec, 15 secs
lola: sara is running 20 secs || 2337813 markings, 5194946 edges, 98566 markings/sec, 20 secs
lola: sara is running 25 secs || 2996203 markings, 6810070 edges, 131678 markings/sec, 25 secs
lola: sara is running 30 secs || 3686284 markings, 8440543 edges, 138016 markings/sec, 30 secs
lola: sara is running 35 secs || 4339435 markings, 10069922 edges, 130630 markings/sec, 35 secs
lola: sara is running 40 secs || 5007764 markings, 11592161 edges, 133666 markings/sec, 40 secs
lola: sara is running 45 secs || 5633685 markings, 13187569 edges, 125184 markings/sec, 45 secs
lola: sara is running 50 secs || 6083149 markings, 14546496 edges, 89893 markings/sec, 50 secs
lola: sara is running 55 secs || 6503181 markings, 15815338 edges, 84006 markings/sec, 55 secs
lola: sara is running 60 secs || 7090426 markings, 17245831 edges, 117449 markings/sec, 60 secs
lola: sara is running 65 secs || 7601308 markings, 18618261 edges, 102176 markings/sec, 65 secs
lola: sara is running 70 secs || 8221221 markings, 20119027 edges, 123983 markings/sec, 70 secs
lola: sara is running 75 secs || 8847434 markings, 21599993 edges, 125243 markings/sec, 75 secs
lola: sara is running 80 secs || 9385370 markings, 23020687 edges, 107587 markings/sec, 80 secs
lola: sara is running 85 secs || 10014838 markings, 24488683 edges, 125894 markings/sec, 85 secs
lola: sara is running 90 secs || 10637668 markings, 25925102 edges, 124566 markings/sec, 90 secs
lola: sara is running 95 secs || 11180497 markings, 27329568 edges, 108566 markings/sec, 95 secs
lola: sara is running 100 secs || 11740482 markings, 28727571 edges, 111997 markings/sec, 100 secs
lola: sara is running 105 secs || 12286182 markings, 30088839 edges, 109140 markings/sec, 105 secs
lola: sara is running 110 secs || 12770260 markings, 31416666 edges, 96816 markings/sec, 110 secs
lola: sara is running 115 secs || 13346508 markings, 32823747 edges, 115250 markings/sec, 115 secs
lola: sara is running 120 secs || 13899197 markings, 34196873 edges, 110538 markings/sec, 120 secs
lola: sara is running 125 secs || 14451389 markings, 35656501 edges, 110438 markings/sec, 125 secs
lola: sara is running 130 secs || 15104866 markings, 37219768 edges, 130695 markings/sec, 130 secs
lola: sara is running 135 secs || 15681909 markings, 38716719 edges, 115409 markings/sec, 135 secs
lola: sara is running 140 secs || 16185730 markings, 39895210 edges, 100764 markings/sec, 140 secs
lola: sara is running 145 secs || 16692370 markings, 41003528 edges, 101328 markings/sec, 145 secs
lola: sara is running 150 secs || 17193347 markings, 42098911 edges, 100195 markings/sec, 150 secs
lola: sara is running 155 secs || 17705145 markings, 43218672 edges, 102360 markings/sec, 155 secs
lola: sara is running 160 secs || 18147361 markings, 44320952 edges, 88443 markings/sec, 160 secs
lola: sara is running 165 secs || 18669551 markings, 45440582 edges, 104438 markings/sec, 165 secs
lola: sara is running 170 secs || 19187315 markings, 46548356 edges, 103553 markings/sec, 170 secs
lola: sara is running 175 secs || 19692466 markings, 47632537 edges, 101030 markings/sec, 175 secs
lola: sara is running 180 secs || 20152313 markings, 48759564 edges, 91969 markings/sec, 180 secs
lola: sara is running 185 secs || 20697692 markings, 49950434 edges, 109076 markings/sec, 185 secs
lola: sara is running 190 secs || 21247168 markings, 51141589 edges, 109895 markings/sec, 190 secs
lola: sara is running 195 secs || 21778647 markings, 52292758 edges, 106296 markings/sec, 195 secs
lola: sara is running 200 secs || 22315915 markings, 53452918 edges, 107454 markings/sec, 200 secs
lola: sara is running 205 secs || 22757310 markings, 54586857 edges, 88279 markings/sec, 205 secs
lola: sara is running 210 secs || 23258055 markings, 55689441 edges, 100149 markings/sec, 210 secs
lola: sara is running 215 secs || 23723703 markings, 56709312 edges, 93130 markings/sec, 215 secs
lola: sara is running 220 secs || 24195947 markings, 57744226 edges, 94449 markings/sec, 220 secs
lola: sara is running 225 secs || 24686639 markings, 58823953 edges, 98138 markings/sec, 225 secs
lola: sara is running 230 secs || 24966104 markings, 59820013 edges, 55893 markings/sec, 230 secs
lola: sara is running 235 secs || 25230786 markings, 60937916 edges, 52936 markings/sec, 235 secs
lola: sara is running 240 secs || 25501344 markings, 61962164 edges, 54112 markings/sec, 240 secs
lola: sara is running 245 secs || 25781322 markings, 63073589 edges, 55996 markings/sec, 245 secs
lola: sara is running 250 secs || 26050534 markings, 64149262 edges, 53842 markings/sec, 250 secs
lola: sara is running 255 secs || 26317322 markings, 65160287 edges, 53358 markings/sec, 255 secs
lola: sara is running 260 secs || 26558313 markings, 66151972 edges, 48198 markings/sec, 260 secs
lola: sara is running 265 secs || 26810141 markings, 67287951 edges, 50366 markings/sec, 265 secs
lola: sara is running 270 secs || 27065736 markings, 68382015 edges, 51119 markings/sec, 270 secs
lola: sara is running 275 secs || 27304914 markings, 69373079 edges, 47836 markings/sec, 275 secs
lola: sara is running 280 secs || 27660248 markings, 70244691 edges, 71067 markings/sec, 280 secs
lola: sara is running 285 secs || 28038884 markings, 71107671 edges, 75727 markings/sec, 285 secs
lola: sara is running 290 secs || 28423250 markings, 71926390 edges, 76873 markings/sec, 290 secs
lola: sara is running 295 secs || 28805750 markings, 72733179 edges, 76500 markings/sec, 295 secs
lola: sara is running 300 secs || 29156633 markings, 73592572 edges, 70177 markings/sec, 300 secs
lola: sara is running 305 secs || 29504952 markings, 74516598 edges, 69664 markings/sec, 305 secs
lola: sara is running 310 secs || 29875065 markings, 75478447 edges, 74023 markings/sec, 310 secs
lola: sara is running 315 secs || 30267179 markings, 76356358 edges, 78423 markings/sec, 315 secs
lola: sara is running 320 secs || 30661754 markings, 77192317 edges, 78915 markings/sec, 320 secs
lola: sara is running 325 secs || 31044222 markings, 78003540 edges, 76494 markings/sec, 325 secs
lola: sara is running 330 secs || 31350229 markings, 78974571 edges, 61201 markings/sec, 330 secs
lola: sara is running 335 secs || 31686981 markings, 79851225 edges, 67350 markings/sec, 335 secs
lola: sara is running 340 secs || 32057971 markings, 80652304 edges, 74198 markings/sec, 340 secs
lola: sara is running 345 secs || 32416387 markings, 81417376 edges, 71683 markings/sec, 345 secs
lola: sara is running 350 secs || 32772092 markings, 82224504 edges, 71141 markings/sec, 350 secs
lola: sara is running 355 secs || 33073431 markings, 83069304 edges, 60268 markings/sec, 355 secs
lola: sara is running 360 secs || 33435892 markings, 83913753 edges, 72492 markings/sec, 360 secs
lola: sara is running 365 secs || 33804871 markings, 84667898 edges, 73796 markings/sec, 365 secs
lola: sara is running 370 secs || 34190843 markings, 85431384 edges, 77194 markings/sec, 370 secs
lola: sara is running 375 secs || 34577312 markings, 86193709 edges, 77294 markings/sec, 375 secs
lola: sara is running 380 secs || 34953040 markings, 86941867 edges, 75146 markings/sec, 380 secs
lola: sara is running 385 secs || 35337534 markings, 87700125 edges, 76899 markings/sec, 385 secs
lola: sara is running 390 secs || 35709794 markings, 88440416 edges, 74452 markings/sec, 390 secs
lola: sara is running 395 secs || 36085964 markings, 89184761 edges, 75234 markings/sec, 395 secs
lola: sara is running 400 secs || 36463479 markings, 89926981 edges, 75503 markings/sec, 400 secs
lola: sara is running 405 secs || 36830141 markings, 90659417 edges, 73332 markings/sec, 405 secs
lola: sara is running 410 secs || 37129764 markings, 91570345 edges, 59925 markings/sec, 410 secs
lola: sara is running 415 secs || 37580576 markings, 93139866 edges, 90162 markings/sec, 415 secs
lola: sara is running 420 secs || 37987586 markings, 94637584 edges, 81402 markings/sec, 420 secs
lola: sara is running 425 secs || 38566753 markings, 96290118 edges, 115833 markings/sec, 425 secs
lola: sara is running 430 secs || 39290501 markings, 98024911 edges, 144750 markings/sec, 430 secs
lola: sara is running 435 secs || 40005104 markings, 99738907 edges, 142921 markings/sec, 435 secs
lola: sara is running 440 secs || 40731601 markings, 101478355 edges, 145299 markings/sec, 440 secs
lola: sara is running 445 secs || 41458587 markings, 103221388 edges, 145397 markings/sec, 445 secs
lola: sara is running 450 secs || 42190557 markings, 104976291 edges, 146394 markings/sec, 450 secs
lola: sara is running 455 secs || 42928446 markings, 106743749 edges, 147578 markings/sec, 455 secs
lola: sara is running 460 secs || 43654555 markings, 108484644 edges, 145222 markings/sec, 460 secs
lola: sara is running 465 secs || 44378243 markings, 110217044 edges, 144738 markings/sec, 465 secs
lola: sara is running 470 secs || 45097005 markings, 111940628 edges, 143752 markings/sec, 470 secs
lola: sara is running 475 secs || 45806760 markings, 113642182 edges, 141951 markings/sec, 475 secs
lola: sara is running 480 secs || 46517527 markings, 115341428 edges, 142153 markings/sec, 480 secs
lola: sara is running 485 secs || 47226705 markings, 117044962 edges, 141836 markings/sec, 485 secs
lola: sara is running 490 secs || 47930319 markings, 118731294 edges, 140723 markings/sec, 490 secs
lola: sara is running 495 secs || 48633560 markings, 120414701 edges, 140648 markings/sec, 495 secs
lola: sara is running 500 secs || 49334045 markings, 122094224 edges, 140097 markings/sec, 500 secs
lola: sara is running 505 secs || 50029619 markings, 123762602 edges, 139115 markings/sec, 505 secs
lola: sara is running 510 secs || 50376224 markings, 125258655 edges, 69321 markings/sec, 510 secs
lola: sara is running 515 secs || 50773222 markings, 126772586 edges, 79400 markings/sec, 515 secs
lola: sara is running 520 secs || 51472480 markings, 128302725 edges, 139852 markings/sec, 520 secs
lola: sara is running 525 secs || 52193763 markings, 130001896 edges, 144257 markings/sec, 525 secs
lola: sara is running 530 secs || 52921912 markings, 131697087 edges, 145630 markings/sec, 530 secs
lola: sara is running 535 secs || 53649261 markings, 133374440 edges, 145470 markings/sec, 535 secs
lola: sara is running 540 secs || 54366363 markings, 135019860 edges, 143420 markings/sec, 540 secs
lola: sara is running 545 secs || 55086024 markings, 136652858 edges, 143932 markings/sec, 545 secs
lola: sara is running 550 secs || 55787470 markings, 138189866 edges, 140289 markings/sec, 550 secs
lola: sara is running 555 secs || 56520447 markings, 139935363 edges, 146595 markings/sec, 555 secs
lola: sara is running 560 secs || 57242282 markings, 141592807 edges, 144367 markings/sec, 560 secs
lola: sara is running 565 secs || 57930071 markings, 143102027 edges, 137558 markings/sec, 565 secs
lola: sara is running 570 secs || 58651522 markings, 144824767 edges, 144290 markings/sec, 570 secs
lola: sara is running 575 secs || 59362947 markings, 146456709 edges, 142285 markings/sec, 575 secs
lola: sara is running 580 secs || 60044817 markings, 147952150 edges, 136374 markings/sec, 580 secs
lola: sara is running 585 secs || 60759104 markings, 149657790 edges, 142857 markings/sec, 585 secs
lola: sara is running 590 secs || 61464037 markings, 151276378 edges, 140987 markings/sec, 590 secs
lola: sara is running 595 secs || 62138142 markings, 152754531 edges, 134821 markings/sec, 595 secs
lola: sara is running 600 secs || 62844182 markings, 154436870 edges, 141208 markings/sec, 600 secs
lola: sara is running 605 secs || 63295322 markings, 156013490 edges, 90228 markings/sec, 605 secs
lola: sara is running 610 secs || 63516290 markings, 157396992 edges, 44194 markings/sec, 610 secs
lola: sara is running 615 secs || 64077095 markings, 158879438 edges, 112161 markings/sec, 615 secs
lola: sara is running 620 secs || 64386904 markings, 160300390 edges, 61962 markings/sec, 620 secs
lola: sara is running 625 secs || 64721958 markings, 161714962 edges, 67011 markings/sec, 625 secs
lola: sara is running 630 secs || 65286924 markings, 163331016 edges, 112993 markings/sec, 630 secs
lola: sara is running 635 secs || 65617223 markings, 164796282 edges, 66060 markings/sec, 635 secs
lola: sara is running 640 secs || 66086829 markings, 166307750 edges, 93921 markings/sec, 640 secs
lola: sara is running 645 secs || 66810669 markings, 168037187 edges, 144768 markings/sec, 645 secs
lola: sara is running 650 secs || 67518357 markings, 169727217 edges, 141538 markings/sec, 650 secs
lola: sara is running 655 secs || 68244572 markings, 171458132 edges, 145243 markings/sec, 655 secs
lola: sara is running 660 secs || 68972485 markings, 173194965 edges, 145583 markings/sec, 660 secs
lola: sara is running 665 secs || 69710186 markings, 174957127 edges, 147540 markings/sec, 665 secs
lola: sara is running 670 secs || 70444599 markings, 176709440 edges, 146883 markings/sec, 670 secs
lola: sara is running 675 secs || 71178941 markings, 178463795 edges, 146868 markings/sec, 675 secs
lola: sara is running 680 secs || 71901501 markings, 180187877 edges, 144512 markings/sec, 680 secs
lola: sara is running 685 secs || 72622283 markings, 181907516 edges, 144156 markings/sec, 685 secs
lola: sara is running 690 secs || 73331414 markings, 183601249 edges, 141826 markings/sec, 690 secs
lola: sara is running 695 secs || 74039414 markings, 185287731 edges, 141600 markings/sec, 695 secs
lola: sara is running 700 secs || 74749212 markings, 186983960 edges, 141960 markings/sec, 700 secs
lola: sara is running 705 secs || 75451739 markings, 188661575 edges, 140505 markings/sec, 705 secs
lola: sara is running 710 secs || 76154682 markings, 190337944 edges, 140589 markings/sec, 710 secs
lola: sara is running 715 secs || 76857975 markings, 192017193 edges, 140659 markings/sec, 715 secs
lola: sara is running 720 secs || 77554113 markings, 193679600 edges, 139228 markings/sec, 720 secs
lola: sara is running 725 secs || 77910186 markings, 195221044 edges, 71215 markings/sec, 725 secs
lola: sara is running 730 secs || 78150932 markings, 196567218 edges, 48149 markings/sec, 730 secs
lola: sara is running 735 secs || 78527463 markings, 197815676 edges, 75306 markings/sec, 735 secs
lola: sara is running 740 secs || 78925865 markings, 199349102 edges, 79680 markings/sec, 740 secs
lola: sara is running 745 secs || 79327378 markings, 200825197 edges, 80303 markings/sec, 745 secs
lola: sara is running 750 secs || 79774875 markings, 202393082 edges, 89499 markings/sec, 750 secs
lola: sara is running 755 secs || 80207819 markings, 203947814 edges, 86589 markings/sec, 755 secs
lola: sara is running 760 secs || 80653255 markings, 205476892 edges, 89087 markings/sec, 760 secs
lola: sara is running 765 secs || 81381933 markings, 207224214 edges, 145736 markings/sec, 765 secs
lola: sara is running 770 secs || 82102992 markings, 208954760 edges, 144212 markings/sec, 770 secs
lola: sara is running 775 secs || 82825600 markings, 210685064 edges, 144522 markings/sec, 775 secs
lola: sara is running 780 secs || 83551409 markings, 212429556 edges, 145162 markings/sec, 780 secs
lola: sara is running 785 secs || 84292709 markings, 214207491 edges, 148260 markings/sec, 785 secs
lola: sara is running 790 secs || 85026630 markings, 215967370 edges, 146784 markings/sec, 790 secs
lola: sara is running 795 secs || 85760063 markings, 217727156 edges, 146687 markings/sec, 795 secs
lola: sara is running 800 secs || 86480995 markings, 219458240 edges, 144186 markings/sec, 800 secs
lola: sara is running 805 secs || 87203012 markings, 221187975 edges, 144403 markings/sec, 805 secs
lola: sara is running 810 secs || 87919345 markings, 222907682 edges, 143267 markings/sec, 810 secs
lola: sara is running 815 secs || 88626723 markings, 224604031 edges, 141476 markings/sec, 815 secs
lola: sara is running 820 secs || 89341273 markings, 226317632 edges, 142910 markings/sec, 820 secs
lola: sara is running 825 secs || 90048018 markings, 228013964 edges, 141349 markings/sec, 825 secs
lola: sara is running 830 secs || 90752231 markings, 229699997 edges, 140843 markings/sec, 830 secs
lola: sara is running 835 secs || 91460459 markings, 231401404 edges, 141646 markings/sec, 835 secs
lola: sara is running 840 secs || 92158157 markings, 233075590 edges, 139540 markings/sec, 840 secs
lola: sara is running 845 secs || 92582439 markings, 234615259 edges, 84856 markings/sec, 845 secs
lola: sara is running 850 secs || 92800897 markings, 235991368 edges, 43692 markings/sec, 850 secs
lola: sara is running 855 secs || 93114689 markings, 237123387 edges, 62758 markings/sec, 855 secs
lola: sara is running 860 secs || 93597668 markings, 238673865 edges, 96596 markings/sec, 860 secs
lola: sara is running 865 secs || 93945790 markings, 240115787 edges, 69624 markings/sec, 865 secs
lola: sara is running 870 secs || 94257411 markings, 241395383 edges, 62324 markings/sec, 870 secs
lola: sara is running 875 secs || 94578534 markings, 242717312 edges, 64225 markings/sec, 875 secs
lola: sara is running 880 secs || 94973217 markings, 244117444 edges, 78937 markings/sec, 880 secs
lola: sara is running 885 secs || 95376499 markings, 245543114 edges, 80656 markings/sec, 885 secs
lola: sara is running 890 secs || 95748788 markings, 246876553 edges, 74458 markings/sec, 890 secs
lola: sara is running 895 secs || 96113435 markings, 248167085 edges, 72929 markings/sec, 895 secs
lola: sara is running 900 secs || 96489802 markings, 249510976 edges, 75273 markings/sec, 900 secs
lola: sara is running 905 secs || 96870826 markings, 250902315 edges, 76205 markings/sec, 905 secs
lola: sara is running 910 secs || 97247409 markings, 252256438 edges, 75317 markings/sec, 910 secs
lola: sara is running 915 secs || 97641335 markings, 253655242 edges, 78785 markings/sec, 915 secs
lola: sara is running 920 secs || 98038719 markings, 255069663 edges, 79477 markings/sec, 920 secs
lola: sara is running 925 secs || 98385744 markings, 256327910 edges, 69405 markings/sec, 925 secs
lola: sara is running 930 secs || 98706111 markings, 257551918 edges, 64073 markings/sec, 930 secs
lola: sara is running 935 secs || 99045863 markings, 258674753 edges, 67950 markings/sec, 935 secs
lola: sara is running 940 secs || 99380088 markings, 259777733 edges, 66845 markings/sec, 940 secs
lola: sara is running 945 secs || 99696413 markings, 260824595 edges, 63265 markings/sec, 945 secs
lola: sara is running 950 secs || 100039919 markings, 261980563 edges, 68701 markings/sec, 950 secs
lola: sara is running 955 secs || 100380191 markings, 263103035 edges, 68054 markings/sec, 955 secs
lola: sara is running 960 secs || 100699245 markings, 264177650 edges, 63811 markings/sec, 960 secs
lola: sara is running 965 secs || 101032118 markings, 265318293 edges, 66575 markings/sec, 965 secs
lola: sara is running 970 secs || 101391632 markings, 266514906 edges, 71903 markings/sec, 970 secs
lola: sara is running 975 secs || 101728161 markings, 267620366 edges, 67306 markings/sec, 975 secs
lola: sara is running 980 secs || 102081054 markings, 268808017 edges, 70579 markings/sec, 980 secs
lola: sara is running 985 secs || 102433185 markings, 269974937 edges, 70426 markings/sec, 985 secs
lola: sara is running 990 secs || 102779406 markings, 271133823 edges, 69244 markings/sec, 990 secs
lola: sara is running 995 secs || 103040950 markings, 272308831 edges, 52309 markings/sec, 995 secs
lola: sara is running 1000 secs || 103260791 markings, 273544101 edges, 43968 markings/sec, 1000 secs
lola: sara is running 1005 secs || 103472979 markings, 274733922 edges, 42438 markings/sec, 1005 secs
lola: sara is running 1010 secs || 103688831 markings, 275964464 edges, 43170 markings/sec, 1010 secs
lola: sara is running 1015 secs || 103902231 markings, 277183498 edges, 42680 markings/sec, 1015 secs
lola: sara is running 1020 secs || 104115942 markings, 278301579 edges, 42742 markings/sec, 1020 secs
lola: sara is running 1025 secs || 104349203 markings, 279379009 edges, 46652 markings/sec, 1025 secs
lola: sara is running 1030 secs || 104578366 markings, 280437756 edges, 45833 markings/sec, 1030 secs
lola: sara is running 1035 secs || 104806298 markings, 281509065 edges, 45586 markings/sec, 1035 secs
lola: sara is running 1040 secs || 105031488 markings, 282567812 edges, 45038 markings/sec, 1040 secs
lola: sara is running 1045 secs || 105274532 markings, 283825305 edges, 48609 markings/sec, 1045 secs
lola: sara is running 1050 secs || 105915011 markings, 285382211 edges, 128096 markings/sec, 1050 secs
lola: sara is running 1055 secs || 106488795 markings, 286932500 edges, 114757 markings/sec, 1055 secs
lola: sara is running 1060 secs || 107038956 markings, 288372794 edges, 110032 markings/sec, 1060 secs
lola: sara is running 1065 secs || 107591625 markings, 289803980 edges, 110534 markings/sec, 1065 secs
lola: sara is running 1070 secs || 108176733 markings, 291343673 edges, 117022 markings/sec, 1070 secs
lola: sara is running 1075 secs || 108741014 markings, 292864148 edges, 112856 markings/sec, 1075 secs
lola: sara is running 1080 secs || 109312005 markings, 294400326 edges, 114198 markings/sec, 1080 secs
lola: sara is running 1085 secs || 109888377 markings, 295947332 edges, 115274 markings/sec, 1085 secs
lola: sara is running 1090 secs || 110503854 markings, 297509124 edges, 123095 markings/sec, 1090 secs
lola: sara is running 1095 secs || 111083650 markings, 299013911 edges, 115959 markings/sec, 1095 secs
lola: sara is running 1100 secs || 111627686 markings, 300469626 edges, 108807 markings/sec, 1100 secs
lola: sara is running 1105 secs || 112196772 markings, 301960853 edges, 113817 markings/sec, 1105 secs
lola: sara is running 1110 secs || 112744751 markings, 303386966 edges, 109596 markings/sec, 1110 secs
lola: sara is running 1115 secs || 113296628 markings, 304840345 edges, 110375 markings/sec, 1115 secs
lola: sara is running 1120 secs || 113860094 markings, 306354565 edges, 112693 markings/sec, 1120 secs
lola: sara is running 1125 secs || 114429259 markings, 307882378 edges, 113833 markings/sec, 1125 secs
lola: sara is running 1130 secs || 115043248 markings, 309418021 edges, 122798 markings/sec, 1130 secs
lola: sara is running 1135 secs || 115614750 markings, 310918500 edges, 114300 markings/sec, 1135 secs
lola: sara is running 1140 secs || 116152466 markings, 312360304 edges, 107543 markings/sec, 1140 secs
lola: sara is running 1145 secs || 116715246 markings, 313831945 edges, 112556 markings/sec, 1145 secs
lola: sara is running 1150 secs || 117259639 markings, 315254161 edges, 108879 markings/sec, 1150 secs
lola: sara is running 1155 secs || 117801545 markings, 316677374 edges, 108381 markings/sec, 1155 secs
lola: sara is running 1160 secs || 118357999 markings, 318174100 edges, 111291 markings/sec, 1160 secs
lola: sara is running 1165 secs || 118919169 markings, 319688303 edges, 112234 markings/sec, 1165 secs
lola: sara is running 1170 secs || 119536961 markings, 321193845 edges, 123558 markings/sec, 1170 secs
lola: sara is running 1175 secs || 120100529 markings, 322711746 edges, 112714 markings/sec, 1175 secs
lola: sara is running 1180 secs || 120632089 markings, 324123464 edges, 106312 markings/sec, 1180 secs
lola: sara is running 1185 secs || 121175856 markings, 325550382 edges, 108753 markings/sec, 1185 secs
lola: sara is running 1190 secs || 121713542 markings, 326966207 edges, 107537 markings/sec, 1190 secs
lola: sara is running 1195 secs || 122254133 markings, 328378019 edges, 108118 markings/sec, 1195 secs
lola: sara is running 1200 secs || 122804901 markings, 329853410 edges, 110154 markings/sec, 1200 secs
lola: sara is running 1205 secs || 123347959 markings, 331337158 edges, 108612 markings/sec, 1205 secs
lola: sara is running 1210 secs || 123952773 markings, 332840346 edges, 120963 markings/sec, 1210 secs
lola: sara is running 1215 secs || 124541691 markings, 334358904 edges, 117784 markings/sec, 1215 secs
lola: sara is running 1220 secs || 125050891 markings, 335721850 edges, 101840 markings/sec, 1220 secs
lola: sara is running 1225 secs || 125605272 markings, 337192079 edges, 110876 markings/sec, 1225 secs
lola: sara is running 1230 secs || 126126847 markings, 338569726 edges, 104315 markings/sec, 1230 secs
lola: sara is running 1235 secs || 126668193 markings, 339978282 edges, 108269 markings/sec, 1235 secs
lola: sara is running 1240 secs || 127200929 markings, 341403041 edges, 106547 markings/sec, 1240 secs
lola: sara is running 1245 secs || 127752173 markings, 342882960 edges, 110249 markings/sec, 1245 secs
lola: sara is running 1250 secs || 128333158 markings, 344403078 edges, 116197 markings/sec, 1250 secs
lola: sara is running 1255 secs || 128971644 markings, 346032162 edges, 127697 markings/sec, 1255 secs
lola: sara is running 1260 secs || 129603630 markings, 347658886 edges, 126397 markings/sec, 1260 secs
lola: sara is running 1265 secs || 130245521 markings, 349301258 edges, 128378 markings/sec, 1265 secs
lola: sara is running 1270 secs || 130774801 markings, 350728574 edges, 105856 markings/sec, 1270 secs
lola: sara is running 1275 secs || 131249359 markings, 352015209 edges, 94912 markings/sec, 1275 secs
lola: sara is running 1280 secs || 131795506 markings, 353481036 edges, 109229 markings/sec, 1280 secs
lola: sara is running 1285 secs || 132370321 markings, 355033583 edges, 114963 markings/sec, 1285 secs
lola: sara is running 1290 secs || 132552080 markings, 356113857 edges, 36352 markings/sec, 1290 secs
lola: sara is running 1295 secs || 132665477 markings, 357235172 edges, 22679 markings/sec, 1295 secs
lola: sara is running 1300 secs || 132770003 markings, 358289741 edges, 20905 markings/sec, 1300 secs
lola: sara is running 1305 secs || 132866482 markings, 359329669 edges, 19296 markings/sec, 1305 secs
lola: sara is running 1310 secs || 132971043 markings, 360424451 edges, 20912 markings/sec, 1310 secs
lola: sara is running 1315 secs || 133539982 markings, 361952107 edges, 113788 markings/sec, 1315 secs
lola: sara is running 1320 secs || 134099034 markings, 363447751 edges, 111810 markings/sec, 1320 secs
lola: sara is running 1325 secs || 134546263 markings, 364883656 edges, 89446 markings/sec, 1325 secs
lola: sara is running 1330 secs || 135097318 markings, 366368280 edges, 110211 markings/sec, 1330 secs
lola: sara is running 1335 secs || 135559187 markings, 367764313 edges, 92374 markings/sec, 1335 secs
lola: sara is running 1340 secs || 136193770 markings, 369296607 edges, 126917 markings/sec, 1340 secs
lola: sara is running 1345 secs || 136807967 markings, 370844446 edges, 122839 markings/sec, 1345 secs
lola: sara is running 1350 secs || 137366718 markings, 372280166 edges, 111750 markings/sec, 1350 secs
lola: sara is running 1355 secs || 137931839 markings, 373712374 edges, 113024 markings/sec, 1355 secs
lola: sara is running 1360 secs || 138520876 markings, 375229830 edges, 117807 markings/sec, 1360 secs
lola: sara is running 1365 secs || 139093595 markings, 376783543 edges, 114544 markings/sec, 1365 secs
lola: sara is running 1370 secs || 139681537 markings, 378363270 edges, 117588 markings/sec, 1370 secs
lola: sara is running 1375 secs || 140262540 markings, 379942020 edges, 116201 markings/sec, 1375 secs
lola: sara is running 1380 secs || 140901767 markings, 381466772 edges, 127845 markings/sec, 1380 secs
lola: sara is running 1385 secs || 141500720 markings, 382999377 edges, 119791 markings/sec, 1385 secs
lola: sara is running 1390 secs || 142062977 markings, 384488240 edges, 112451 markings/sec, 1390 secs
lola: sara is running 1395 secs || 142623810 markings, 385940846 edges, 112167 markings/sec, 1395 secs
lola: sara is running 1400 secs || 143194754 markings, 387413454 edges, 114189 markings/sec, 1400 secs
lola: sara is running 1405 secs || 143758902 markings, 388863210 edges, 112830 markings/sec, 1405 secs
lola: sara is running 1410 secs || 144333553 markings, 390406470 edges, 114930 markings/sec, 1410 secs
lola: sara is running 1415 secs || 144910300 markings, 391970902 edges, 115349 markings/sec, 1415 secs
lola: sara is running 1420 secs || 145541158 markings, 393470034 edges, 126172 markings/sec, 1420 secs
lola: sara is running 1425 secs || 146132215 markings, 394987168 edges, 118211 markings/sec, 1425 secs
lola: sara is running 1430 secs || 146686262 markings, 396455049 edges, 110809 markings/sec, 1430 secs
lola: sara is running 1435 secs || 147241802 markings, 397891493 edges, 111108 markings/sec, 1435 secs
lola: sara is running 1440 secs || 147808936 markings, 399354145 edges, 113427 markings/sec, 1440 secs
lola: sara is running 1445 secs || 148367509 markings, 400789063 edges, 111715 markings/sec, 1445 secs
lola: sara is running 1450 secs || 148935322 markings, 402311927 edges, 113563 markings/sec, 1450 secs
lola: sara is running 1455 secs || 149498394 markings, 403849725 edges, 112614 markings/sec, 1455 secs
lola: sara is running 1460 secs || 150122369 markings, 405345443 edges, 124795 markings/sec, 1460 secs
lola: sara is running 1465 secs || 150715927 markings, 406845965 edges, 118712 markings/sec, 1465 secs
lola: sara is running 1470 secs || 151257884 markings, 408284558 edges, 108391 markings/sec, 1470 secs
lola: sara is running 1475 secs || 151820465 markings, 409735409 edges, 112516 markings/sec, 1475 secs
lola: sara is running 1480 secs || 152370480 markings, 411158870 edges, 110003 markings/sec, 1480 secs
lola: sara is running 1485 secs || 152930418 markings, 412591988 edges, 111988 markings/sec, 1485 secs
lola: sara is running 1490 secs || 153481636 markings, 414072610 edges, 110244 markings/sec, 1490 secs
lola: sara is running 1495 secs || 154047607 markings, 415607833 edges, 113194 markings/sec, 1495 secs
lola: sara is running 1500 secs || 154649069 markings, 417103253 edges, 120292 markings/sec, 1500 secs
lola: sara is running 1505 secs || 155253520 markings, 418580260 edges, 120890 markings/sec, 1505 secs
lola: sara is running 1510 secs || 155783186 markings, 419972139 edges, 105933 markings/sec, 1510 secs
lola: sara is running 1515 secs || 156350297 markings, 421452321 edges, 113422 markings/sec, 1515 secs
lola: sara is running 1520 secs || 156893896 markings, 422869969 edges, 108720 markings/sec, 1520 secs
lola: sara is running 1525 secs || 157433986 markings, 424250026 edges, 108018 markings/sec, 1525 secs
lola: sara is running 1530 secs || 157984834 markings, 425713178 edges, 110170 markings/sec, 1530 secs
lola: sara is running 1535 secs || 158545687 markings, 427222831 edges, 112171 markings/sec, 1535 secs
lola: sara is running 1540 secs || 159137670 markings, 428774478 edges, 118397 markings/sec, 1540 secs
lola: sara is running 1545 secs || 159791123 markings, 430350130 edges, 130691 markings/sec, 1545 secs
lola: sara is running 1550 secs || 160419440 markings, 431924563 edges, 125663 markings/sec, 1550 secs
lola: sara is running 1555 secs || 161050446 markings, 433480298 edges, 126201 markings/sec, 1555 secs
lola: sara is running 1560 secs || 161617117 markings, 435002932 edges, 113334 markings/sec, 1560 secs
lola: sara is running 1565 secs || 162113728 markings, 436347197 edges, 99322 markings/sec, 1565 secs
lola: sara is running 1570 secs || 162670038 markings, 437839330 edges, 111262 markings/sec, 1570 secs
lola: sara is running 1575 secs || 163254910 markings, 439417336 edges, 116974 markings/sec, 1575 secs
lola: sara is running 1580 secs || 163470712 markings, 440570861 edges, 43160 markings/sec, 1580 secs
lola: sara is running 1585 secs || 163587719 markings, 441723382 edges, 23401 markings/sec, 1585 secs
lola: sara is running 1590 secs || 163696496 markings, 442816527 edges, 21755 markings/sec, 1590 secs
lola: sara is running 1595 secs || 163795622 markings, 443877906 edges, 19825 markings/sec, 1595 secs
lola: sara is running 1600 secs || 163952821 markings, 445073502 edges, 31440 markings/sec, 1600 secs
lola: sara is running 1605 secs || 164530140 markings, 446628939 edges, 115464 markings/sec, 1605 secs
lola: sara is running 1610 secs || 165112177 markings, 448184220 edges, 116407 markings/sec, 1610 secs
lola: sara is running 1615 secs || 165564661 markings, 449642785 edges, 90497 markings/sec, 1615 secs
lola: sara is running 1620 secs || 166133341 markings, 451169231 edges, 113736 markings/sec, 1620 secs
lola: sara is running 1625 secs || 166557943 markings, 452507784 edges, 84920 markings/sec, 1625 secs
lola: sara is running 1630 secs || 167209786 markings, 454077730 edges, 130369 markings/sec, 1630 secs
lola: sara is running 1635 secs || 167863042 markings, 455693492 edges, 130651 markings/sec, 1635 secs
lola: sara is running 1640 secs || 168519094 markings, 457329195 edges, 131210 markings/sec, 1640 secs
lola: sara is running 1645 secs || 169150151 markings, 458889022 edges, 126211 markings/sec, 1645 secs
lola: sara is running 1650 secs || 169749522 markings, 460375644 edges, 119874 markings/sec, 1650 secs
lola: sara is running 1655 secs || 170388962 markings, 461991012 edges, 127888 markings/sec, 1655 secs
lola: sara is running 1660 secs || 171001497 markings, 463552179 edges, 122507 markings/sec, 1660 secs
lola: sara is running 1665 secs || 171622052 markings, 465129974 edges, 124111 markings/sec, 1665 secs
lola: sara is running 1670 secs || 172236004 markings, 466704193 edges, 122790 markings/sec, 1670 secs
lola: sara is running 1675 secs || 172881250 markings, 468281196 edges, 129049 markings/sec, 1675 secs
lola: sara is running 1680 secs || 173528713 markings, 469868410 edges, 129493 markings/sec, 1680 secs
lola: sara is running 1685 secs || 174184884 markings, 471483019 edges, 131234 markings/sec, 1685 secs
lola: sara is running 1690 secs || 174823657 markings, 473109462 edges, 127755 markings/sec, 1690 secs
lola: sara is running 1695 secs || 175454916 markings, 474675233 edges, 126252 markings/sec, 1695 secs
lola: sara is running 1700 secs || 176057123 markings, 476170567 edges, 120441 markings/sec, 1700 secs
lola: sara is running 1705 secs || 176637002 markings, 477628654 edges, 115976 markings/sec, 1705 secs
lola: sara is running 1710 secs || 177242412 markings, 479167619 edges, 121082 markings/sec, 1710 secs
lola: sara is running 1715 secs || 177849315 markings, 480708437 edges, 121381 markings/sec, 1715 secs
lola: sara is running 1720 secs || 178470448 markings, 482261683 edges, 124227 markings/sec, 1720 secs
lola: sara is running 1725 secs || 179122236 markings, 483840380 edges, 130358 markings/sec, 1725 secs
lola: sara is running 1730 secs || 179760920 markings, 485425090 edges, 127737 markings/sec, 1730 secs
lola: sara is running 1735 secs || 180391426 markings, 487015176 edges, 126101 markings/sec, 1735 secs
lola: sara is running 1740 secs || 181019453 markings, 488572571 edges, 125605 markings/sec, 1740 secs
lola: sara is running 1745 secs || 181618408 markings, 490070448 edges, 119791 markings/sec, 1745 secs
lola: sara is running 1750 secs || 182203485 markings, 491527589 edges, 117015 markings/sec, 1750 secs
lola: sara is running 1755 secs || 182783252 markings, 493001758 edges, 115953 markings/sec, 1755 secs
lola: sara is running 1760 secs || 183384936 markings, 494530606 edges, 120337 markings/sec, 1760 secs
lola: sara is running 1765 secs || 183987513 markings, 496065914 edges, 120515 markings/sec, 1765 secs
lola: sara is running 1770 secs || 184641876 markings, 497604579 edges, 130873 markings/sec, 1770 secs
lola: sara is running 1775 secs || 185260452 markings, 499170545 edges, 123715 markings/sec, 1775 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: memory consumption: 7000888 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola: memory consumption: 7000888 KB
preliminary result: unknown yes no unknown yes no yes no yes no yes yes
lola: time consumption: 3570 seconds
lola: print data as JSON (--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: unknown yes no unknown yes no yes no yes no yes yes
lola: memory consumption: 7000952 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-6a"
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 CloudDeployment-PT-6a, 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 r168-smll-158987806600331"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-6a.tgz
mv CloudDeployment-PT-6a 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 ;