fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r166-smll-158987787100037
Last Updated
Jun 28, 2020

About the Execution of ITS-LoLa for ASLink-PT-02b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15743.320 3600000.00 3616408.00 11328.10 ? 1 1 1 1 1 1 1 1 1 ? 1 1 1 1 1 normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r166-smll-158987787100037.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 ASLink-PT-02b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787100037
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 417K 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 positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-02b-UpperBounds-00
FORMULA_NAME ASLink-PT-02b-UpperBounds-01
FORMULA_NAME ASLink-PT-02b-UpperBounds-02
FORMULA_NAME ASLink-PT-02b-UpperBounds-03
FORMULA_NAME ASLink-PT-02b-UpperBounds-04
FORMULA_NAME ASLink-PT-02b-UpperBounds-05
FORMULA_NAME ASLink-PT-02b-UpperBounds-06
FORMULA_NAME ASLink-PT-02b-UpperBounds-07
FORMULA_NAME ASLink-PT-02b-UpperBounds-08
FORMULA_NAME ASLink-PT-02b-UpperBounds-09
FORMULA_NAME ASLink-PT-02b-UpperBounds-10
FORMULA_NAME ASLink-PT-02b-UpperBounds-11
FORMULA_NAME ASLink-PT-02b-UpperBounds-12
FORMULA_NAME ASLink-PT-02b-UpperBounds-13
FORMULA_NAME ASLink-PT-02b-UpperBounds-14
FORMULA_NAME ASLink-PT-02b-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1591157118366

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 04:05:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 04:05:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 04:05:20] [INFO ] Load time of PNML (sax parser for PT used): 220 ms
[2020-06-03 04:05:20] [INFO ] Transformed 1242 places.
[2020-06-03 04:05:20] [INFO ] Transformed 1621 transitions.
[2020-06-03 04:05:20] [INFO ] Found NUPN structural information;
[2020-06-03 04:05:20] [INFO ] Parsed PT model containing 1242 places and 1621 transitions in 294 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 66 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2020-06-03 04:05:21] [INFO ] Flatten gal took : 253 ms
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 1621 rows 1242 cols
[2020-06-03 04:05:21] [INFO ] Computed 121 place invariants in 177 ms
Support contains 16 out of 1242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1242/1242 places, 1621/1621 transitions.
Performed 277 Post agglomeration using F-continuation condition.Transition count delta: 277
Iterating post reduction 0 with 277 rules applied. Total rules applied 277 place count 1242 transition count 1344
Reduce places removed 277 places and 0 transitions.
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 1 with 291 rules applied. Total rules applied 568 place count 965 transition count 1330
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 572 place count 961 transition count 1330
Performed 276 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 276 Pre rules applied. Total rules applied 572 place count 961 transition count 1054
Deduced a syphon composed of 276 places in 3 ms
Ensure Unique test removed 21 places
Reduce places removed 297 places and 0 transitions.
Iterating global reduction 3 with 573 rules applied. Total rules applied 1145 place count 664 transition count 1054
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Iterating post reduction 3 with 20 rules applied. Total rules applied 1165 place count 660 transition count 1038
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 4 with 16 rules applied. Total rules applied 1181 place count 644 transition count 1038
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 1181 place count 644 transition count 1031
Deduced a syphon composed of 7 places in 6 ms
Ensure Unique test removed 5 places
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 5 with 19 rules applied. Total rules applied 1200 place count 632 transition count 1031
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 5 Pre rules applied. Total rules applied 1200 place count 632 transition count 1026
Deduced a syphon composed of 5 places in 6 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 5 with 10 rules applied. Total rules applied 1210 place count 627 transition count 1026
Symmetric choice reduction at 5 with 37 rule applications. Total rules 1247 place count 627 transition count 1026
Deduced a syphon composed of 37 places in 5 ms
Reduce places removed 37 places and 37 transitions.
Iterating global reduction 5 with 74 rules applied. Total rules applied 1321 place count 590 transition count 989
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1322 place count 590 transition count 988
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 13 Pre rules applied. Total rules applied 1322 place count 590 transition count 975
Deduced a syphon composed of 13 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 6 with 27 rules applied. Total rules applied 1349 place count 576 transition count 975
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 1349 place count 576 transition count 974
Deduced a syphon composed of 1 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 1352 place count 574 transition count 974
Symmetric choice reduction at 6 with 3 rule applications. Total rules 1355 place count 574 transition count 974
Deduced a syphon composed of 3 places in 6 ms
Reduce places removed 3 places and 21 transitions.
Iterating global reduction 6 with 6 rules applied. Total rules applied 1361 place count 571 transition count 953
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 2 Pre rules applied. Total rules applied 1361 place count 571 transition count 951
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 1365 place count 569 transition count 951
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1366 place count 569 transition count 951
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1368 place count 568 transition count 943
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1369 place count 568 transition count 943
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1371 place count 567 transition count 935
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1372 place count 567 transition count 935
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1374 place count 566 transition count 927
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1375 place count 566 transition count 927
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1377 place count 565 transition count 919
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1378 place count 565 transition count 919
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1380 place count 564 transition count 911
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1381 place count 564 transition count 911
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1383 place count 563 transition count 903
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1384 place count 563 transition count 903
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1386 place count 562 transition count 895
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1387 place count 562 transition count 895
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1389 place count 561 transition count 887
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1390 place count 561 transition count 887
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1392 place count 560 transition count 879
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1393 place count 560 transition count 879
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1395 place count 559 transition count 871
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1396 place count 559 transition count 871
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1398 place count 558 transition count 863
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1399 place count 558 transition count 863
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1401 place count 557 transition count 855
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1402 place count 557 transition count 855
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1404 place count 556 transition count 847
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1405 place count 556 transition count 847
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1407 place count 555 transition count 839
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1408 place count 555 transition count 839
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1410 place count 554 transition count 831
Performed 64 Post agglomeration using F-continuation condition.Transition count delta: 64
Deduced a syphon composed of 64 places in 2 ms
Reduce places removed 64 places and 0 transitions.
Iterating global reduction 6 with 128 rules applied. Total rules applied 1538 place count 490 transition count 767
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1539 place count 490 transition count 767
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1541 place count 489 transition count 766
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 1543 place count 488 transition count 775
Free-agglomeration rule applied 3 times.
Iterating global reduction 6 with 3 rules applied. Total rules applied 1546 place count 488 transition count 772
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 1549 place count 485 transition count 772
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 7 with 2 rules applied. Total rules applied 1551 place count 485 transition count 770
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 1553 place count 483 transition count 770
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 1554 place count 482 transition count 769
Reduce places removed 3 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 8 with 4 rules applied. Total rules applied 1558 place count 479 transition count 768
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 1559 place count 478 transition count 768
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 4 Pre rules applied. Total rules applied 1559 place count 478 transition count 764
Deduced a syphon composed of 4 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 10 with 9 rules applied. Total rules applied 1568 place count 473 transition count 764
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 10 with 3 rules applied. Total rules applied 1571 place count 470 transition count 764
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 1 Pre rules applied. Total rules applied 1571 place count 470 transition count 763
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 11 with 2 rules applied. Total rules applied 1573 place count 469 transition count 763
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 11 with 10 rules applied. Total rules applied 1583 place count 464 transition count 758
Symmetric choice reduction at 11 with 2 rule applications. Total rules 1585 place count 464 transition count 758
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 11 with 4 rules applied. Total rules applied 1589 place count 462 transition count 756
Free-agglomeration rule applied 2 times.
Iterating global reduction 11 with 2 rules applied. Total rules applied 1591 place count 462 transition count 754
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 11 with 2 rules applied. Total rules applied 1593 place count 460 transition count 754
Applied a total of 1593 rules in 1084 ms. Remains 460 /1242 variables (removed 782) and now considering 754/1621 (removed 867) transitions.
Finished structural reductions, in 1 iterations. Remains : 460/1242 places, 754/1621 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 754 rows 460 cols
[2020-06-03 04:05:22] [INFO ] Computed 82 place invariants in 35 ms
Support contains 16 out of 460 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 460/460 places, 754/754 transitions.
Applied a total of 0 rules in 20 ms. Remains 460 /460 variables (removed 0) and now considering 754/754 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 460/460 places, 754/754 transitions.
Starting structural reductions, iteration 0 : 460/460 places, 754/754 transitions.
Applied a total of 0 rules in 16 ms. Remains 460 /460 variables (removed 0) and now considering 754/754 (removed 0) transitions.
// Phase 1: matrix 754 rows 460 cols
[2020-06-03 04:05:22] [INFO ] Computed 82 place invariants in 24 ms
[2020-06-03 04:05:24] [INFO ] Implicit Places using invariants in 1499 ms returned [2, 20, 21, 37, 54, 72, 146, 147, 149, 153, 162, 163, 166, 183, 201, 263, 283, 288, 301, 304, 324, 326, 330, 348, 349, 350, 351, 364, 370, 376, 382, 388, 394, 400, 406, 412, 418, 424]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 1503 ms to find 38 implicit places.
[2020-06-03 04:05:24] [INFO ] Redundant transitions in 57 ms returned []
// Phase 1: matrix 754 rows 422 cols
[2020-06-03 04:05:24] [INFO ] Computed 44 place invariants in 8 ms
[2020-06-03 04:05:26] [INFO ] Dead Transitions using invariants and state equation in 1732 ms returned []
Starting structural reductions, iteration 1 : 422/460 places, 754/754 transitions.
Performed 53 Post agglomeration using F-continuation condition.Transition count delta: 53
Iterating post reduction 0 with 53 rules applied. Total rules applied 53 place count 422 transition count 701
Reduce places removed 53 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 54 rules applied. Total rules applied 107 place count 369 transition count 700
Performed 10 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 10 Pre rules applied. Total rules applied 107 place count 369 transition count 690
Deduced a syphon composed of 10 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 2 with 21 rules applied. Total rules applied 128 place count 358 transition count 690
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 140 place count 354 transition count 682
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 148 place count 346 transition count 682
Symmetric choice reduction at 4 with 15 rule applications. Total rules 163 place count 346 transition count 682
Deduced a syphon composed of 15 places in 5 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 193 place count 331 transition count 667
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 196 place count 331 transition count 664
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 196 place count 331 transition count 663
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 198 place count 330 transition count 663
Symmetric choice reduction at 5 with 3 rule applications. Total rules 201 place count 330 transition count 663
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 207 place count 327 transition count 657
Symmetric choice reduction at 5 with 1 rule applications. Total rules 208 place count 327 transition count 657
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 210 place count 326 transition count 656
Symmetric choice reduction at 5 with 1 rule applications. Total rules 211 place count 326 transition count 656
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 213 place count 325 transition count 654
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 1 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 5 with 50 rules applied. Total rules applied 263 place count 300 transition count 629
Symmetric choice reduction at 5 with 1 rule applications. Total rules 264 place count 300 transition count 629
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 266 place count 299 transition count 628
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 267 place count 299 transition count 627
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 271 place count 297 transition count 628
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 6 with 15 rules applied. Total rules applied 286 place count 297 transition count 613
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating post reduction 6 with 16 rules applied. Total rules applied 302 place count 281 transition count 613
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 7 with 5 rules applied. Total rules applied 307 place count 281 transition count 613
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 308 place count 281 transition count 612
Applied a total of 308 rules in 119 ms. Remains 281 /422 variables (removed 141) and now considering 612/754 (removed 142) transitions.
// Phase 1: matrix 612 rows 281 cols
[2020-06-03 04:05:26] [INFO ] Computed 38 place invariants in 6 ms
[2020-06-03 04:05:26] [INFO ] Implicit Places using invariants in 513 ms returned [76, 103, 106, 113, 114, 174, 187, 205, 208]
Discarding 9 places :
Implicit Place search using SMT only with invariants took 516 ms to find 9 implicit places.
Starting structural reductions, iteration 2 : 272/460 places, 612/754 transitions.
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 272 transition count 612
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 15 place count 267 transition count 607
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 19 place count 265 transition count 605
Free-agglomeration rule applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 20 place count 265 transition count 604
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 21 place count 264 transition count 604
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 1 with 1 rules applied. Total rules applied 22 place count 264 transition count 603
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 23 place count 263 transition count 603
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 24 place count 263 transition count 602
Applied a total of 24 rules in 45 ms. Remains 263 /272 variables (removed 9) and now considering 602/612 (removed 10) transitions.
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:26] [INFO ] Computed 29 place invariants in 5 ms
[2020-06-03 04:05:27] [INFO ] Implicit Places using invariants in 645 ms returned []
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:27] [INFO ] Computed 29 place invariants in 6 ms
[2020-06-03 04:05:28] [INFO ] State equation strengthened by 3 read => feed constraints.
[2020-06-03 04:05:30] [INFO ] Implicit Places using invariants and state equation in 2920 ms returned []
Implicit Place search using SMT with State Equation took 3569 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 263/460 places, 602/754 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Finished probabilistic random walk after 0 steps, run visited all 0 properties in 0 ms. (steps per millisecond=0 )
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:30] [INFO ] Computed 29 place invariants in 6 ms
Support contains 16 out of 263 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 263/263 places, 602/602 transitions.
Applied a total of 0 rules in 10 ms. Remains 263 /263 variables (removed 0) and now considering 602/602 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 263/263 places, 602/602 transitions.
Starting structural reductions, iteration 0 : 263/263 places, 602/602 transitions.
Applied a total of 0 rules in 9 ms. Remains 263 /263 variables (removed 0) and now considering 602/602 (removed 0) transitions.
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:30] [INFO ] Computed 29 place invariants in 6 ms
[2020-06-03 04:05:30] [INFO ] Implicit Places using invariants in 434 ms returned []
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:30] [INFO ] Computed 29 place invariants in 8 ms
[2020-06-03 04:05:31] [INFO ] State equation strengthened by 3 read => feed constraints.
[2020-06-03 04:05:33] [INFO ] Implicit Places using invariants and state equation in 2277 ms returned []
Implicit Place search using SMT with State Equation took 2715 ms to find 0 implicit places.
[2020-06-03 04:05:33] [INFO ] Redundant transitions in 21 ms returned []
// Phase 1: matrix 602 rows 263 cols
[2020-06-03 04:05:33] [INFO ] Computed 29 place invariants in 6 ms
[2020-06-03 04:05:34] [INFO ] Dead Transitions using invariants and state equation in 919 ms returned []
Finished structural reductions, in 1 iterations. Remains : 263/263 places, 602/602 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 0 place count 263 transition count 600
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 261 transition count 600
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 0 with 1 rules applied. Total rules applied 5 place count 261 transition count 600
Applied a total of 5 rules in 37 ms. Remains 261 /263 variables (removed 2) and now considering 600/602 (removed 2) transitions.
// Phase 1: matrix 600 rows 261 cols
[2020-06-03 04:05:34] [INFO ] Computed 29 place invariants in 5 ms
[2020-06-03 04:05:34] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 04:05:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 11 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-02b @ 3570 seconds

FORMULA ASLink-PT-02b-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-03 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-05 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-07 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-09 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ASLink-PT-02b-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for UpperBounds @ ASLink-PT-02b

{
"exit":
{
"memory": 9597496,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "MAX(p122)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"preliminary_value": "unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1 "
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
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: 865/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8416
lola: finding significant places
lola: 263 places, 602 transitions, 234 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 UpperBounds.xml
lola: MAX(p122) : MAX(p24) : MAX(p204) : MAX(p206) : MAX(p97) : MAX(p182) : MAX(p18) : MAX(p224) : MAX(p93) : MAX(p85) : MAX(p110) : MAX(p158) : MAX(p103) : MAX(p250) : MAX(p189) : MAX(p186)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 428974 markings, 538120 edges, 85795 markings/sec, 30 secs
lola: 846772 markings, 1128747 edges, 83560 markings/sec, 35 secs
lola: 1277654 markings, 1690982 edges, 86176 markings/sec, 40 secs
lola: 1725366 markings, 2216717 edges, 89542 markings/sec, 45 secs
lola: 2161949 markings, 2749296 edges, 87317 markings/sec, 50 secs
lola: 2600251 markings, 3296711 edges, 87660 markings/sec, 55 secs
lola: 3029711 markings, 3837526 edges, 85892 markings/sec, 60 secs
lola: 3444246 markings, 4368955 edges, 82907 markings/sec, 65 secs
lola: 3850630 markings, 4904580 edges, 81277 markings/sec, 70 secs
lola: 4256587 markings, 5448081 edges, 81191 markings/sec, 75 secs
lola: 4665219 markings, 6007514 edges, 81726 markings/sec, 80 secs
lola: 5071190 markings, 6574764 edges, 81194 markings/sec, 85 secs
lola: 5478067 markings, 7144786 edges, 81375 markings/sec, 90 secs
lola: 5884931 markings, 7719132 edges, 81373 markings/sec, 95 secs
lola: 6291107 markings, 8298643 edges, 81235 markings/sec, 100 secs
lola: 6697389 markings, 8885724 edges, 81256 markings/sec, 105 secs
lola: 7100890 markings, 9477407 edges, 80700 markings/sec, 110 secs
lola: 7501053 markings, 10067323 edges, 80033 markings/sec, 115 secs
lola: 7899844 markings, 10654737 edges, 79758 markings/sec, 120 secs
lola: 8303251 markings, 11246449 edges, 80681 markings/sec, 125 secs
lola: 8707077 markings, 11832472 edges, 80765 markings/sec, 130 secs
lola: 9110926 markings, 12426250 edges, 80770 markings/sec, 135 secs
lola: 9506141 markings, 13018743 edges, 79043 markings/sec, 140 secs
lola: 9909229 markings, 13612676 edges, 80618 markings/sec, 145 secs
lola: 10304120 markings, 14199424 edges, 78978 markings/sec, 150 secs
lola: 10698942 markings, 14797962 edges, 78964 markings/sec, 155 secs
lola: 11079256 markings, 15374881 edges, 76063 markings/sec, 160 secs
lola: 11476932 markings, 15983401 edges, 79535 markings/sec, 165 secs
lola: 11875140 markings, 16586962 edges, 79642 markings/sec, 170 secs
lola: 12277619 markings, 17185642 edges, 80496 markings/sec, 175 secs
lola: 12681458 markings, 17784957 edges, 80768 markings/sec, 180 secs
lola: 13075564 markings, 18361941 edges, 78821 markings/sec, 185 secs
lola: 13463649 markings, 18925504 edges, 77617 markings/sec, 190 secs
lola: 13855459 markings, 19497844 edges, 78362 markings/sec, 195 secs
lola: 14254015 markings, 20081809 edges, 79711 markings/sec, 200 secs
lola: 14682809 markings, 20688277 edges, 85759 markings/sec, 205 secs
lola: 15113277 markings, 21270625 edges, 86094 markings/sec, 210 secs
lola: 15532197 markings, 21860497 edges, 83784 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 787972 KB
lola: time consumption: 225 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p24)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 57 markings, 56 edges
lola: ========================================
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p204)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p204)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 21 markings, 20 edges
lola: ========================================
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p206)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p206)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p97)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p97)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p182)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p18)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p224)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p224)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p93)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p93)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p85)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 312544 markings, 667223 edges
lola: ========================================
lola: subprocess 10 will run for 556 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p110)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 397725 markings, 503400 edges, 79545 markings/sec, 30 secs
lola: 820229 markings, 1089197 edges, 84501 markings/sec, 35 secs
lola: 1248006 markings, 1654583 edges, 85555 markings/sec, 40 secs
lola: 1690807 markings, 2175265 edges, 88560 markings/sec, 45 secs
lola: 2126873 markings, 2707490 edges, 87213 markings/sec, 50 secs
lola: 2565384 markings, 3252718 edges, 87702 markings/sec, 55 secs
lola: 2997718 markings, 3796864 edges, 86467 markings/sec, 60 secs
lola: 3404408 markings, 4316685 edges, 81338 markings/sec, 65 secs
lola: 3811613 markings, 4853649 edges, 81441 markings/sec, 70 secs
lola: 4210908 markings, 5386790 edges, 79859 markings/sec, 75 secs
lola: 4606418 markings, 5926386 edges, 79102 markings/sec, 80 secs
lola: 5000027 markings, 6476200 edges, 78722 markings/sec, 85 secs
lola: 5399584 markings, 7034892 edges, 79911 markings/sec, 90 secs
lola: 5805510 markings, 7607459 edges, 81185 markings/sec, 95 secs
lola: 6210145 markings, 8182046 edges, 80927 markings/sec, 100 secs
lola: 6616824 markings, 8768625 edges, 81336 markings/sec, 105 secs
lola: 7019075 markings, 9355342 edges, 80450 markings/sec, 110 secs
lola: 7418631 markings, 9946261 edges, 79911 markings/sec, 115 secs
lola: 7814884 markings, 10531920 edges, 79251 markings/sec, 120 secs
lola: 8215845 markings, 11115844 edges, 80192 markings/sec, 125 secs
lola: 8619019 markings, 11705362 edges, 80635 markings/sec, 130 secs
lola: 9022966 markings, 12297404 edges, 80789 markings/sec, 135 secs
lola: 9420512 markings, 12887053 edges, 79509 markings/sec, 140 secs
lola: 9817409 markings, 13480366 edges, 79379 markings/sec, 145 secs
lola: 10214019 markings, 14064346 edges, 79322 markings/sec, 150 secs
lola: 10604210 markings, 14656827 edges, 78038 markings/sec, 155 secs
lola: 10988465 markings, 15238029 edges, 76851 markings/sec, 160 secs
lola: 11377881 markings, 15826367 edges, 77883 markings/sec, 165 secs
lola: 11773838 markings, 16432905 edges, 79191 markings/sec, 170 secs
lola: 12173311 markings, 17035332 edges, 79895 markings/sec, 175 secs
lola: 12567467 markings, 17616504 edges, 78831 markings/sec, 180 secs
lola: 12965996 markings, 18199115 edges, 79706 markings/sec, 185 secs
lola: 13364795 markings, 18783750 edges, 79760 markings/sec, 190 secs
lola: 13764063 markings, 19365447 edges, 79854 markings/sec, 195 secs
lola: 14168666 markings, 19955290 edges, 80921 markings/sec, 200 secs
lola: 14590754 markings, 20558638 edges, 84418 markings/sec, 205 secs
lola: 15030254 markings, 21162750 edges, 87900 markings/sec, 210 secs
lola: 15466611 markings, 21755821 edges, 87271 markings/sec, 215 secs
lola: 15892179 markings, 22385463 edges, 85114 markings/sec, 220 secs
lola: 16319829 markings, 22995311 edges, 85530 markings/sec, 225 secs
lola: 16743836 markings, 23586854 edges, 84801 markings/sec, 230 secs
lola: 17172491 markings, 24179916 edges, 85731 markings/sec, 235 secs
lola: 17587086 markings, 24778143 edges, 82919 markings/sec, 240 secs
lola: 18008558 markings, 25378603 edges, 84294 markings/sec, 245 secs
lola: 18444861 markings, 25889985 edges, 87261 markings/sec, 250 secs
lola: 18883055 markings, 26409921 edges, 87639 markings/sec, 255 secs
lola: 19280767 markings, 26906379 edges, 79542 markings/sec, 260 secs
lola: 19688533 markings, 27476820 edges, 81553 markings/sec, 265 secs
lola: 20113433 markings, 28039796 edges, 84980 markings/sec, 270 secs
lola: 20554781 markings, 28557453 edges, 88270 markings/sec, 275 secs
lola: 20983746 markings, 29077452 edges, 85793 markings/sec, 280 secs
lola: 21417706 markings, 29614896 edges, 86792 markings/sec, 285 secs
lola: 21840127 markings, 30149468 edges, 84484 markings/sec, 290 secs
lola: 22242034 markings, 30665791 edges, 80381 markings/sec, 295 secs
lola: 22639914 markings, 31191762 edges, 79576 markings/sec, 300 secs
lola: 23031598 markings, 31714658 edges, 78337 markings/sec, 305 secs
lola: 23417119 markings, 32240977 edges, 77104 markings/sec, 310 secs
lola: 23802347 markings, 32774151 edges, 77046 markings/sec, 315 secs
lola: 24194013 markings, 33318714 edges, 78333 markings/sec, 320 secs
lola: 24578821 markings, 33857173 edges, 76962 markings/sec, 325 secs
lola: 24963170 markings, 34408575 edges, 76870 markings/sec, 330 secs
lola: 25343304 markings, 34956030 edges, 76027 markings/sec, 335 secs
lola: 25737321 markings, 35531101 edges, 78803 markings/sec, 340 secs
lola: 26122830 markings, 36101185 edges, 77102 markings/sec, 345 secs
lola: 26513447 markings, 36675656 edges, 78123 markings/sec, 350 secs
lola: 26901100 markings, 37246363 edges, 77531 markings/sec, 355 secs
lola: 27295830 markings, 37820006 edges, 78946 markings/sec, 360 secs
lola: 27694419 markings, 38398070 edges, 79718 markings/sec, 365 secs
lola: 28084604 markings, 38981365 edges, 78037 markings/sec, 370 secs
lola: 28471585 markings, 39557523 edges, 77396 markings/sec, 375 secs
lola: 28856769 markings, 40119083 edges, 77037 markings/sec, 380 secs
lola: 29236087 markings, 40684495 edges, 75864 markings/sec, 385 secs
lola: 29607848 markings, 41254883 edges, 74352 markings/sec, 390 secs
lola: 29978126 markings, 41826065 edges, 74056 markings/sec, 395 secs
lola: 30357232 markings, 42404500 edges, 75821 markings/sec, 400 secs
lola: 30742357 markings, 42984381 edges, 77025 markings/sec, 405 secs
lola: 31137431 markings, 43575171 edges, 79015 markings/sec, 410 secs
lola: 31529936 markings, 44162073 edges, 78501 markings/sec, 415 secs
lola: 31925218 markings, 44735985 edges, 79056 markings/sec, 420 secs
lola: 32321228 markings, 45316957 edges, 79202 markings/sec, 425 secs
lola: 32723152 markings, 45916003 edges, 80385 markings/sec, 430 secs
lola: 33123763 markings, 46491168 edges, 80122 markings/sec, 435 secs
lola: 33540763 markings, 47064305 edges, 83400 markings/sec, 440 secs
lola: 33960697 markings, 47642519 edges, 83987 markings/sec, 445 secs
lola: 34388109 markings, 48237476 edges, 85482 markings/sec, 450 secs
lola: 34802943 markings, 48826355 edges, 82967 markings/sec, 455 secs
lola: 35222544 markings, 49427624 edges, 83920 markings/sec, 460 secs
lola: 35631469 markings, 50016258 edges, 81785 markings/sec, 465 secs
lola: 36057194 markings, 50606218 edges, 85145 markings/sec, 470 secs
lola: 36480517 markings, 51213211 edges, 84665 markings/sec, 475 secs
lola: 36902913 markings, 51811113 edges, 84479 markings/sec, 480 secs
lola: 37339225 markings, 52329320 edges, 87262 markings/sec, 485 secs
lola: 37775850 markings, 52843532 edges, 87325 markings/sec, 490 secs
lola: 38186476 markings, 53421036 edges, 82125 markings/sec, 495 secs
lola: 38596525 markings, 54011059 edges, 82010 markings/sec, 500 secs
lola: 39007727 markings, 54594690 edges, 82240 markings/sec, 505 secs
lola: 39433773 markings, 55123542 edges, 85209 markings/sec, 510 secs
lola: 39854904 markings, 55654443 edges, 84226 markings/sec, 515 secs
lola: 40269294 markings, 56181541 edges, 82878 markings/sec, 520 secs
lola: 40674235 markings, 56709182 edges, 80988 markings/sec, 525 secs
lola: 41067337 markings, 57229190 edges, 78620 markings/sec, 530 secs
lola: 41463408 markings, 57767703 edges, 79214 markings/sec, 535 secs
lola: 41858146 markings, 58308551 edges, 78948 markings/sec, 540 secs
lola: 42254788 markings, 58857385 edges, 79328 markings/sec, 545 secs
lola: 42649826 markings, 59417219 edges, 79008 markings/sec, 550 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2109656 KB
lola: time consumption: 785 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 557 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p158)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p158)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 12 will run for 696 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p103)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================
lola: subprocess 13 will run for 928 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p250)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p250)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 50 markings, 49 edges
lola: ========================================
lola: subprocess 14 will run for 1392 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p189)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 15 will run for 2784 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p186)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p186)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 115 markings, 114 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p122)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file UpperBounds.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 430633 markings, 539930 edges, 86127 markings/sec, 30 secs
lola: 851827 markings, 1136236 edges, 84239 markings/sec, 35 secs
lola: 1286212 markings, 1701025 edges, 86877 markings/sec, 40 secs
lola: 1731320 markings, 2223805 edges, 89022 markings/sec, 45 secs
lola: 2173799 markings, 2763951 edges, 88496 markings/sec, 50 secs
lola: 2611629 markings, 3311197 edges, 87566 markings/sec, 55 secs
lola: 3044338 markings, 3855621 edges, 86542 markings/sec, 60 secs
lola: 3468873 markings, 4400722 edges, 84907 markings/sec, 65 secs
lola: 3886089 markings, 4951811 edges, 83443 markings/sec, 70 secs
lola: 4296951 markings, 5503033 edges, 82172 markings/sec, 75 secs
lola: 4705002 markings, 6062934 edges, 81610 markings/sec, 80 secs
lola: 5108991 markings, 6629104 edges, 80798 markings/sec, 85 secs
lola: 5517242 markings, 7198568 edges, 81650 markings/sec, 90 secs
lola: 5922299 markings, 7771548 edges, 81011 markings/sec, 95 secs
lola: 6327765 markings, 8351851 edges, 81093 markings/sec, 100 secs
lola: 6732725 markings, 8938307 edges, 80992 markings/sec, 105 secs
lola: 7134687 markings, 9525659 edges, 80392 markings/sec, 110 secs
lola: 7533297 markings, 10113368 edges, 79722 markings/sec, 115 secs
lola: 7928226 markings, 10697471 edges, 78986 markings/sec, 120 secs
lola: 8319123 markings, 11271832 edges, 78179 markings/sec, 125 secs
lola: 8712000 markings, 11839407 edges, 78575 markings/sec, 130 secs
lola: 9102311 markings, 12414172 edges, 78062 markings/sec, 135 secs
lola: 9485962 markings, 12988733 edges, 76730 markings/sec, 140 secs
lola: 9876499 markings, 13566324 edges, 78107 markings/sec, 145 secs
lola: 10261480 markings, 14135895 edges, 76996 markings/sec, 150 secs
lola: 10645513 markings, 14716986 edges, 76807 markings/sec, 155 secs
lola: 11031085 markings, 15300133 edges, 77114 markings/sec, 160 secs
lola: 11417828 markings, 15890840 edges, 77349 markings/sec, 165 secs
lola: 11812572 markings, 16491369 edges, 78949 markings/sec, 170 secs
lola: 12212095 markings, 17091306 edges, 79905 markings/sec, 175 secs
lola: 12614590 markings, 17684698 edges, 80499 markings/sec, 180 secs
lola: 13014217 markings, 18270682 edges, 79925 markings/sec, 185 secs
lola: 13402844 markings, 18837689 edges, 77725 markings/sec, 190 secs
lola: 13793726 markings, 19407601 edges, 78176 markings/sec, 195 secs
lola: 14186257 markings, 19981719 edges, 78506 markings/sec, 200 secs
lola: 14600313 markings, 20571373 edges, 82811 markings/sec, 205 secs
lola: 15029902 markings, 21162303 edges, 85918 markings/sec, 210 secs
lola: 15463645 markings, 21751410 edges, 86749 markings/sec, 215 secs
lola: 15889181 markings, 22381278 edges, 85107 markings/sec, 220 secs
lola: 16297200 markings, 22962833 edges, 81604 markings/sec, 225 secs
lola: 16710553 markings, 23540376 edges, 82671 markings/sec, 230 secs
lola: 17063463 markings, 24027691 edges, 70582 markings/sec, 235 secs
lola: 17436661 markings, 24554432 edges, 74640 markings/sec, 240 secs
lola: 17826545 markings, 25125199 edges, 77977 markings/sec, 245 secs
lola: 18229490 markings, 25638259 edges, 80589 markings/sec, 250 secs
lola: 18639064 markings, 26116753 edges, 81915 markings/sec, 255 secs
lola: 19041276 markings, 26603208 edges, 80442 markings/sec, 260 secs
lola: 19408399 markings, 27078721 edges, 73425 markings/sec, 265 secs
lola: 19785799 markings, 27620649 edges, 75480 markings/sec, 270 secs
lola: 20203861 markings, 28146290 edges, 83612 markings/sec, 275 secs
lola: 20626663 markings, 28642522 edges, 84560 markings/sec, 280 secs
lola: 21039883 markings, 29146988 edges, 82644 markings/sec, 285 secs
lola: 21458104 markings, 29665858 edges, 83644 markings/sec, 290 secs
lola: 21865929 markings, 30183299 edges, 81565 markings/sec, 295 secs
lola: 22253577 markings, 30681397 edges, 77530 markings/sec, 300 secs
lola: 22646431 markings, 31200442 edges, 78571 markings/sec, 305 secs
lola: 23039303 markings, 31724857 edges, 78574 markings/sec, 310 secs
lola: 23425518 markings, 32252679 edges, 77243 markings/sec, 315 secs
lola: 23811873 markings, 32787193 edges, 77271 markings/sec, 320 secs
lola: 24203841 markings, 33332183 edges, 78394 markings/sec, 325 secs
lola: 24586535 markings, 33868251 edges, 76539 markings/sec, 330 secs
lola: 24974921 markings, 34426375 edges, 77677 markings/sec, 335 secs
lola: 25360418 markings, 34981518 edges, 77099 markings/sec, 340 secs
lola: 25749712 markings, 35550381 edges, 77859 markings/sec, 345 secs
lola: 26130964 markings, 36113787 edges, 76250 markings/sec, 350 secs
lola: 26516903 markings, 36681227 edges, 77188 markings/sec, 355 secs
lola: 26898295 markings, 37242811 edges, 76278 markings/sec, 360 secs
lola: 27288590 markings, 37810330 edges, 78059 markings/sec, 365 secs
lola: 27677821 markings, 38373196 edges, 77846 markings/sec, 370 secs
lola: 28056069 markings, 38938524 edges, 75650 markings/sec, 375 secs
lola: 28432099 markings, 39499584 edges, 75206 markings/sec, 380 secs
lola: 28818453 markings, 40061152 edges, 77271 markings/sec, 385 secs
lola: 29200122 markings, 40630637 edges, 76334 markings/sec, 390 secs
lola: 29573310 markings, 41203466 edges, 74638 markings/sec, 395 secs
lola: 29946102 markings, 41776276 edges, 74558 markings/sec, 400 secs
lola: 30327084 markings, 42357793 edges, 76196 markings/sec, 405 secs
lola: 30703667 markings, 42926161 edges, 75317 markings/sec, 410 secs
lola: 31091840 markings, 43508575 edges, 77635 markings/sec, 415 secs
lola: 31481904 markings, 44090139 edges, 78013 markings/sec, 420 secs
lola: 31872600 markings, 44656152 edges, 78139 markings/sec, 425 secs
lola: 32263444 markings, 45231218 edges, 78169 markings/sec, 430 secs
lola: 32654068 markings, 45821021 edges, 78125 markings/sec, 435 secs
lola: 33063822 markings, 46409683 edges, 81951 markings/sec, 440 secs
lola: 33486491 markings, 46993290 edges, 84534 markings/sec, 445 secs
lola: 33906383 markings, 47565980 edges, 83978 markings/sec, 450 secs
lola: 34328921 markings, 48149742 edges, 84508 markings/sec, 455 secs
lola: 34734244 markings, 48726221 edges, 81065 markings/sec, 460 secs
lola: 35142008 markings, 49306435 edges, 81553 markings/sec, 465 secs
lola: 35538223 markings, 49887237 edges, 79243 markings/sec, 470 secs
lola: 35958184 markings, 50465728 edges, 83992 markings/sec, 475 secs
lola: 36365781 markings, 51041265 edges, 81519 markings/sec, 480 secs
lola: 36775622 markings, 51631586 edges, 81968 markings/sec, 485 secs
lola: 37191876 markings, 52156982 edges, 83251 markings/sec, 490 secs
lola: 37614439 markings, 52651382 edges, 84513 markings/sec, 495 secs
lola: 38026373 markings, 53189517 edges, 82387 markings/sec, 500 secs
lola: 38412451 markings, 53755114 edges, 77216 markings/sec, 505 secs
lola: 38818812 markings, 54339404 edges, 81272 markings/sec, 510 secs
lola: 39233770 markings, 54873794 edges, 82992 markings/sec, 515 secs
lola: 39651451 markings, 55395285 edges, 83536 markings/sec, 520 secs
lola: 40059075 markings, 55913333 edges, 81525 markings/sec, 525 secs
lola: 40411289 markings, 56366856 edges, 70443 markings/sec, 530 secs
lola: 40795025 markings, 56868723 edges, 76747 markings/sec, 535 secs
lola: 41188635 markings, 57393236 edges, 78722 markings/sec, 540 secs
lola: 41566526 markings, 57908493 edges, 75578 markings/sec, 545 secs
lola: 41955197 markings, 58443016 edges, 77734 markings/sec, 550 secs
lola: 42339277 markings, 58977982 edges, 76816 markings/sec, 555 secs
lola: 42726299 markings, 59524698 edges, 77404 markings/sec, 560 secs
lola: 43098921 markings, 60053855 edges, 74524 markings/sec, 565 secs
lola: 43482329 markings, 60595381 edges, 76682 markings/sec, 570 secs
lola: 43852096 markings, 61133679 edges, 73953 markings/sec, 575 secs
lola: 44227400 markings, 61693551 edges, 75061 markings/sec, 580 secs
lola: 44610698 markings, 62254785 edges, 76660 markings/sec, 585 secs
lola: 44984596 markings, 62811835 edges, 74780 markings/sec, 590 secs
lola: 45340404 markings, 63329402 edges, 71162 markings/sec, 595 secs
lola: 45712342 markings, 63873765 edges, 74388 markings/sec, 600 secs
lola: 46059977 markings, 64389416 edges, 69527 markings/sec, 605 secs
lola: 46439938 markings, 64948183 edges, 75992 markings/sec, 610 secs
lola: 46815099 markings, 65499862 edges, 75032 markings/sec, 615 secs
lola: 47192134 markings, 66058735 edges, 75407 markings/sec, 620 secs
lola: 47564401 markings, 66618776 edges, 74453 markings/sec, 625 secs
lola: 47943010 markings, 67189640 edges, 75722 markings/sec, 630 secs
lola: 48309826 markings, 67761188 edges, 73363 markings/sec, 635 secs
lola: 48677034 markings, 68325823 edges, 73442 markings/sec, 640 secs
lola: 49057873 markings, 68885663 edges, 76168 markings/sec, 645 secs
lola: 49436111 markings, 69457779 edges, 75648 markings/sec, 650 secs
lola: 49819120 markings, 70023720 edges, 76602 markings/sec, 655 secs
lola: 50196970 markings, 70592817 edges, 75570 markings/sec, 660 secs
lola: 50581925 markings, 71149375 edges, 76991 markings/sec, 665 secs
lola: 50961784 markings, 71710635 edges, 75972 markings/sec, 670 secs
lola: 51346738 markings, 72273974 edges, 76991 markings/sec, 675 secs
lola: 51744520 markings, 72850692 edges, 79556 markings/sec, 680 secs
lola: 52153868 markings, 73420831 edges, 81870 markings/sec, 685 secs
lola: 52571556 markings, 73982806 edges, 83538 markings/sec, 690 secs
lola: 52952936 markings, 74525302 edges, 76276 markings/sec, 695 secs
lola: 53347867 markings, 75096251 edges, 78986 markings/sec, 700 secs
lola: 53746839 markings, 75663036 edges, 79794 markings/sec, 705 secs
lola: 54140363 markings, 76227039 edges, 78705 markings/sec, 710 secs
lola: 54547356 markings, 76800952 edges, 81399 markings/sec, 715 secs
lola: 54949490 markings, 77375713 edges, 80427 markings/sec, 720 secs
lola: 55349922 markings, 77946056 edges, 80086 markings/sec, 725 secs
lola: 55762170 markings, 78461119 edges, 82450 markings/sec, 730 secs
lola: 56183942 markings, 78988203 edges, 84354 markings/sec, 735 secs
lola: 56593354 markings, 79508722 edges, 81882 markings/sec, 740 secs
lola: 56999993 markings, 80032335 edges, 81328 markings/sec, 745 secs
lola: 57356826 markings, 80506927 edges, 71367 markings/sec, 750 secs
lola: 57742634 markings, 81019509 edges, 77162 markings/sec, 755 secs
lola: 58125073 markings, 81540492 edges, 76488 markings/sec, 760 secs
lola: 58507519 markings, 82068047 edges, 76489 markings/sec, 765 secs
lola: 58886480 markings, 82596994 edges, 75792 markings/sec, 770 secs
lola: 59264039 markings, 83128785 edges, 75512 markings/sec, 775 secs
lola: 59642920 markings, 83659898 edges, 75776 markings/sec, 780 secs
lola: 60017469 markings, 84199832 edges, 74910 markings/sec, 785 secs
lola: 60405490 markings, 84758641 edges, 77604 markings/sec, 790 secs
lola: 60792553 markings, 85320770 edges, 77413 markings/sec, 795 secs
lola: 61174497 markings, 85887796 edges, 76389 markings/sec, 800 secs
lola: 61555538 markings, 86455205 edges, 76208 markings/sec, 805 secs
lola: 61936185 markings, 87015275 edges, 76129 markings/sec, 810 secs
lola: 62319194 markings, 87580796 edges, 76602 markings/sec, 815 secs
lola: 62699126 markings, 88146412 edges, 75986 markings/sec, 820 secs
lola: 63083288 markings, 88714347 edges, 76832 markings/sec, 825 secs
lola: 63468510 markings, 89285638 edges, 77044 markings/sec, 830 secs
lola: 63857006 markings, 89857380 edges, 77699 markings/sec, 835 secs
lola: 64239949 markings, 90437003 edges, 76589 markings/sec, 840 secs
lola: 64619725 markings, 91014943 edges, 75955 markings/sec, 845 secs
lola: 64993152 markings, 91592575 edges, 74685 markings/sec, 850 secs
lola: 65367097 markings, 92174477 edges, 74789 markings/sec, 855 secs
lola: 65753329 markings, 92753607 edges, 77246 markings/sec, 860 secs
lola: 66140931 markings, 93322368 edges, 77520 markings/sec, 865 secs
lola: 66526548 markings, 93893585 edges, 77123 markings/sec, 870 secs
lola: 66912081 markings, 94458253 edges, 77107 markings/sec, 875 secs
lola: 67292215 markings, 95023466 edges, 76027 markings/sec, 880 secs
lola: 67686131 markings, 95605457 edges, 78783 markings/sec, 885 secs
lola: 68091212 markings, 96180020 edges, 81016 markings/sec, 890 secs
lola: 68502583 markings, 96759338 edges, 82274 markings/sec, 895 secs
lola: 68920970 markings, 97334773 edges, 83677 markings/sec, 900 secs
lola: 69330129 markings, 97897281 edges, 81832 markings/sec, 905 secs
lola: 69725511 markings, 98450131 edges, 79076 markings/sec, 910 secs
lola: 70128624 markings, 99012461 edges, 80623 markings/sec, 915 secs
lola: 70527132 markings, 99586687 edges, 79702 markings/sec, 920 secs
lola: 70924088 markings, 100157262 edges, 79391 markings/sec, 925 secs
lola: 71312379 markings, 100724165 edges, 77658 markings/sec, 930 secs
lola: 71711413 markings, 101288107 edges, 79807 markings/sec, 935 secs
lola: 72103118 markings, 101858008 edges, 78341 markings/sec, 940 secs
lola: 72498509 markings, 102423702 edges, 79078 markings/sec, 945 secs
lola: 72899376 markings, 102985222 edges, 80173 markings/sec, 950 secs
lola: 73294364 markings, 103543959 edges, 78998 markings/sec, 955 secs
lola: 73691044 markings, 104108765 edges, 79336 markings/sec, 960 secs
lola: 74085915 markings, 104696274 edges, 78974 markings/sec, 965 secs
lola: 74480747 markings, 105268066 edges, 78966 markings/sec, 970 secs
lola: 74877290 markings, 105834425 edges, 79309 markings/sec, 975 secs
lola: 75275603 markings, 106395161 edges, 79663 markings/sec, 980 secs
lola: 75673628 markings, 106951348 edges, 79605 markings/sec, 985 secs
lola: 76075315 markings, 107505407 edges, 80337 markings/sec, 990 secs
lola: 76467927 markings, 108067713 edges, 78522 markings/sec, 995 secs
lola: 76866382 markings, 108626074 edges, 79691 markings/sec, 1000 secs
lola: 77262995 markings, 109178273 edges, 79323 markings/sec, 1005 secs
lola: 77664126 markings, 109732487 edges, 80226 markings/sec, 1010 secs
lola: 78059470 markings, 110288697 edges, 79069 markings/sec, 1015 secs
lola: 78455212 markings, 110845973 edges, 79148 markings/sec, 1020 secs
lola: 78860984 markings, 111417488 edges, 81154 markings/sec, 1025 secs
lola: 79268245 markings, 112034140 edges, 81452 markings/sec, 1030 secs
lola: 79647279 markings, 112665400 edges, 75807 markings/sec, 1035 secs
lola: 80038759 markings, 113256585 edges, 78296 markings/sec, 1040 secs
lola: 80431272 markings, 113806115 edges, 78503 markings/sec, 1045 secs
lola: 80838436 markings, 114371075 edges, 81433 markings/sec, 1050 secs
lola: 81246857 markings, 114942482 edges, 81684 markings/sec, 1055 secs
lola: 81599534 markings, 115431844 edges, 70535 markings/sec, 1060 secs
lola: 81996241 markings, 115975044 edges, 79341 markings/sec, 1065 secs
lola: 82393293 markings, 116521766 edges, 79410 markings/sec, 1070 secs
lola: 82784681 markings, 117074922 edges, 78278 markings/sec, 1075 secs
lola: 83183435 markings, 117642632 edges, 79751 markings/sec, 1080 secs
lola: 83570186 markings, 118208184 edges, 77350 markings/sec, 1085 secs
lola: 83959752 markings, 118774409 edges, 77913 markings/sec, 1090 secs
lola: 84363029 markings, 119340876 edges, 80655 markings/sec, 1095 secs
lola: 84763102 markings, 119905845 edges, 80015 markings/sec, 1100 secs
lola: 85160946 markings, 120479899 edges, 79569 markings/sec, 1105 secs
lola: 85553429 markings, 121051559 edges, 78497 markings/sec, 1110 secs
lola: 85953670 markings, 121620263 edges, 80048 markings/sec, 1115 secs
lola: 86351998 markings, 122191425 edges, 79666 markings/sec, 1120 secs
lola: 86749199 markings, 122764861 edges, 79440 markings/sec, 1125 secs
lola: 87143077 markings, 123344401 edges, 78776 markings/sec, 1130 secs
lola: 87538457 markings, 123910045 edges, 79076 markings/sec, 1135 secs
lola: 87940270 markings, 124478272 edges, 80363 markings/sec, 1140 secs
lola: 88335244 markings, 125039559 edges, 78995 markings/sec, 1145 secs
lola: 88734550 markings, 125600762 edges, 79861 markings/sec, 1150 secs
lola: 89127159 markings, 126159061 edges, 78522 markings/sec, 1155 secs
lola: 89524313 markings, 126722316 edges, 79431 markings/sec, 1160 secs
lola: 89919956 markings, 127281977 edges, 79129 markings/sec, 1165 secs
lola: 90313559 markings, 127843934 edges, 78721 markings/sec, 1170 secs
lola: 90706483 markings, 128409699 edges, 78585 markings/sec, 1175 secs
lola: 91104531 markings, 128981341 edges, 79610 markings/sec, 1180 secs
lola: 91499081 markings, 129545770 edges, 78910 markings/sec, 1185 secs
lola: 91889414 markings, 130113939 edges, 78067 markings/sec, 1190 secs
lola: 92279259 markings, 130681459 edges, 77969 markings/sec, 1195 secs
lola: 92676127 markings, 131258898 edges, 79374 markings/sec, 1200 secs
lola: 93068036 markings, 131839161 edges, 78382 markings/sec, 1205 secs
lola: 93467586 markings, 132424162 edges, 79910 markings/sec, 1210 secs
lola: 93866992 markings, 133004609 edges, 79881 markings/sec, 1215 secs
lola: 94261649 markings, 133596249 edges, 78931 markings/sec, 1220 secs
lola: 94655600 markings, 134180836 edges, 78790 markings/sec, 1225 secs
lola: 95049853 markings, 134760493 edges, 78851 markings/sec, 1230 secs
lola: 95451626 markings, 135350051 edges, 80355 markings/sec, 1235 secs
lola: 95853537 markings, 135934767 edges, 80382 markings/sec, 1240 secs
lola: 96244958 markings, 136525372 edges, 78284 markings/sec, 1245 secs
lola: 96647688 markings, 137114514 edges, 80546 markings/sec, 1250 secs
lola: 97047810 markings, 137705107 edges, 80024 markings/sec, 1255 secs
lola: 97446464 markings, 138303408 edges, 79731 markings/sec, 1260 secs
lola: 97840758 markings, 138894894 edges, 78859 markings/sec, 1265 secs
lola: 98230341 markings, 139501132 edges, 77917 markings/sec, 1270 secs
lola: 98622445 markings, 140105610 edges, 78421 markings/sec, 1275 secs
lola: 99025998 markings, 140701961 edges, 80711 markings/sec, 1280 secs
lola: 99431134 markings, 141303008 edges, 81027 markings/sec, 1285 secs
lola: 99830253 markings, 141891422 edges, 79824 markings/sec, 1290 secs
lola: 100239520 markings, 142490061 edges, 81853 markings/sec, 1295 secs
lola: 100640464 markings, 143074140 edges, 80189 markings/sec, 1300 secs
lola: 101045604 markings, 143669600 edges, 81028 markings/sec, 1305 secs
lola: 101448824 markings, 144260426 edges, 80644 markings/sec, 1310 secs
lola: 101850561 markings, 144843361 edges, 80347 markings/sec, 1315 secs
lola: 102252638 markings, 145426318 edges, 80415 markings/sec, 1320 secs
lola: 102656761 markings, 146029704 edges, 80825 markings/sec, 1325 secs
lola: 103058393 markings, 146627463 edges, 80326 markings/sec, 1330 secs
lola: 103455847 markings, 147240753 edges, 79491 markings/sec, 1335 secs
lola: 103855532 markings, 147856172 edges, 79937 markings/sec, 1340 secs
lola: 104256977 markings, 148460973 edges, 80289 markings/sec, 1345 secs
lola: 104657214 markings, 149059890 edges, 80047 markings/sec, 1350 secs
lola: 105059503 markings, 149653387 edges, 80458 markings/sec, 1355 secs
lola: 105451510 markings, 150241215 edges, 78401 markings/sec, 1360 secs
lola: 105843499 markings, 150825827 edges, 78398 markings/sec, 1365 secs
lola: 106242836 markings, 151409223 edges, 79867 markings/sec, 1370 secs
lola: 106641713 markings, 152026438 edges, 79775 markings/sec, 1375 secs
lola: 107031233 markings, 152635624 edges, 77904 markings/sec, 1380 secs
lola: 107413718 markings, 153234704 edges, 76497 markings/sec, 1385 secs
lola: 107805550 markings, 153847548 edges, 78366 markings/sec, 1390 secs
lola: 108183622 markings, 154442168 edges, 75614 markings/sec, 1395 secs
lola: 108575920 markings, 155061508 edges, 78460 markings/sec, 1400 secs
lola: 108966842 markings, 155663787 edges, 78184 markings/sec, 1405 secs
lola: 109371037 markings, 156240850 edges, 80839 markings/sec, 1410 secs
lola: 109760149 markings, 156815619 edges, 77822 markings/sec, 1415 secs
lola: 110150557 markings, 157378902 edges, 78082 markings/sec, 1420 secs
lola: 110541684 markings, 157947443 edges, 78225 markings/sec, 1425 secs
lola: 110931688 markings, 158515934 edges, 78001 markings/sec, 1430 secs
lola: 111322613 markings, 159085377 edges, 78185 markings/sec, 1435 secs
lola: 111716637 markings, 159653594 edges, 78805 markings/sec, 1440 secs
lola: 112114153 markings, 160234741 edges, 79503 markings/sec, 1445 secs
lola: 112499126 markings, 160797935 edges, 76995 markings/sec, 1450 secs
lola: 112874009 markings, 161340924 edges, 74977 markings/sec, 1455 secs
lola: 113256191 markings, 161898338 edges, 76436 markings/sec, 1460 secs
lola: 113634675 markings, 162448443 edges, 75697 markings/sec, 1465 secs
lola: 114014158 markings, 163000483 edges, 75897 markings/sec, 1470 secs
lola: 114412819 markings, 163579854 edges, 79732 markings/sec, 1475 secs
lola: 114785645 markings, 164138146 edges, 74565 markings/sec, 1480 secs
lola: 115148697 markings, 164689953 edges, 72610 markings/sec, 1485 secs
lola: 115543835 markings, 165259359 edges, 79028 markings/sec, 1490 secs
lola: 115946275 markings, 165833910 edges, 80488 markings/sec, 1495 secs
lola: 116352865 markings, 166420178 edges, 81318 markings/sec, 1500 secs
lola: 116713484 markings, 166968777 edges, 72124 markings/sec, 1505 secs
lola: 117103915 markings, 167560607 edges, 78086 markings/sec, 1510 secs
lola: 117480508 markings, 168126210 edges, 75319 markings/sec, 1515 secs
lola: 117857378 markings, 168697523 edges, 75374 markings/sec, 1520 secs
lola: 118247645 markings, 169269587 edges, 78053 markings/sec, 1525 secs
lola: 118630515 markings, 169832637 edges, 76574 markings/sec, 1530 secs
lola: 119035389 markings, 170425978 edges, 80975 markings/sec, 1535 secs
lola: 119417235 markings, 170981393 edges, 76369 markings/sec, 1540 secs
lola: 119794116 markings, 171542118 edges, 75376 markings/sec, 1545 secs
lola: 120173755 markings, 172094347 edges, 75928 markings/sec, 1550 secs
lola: 120554544 markings, 172649736 edges, 76158 markings/sec, 1555 secs
lola: 120937143 markings, 173212511 edges, 76520 markings/sec, 1560 secs
lola: 121334301 markings, 173803921 edges, 79432 markings/sec, 1565 secs
lola: 121732982 markings, 174400883 edges, 79736 markings/sec, 1570 secs
lola: 122122282 markings, 174994074 edges, 77860 markings/sec, 1575 secs
lola: 122522966 markings, 175601027 edges, 80137 markings/sec, 1580 secs
lola: 122923903 markings, 176212204 edges, 80187 markings/sec, 1585 secs
lola: 123321286 markings, 176819319 edges, 79477 markings/sec, 1590 secs
lola: 123711254 markings, 177406143 edges, 77994 markings/sec, 1595 secs
lola: 124098562 markings, 177989426 edges, 77462 markings/sec, 1600 secs
lola: 124484364 markings, 178568254 edges, 77160 markings/sec, 1605 secs
lola: 124871954 markings, 179142587 edges, 77518 markings/sec, 1610 secs
lola: 125267535 markings, 179718721 edges, 79116 markings/sec, 1615 secs
lola: 125651180 markings, 180314407 edges, 76729 markings/sec, 1620 secs
lola: 126034147 markings, 180917140 edges, 76593 markings/sec, 1625 secs
lola: 126408231 markings, 181503215 edges, 74817 markings/sec, 1630 secs
lola: 126790700 markings, 182109813 edges, 76494 markings/sec, 1635 secs
lola: 127174496 markings, 182711613 edges, 76759 markings/sec, 1640 secs
lola: 127555690 markings, 183286063 edges, 76239 markings/sec, 1645 secs
lola: 127948395 markings, 183884165 edges, 78541 markings/sec, 1650 secs
lola: 128359479 markings, 184469262 edges, 82217 markings/sec, 1655 secs
lola: 128759296 markings, 185041525 edges, 79963 markings/sec, 1660 secs
lola: 129157001 markings, 185607606 edges, 79541 markings/sec, 1665 secs
lola: 129570191 markings, 186193959 edges, 82638 markings/sec, 1670 secs
lola: 129972335 markings, 186771181 edges, 80429 markings/sec, 1675 secs
lola: 130386630 markings, 187361944 edges, 82859 markings/sec, 1680 secs
lola: 130773193 markings, 187934240 edges, 77313 markings/sec, 1685 secs
lola: 131175106 markings, 188506626 edges, 80383 markings/sec, 1690 secs
lola: 131575052 markings, 189074142 edges, 79989 markings/sec, 1695 secs
lola: 131973769 markings, 189646903 edges, 79743 markings/sec, 1700 secs
lola: 132387826 markings, 190241314 edges, 82811 markings/sec, 1705 secs
lola: 132811606 markings, 190863878 edges, 84756 markings/sec, 1710 secs
lola: 133194937 markings, 191435425 edges, 76666 markings/sec, 1715 secs
lola: 133596268 markings, 192004342 edges, 80266 markings/sec, 1720 secs
lola: 134000492 markings, 192578616 edges, 80845 markings/sec, 1725 secs
lola: 134402489 markings, 193150330 edges, 80399 markings/sec, 1730 secs
lola: 134806095 markings, 193725637 edges, 80721 markings/sec, 1735 secs
lola: 135195621 markings, 194283648 edges, 77905 markings/sec, 1740 secs
lola: 135593081 markings, 194844718 edges, 79492 markings/sec, 1745 secs
lola: 135980165 markings, 195403229 edges, 77417 markings/sec, 1750 secs
lola: 136375532 markings, 195959714 edges, 79073 markings/sec, 1755 secs
lola: 136769688 markings, 196520290 edges, 78831 markings/sec, 1760 secs
lola: 137167464 markings, 197075649 edges, 79555 markings/sec, 1765 secs
lola: 137557549 markings, 197635069 edges, 78017 markings/sec, 1770 secs
lola: 137948541 markings, 198192170 edges, 78198 markings/sec, 1775 secs
lola: 138339095 markings, 198749707 edges, 78111 markings/sec, 1780 secs
lola: 138733005 markings, 199301238 edges, 78782 markings/sec, 1785 secs
lola: 139125800 markings, 199855203 edges, 78559 markings/sec, 1790 secs
lola: 139520010 markings, 200415360 edges, 78842 markings/sec, 1795 secs
lola: 139915953 markings, 200978338 edges, 79189 markings/sec, 1800 secs
lola: 140310080 markings, 201533543 edges, 78825 markings/sec, 1805 secs
lola: 140706793 markings, 202087280 edges, 79343 markings/sec, 1810 secs
lola: 141090977 markings, 202630732 edges, 76837 markings/sec, 1815 secs
lola: 141476808 markings, 203167135 edges, 77166 markings/sec, 1820 secs
lola: 141855440 markings, 203728852 edges, 75726 markings/sec, 1825 secs
lola: 142218542 markings, 204259977 edges, 72620 markings/sec, 1830 secs
lola: 142600444 markings, 204788815 edges, 76380 markings/sec, 1835 secs
lola: 142981219 markings, 205315008 edges, 76155 markings/sec, 1840 secs
lola: 143361153 markings, 205853732 edges, 75987 markings/sec, 1845 secs
lola: 143755322 markings, 206404954 edges, 78834 markings/sec, 1850 secs
lola: 144138702 markings, 206946472 edges, 76676 markings/sec, 1855 secs
lola: 144529972 markings, 207499507 edges, 78254 markings/sec, 1860 secs
lola: 144917104 markings, 208047345 edges, 77426 markings/sec, 1865 secs
lola: 145319485 markings, 208600725 edges, 80476 markings/sec, 1870 secs
lola: 145719520 markings, 209161604 edges, 80007 markings/sec, 1875 secs
lola: 146099218 markings, 209715196 edges, 75940 markings/sec, 1880 secs
lola: 146502332 markings, 210316686 edges, 80623 markings/sec, 1885 secs
lola: 146882670 markings, 210928940 edges, 76068 markings/sec, 1890 secs
lola: 147277667 markings, 211482423 edges, 78999 markings/sec, 1895 secs
lola: 147669827 markings, 212038500 edges, 78432 markings/sec, 1900 secs
lola: 148047376 markings, 212580497 edges, 75510 markings/sec, 1905 secs
lola: 148425323 markings, 213131205 edges, 75589 markings/sec, 1910 secs
lola: 148809765 markings, 213691422 edges, 76888 markings/sec, 1915 secs
lola: 149205931 markings, 214257135 edges, 79233 markings/sec, 1920 secs
lola: 149582558 markings, 214791584 edges, 75325 markings/sec, 1925 secs
lola: 149975816 markings, 215349137 edges, 78652 markings/sec, 1930 secs
lola: 150378908 markings, 215910811 edges, 80618 markings/sec, 1935 secs
lola: 150760532 markings, 216454826 edges, 76325 markings/sec, 1940 secs
lola: 151153341 markings, 217017413 edges, 78562 markings/sec, 1945 secs
lola: 151526595 markings, 217560003 edges, 74651 markings/sec, 1950 secs
lola: 151924598 markings, 218126646 edges, 79601 markings/sec, 1955 secs
lola: 152317885 markings, 218693697 edges, 78657 markings/sec, 1960 secs
lola: 152694375 markings, 219236807 edges, 75298 markings/sec, 1965 secs
lola: 153080415 markings, 219824072 edges, 77208 markings/sec, 1970 secs
lola: 153457051 markings, 220368310 edges, 75327 markings/sec, 1975 secs
lola: 153841272 markings, 220934314 edges, 76844 markings/sec, 1980 secs
lola: 154221086 markings, 221474543 edges, 75963 markings/sec, 1985 secs
lola: 154609828 markings, 222035893 edges, 77748 markings/sec, 1990 secs
lola: 154990549 markings, 222579738 edges, 76144 markings/sec, 1995 secs
lola: 155368286 markings, 223123339 edges, 75547 markings/sec, 2000 secs
lola: 155766499 markings, 223685727 edges, 79643 markings/sec, 2005 secs
lola: 156135605 markings, 224227179 edges, 73821 markings/sec, 2010 secs
lola: 156523129 markings, 224796662 edges, 77505 markings/sec, 2015 secs
lola: 156916297 markings, 225366090 edges, 78634 markings/sec, 2020 secs
lola: 157313278 markings, 225950985 edges, 79396 markings/sec, 2025 secs
lola: 157706272 markings, 226516264 edges, 78599 markings/sec, 2030 secs
lola: 158082447 markings, 227063810 edges, 75235 markings/sec, 2035 secs
lola: 158472756 markings, 227629821 edges, 78062 markings/sec, 2040 secs
lola: 158836451 markings, 228152135 edges, 72739 markings/sec, 2045 secs
lola: 159222669 markings, 228719506 edges, 77244 markings/sec, 2050 secs
lola: 159588019 markings, 229269971 edges, 73070 markings/sec, 2055 secs
lola: 159986886 markings, 229845659 edges, 79773 markings/sec, 2060 secs
lola: 160363026 markings, 230392795 edges, 75228 markings/sec, 2065 secs
lola: 160739173 markings, 230939909 edges, 75229 markings/sec, 2070 secs
lola: 161128939 markings, 231512899 edges, 77953 markings/sec, 2075 secs
lola: 161497890 markings, 232066471 edges, 73790 markings/sec, 2080 secs
lola: 161875042 markings, 232622018 edges, 75430 markings/sec, 2085 secs
lola: 162260756 markings, 233176074 edges, 77143 markings/sec, 2090 secs
lola: 162633123 markings, 233710268 edges, 74473 markings/sec, 2095 secs
lola: 163024689 markings, 234283866 edges, 78313 markings/sec, 2100 secs
lola: 163391334 markings, 234825992 edges, 73329 markings/sec, 2105 secs
lola: 163784924 markings, 235394377 edges, 78718 markings/sec, 2110 secs
lola: 164157620 markings, 235946231 edges, 74539 markings/sec, 2115 secs
lola: 164529339 markings, 236492533 edges, 74344 markings/sec, 2120 secs
lola: 164870477 markings, 236995084 edges, 68228 markings/sec, 2125 secs
lola: 165247650 markings, 237554623 edges, 75435 markings/sec, 2130 secs
lola: 165618927 markings, 238113870 edges, 74255 markings/sec, 2135 secs
lola: 165995482 markings, 238660974 edges, 75311 markings/sec, 2140 secs
lola: 166376883 markings, 239211077 edges, 76280 markings/sec, 2145 secs
lola: 166745022 markings, 239765605 edges, 73628 markings/sec, 2150 secs
lola: 167114600 markings, 240316481 edges, 73916 markings/sec, 2155 secs
lola: 167502653 markings, 240883252 edges, 77611 markings/sec, 2160 secs
lola: 167881520 markings, 241449252 edges, 75773 markings/sec, 2165 secs
lola: 168268700 markings, 242017395 edges, 77436 markings/sec, 2170 secs
lola: 168635936 markings, 242557771 edges, 73447 markings/sec, 2175 secs
lola: 169021258 markings, 243136357 edges, 77064 markings/sec, 2180 secs
lola: 169404799 markings, 243692941 edges, 76708 markings/sec, 2185 secs
lola: 169780239 markings, 244254342 edges, 75088 markings/sec, 2190 secs
lola: 170157047 markings, 244824178 edges, 75362 markings/sec, 2195 secs
lola: 170539109 markings, 245399855 edges, 76412 markings/sec, 2200 secs
lola: 170916409 markings, 245958692 edges, 75460 markings/sec, 2205 secs
lola: 171299379 markings, 246533429 edges, 76594 markings/sec, 2210 secs
lola: 171687323 markings, 247118144 edges, 77589 markings/sec, 2215 secs
lola: 172064500 markings, 247685977 edges, 75435 markings/sec, 2220 secs
lola: 172443426 markings, 248265183 edges, 75785 markings/sec, 2225 secs
lola: 172822433 markings, 248839182 edges, 75801 markings/sec, 2230 secs
lola: 173212887 markings, 249419943 edges, 78091 markings/sec, 2235 secs
lola: 173600249 markings, 249990878 edges, 77472 markings/sec, 2240 secs
lola: 173995354 markings, 250572245 edges, 79021 markings/sec, 2245 secs
lola: 174391374 markings, 251155235 edges, 79204 markings/sec, 2250 secs
lola: 174783466 markings, 251739722 edges, 78418 markings/sec, 2255 secs
lola: 175180937 markings, 252326165 edges, 79494 markings/sec, 2260 secs
lola: 175571399 markings, 252901935 edges, 78092 markings/sec, 2265 secs
lola: 175968799 markings, 253464097 edges, 79480 markings/sec, 2270 secs
lola: 176366512 markings, 254048333 edges, 79543 markings/sec, 2275 secs
lola: 176758072 markings, 254629526 edges, 78312 markings/sec, 2280 secs
lola: 177151227 markings, 255210922 edges, 78631 markings/sec, 2285 secs
lola: 177508334 markings, 255779021 edges, 71421 markings/sec, 2290 secs
lola: 177909013 markings, 256360179 edges, 80136 markings/sec, 2295 secs
lola: 178309835 markings, 256937305 edges, 80164 markings/sec, 2300 secs
lola: 178712560 markings, 257528398 edges, 80545 markings/sec, 2305 secs
lola: 179105789 markings, 258113585 edges, 78646 markings/sec, 2310 secs
lola: 179502397 markings, 258694057 edges, 79322 markings/sec, 2315 secs
lola: 179894011 markings, 259286010 edges, 78323 markings/sec, 2320 secs
lola: 180288148 markings, 259868838 edges, 78827 markings/sec, 2325 secs
lola: 180680087 markings, 260472455 edges, 78388 markings/sec, 2330 secs
lola: 181079009 markings, 261054334 edges, 79784 markings/sec, 2335 secs
lola: 181459664 markings, 261642674 edges, 76131 markings/sec, 2340 secs
lola: 181844082 markings, 262219474 edges, 76884 markings/sec, 2345 secs
lola: 182218301 markings, 262804018 edges, 74844 markings/sec, 2350 secs
lola: 182616525 markings, 263394286 edges, 79645 markings/sec, 2355 secs
lola: 182992900 markings, 263959290 edges, 75275 markings/sec, 2360 secs
lola: 183353782 markings, 264540530 edges, 72176 markings/sec, 2365 secs
lola: 183721295 markings, 265124756 edges, 73503 markings/sec, 2370 secs
lola: 184101883 markings, 265715591 edges, 76118 markings/sec, 2375 secs
lola: 184456718 markings, 266308379 edges, 70967 markings/sec, 2380 secs
lola: 184833579 markings, 266903403 edges, 75372 markings/sec, 2385 secs
lola: 185196164 markings, 267485012 edges, 72517 markings/sec, 2390 secs
lola: 185559789 markings, 268057822 edges, 72725 markings/sec, 2395 secs
lola: 185942039 markings, 268622273 edges, 76450 markings/sec, 2400 secs
lola: 186342903 markings, 269206311 edges, 80173 markings/sec, 2405 secs
lola: 186743509 markings, 269796264 edges, 80121 markings/sec, 2410 secs
lola: 187138184 markings, 270372199 edges, 78935 markings/sec, 2415 secs
lola: 187539352 markings, 270951643 edges, 80234 markings/sec, 2420 secs
lola: 187935920 markings, 271550686 edges, 79314 markings/sec, 2425 secs
lola: 188328330 markings, 272128509 edges, 78482 markings/sec, 2430 secs
lola: 188711212 markings, 272718833 edges, 76576 markings/sec, 2435 secs
lola: 189096413 markings, 273299482 edges, 77040 markings/sec, 2440 secs
lola: 189480928 markings, 273867784 edges, 76903 markings/sec, 2445 secs
lola: 189858283 markings, 274435971 edges, 75471 markings/sec, 2450 secs
lola: 190240043 markings, 274999581 edges, 76352 markings/sec, 2455 secs
lola: 190645685 markings, 275570786 edges, 81128 markings/sec, 2460 secs
lola: 191049400 markings, 276141402 edges, 80743 markings/sec, 2465 secs
lola: 191432561 markings, 276728388 edges, 76632 markings/sec, 2470 secs
lola: 191839215 markings, 277305047 edges, 81331 markings/sec, 2475 secs
lola: 192245301 markings, 277888084 edges, 81217 markings/sec, 2480 secs
lola: 192650734 markings, 278469867 edges, 81087 markings/sec, 2485 secs
lola: 193059424 markings, 279052833 edges, 81738 markings/sec, 2490 secs
lola: 193459301 markings, 279619331 edges, 79975 markings/sec, 2495 secs
lola: 193865479 markings, 280172690 edges, 81236 markings/sec, 2500 secs
lola: 194245720 markings, 280755327 edges, 76048 markings/sec, 2505 secs
lola: 194633906 markings, 281325467 edges, 77637 markings/sec, 2510 secs
lola: 195036339 markings, 281899009 edges, 80487 markings/sec, 2515 secs
lola: 195416943 markings, 282460692 edges, 76121 markings/sec, 2520 secs
lola: 195780797 markings, 283029965 edges, 72771 markings/sec, 2525 secs
lola: 196149734 markings, 283623093 edges, 73787 markings/sec, 2530 secs
lola: 196524477 markings, 284202719 edges, 74949 markings/sec, 2535 secs
lola: 196909755 markings, 284792387 edges, 77056 markings/sec, 2540 secs
lola: 197285895 markings, 285385724 edges, 75228 markings/sec, 2545 secs
lola: 197677445 markings, 285967526 edges, 78310 markings/sec, 2550 secs
lola: 198084829 markings, 286544652 edges, 81477 markings/sec, 2555 secs
lola: 198451123 markings, 287112424 edges, 73259 markings/sec, 2560 secs
lola: 198851219 markings, 287722436 edges, 80019 markings/sec, 2565 secs
lola: 199269868 markings, 288335149 edges, 83730 markings/sec, 2570 secs
lola: 199674210 markings, 288907475 edges, 80868 markings/sec, 2575 secs
lola: 200082046 markings, 289488850 edges, 81567 markings/sec, 2580 secs
lola: 200486042 markings, 290066461 edges, 80799 markings/sec, 2585 secs
lola: 200885920 markings, 290633788 edges, 79976 markings/sec, 2590 secs
lola: 201285307 markings, 291215105 edges, 79877 markings/sec, 2595 secs
lola: 201710155 markings, 291816155 edges, 84970 markings/sec, 2600 secs
lola: 202109967 markings, 292395373 edges, 79962 markings/sec, 2605 secs
lola: 202488609 markings, 292976771 edges, 75728 markings/sec, 2610 secs
lola: 202883360 markings, 293582379 edges, 78950 markings/sec, 2615 secs
lola: 203291224 markings, 294189135 edges, 81573 markings/sec, 2620 secs
lola: 203691805 markings, 294763043 edges, 80116 markings/sec, 2625 secs
lola: 204095578 markings, 295335795 edges, 80755 markings/sec, 2630 secs
lola: 204482130 markings, 295865082 edges, 77310 markings/sec, 2635 secs
lola: 204878636 markings, 296412755 edges, 79301 markings/sec, 2640 secs
lola: 205250903 markings, 296941186 edges, 74453 markings/sec, 2645 secs
lola: 205632052 markings, 297490745 edges, 76230 markings/sec, 2650 secs
lola: 206028909 markings, 298071758 edges, 79371 markings/sec, 2655 secs
lola: 206400043 markings, 298617350 edges, 74227 markings/sec, 2660 secs
lola: 206778886 markings, 299185444 edges, 75769 markings/sec, 2665 secs
lola: 207139180 markings, 299731829 edges, 72059 markings/sec, 2670 secs
lola: 207515982 markings, 300303824 edges, 75360 markings/sec, 2675 secs
lola: 207888322 markings, 300876122 edges, 74468 markings/sec, 2680 secs
lola: 208254997 markings, 301439686 edges, 73335 markings/sec, 2685 secs
lola: 208644954 markings, 302036707 edges, 77991 markings/sec, 2690 secs
lola: 209007447 markings, 302609733 edges, 72499 markings/sec, 2695 secs
lola: 209378679 markings, 303215826 edges, 74246 markings/sec, 2700 secs
lola: 209723765 markings, 303778038 edges, 69017 markings/sec, 2705 secs
lola: 210094790 markings, 304370362 edges, 74205 markings/sec, 2710 secs
lola: 210454968 markings, 304959454 edges, 72036 markings/sec, 2715 secs
lola: 210818547 markings, 305551551 edges, 72716 markings/sec, 2720 secs
lola: 211181982 markings, 306151747 edges, 72687 markings/sec, 2725 secs
lola: 211551407 markings, 306749466 edges, 73885 markings/sec, 2730 secs
lola: 211932537 markings, 307350250 edges, 76226 markings/sec, 2735 secs
lola: 212300341 markings, 307947750 edges, 73561 markings/sec, 2740 secs
lola: 212665869 markings, 308538395 edges, 73106 markings/sec, 2745 secs
lola: 213035689 markings, 309139547 edges, 73964 markings/sec, 2750 secs
lola: 213387497 markings, 309757068 edges, 70362 markings/sec, 2755 secs
lola: 213749976 markings, 310369755 edges, 72496 markings/sec, 2760 secs
lola: 214117609 markings, 310992327 edges, 73527 markings/sec, 2765 secs
lola: 214483778 markings, 311607745 edges, 73234 markings/sec, 2770 secs
lola: 214853871 markings, 312216569 edges, 74019 markings/sec, 2775 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 9597496 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown 1 1 1 1 1 1 1 1 1 unknown 1 1 1 1 1
lola: memory consumption: 9597496 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to UpperBounds.json
lola: closed JSON file UpperBounds.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="ASLink-PT-02b"
export BK_EXAMINATION="UpperBounds"
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 ASLink-PT-02b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787100037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02b.tgz
mv ASLink-PT-02b execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;