About the Execution of ITS-LoLa for ASLink-PT-04a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15744.120 | 3600000.00 | 3627390.00 | 11468.60 | 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-158987787200061.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-04a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787200061
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 436K 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-04a-UpperBounds-00
FORMULA_NAME ASLink-PT-04a-UpperBounds-01
FORMULA_NAME ASLink-PT-04a-UpperBounds-02
FORMULA_NAME ASLink-PT-04a-UpperBounds-03
FORMULA_NAME ASLink-PT-04a-UpperBounds-04
FORMULA_NAME ASLink-PT-04a-UpperBounds-05
FORMULA_NAME ASLink-PT-04a-UpperBounds-06
FORMULA_NAME ASLink-PT-04a-UpperBounds-07
FORMULA_NAME ASLink-PT-04a-UpperBounds-08
FORMULA_NAME ASLink-PT-04a-UpperBounds-09
FORMULA_NAME ASLink-PT-04a-UpperBounds-10
FORMULA_NAME ASLink-PT-04a-UpperBounds-11
FORMULA_NAME ASLink-PT-04a-UpperBounds-12
FORMULA_NAME ASLink-PT-04a-UpperBounds-13
FORMULA_NAME ASLink-PT-04a-UpperBounds-14
FORMULA_NAME ASLink-PT-04a-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1591183119809
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 11:18:41] [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 11:18:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 11:18:42] [INFO ] Load time of PNML (sax parser for PT used): 212 ms
[2020-06-03 11:18:42] [INFO ] Transformed 1016 places.
[2020-06-03 11:18:42] [INFO ] Transformed 1554 transitions.
[2020-06-03 11:18:42] [INFO ] Found NUPN structural information;
[2020-06-03 11:18:42] [INFO ] Parsed PT model containing 1016 places and 1554 transitions in 282 ms.
Ensure Unique test removed 16 transitions
Reduce redundant transitions removed 16 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 49 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 11:18:42] [INFO ] Flatten gal took : 254 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 1538 rows 1016 cols
[2020-06-03 11:18:43] [INFO ] Computed 194 place invariants in 157 ms
Support contains 16 out of 1016 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1016/1016 places, 1538/1538 transitions.
Ensure Unique test removed 16 places
Discarding 8 places :
Implicit places reduction removed 8 places
Performed 85 Post agglomeration using F-continuation condition.Transition count delta: 85
Iterating post reduction 0 with 109 rules applied. Total rules applied 109 place count 992 transition count 1453
Reduce places removed 85 places and 0 transitions.
Iterating post reduction 1 with 85 rules applied. Total rules applied 194 place count 907 transition count 1453
Performed 85 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 85 Pre rules applied. Total rules applied 194 place count 907 transition count 1368
Deduced a syphon composed of 85 places in 6 ms
Ensure Unique test removed 31 places
Reduce places removed 116 places and 0 transitions.
Iterating global reduction 2 with 201 rules applied. Total rules applied 395 place count 791 transition count 1368
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 2 with 1 rules applied. Total rules applied 396 place count 790 transition count 1368
Symmetric choice reduction at 3 with 7 rule applications. Total rules 403 place count 790 transition count 1368
Deduced a syphon composed of 7 places in 5 ms
Reduce places removed 7 places and 35 transitions.
Iterating global reduction 3 with 14 rules applied. Total rules applied 417 place count 783 transition count 1333
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 3 with 7 rules applied. Total rules applied 424 place count 781 transition count 1328
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 427 place count 778 transition count 1328
Symmetric choice reduction at 5 with 1 rule applications. Total rules 428 place count 778 transition count 1328
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 430 place count 777 transition count 1320
Symmetric choice reduction at 5 with 1 rule applications. Total rules 431 place count 777 transition count 1320
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 433 place count 776 transition count 1312
Symmetric choice reduction at 5 with 1 rule applications. Total rules 434 place count 776 transition count 1312
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 436 place count 775 transition count 1304
Symmetric choice reduction at 5 with 1 rule applications. Total rules 437 place count 775 transition count 1304
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 439 place count 774 transition count 1296
Symmetric choice reduction at 5 with 1 rule applications. Total rules 440 place count 774 transition count 1296
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 442 place count 773 transition count 1288
Symmetric choice reduction at 5 with 1 rule applications. Total rules 443 place count 773 transition count 1288
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 445 place count 772 transition count 1280
Symmetric choice reduction at 5 with 1 rule applications. Total rules 446 place count 772 transition count 1280
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 448 place count 771 transition count 1272
Symmetric choice reduction at 5 with 1 rule applications. Total rules 449 place count 771 transition count 1272
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 451 place count 770 transition count 1264
Symmetric choice reduction at 5 with 1 rule applications. Total rules 452 place count 770 transition count 1264
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 454 place count 769 transition count 1256
Symmetric choice reduction at 5 with 1 rule applications. Total rules 455 place count 769 transition count 1256
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 457 place count 768 transition count 1248
Symmetric choice reduction at 5 with 1 rule applications. Total rules 458 place count 768 transition count 1248
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 460 place count 767 transition count 1240
Symmetric choice reduction at 5 with 1 rule applications. Total rules 461 place count 767 transition count 1240
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 463 place count 766 transition count 1232
Symmetric choice reduction at 5 with 1 rule applications. Total rules 464 place count 766 transition count 1232
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 466 place count 765 transition count 1224
Symmetric choice reduction at 5 with 1 rule applications. Total rules 467 place count 765 transition count 1224
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 469 place count 764 transition count 1216
Symmetric choice reduction at 5 with 1 rule applications. Total rules 470 place count 764 transition count 1216
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 472 place count 763 transition count 1208
Symmetric choice reduction at 5 with 1 rule applications. Total rules 473 place count 763 transition count 1208
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 475 place count 762 transition count 1200
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 2 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 5 with 56 rules applied. Total rules applied 531 place count 734 transition count 1172
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 5 with 3 rules applied. Total rules applied 534 place count 734 transition count 1169
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 537 place count 731 transition count 1169
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 6 with 5 rules applied. Total rules applied 542 place count 731 transition count 1169
Partial Post-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 6 with 4 rules applied. Total rules applied 546 place count 731 transition count 1169
Applied a total of 546 rules in 1139 ms. Remains 731 /1016 variables (removed 285) and now considering 1169/1538 (removed 369) transitions.
Finished structural reductions, in 1 iterations. Remains : 731/1016 places, 1169/1538 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 1169 rows 731 cols
[2020-06-03 11:18:44] [INFO ] Computed 136 place invariants in 107 ms
Support contains 16 out of 731 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 731/731 places, 1169/1169 transitions.
Applied a total of 0 rules in 55 ms. Remains 731 /731 variables (removed 0) and now considering 1169/1169 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 731/731 places, 1169/1169 transitions.
Starting structural reductions, iteration 0 : 731/731 places, 1169/1169 transitions.
Applied a total of 0 rules in 49 ms. Remains 731 /731 variables (removed 0) and now considering 1169/1169 (removed 0) transitions.
// Phase 1: matrix 1169 rows 731 cols
[2020-06-03 11:18:44] [INFO ] Computed 136 place invariants in 109 ms
[2020-06-03 11:18:47] [INFO ] Implicit Places using invariants in 2829 ms returned [1, 19, 20, 22, 32, 50, 68, 121, 151, 164, 165, 166, 167, 168, 186, 204, 243, 287, 300, 301, 302, 303, 304, 322, 340, 378, 423, 436, 437, 438, 440, 458, 476, 556, 561, 572, 575, 576, 577, 595, 597, 600, 618, 619, 620, 621, 633, 639, 645, 651, 657, 663, 669, 675, 681, 687, 693]
Discarding 57 places :
Implicit Place search using SMT only with invariants took 2838 ms to find 57 implicit places.
[2020-06-03 11:18:47] [INFO ] Redundant transitions in 98 ms returned []
// Phase 1: matrix 1169 rows 674 cols
[2020-06-03 11:18:47] [INFO ] Computed 79 place invariants in 17 ms
[2020-06-03 11:18:50] [INFO ] Dead Transitions using invariants and state equation in 3462 ms returned []
Starting structural reductions, iteration 1 : 674/731 places, 1169/1169 transitions.
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Iterating post reduction 0 with 80 rules applied. Total rules applied 80 place count 674 transition count 1089
Reduce places removed 80 places and 0 transitions.
Iterating post reduction 1 with 80 rules applied. Total rules applied 160 place count 594 transition count 1089
Performed 28 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 28 Pre rules applied. Total rules applied 160 place count 594 transition count 1061
Deduced a syphon composed of 28 places in 1 ms
Ensure Unique test removed 1 places
Reduce places removed 29 places and 0 transitions.
Iterating global reduction 2 with 57 rules applied. Total rules applied 217 place count 565 transition count 1061
Discarding 12 places :
Implicit places reduction removed 12 places
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Iterating post reduction 2 with 26 rules applied. Total rules applied 243 place count 553 transition count 1047
Reduce places removed 14 places and 0 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 257 place count 539 transition count 1047
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 257 place count 539 transition count 1046
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 259 place count 538 transition count 1046
Symmetric choice reduction at 4 with 15 rule applications. Total rules 274 place count 538 transition count 1046
Deduced a syphon composed of 15 places in 1 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 304 place count 523 transition count 1031
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 307 place count 523 transition count 1028
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 307 place count 523 transition count 1027
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 309 place count 522 transition count 1027
Symmetric choice reduction at 5 with 3 rule applications. Total rules 312 place count 522 transition count 1027
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 318 place count 519 transition count 1024
Symmetric choice reduction at 5 with 1 rule applications. Total rules 319 place count 519 transition count 1024
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 321 place count 518 transition count 1023
Symmetric choice reduction at 5 with 1 rule applications. Total rules 322 place count 518 transition count 1023
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 324 place count 517 transition count 1022
Performed 49 Post agglomeration using F-continuation condition.Transition count delta: 49
Deduced a syphon composed of 49 places in 1 ms
Reduce places removed 49 places and 0 transitions.
Iterating global reduction 5 with 98 rules applied. Total rules applied 422 place count 468 transition count 973
Symmetric choice reduction at 5 with 3 rule applications. Total rules 425 place count 468 transition count 973
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 431 place count 465 transition count 970
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 434 place count 465 transition count 967
Free-agglomeration rule applied 4 times.
Iterating global reduction 6 with 4 rules applied. Total rules applied 438 place count 465 transition count 963
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 444 place count 461 transition count 961
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 7 with 10 rules applied. Total rules applied 454 place count 461 transition count 951
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 7 with 10 rules applied. Total rules applied 464 place count 451 transition count 951
Partial Free-agglomeration rule applied 13 times.
Drop transitions removed 13 transitions
Iterating global reduction 8 with 13 rules applied. Total rules applied 477 place count 451 transition count 951
Applied a total of 477 rules in 236 ms. Remains 451 /674 variables (removed 223) and now considering 951/1169 (removed 218) transitions.
// Phase 1: matrix 951 rows 451 cols
[2020-06-03 11:18:51] [INFO ] Computed 66 place invariants in 14 ms
[2020-06-03 11:18:52] [INFO ] Implicit Places using invariants in 1084 ms returned [73, 98, 101, 103, 106, 107, 159, 179, 185, 188, 192, 197, 198, 250, 284, 290, 295, 296, 366, 372, 375, 377, 380, 448]
Discarding 24 places :
Implicit Place search using SMT only with invariants took 1087 ms to find 24 implicit places.
Starting structural reductions, iteration 2 : 427/731 places, 951/1169 transitions.
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 427 transition count 951
Deduced a syphon composed of 7 places in 1 ms
Reduce places removed 7 places and 7 transitions.
Iterating global reduction 0 with 14 rules applied. Total rules applied 21 place count 420 transition count 944
Symmetric choice reduction at 0 with 2 rule applications. Total rules 23 place count 420 transition count 944
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 27 place count 418 transition count 942
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 0 with 12 rules applied. Total rules applied 39 place count 412 transition count 936
Free-agglomeration rule applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 46 place count 412 transition count 929
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 53 place count 405 transition count 929
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 1 with 3 rules applied. Total rules applied 56 place count 405 transition count 926
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 59 place count 402 transition count 926
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 2 with 2 rules applied. Total rules applied 61 place count 402 transition count 926
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 62 place count 402 transition count 925
Applied a total of 62 rules in 101 ms. Remains 402 /427 variables (removed 25) and now considering 925/951 (removed 26) transitions.
// Phase 1: matrix 925 rows 402 cols
[2020-06-03 11:18:52] [INFO ] Computed 42 place invariants in 11 ms
[2020-06-03 11:18:53] [INFO ] Implicit Places using invariants in 938 ms returned []
// Phase 1: matrix 925 rows 402 cols
[2020-06-03 11:18:53] [INFO ] Computed 42 place invariants in 11 ms
[2020-06-03 11:18:54] [INFO ] State equation strengthened by 6 read => feed constraints.
[2020-06-03 11:18:57] [INFO ] Implicit Places using invariants and state equation in 4759 ms returned []
Implicit Place search using SMT with State Equation took 5702 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 402/731 places, 925/1169 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 925 rows 402 cols
[2020-06-03 11:18:57] [INFO ] Computed 42 place invariants in 10 ms
Support contains 16 out of 402 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 402/402 places, 925/925 transitions.
Applied a total of 0 rules in 14 ms. Remains 402 /402 variables (removed 0) and now considering 925/925 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 402/402 places, 925/925 transitions.
Starting structural reductions, iteration 0 : 402/402 places, 925/925 transitions.
Applied a total of 0 rules in 12 ms. Remains 402 /402 variables (removed 0) and now considering 925/925 (removed 0) transitions.
// Phase 1: matrix 925 rows 402 cols
[2020-06-03 11:18:58] [INFO ] Computed 42 place invariants in 11 ms
[2020-06-03 11:18:58] [INFO ] Implicit Places using invariants in 932 ms returned []
// Phase 1: matrix 925 rows 402 cols
[2020-06-03 11:18:58] [INFO ] Computed 42 place invariants in 11 ms
[2020-06-03 11:18:59] [INFO ] State equation strengthened by 6 read => feed constraints.
[2020-06-03 11:19:03] [INFO ] Implicit Places using invariants and state equation in 4654 ms returned []
Implicit Place search using SMT with State Equation took 5590 ms to find 0 implicit places.
[2020-06-03 11:19:03] [INFO ] Redundant transitions in 192 ms returned []
// Phase 1: matrix 925 rows 402 cols
[2020-06-03 11:19:03] [INFO ] Computed 42 place invariants in 13 ms
[2020-06-03 11:19:05] [INFO ] Dead Transitions using invariants and state equation in 1840 ms returned []
Finished structural reductions, in 1 iterations. Remains : 402/402 places, 925/925 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 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 402 transition count 923
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 400 transition count 923
Applied a total of 4 rules in 16 ms. Remains 400 /402 variables (removed 2) and now considering 923/925 (removed 2) transitions.
// Phase 1: matrix 923 rows 400 cols
[2020-06-03 11:19:05] [INFO ] Computed 42 place invariants in 10 ms
[2020-06-03 11:19:05] [INFO ] Export to MCC properties in file /home/mcc/execution/UpperBounds.sr.xml took 2 ms.
[2020-06-03 11:19:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
info: Time: 3600 - MCC
vrfy: Checking UpperBounds @ ASLink-PT-04a @ 3570 seconds
FORMULA ASLink-PT-04a-UpperBounds-00 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-01 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-02 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-04 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-06 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-08 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ASLink-PT-04a-UpperBounds-03 CANNOT_COMPUTE 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-04a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=UpperBounds.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--timelimit=3570",
"--localtimelimit=0",
"--json=UpperBounds.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 11:19:06 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"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(p149)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"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(p263)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"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(p330)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"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(p166)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 299
},
"exit":
{
"localtimelimitreached": false
},
"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(p241)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"exit":
{
"localtimelimitreached": false
},
"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(p345)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 19,
"markings": 20,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 380
},
"exit":
{
"localtimelimitreached": false
},
"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(p231)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 153,
"markings": 154,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 475
},
"exit":
{
"localtimelimitreached": false
},
"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(p156)",
"processed_size": 9,
"rewrites": 0
},
"result":
{
"edges": 217,
"markings": 218,
"produced_by": "search",
"value": 1
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "bound preserving/insertion"
},
"type": "dfs"
},
"type": "bound",
"workflow": "search"
}
}
],
"exit":
{
"error": null,
"memory": 23820,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "UpperBounds.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*) : MAX(*)"
},
"net":
{
"arcs": 3765,
"conflict_clusters": 49,
"places": 402,
"places_significant": 360,
"singleton_clusters": 0,
"transitions": 925
},
"result":
{
"interim_value": "1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown ",
"preliminary_value": "1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown "
},
"task":
{
"type": "compound"
}
}
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: 1327/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 12864
lola: finding significant places
lola: 402 places, 925 transitions, 360 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(p149) : MAX(p263) : MAX(p330) : MAX(p8) : MAX(p166) : MAX(p304) : MAX(p241) : MAX(p400) : MAX(p345) : MAX(p89) : MAX(p238) : MAX(p231) : MAX(p398) : MAX(p156) : MAX(p215) : MAX(p25)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p149)
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 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p263)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p263)
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 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p330)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p330)
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 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
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: 303080 markings, 496826 edges, 60616 markings/sec, 30 secs
lola: 613717 markings, 1024252 edges, 62127 markings/sec, 35 secs
lola: 917975 markings, 1528533 edges, 60852 markings/sec, 40 secs
lola: 1206754 markings, 2064855 edges, 57756 markings/sec, 45 secs
lola: 1498165 markings, 2573038 edges, 58282 markings/sec, 50 secs
lola: 1800209 markings, 3093069 edges, 60409 markings/sec, 55 secs
lola: 2104416 markings, 3592703 edges, 60841 markings/sec, 60 secs
lola: 2388657 markings, 4078730 edges, 56848 markings/sec, 65 secs
lola: 2692908 markings, 4627186 edges, 60850 markings/sec, 70 secs
lola: 2985490 markings, 5134125 edges, 58516 markings/sec, 75 secs
lola: 3299653 markings, 5662888 edges, 62833 markings/sec, 80 secs
lola: 3597763 markings, 6178364 edges, 59622 markings/sec, 85 secs
lola: 3898800 markings, 6741393 edges, 60207 markings/sec, 90 secs
lola: 4196501 markings, 7294819 edges, 59540 markings/sec, 95 secs
lola: 4489286 markings, 7845086 edges, 58557 markings/sec, 100 secs
lola: 4787390 markings, 8403376 edges, 59621 markings/sec, 105 secs
lola: 5095828 markings, 8937313 edges, 61688 markings/sec, 110 secs
lola: 5386973 markings, 9471199 edges, 58229 markings/sec, 115 secs
lola: 5688564 markings, 10021337 edges, 60318 markings/sec, 120 secs
lola: 5969609 markings, 10535965 edges, 56209 markings/sec, 125 secs
lola: 6264997 markings, 11063120 edges, 59078 markings/sec, 130 secs
lola: 6503741 markings, 11596798 edges, 47749 markings/sec, 135 secs
lola: 6819466 markings, 12185433 edges, 63145 markings/sec, 140 secs
lola: 7097175 markings, 12712438 edges, 55542 markings/sec, 145 secs
lola: 7398934 markings, 13199243 edges, 60352 markings/sec, 150 secs
lola: 7694748 markings, 13702750 edges, 59163 markings/sec, 155 secs
lola: 7992286 markings, 14207577 edges, 59508 markings/sec, 160 secs
lola: 8290271 markings, 14689876 edges, 59597 markings/sec, 165 secs
lola: 8572120 markings, 15205916 edges, 56370 markings/sec, 170 secs
lola: 8862996 markings, 15727503 edges, 58175 markings/sec, 175 secs
lola: 9155413 markings, 16235563 edges, 58483 markings/sec, 180 secs
lola: 9451692 markings, 16793469 edges, 59256 markings/sec, 185 secs
lola: 9748165 markings, 17342422 edges, 59295 markings/sec, 190 secs
lola: 10035631 markings, 17875102 edges, 57493 markings/sec, 195 secs
lola: 10330140 markings, 18436210 edges, 58902 markings/sec, 200 secs
lola: 10635022 markings, 18965773 edges, 60976 markings/sec, 205 secs
lola: 10921176 markings, 19478268 edges, 57231 markings/sec, 210 secs
lola: 11216837 markings, 20014132 edges, 59132 markings/sec, 215 secs
lola: 11513752 markings, 20538029 edges, 59383 markings/sec, 220 secs
lola: 11817154 markings, 21051215 edges, 60680 markings/sec, 225 secs
lola: 12088151 markings, 21563009 edges, 54199 markings/sec, 230 secs
lola: 12381915 markings, 22086554 edges, 58753 markings/sec, 235 secs
lola: 12645473 markings, 22594678 edges, 52712 markings/sec, 240 secs
lola: 12918770 markings, 23151653 edges, 54659 markings/sec, 245 secs
lola: 13220315 markings, 23707108 edges, 60309 markings/sec, 250 secs
lola: 13516791 markings, 24258446 edges, 59295 markings/sec, 255 secs
lola: 13798487 markings, 24763799 edges, 56339 markings/sec, 260 secs
lola: 14103593 markings, 25296353 edges, 61021 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 782476 KB
lola: time consumption: 277 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 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p166)
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 5 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p304)
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: 297019 markings, 314634 edges, 59404 markings/sec, 30 secs
lola: 617261 markings, 635921 edges, 64048 markings/sec, 35 secs
lola: 936405 markings, 956109 edges, 63829 markings/sec, 40 secs
lola: 1254739 markings, 1275485 edges, 63667 markings/sec, 45 secs
lola: 1572410 markings, 1594194 edges, 63534 markings/sec, 50 secs
lola: 1889154 markings, 1911974 edges, 63349 markings/sec, 55 secs
lola: 2205759 markings, 2229615 edges, 63321 markings/sec, 60 secs
lola: 2523000 markings, 2547894 edges, 63448 markings/sec, 65 secs
lola: 2838299 markings, 2864226 edges, 63060 markings/sec, 70 secs
lola: 3155323 markings, 3182285 edges, 63405 markings/sec, 75 secs
lola: 3472191 markings, 3500190 edges, 63374 markings/sec, 80 secs
lola: 3788241 markings, 3817273 edges, 63210 markings/sec, 85 secs
lola: 4103488 markings, 4133551 edges, 63049 markings/sec, 90 secs
lola: 4418866 markings, 4449961 edges, 63076 markings/sec, 95 secs
lola: 4734521 markings, 4766649 edges, 63131 markings/sec, 100 secs
lola: 5049605 markings, 5082763 edges, 63017 markings/sec, 105 secs
lola: 5365277 markings, 5399468 edges, 63134 markings/sec, 110 secs
lola: 5682377 markings, 5717604 edges, 63420 markings/sec, 115 secs
lola: 5998305 markings, 6034565 edges, 63186 markings/sec, 120 secs
lola: 6315096 markings, 6352392 edges, 63358 markings/sec, 125 secs
lola: 6630283 markings, 6668610 edges, 63037 markings/sec, 130 secs
lola: 6946838 markings, 6986201 edges, 63311 markings/sec, 135 secs
lola: 7262599 markings, 7302994 edges, 63152 markings/sec, 140 secs
lola: 7578824 markings, 7620254 edges, 63245 markings/sec, 145 secs
lola: 7894401 markings, 7936863 edges, 63115 markings/sec, 150 secs
lola: 8210491 markings, 8253986 edges, 63218 markings/sec, 155 secs
lola: 8527036 markings, 8571567 edges, 63309 markings/sec, 160 secs
lola: 8842973 markings, 8888537 edges, 63187 markings/sec, 165 secs
lola: 9156030 markings, 9202617 edges, 62611 markings/sec, 170 secs
lola: 9467495 markings, 9515103 edges, 62293 markings/sec, 175 secs
lola: 9778641 markings, 9827266 edges, 62229 markings/sec, 180 secs
lola: 10089718 markings, 10139361 edges, 62215 markings/sec, 185 secs
lola: 10401187 markings, 10451848 edges, 62294 markings/sec, 190 secs
lola: 10712987 markings, 10764667 edges, 62360 markings/sec, 195 secs
lola: 11024774 markings, 11077474 edges, 62357 markings/sec, 200 secs
lola: 11336253 markings, 11389972 edges, 62296 markings/sec, 205 secs
lola: 11648111 markings, 11702850 edges, 62372 markings/sec, 210 secs
lola: 11959694 markings, 12015452 edges, 62317 markings/sec, 215 secs
lola: 12270695 markings, 12327471 edges, 62200 markings/sec, 220 secs
lola: 12581745 markings, 12639537 edges, 62210 markings/sec, 225 secs
lola: 12893145 markings, 12951956 edges, 62280 markings/sec, 230 secs
lola: 13204299 markings, 13264127 edges, 62231 markings/sec, 235 secs
lola: 13512794 markings, 13573632 edges, 61699 markings/sec, 240 secs
lola: 13822865 markings, 13884716 edges, 62014 markings/sec, 245 secs
lola: 14132358 markings, 14195221 edges, 61899 markings/sec, 250 secs
lola: 14429826 markings, 14493662 edges, 59494 markings/sec, 255 secs
lola: 14737705 markings, 14802548 edges, 61576 markings/sec, 260 secs
lola: 15044936 markings, 15110784 edges, 61446 markings/sec, 265 secs
lola: 15354107 markings, 15420966 edges, 61834 markings/sec, 270 secs
lola: 15664118 markings, 15731992 edges, 62002 markings/sec, 275 secs
lola: 15975572 markings, 16044464 edges, 62291 markings/sec, 280 secs
lola: 16285096 markings, 16355000 edges, 61905 markings/sec, 285 secs
lola: 16593225 markings, 16664138 edges, 61626 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1800392 KB
lola: time consumption: 576 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 6 will run for 299 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p241)
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 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p400)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p400)
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: 600819 markings, 612657 edges, 120164 markings/sec, 30 secs
lola: 1195988 markings, 1219524 edges, 119034 markings/sec, 35 secs
lola: 1790784 markings, 1826015 edges, 118959 markings/sec, 40 secs
lola: 2386050 markings, 2432978 edges, 119053 markings/sec, 45 secs
lola: 2966006 markings, 3024334 edges, 115991 markings/sec, 50 secs
lola: 3557385 markings, 3627336 edges, 118276 markings/sec, 55 secs
lola: 4148333 markings, 4229900 edges, 118190 markings/sec, 60 secs
lola: 4734630 markings, 4827725 edges, 117259 markings/sec, 65 secs
lola: 5324492 markings, 5429178 edges, 117972 markings/sec, 70 secs
lola: 5916000 markings, 6032313 edges, 118302 markings/sec, 75 secs
lola: 6506423 markings, 6634341 edges, 118085 markings/sec, 80 secs
lola: 7098982 markings, 7238548 edges, 118512 markings/sec, 85 secs
lola: 7689109 markings, 7840276 edges, 118025 markings/sec, 90 secs
lola: 8272114 markings, 8434738 edges, 116601 markings/sec, 95 secs
lola: 8863178 markings, 9037421 edges, 118213 markings/sec, 100 secs
lola: 9426204 markings, 9611515 edges, 112605 markings/sec, 105 secs
lola: 10006662 markings, 10203380 edges, 116092 markings/sec, 110 secs
lola: 10593576 markings, 10801831 edges, 117383 markings/sec, 115 secs
lola: 11180697 markings, 11400495 edges, 117424 markings/sec, 120 secs
lola: 11769075 markings, 12000436 edges, 117676 markings/sec, 125 secs
lola: 12359516 markings, 12602482 edges, 118088 markings/sec, 130 secs
lola: 12948950 markings, 13203502 edges, 117887 markings/sec, 135 secs
lola: 13539757 markings, 13805923 edges, 118161 markings/sec, 140 secs
lola: 14135245 markings, 14413115 edges, 119098 markings/sec, 145 secs
lola: 14725927 markings, 15015408 edges, 118136 markings/sec, 150 secs
lola: 15314429 markings, 15615477 edges, 117700 markings/sec, 155 secs
lola: 15901744 markings, 16214338 edges, 117463 markings/sec, 160 secs
lola: 16489566 markings, 16813713 edges, 117564 markings/sec, 165 secs
lola: 17080021 markings, 17415775 edges, 118091 markings/sec, 170 secs
lola: 17670938 markings, 18018305 edges, 118183 markings/sec, 175 secs
lola: 18263041 markings, 18622048 edges, 118421 markings/sec, 180 secs
lola: 18851799 markings, 19222380 edges, 117752 markings/sec, 185 secs
lola: 19435839 markings, 19817898 edges, 116808 markings/sec, 190 secs
lola: 20024862 markings, 20418500 edges, 117805 markings/sec, 195 secs
lola: 20617127 markings, 21022405 edges, 118453 markings/sec, 200 secs
lola: 21206447 markings, 21623310 edges, 117864 markings/sec, 205 secs
lola: 21797309 markings, 22225788 edges, 118172 markings/sec, 210 secs
lola: 22386862 markings, 22826926 edges, 117911 markings/sec, 215 secs
lola: 22978744 markings, 23430442 edges, 118376 markings/sec, 220 secs
lola: 23569837 markings, 24033155 edges, 118219 markings/sec, 225 secs
lola: 24159656 markings, 24634566 edges, 117964 markings/sec, 230 secs
lola: 24748459 markings, 25234945 edges, 117761 markings/sec, 235 secs
lola: 25313638 markings, 25811233 edges, 113036 markings/sec, 240 secs
lola: 25892327 markings, 26401294 edges, 115738 markings/sec, 245 secs
lola: 26475860 markings, 26996299 edges, 116707 markings/sec, 250 secs
lola: 27065621 markings, 27597652 edges, 117952 markings/sec, 255 secs
lola: 27650556 markings, 28194084 edges, 116987 markings/sec, 260 secs
lola: 28235357 markings, 28790380 edges, 116960 markings/sec, 265 secs
lola: 28824030 markings, 29390625 edges, 117735 markings/sec, 270 secs
lola: 29412331 markings, 29990489 edges, 117660 markings/sec, 275 secs
lola: 29999710 markings, 30589413 edges, 117476 markings/sec, 280 secs
lola: 30587759 markings, 31189022 edges, 117610 markings/sec, 285 secs
lola: 31143839 markings, 31756031 edges, 111216 markings/sec, 290 secs
lola: 31716828 markings, 32340283 edges, 114598 markings/sec, 295 secs
lola: 32302239 markings, 32937201 edges, 117082 markings/sec, 300 secs
lola: 32884517 markings, 33530924 edges, 116456 markings/sec, 305 secs
lola: 33467279 markings, 34125141 edges, 116552 markings/sec, 310 secs
lola: 34052928 markings, 34722303 edges, 117130 markings/sec, 315 secs
lola: 34640765 markings, 35321692 edges, 117567 markings/sec, 320 secs
lola: 35226234 markings, 35918672 edges, 117094 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3555392 KB
lola: time consumption: 908 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 8 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p345)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p345)
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: 20 markings, 19 edges
lola: ========================================
lola: subprocess 9 will run for 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p89)
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: 4294967295
lola: 327425 markings, 497572 edges, 65485 markings/sec, 0 secs
lola: 653410 markings, 1026007 edges, 65197 markings/sec, 5 secs
lola: 957972 markings, 1536224 edges, 60912 markings/sec, 10 secs
lola: 1304446 markings, 2073201 edges, 69295 markings/sec, 15 secs
lola: 1614385 markings, 2595187 edges, 61988 markings/sec, 20 secs
lola: 1933918 markings, 3100998 edges, 63907 markings/sec, 25 secs
lola: 2247379 markings, 3637745 edges, 62692 markings/sec, 30 secs
lola: 2559568 markings, 4150958 edges, 62438 markings/sec, 35 secs
lola: 2897479 markings, 4689461 edges, 67582 markings/sec, 40 secs
lola: 3228168 markings, 5224851 edges, 66138 markings/sec, 45 secs
lola: 3515009 markings, 5724804 edges, 57368 markings/sec, 50 secs
lola: 3826217 markings, 6229110 edges, 62242 markings/sec, 55 secs
lola: 4145429 markings, 6741535 edges, 63842 markings/sec, 60 secs
lola: 4440919 markings, 7249661 edges, 59098 markings/sec, 65 secs
lola: 4761934 markings, 7808153 edges, 64203 markings/sec, 70 secs
lola: 5057106 markings, 8296335 edges, 59034 markings/sec, 75 secs
lola: 5404842 markings, 8833769 edges, 69547 markings/sec, 80 secs
lola: 5731971 markings, 9366633 edges, 65426 markings/sec, 85 secs
lola: 6055794 markings, 9898580 edges, 64765 markings/sec, 90 secs
lola: 6378869 markings, 10429780 edges, 64615 markings/sec, 95 secs
lola: 6669685 markings, 10899014 edges, 58163 markings/sec, 100 secs
lola: 6975285 markings, 11374867 edges, 61120 markings/sec, 105 secs
lola: 7282596 markings, 11852914 edges, 61462 markings/sec, 110 secs
lola: 7582319 markings, 12344954 edges, 59945 markings/sec, 115 secs
lola: 7882621 markings, 12840673 edges, 60060 markings/sec, 120 secs
lola: 8186542 markings, 13330069 edges, 60784 markings/sec, 125 secs
lola: 8492656 markings, 13822996 edges, 61223 markings/sec, 130 secs
lola: 8796881 markings, 14321359 edges, 60845 markings/sec, 135 secs
lola: 9085286 markings, 14807647 edges, 57681 markings/sec, 140 secs
lola: 9387038 markings, 15315707 edges, 60350 markings/sec, 145 secs
lola: 9685913 markings, 15814668 edges, 59775 markings/sec, 150 secs
lola: 9977524 markings, 16303970 edges, 58322 markings/sec, 155 secs
lola: 10275299 markings, 16798355 edges, 59555 markings/sec, 160 secs
lola: 10590844 markings, 17312041 edges, 63109 markings/sec, 165 secs
lola: 10913430 markings, 17840708 edges, 64517 markings/sec, 170 secs
lola: 11215152 markings, 18334208 edges, 60344 markings/sec, 175 secs
lola: 11529553 markings, 18847479 edges, 62880 markings/sec, 180 secs
lola: 11854760 markings, 19373905 edges, 65041 markings/sec, 185 secs
lola: 12114319 markings, 19855632 edges, 51912 markings/sec, 190 secs
lola: 12422085 markings, 20363279 edges, 61553 markings/sec, 195 secs
lola: 12724831 markings, 20879967 edges, 60549 markings/sec, 200 secs
lola: 13030063 markings, 21386587 edges, 61046 markings/sec, 205 secs
lola: 13326411 markings, 21887664 edges, 59270 markings/sec, 210 secs
lola: 13626250 markings, 22393288 edges, 59968 markings/sec, 215 secs
lola: 13927278 markings, 22900011 edges, 60206 markings/sec, 220 secs
lola: 14212384 markings, 23387187 edges, 57021 markings/sec, 225 secs
lola: 14531278 markings, 23907718 edges, 63779 markings/sec, 230 secs
lola: 14861263 markings, 24441099 edges, 65997 markings/sec, 235 secs
lola: 15166799 markings, 24957649 edges, 61107 markings/sec, 240 secs
lola: 15493195 markings, 25493442 edges, 65279 markings/sec, 245 secs
lola: 15802411 markings, 26014953 edges, 61843 markings/sec, 250 secs
lola: 16120613 markings, 26522529 edges, 63640 markings/sec, 255 secs
lola: 16434413 markings, 27043443 edges, 62760 markings/sec, 260 secs
lola: 16755111 markings, 27569565 edges, 64140 markings/sec, 265 secs
lola: 17066230 markings, 28090016 edges, 62224 markings/sec, 270 secs
lola: 17394328 markings, 28617827 edges, 65620 markings/sec, 275 secs
lola: 17685113 markings, 29123626 edges, 58157 markings/sec, 280 secs
lola: 17946084 markings, 29611555 edges, 52194 markings/sec, 285 secs
lola: 18262859 markings, 30125449 edges, 63355 markings/sec, 290 secs
lola: 18570466 markings, 30643280 edges, 61521 markings/sec, 295 secs
lola: 18862740 markings, 31162715 edges, 58455 markings/sec, 300 secs
lola: 19175785 markings, 31670586 edges, 62609 markings/sec, 305 secs
lola: 19484613 markings, 32185823 edges, 61766 markings/sec, 310 secs
lola: 19775301 markings, 32707586 edges, 58138 markings/sec, 315 secs
lola: 20083046 markings, 33213511 edges, 61549 markings/sec, 320 secs
lola: 20389286 markings, 33716021 edges, 61248 markings/sec, 325 secs
lola: 20673196 markings, 34215382 edges, 56782 markings/sec, 330 secs
lola: 20942691 markings, 34680919 edges, 53899 markings/sec, 335 secs
lola: 21252586 markings, 35170693 edges, 61979 markings/sec, 340 secs
lola: 21563141 markings, 35643786 edges, 62111 markings/sec, 345 secs
lola: 21865821 markings, 36115519 edges, 60536 markings/sec, 350 secs
lola: 22174129 markings, 36595295 edges, 61662 markings/sec, 355 secs
lola: 22467627 markings, 37075486 edges, 58700 markings/sec, 360 secs
lola: 22766457 markings, 37567661 edges, 59766 markings/sec, 365 secs
lola: 23064994 markings, 38051770 edges, 59707 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1247616 KB
lola: time consumption: 1288 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 10 will run for 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p238)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p238)
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: 594237 markings, 732097 edges, 118847 markings/sec, 30 secs
lola: 1173923 markings, 1464204 edges, 115937 markings/sec, 35 secs
lola: 1725816 markings, 2214111 edges, 110379 markings/sec, 40 secs
lola: 2272064 markings, 2964808 edges, 109250 markings/sec, 45 secs
lola: 2845230 markings, 3693486 edges, 114633 markings/sec, 50 secs
lola: 3398528 markings, 4418481 edges, 110660 markings/sec, 55 secs
lola: 3933191 markings, 5160641 edges, 106933 markings/sec, 60 secs
lola: 4471813 markings, 5918206 edges, 107724 markings/sec, 65 secs
lola: 5015545 markings, 6669183 edges, 108746 markings/sec, 70 secs
lola: 5544398 markings, 7409134 edges, 105771 markings/sec, 75 secs
lola: 6125912 markings, 8151644 edges, 116303 markings/sec, 80 secs
lola: 6682791 markings, 8899846 edges, 111376 markings/sec, 85 secs
lola: 7228578 markings, 9614387 edges, 109157 markings/sec, 90 secs
lola: 7753431 markings, 10346020 edges, 104971 markings/sec, 95 secs
lola: 8267295 markings, 11057979 edges, 102773 markings/sec, 100 secs
lola: 8781994 markings, 11796100 edges, 102940 markings/sec, 105 secs
lola: 9294737 markings, 12558473 edges, 102549 markings/sec, 110 secs
lola: 9840301 markings, 13295430 edges, 109113 markings/sec, 115 secs
lola: 10362936 markings, 14040553 edges, 104527 markings/sec, 120 secs
lola: 10895032 markings, 14795638 edges, 106419 markings/sec, 125 secs
lola: 11418949 markings, 15515134 edges, 104783 markings/sec, 130 secs
lola: 11999050 markings, 16256596 edges, 116020 markings/sec, 135 secs
lola: 12561269 markings, 17003414 edges, 112444 markings/sec, 140 secs
lola: 13109940 markings, 17748100 edges, 109734 markings/sec, 145 secs
lola: 13648905 markings, 18473640 edges, 107793 markings/sec, 150 secs
lola: 14181805 markings, 19185840 edges, 106580 markings/sec, 155 secs
lola: 14698366 markings, 19912876 edges, 103312 markings/sec, 160 secs
lola: 15227101 markings, 20644350 edges, 105747 markings/sec, 165 secs
lola: 15730257 markings, 21371296 edges, 100631 markings/sec, 170 secs
lola: 16246386 markings, 22107018 edges, 103226 markings/sec, 175 secs
lola: 16775813 markings, 22847094 edges, 105885 markings/sec, 180 secs
lola: 17275465 markings, 23572986 edges, 99930 markings/sec, 185 secs
lola: 17779884 markings, 24312447 edges, 100884 markings/sec, 190 secs
lola: 18281106 markings, 25048699 edges, 100244 markings/sec, 195 secs
lola: 18835357 markings, 25797393 edges, 110850 markings/sec, 200 secs
lola: 19336009 markings, 26550320 edges, 100130 markings/sec, 205 secs
lola: 19875165 markings, 27275994 edges, 107831 markings/sec, 210 secs
lola: 20402221 markings, 28027260 edges, 105411 markings/sec, 215 secs
lola: 20900568 markings, 28714527 edges, 99669 markings/sec, 220 secs
lola: 21430413 markings, 29366722 edges, 105969 markings/sec, 225 secs
lola: 21925580 markings, 30016998 edges, 99033 markings/sec, 230 secs
lola: 22411449 markings, 30664882 edges, 97174 markings/sec, 235 secs
lola: 22933408 markings, 31354495 edges, 104392 markings/sec, 240 secs
lola: 23470121 markings, 32037326 edges, 107343 markings/sec, 245 secs
lola: 23972880 markings, 32700540 edges, 100552 markings/sec, 250 secs
lola: 24440729 markings, 33368421 edges, 93570 markings/sec, 255 secs
lola: 24919727 markings, 34031757 edges, 95800 markings/sec, 260 secs
lola: 25376974 markings, 34690905 edges, 91449 markings/sec, 265 secs
lola: 25853147 markings, 35342380 edges, 95235 markings/sec, 270 secs
lola: 26354781 markings, 36038665 edges, 100327 markings/sec, 275 secs
lola: 26888828 markings, 36746180 edges, 106809 markings/sec, 280 secs
lola: 27414123 markings, 37456476 edges, 105059 markings/sec, 285 secs
lola: 27944223 markings, 38151888 edges, 106020 markings/sec, 290 secs
lola: 28469396 markings, 38852785 edges, 105035 markings/sec, 295 secs
lola: 28977173 markings, 39557174 edges, 101555 markings/sec, 300 secs
lola: 29471122 markings, 40222578 edges, 98790 markings/sec, 305 secs
lola: 29938289 markings, 40886518 edges, 93433 markings/sec, 310 secs
lola: 30391823 markings, 41559074 edges, 90707 markings/sec, 315 secs
lola: 30854058 markings, 42219754 edges, 92447 markings/sec, 320 secs
lola: 31331785 markings, 42892979 edges, 95545 markings/sec, 325 secs
lola: 31781598 markings, 43565855 edges, 89963 markings/sec, 330 secs
lola: 32248599 markings, 44218679 edges, 93400 markings/sec, 335 secs
lola: 32721931 markings, 44888120 edges, 94666 markings/sec, 340 secs
lola: 33161510 markings, 45560202 edges, 87916 markings/sec, 345 secs
lola: 33679975 markings, 46259569 edges, 103693 markings/sec, 350 secs
lola: 34214546 markings, 46972381 edges, 106914 markings/sec, 355 secs
lola: 34733959 markings, 47691606 edges, 103883 markings/sec, 360 secs
lola: 35262844 markings, 48418501 edges, 105777 markings/sec, 365 secs
lola: 35782063 markings, 49141155 edges, 103844 markings/sec, 370 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1921436 KB
lola: time consumption: 1668 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 380 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p231)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p231)
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: 154 markings, 153 edges
lola: ========================================
lola: subprocess 12 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p398)
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: 599586 markings, 611401 edges, 119917 markings/sec, 30 secs
lola: 1194803 markings, 1218317 edges, 119043 markings/sec, 35 secs
lola: 1787875 markings, 1823046 edges, 118614 markings/sec, 40 secs
lola: 2379444 markings, 2426242 edges, 118314 markings/sec, 45 secs
lola: 2969822 markings, 3028224 edges, 118076 markings/sec, 50 secs
lola: 3560397 markings, 3630408 edges, 118115 markings/sec, 55 secs
lola: 4149147 markings, 4230731 edges, 117750 markings/sec, 60 secs
lola: 4737373 markings, 4830520 edges, 117645 markings/sec, 65 secs
lola: 5324929 markings, 5429623 edges, 117511 markings/sec, 70 secs
lola: 5911760 markings, 6027991 edges, 117366 markings/sec, 75 secs
lola: 6497929 markings, 6625680 edges, 117234 markings/sec, 80 secs
lola: 7087260 markings, 7226595 edges, 117866 markings/sec, 85 secs
lola: 7675717 markings, 7826620 edges, 117691 markings/sec, 90 secs
lola: 8262558 markings, 8424997 edges, 117368 markings/sec, 95 secs
lola: 8850075 markings, 9024062 edges, 117503 markings/sec, 100 secs
lola: 9435978 markings, 9621481 edges, 117181 markings/sec, 105 secs
lola: 10021117 markings, 10218122 edges, 117028 markings/sec, 110 secs
lola: 10607353 markings, 10815880 edges, 117247 markings/sec, 115 secs
lola: 11192629 markings, 11412660 edges, 117055 markings/sec, 120 secs
lola: 11777311 markings, 12008833 edges, 116936 markings/sec, 125 secs
lola: 12361247 markings, 12604249 edges, 116787 markings/sec, 130 secs
lola: 12944384 markings, 13198846 edges, 116627 markings/sec, 135 secs
lola: 13529064 markings, 13795023 edges, 116936 markings/sec, 140 secs
lola: 14118291 markings, 14395830 edges, 117845 markings/sec, 145 secs
lola: 14706216 markings, 14995311 edges, 117585 markings/sec, 150 secs
lola: 15293536 markings, 15594175 edges, 117464 markings/sec, 155 secs
lola: 15879687 markings, 16191846 edges, 117230 markings/sec, 160 secs
lola: 16464715 markings, 16788374 edges, 117006 markings/sec, 165 secs
lola: 17051530 markings, 17386724 edges, 117363 markings/sec, 170 secs
lola: 17637772 markings, 17984491 edges, 117248 markings/sec, 175 secs
lola: 18223424 markings, 18581655 edges, 117130 markings/sec, 180 secs
lola: 18809344 markings, 19179090 edges, 117184 markings/sec, 185 secs
lola: 19393768 markings, 19774999 edges, 116885 markings/sec, 190 secs
lola: 19977640 markings, 20370351 edges, 116774 markings/sec, 195 secs
lola: 20564589 markings, 20968836 edges, 117390 markings/sec, 200 secs
lola: 21149948 markings, 21565700 edges, 117072 markings/sec, 205 secs
lola: 21734413 markings, 22161652 edges, 116893 markings/sec, 210 secs
lola: 22319706 markings, 22758450 edges, 117059 markings/sec, 215 secs
lola: 22904216 markings, 23354451 edges, 116902 markings/sec, 220 secs
lola: 23480563 markings, 23942125 edges, 115269 markings/sec, 225 secs
lola: 24065415 markings, 24538474 edges, 116970 markings/sec, 230 secs
lola: 24648951 markings, 25133479 edges, 116707 markings/sec, 235 secs
lola: 25231805 markings, 25727790 edges, 116571 markings/sec, 240 secs
lola: 25813949 markings, 26321380 edges, 116429 markings/sec, 245 secs
lola: 26396124 markings, 26914994 edges, 116435 markings/sec, 250 secs
lola: 26978965 markings, 27509292 edges, 116568 markings/sec, 255 secs
lola: 27563904 markings, 28105728 edges, 116988 markings/sec, 260 secs
lola: 28147911 markings, 28701214 edges, 116801 markings/sec, 265 secs
lola: 28732432 markings, 29297227 edges, 116904 markings/sec, 270 secs
lola: 29315900 markings, 29892163 edges, 116694 markings/sec, 275 secs
lola: 29899264 markings, 30486992 edges, 116673 markings/sec, 280 secs
lola: 30483187 markings, 31082394 edges, 116785 markings/sec, 285 secs
lola: 31065468 markings, 31676123 edges, 116456 markings/sec, 290 secs
lola: 31646304 markings, 32268375 edges, 116167 markings/sec, 295 secs
lola: 32229169 markings, 32862696 edges, 116573 markings/sec, 300 secs
lola: 32810195 markings, 33455142 edges, 116205 markings/sec, 305 secs
lola: 33390916 markings, 34047276 edges, 116144 markings/sec, 310 secs
lola: 33974791 markings, 34642630 edges, 116775 markings/sec, 315 secs
lola: 34557027 markings, 35236310 edges, 116447 markings/sec, 320 secs
lola: 35138720 markings, 35829438 edges, 116339 markings/sec, 325 secs
lola: 35721232 markings, 36423399 edges, 116502 markings/sec, 330 secs
lola: 36302918 markings, 37016517 edges, 116337 markings/sec, 335 secs
lola: 36884615 markings, 37609646 edges, 116339 markings/sec, 340 secs
lola: 37466688 markings, 38203163 edges, 116415 markings/sec, 345 secs
lola: 38047256 markings, 38795143 edges, 116114 markings/sec, 350 secs
lola: 38627536 markings, 39386831 edges, 116056 markings/sec, 355 secs
lola: 39208034 markings, 39978737 edges, 116100 markings/sec, 360 secs
lola: 39787732 markings, 40569828 edges, 115940 markings/sec, 365 secs
lola: 40370155 markings, 41163698 edges, 116485 markings/sec, 370 secs
lola: 40952812 markings, 41757811 edges, 116531 markings/sec, 375 secs
lola: 41533536 markings, 42349951 edges, 116145 markings/sec, 380 secs
lola: 42113904 markings, 42941727 edges, 116074 markings/sec, 385 secs
lola: 42694052 markings, 43533275 edges, 116030 markings/sec, 390 secs
lola: 43272044 markings, 44122628 edges, 115598 markings/sec, 395 secs
lola: 43854084 markings, 44716108 edges, 116408 markings/sec, 400 secs
lola: 44433877 markings, 45307299 edges, 115959 markings/sec, 405 secs
lola: 45013205 markings, 45898012 edges, 115866 markings/sec, 410 secs
lola: 45593243 markings, 46489454 edges, 116008 markings/sec, 415 secs
lola: 46171979 markings, 47079566 edges, 115747 markings/sec, 420 secs
lola: 46748676 markings, 47667597 edges, 115339 markings/sec, 425 secs
lola: 47329636 markings, 48259978 edges, 116192 markings/sec, 430 secs
lola: 47909784 markings, 48851528 edges, 116030 markings/sec, 435 secs
lola: 48489280 markings, 49442414 edges, 115899 markings/sec, 440 secs
lola: 49068184 markings, 50032697 edges, 115781 markings/sec, 445 secs
lola: 49645608 markings, 50621471 edges, 115485 markings/sec, 450 secs
lola: 50223777 markings, 51211008 edges, 115634 markings/sec, 455 secs
lola: 50803043 markings, 51801658 edges, 115853 markings/sec, 460 secs
lola: 51381384 markings, 52391367 edges, 115668 markings/sec, 465 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown unknown unknown unknown
lola: memory consumption: 5197388 KB
lola: time consumption: 2144 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 13 will run for 475 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p156)
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: 218 markings, 217 edges
lola: ========================================
lola: subprocess 14 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p215)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p215)
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: 277291 markings, 312779 edges, 55458 markings/sec, 30 secs
lola: 563149 markings, 627993 edges, 57172 markings/sec, 35 secs
lola: 849204 markings, 944979 edges, 57211 markings/sec, 40 secs
lola: 1134754 markings, 1262295 edges, 57110 markings/sec, 45 secs
lola: 1418977 markings, 1579815 edges, 56845 markings/sec, 50 secs
lola: 1716838 markings, 1912672 edges, 59572 markings/sec, 55 secs
lola: 2065206 markings, 2346785 edges, 69674 markings/sec, 60 secs
lola: 2408815 markings, 2812708 edges, 68722 markings/sec, 65 secs
lola: 2751874 markings, 3285504 edges, 68612 markings/sec, 70 secs
lola: 3100967 markings, 3754699 edges, 69819 markings/sec, 75 secs
lola: 3395510 markings, 4160067 edges, 58909 markings/sec, 80 secs
lola: 3735451 markings, 4620579 edges, 67988 markings/sec, 85 secs
lola: 4098397 markings, 5089808 edges, 72589 markings/sec, 90 secs
lola: 4433250 markings, 5543855 edges, 66971 markings/sec, 95 secs
lola: 4737500 markings, 6098502 edges, 60850 markings/sec, 100 secs
lola: 5091791 markings, 6559340 edges, 70858 markings/sec, 105 secs
lola: 5449942 markings, 7012116 edges, 71630 markings/sec, 110 secs
lola: 5782911 markings, 7493288 edges, 66594 markings/sec, 115 secs
lola: 6095562 markings, 8036532 edges, 62530 markings/sec, 120 secs
lola: 6455634 markings, 8499437 edges, 72014 markings/sec, 125 secs
lola: 6799593 markings, 8953890 edges, 68792 markings/sec, 130 secs
lola: 7134729 markings, 9467626 edges, 67027 markings/sec, 135 secs
lola: 7454846 markings, 9893726 edges, 64023 markings/sec, 140 secs
lola: 7769304 markings, 10299583 edges, 62892 markings/sec, 145 secs
lola: 8043341 markings, 10675079 edges, 54807 markings/sec, 150 secs
lola: 8325572 markings, 11127055 edges, 56446 markings/sec, 155 secs
lola: 8626595 markings, 11645111 edges, 60205 markings/sec, 160 secs
lola: 8989996 markings, 12092351 edges, 72680 markings/sec, 165 secs
lola: 9348445 markings, 12520057 edges, 71690 markings/sec, 170 secs
lola: 9687325 markings, 13014799 edges, 67776 markings/sec, 175 secs
lola: 10046221 markings, 13493155 edges, 71779 markings/sec, 180 secs
lola: 10401319 markings, 13975665 edges, 71020 markings/sec, 185 secs
lola: 10724708 markings, 14421023 edges, 64678 markings/sec, 190 secs
lola: 11051202 markings, 14909191 edges, 65299 markings/sec, 195 secs
lola: 11349491 markings, 15476062 edges, 59658 markings/sec, 200 secs
lola: 11619208 markings, 16071268 edges, 53943 markings/sec, 205 secs
lola: 11982814 markings, 16520441 edges, 72721 markings/sec, 210 secs
lola: 12343456 markings, 16950113 edges, 72128 markings/sec, 215 secs
lola: 12681687 markings, 17447237 edges, 67646 markings/sec, 220 secs
lola: 13040738 markings, 17922060 edges, 71810 markings/sec, 225 secs
lola: 13394492 markings, 18402328 edges, 70751 markings/sec, 230 secs
lola: 13716931 markings, 18855427 edges, 64488 markings/sec, 235 secs
lola: 14041724 markings, 19345677 edges, 64959 markings/sec, 240 secs
lola: 14338820 markings, 19911342 edges, 59419 markings/sec, 245 secs
lola: 14605793 markings, 20506213 edges, 53395 markings/sec, 250 secs
lola: 14970757 markings, 20957286 edges, 72993 markings/sec, 255 secs
lola: 15332451 markings, 21387778 edges, 72339 markings/sec, 260 secs
lola: 15671294 markings, 21884540 edges, 67769 markings/sec, 265 secs
lola: 16030398 markings, 22360296 edges, 71821 markings/sec, 270 secs
lola: 16384572 markings, 22840829 edges, 70835 markings/sec, 275 secs
lola: 16706606 markings, 23293578 edges, 64407 markings/sec, 280 secs
lola: 17031679 markings, 23783817 edges, 65015 markings/sec, 285 secs
lola: 17362681 markings, 24313106 edges, 66200 markings/sec, 290 secs
lola: 17675082 markings, 24703915 edges, 62480 markings/sec, 295 secs
lola: 17985332 markings, 25116418 edges, 62050 markings/sec, 300 secs
lola: 18291338 markings, 25556913 edges, 61201 markings/sec, 305 secs
lola: 18602557 markings, 25969603 edges, 62244 markings/sec, 310 secs
lola: 18907106 markings, 26409490 edges, 60910 markings/sec, 315 secs
lola: 19216260 markings, 26815490 edges, 61831 markings/sec, 320 secs
lola: 19486632 markings, 27249152 edges, 54074 markings/sec, 325 secs
lola: 19728614 markings, 27539894 edges, 48396 markings/sec, 330 secs
lola: 20013363 markings, 27991200 edges, 56950 markings/sec, 335 secs
lola: 20294578 markings, 28525381 edges, 56243 markings/sec, 340 secs
lola: 20593416 markings, 29046586 edges, 59768 markings/sec, 345 secs
lola: 20955368 markings, 29494130 edges, 72390 markings/sec, 350 secs
lola: 21310270 markings, 29925721 edges, 70980 markings/sec, 355 secs
lola: 21652871 markings, 30414650 edges, 68520 markings/sec, 360 secs
lola: 22021784 markings, 30870043 edges, 73783 markings/sec, 365 secs
lola: 22381335 markings, 31314363 edges, 71910 markings/sec, 370 secs
lola: 22715368 markings, 31759266 edges, 66807 markings/sec, 375 secs
lola: 23042050 markings, 32257210 edges, 65336 markings/sec, 380 secs
lola: 23390923 markings, 32747227 edges, 69775 markings/sec, 385 secs
lola: 23734442 markings, 33242904 edges, 68704 markings/sec, 390 secs
lola: 24082898 markings, 33729503 edges, 69691 markings/sec, 395 secs
lola: 24433557 markings, 34212345 edges, 70132 markings/sec, 400 secs
lola: 24771393 markings, 34702298 edges, 67567 markings/sec, 405 secs
lola: 25084756 markings, 35141800 edges, 62673 markings/sec, 410 secs
lola: 25401590 markings, 35616996 edges, 63367 markings/sec, 415 secs
lola: 25722020 markings, 36110110 edges, 64086 markings/sec, 420 secs
lola: 26015985 markings, 36673136 edges, 58793 markings/sec, 425 secs
lola: 26284473 markings, 37273784 edges, 53698 markings/sec, 430 secs
lola: 26538479 markings, 37886478 edges, 50801 markings/sec, 435 secs
lola: 26860240 markings, 38388307 edges, 64352 markings/sec, 440 secs
lola: 27228655 markings, 38839890 edges, 73683 markings/sec, 445 secs
lola: 27570241 markings, 39292351 edges, 68317 markings/sec, 450 secs
lola: 27925049 markings, 39770736 edges, 70962 markings/sec, 455 secs
lola: 28295477 markings, 40224519 edges, 74086 markings/sec, 460 secs
lola: 28639673 markings, 40659275 edges, 68839 markings/sec, 465 secs
lola: 28972136 markings, 41130274 edges, 66493 markings/sec, 470 secs
lola: 29301963 markings, 41637759 edges, 65965 markings/sec, 475 secs
lola: 29651830 markings, 42120605 edges, 69973 markings/sec, 480 secs
lola: 29999766 markings, 42606357 edges, 69587 markings/sec, 485 secs
lola: 30341935 markings, 43100491 edges, 68434 markings/sec, 490 secs
lola: 30690373 markings, 43580645 edges, 69688 markings/sec, 495 secs
lola: 31013507 markings, 44040358 edges, 64627 markings/sec, 500 secs
lola: 31327963 markings, 44501967 edges, 62891 markings/sec, 505 secs
lola: 31646068 markings, 44993233 edges, 63621 markings/sec, 510 secs
lola: 31957349 markings, 45503282 edges, 62256 markings/sec, 515 secs
lola: 32236618 markings, 46102148 edges, 55854 markings/sec, 520 secs
lola: 32494989 markings, 46686347 edges, 51674 markings/sec, 525 secs
lola: 32751547 markings, 47302647 edges, 51312 markings/sec, 530 secs
lola: 33115931 markings, 47752309 edges, 72877 markings/sec, 535 secs
lola: 33478634 markings, 48183113 edges, 72541 markings/sec, 540 secs
lola: 33818084 markings, 48677147 edges, 67890 markings/sec, 545 secs
lola: 34190798 markings, 49133580 edges, 74543 markings/sec, 550 secs
lola: 34557652 markings, 49590363 edges, 73371 markings/sec, 555 secs
lola: 34891772 markings, 50021795 edges, 66824 markings/sec, 560 secs
lola: 35222252 markings, 50516568 edges, 66096 markings/sec, 565 secs
lola: 35565433 markings, 51014535 edges, 68636 markings/sec, 570 secs
lola: 35908026 markings, 51507790 edges, 68519 markings/sec, 575 secs
lola: 36257317 markings, 51991923 edges, 69858 markings/sec, 580 secs
lola: 36605111 markings, 52476193 edges, 69559 markings/sec, 585 secs
lola: 36946146 markings, 52967349 edges, 68207 markings/sec, 590 secs
lola: 37257047 markings, 53411762 edges, 62180 markings/sec, 595 secs
lola: 37572938 markings, 53886808 edges, 63178 markings/sec, 600 secs
lola: 37892960 markings, 54380432 edges, 64004 markings/sec, 605 secs
lola: 38208012 markings, 54909768 edges, 63010 markings/sec, 610 secs
lola: 38533353 markings, 55372411 edges, 65068 markings/sec, 615 secs
lola: 38839165 markings, 55738325 edges, 61162 markings/sec, 620 secs
lola: 39146989 markings, 56122876 edges, 61565 markings/sec, 625 secs
lola: 39438792 markings, 56477741 edges, 58361 markings/sec, 630 secs
lola: 39743209 markings, 57021724 edges, 60883 markings/sec, 635 secs
lola: 40046742 markings, 57455070 edges, 60707 markings/sec, 640 secs
lola: 40355616 markings, 57839500 edges, 61775 markings/sec, 645 secs
lola: 40643248 markings, 58178101 edges, 57526 markings/sec, 650 secs
lola: 40957363 markings, 58680356 edges, 62823 markings/sec, 655 secs
lola: 41252037 markings, 59166280 edges, 58935 markings/sec, 660 secs
lola: 41557378 markings, 59538068 edges, 61068 markings/sec, 665 secs
lola: 41850531 markings, 59890782 edges, 58631 markings/sec, 670 secs
lola: 42164524 markings, 60323352 edges, 62799 markings/sec, 675 secs
lola: 42425249 markings, 60844738 edges, 52145 markings/sec, 680 secs
lola: 42693600 markings, 61210898 edges, 53670 markings/sec, 685 secs
lola: 42933238 markings, 61500795 edges, 47928 markings/sec, 690 secs
lola: 43199958 markings, 61858571 edges, 53344 markings/sec, 695 secs
lola: 43472716 markings, 62341611 edges, 54552 markings/sec, 700 secs
lola: 43745201 markings, 62878329 edges, 54497 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown
lola: memory consumption: 2222660 KB
lola: time consumption: 2857 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 15 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p25)
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: 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: 233612 markings, 438534 edges, 46722 markings/sec, 30 secs
lola: 466055 markings, 942164 edges, 46489 markings/sec, 35 secs
lola: 700831 markings, 1456979 edges, 46955 markings/sec, 40 secs
lola: 915077 markings, 1882687 edges, 42849 markings/sec, 45 secs
lola: 1121619 markings, 2276249 edges, 41308 markings/sec, 50 secs
lola: 1338968 markings, 2702529 edges, 43470 markings/sec, 55 secs
lola: 1568778 markings, 3223811 edges, 45962 markings/sec, 60 secs
lola: 1781603 markings, 3705811 edges, 42565 markings/sec, 65 secs
lola: 2018839 markings, 4241024 edges, 47447 markings/sec, 70 secs
lola: 2259819 markings, 4741478 edges, 48196 markings/sec, 75 secs
lola: 2491995 markings, 5269503 edges, 46435 markings/sec, 80 secs
lola: 2702819 markings, 5762309 edges, 42165 markings/sec, 85 secs
lola: 2936993 markings, 6344373 edges, 46835 markings/sec, 90 secs
lola: 3163132 markings, 6857699 edges, 45228 markings/sec, 95 secs
lola: 3409015 markings, 7352977 edges, 49177 markings/sec, 100 secs
lola: 3625014 markings, 7873176 edges, 43200 markings/sec, 105 secs
lola: 3835954 markings, 8427386 edges, 42188 markings/sec, 110 secs
lola: 4068486 markings, 8966584 edges, 46506 markings/sec, 115 secs
lola: 4309229 markings, 9458059 edges, 48149 markings/sec, 120 secs
lola: 4535826 markings, 10003921 edges, 45319 markings/sec, 125 secs
lola: 4747416 markings, 10501608 edges, 42318 markings/sec, 130 secs
lola: 4973992 markings, 11052774 edges, 45315 markings/sec, 135 secs
lola: 5186004 markings, 11510851 edges, 42402 markings/sec, 140 secs
lola: 5397609 markings, 11902325 edges, 42321 markings/sec, 145 secs
lola: 5604604 markings, 12285033 edges, 41399 markings/sec, 150 secs
lola: 5811906 markings, 12688640 edges, 41460 markings/sec, 155 secs
lola: 6008418 markings, 13047189 edges, 39302 markings/sec, 160 secs
lola: 6203495 markings, 13474299 edges, 39015 markings/sec, 165 secs
lola: 6379099 markings, 13881480 edges, 35121 markings/sec, 170 secs
lola: 6640782 markings, 14346222 edges, 52337 markings/sec, 175 secs
lola: 6869653 markings, 14868011 edges, 45774 markings/sec, 180 secs
lola: 7066060 markings, 15356018 edges, 39281 markings/sec, 185 secs
lola: 7325918 markings, 15868731 edges, 51972 markings/sec, 190 secs
lola: 7561784 markings, 16294106 edges, 47173 markings/sec, 195 secs
lola: 7785748 markings, 16746302 edges, 44793 markings/sec, 200 secs
lola: 7973639 markings, 17274344 edges, 37578 markings/sec, 205 secs
lola: 8185368 markings, 17817916 edges, 42346 markings/sec, 210 secs
lola: 8459818 markings, 18408981 edges, 54890 markings/sec, 215 secs
lola: 8689670 markings, 18942698 edges, 45970 markings/sec, 220 secs
lola: 8914940 markings, 19411556 edges, 45054 markings/sec, 225 secs
lola: 9117728 markings, 19892848 edges, 40558 markings/sec, 230 secs
lola: 9319041 markings, 20374204 edges, 40263 markings/sec, 235 secs
lola: 9510333 markings, 20885285 edges, 38258 markings/sec, 240 secs
lola: 9688136 markings, 21424495 edges, 35561 markings/sec, 245 secs
lola: 9854702 markings, 21984541 edges, 33313 markings/sec, 250 secs
lola: 10111753 markings, 22513767 edges, 51410 markings/sec, 255 secs
lola: 10378290 markings, 23100276 edges, 53307 markings/sec, 260 secs
lola: 10635174 markings, 23671345 edges, 51377 markings/sec, 265 secs
lola: 10868989 markings, 24187816 edges, 46763 markings/sec, 270 secs
lola: 11111908 markings, 24685533 edges, 48584 markings/sec, 275 secs
lola: 11327045 markings, 25183838 edges, 43027 markings/sec, 280 secs
lola: 11559632 markings, 25758625 edges, 46517 markings/sec, 285 secs
lola: 11818956 markings, 26208934 edges, 51865 markings/sec, 290 secs
lola: 12048407 markings, 26735351 edges, 45890 markings/sec, 295 secs
lola: 12265525 markings, 27287565 edges, 43424 markings/sec, 300 secs
lola: 12472943 markings, 27761827 edges, 41484 markings/sec, 305 secs
lola: 12679504 markings, 28309263 edges, 41312 markings/sec, 310 secs
lola: 12892016 markings, 28895823 edges, 42502 markings/sec, 315 secs
lola: 13131278 markings, 29471912 edges, 47852 markings/sec, 320 secs
lola: 13337926 markings, 30019797 edges, 41330 markings/sec, 325 secs
lola: 13574266 markings, 30542924 edges, 47268 markings/sec, 330 secs
lola: 13815073 markings, 31051696 edges, 48161 markings/sec, 335 secs
lola: 14028748 markings, 31544148 edges, 42735 markings/sec, 340 secs
lola: 14263796 markings, 32116121 edges, 47010 markings/sec, 345 secs
lola: 14522578 markings, 32563658 edges, 51756 markings/sec, 350 secs
lola: 14745261 markings, 33101291 edges, 44537 markings/sec, 355 secs
lola: 14963728 markings, 33641952 edges, 43693 markings/sec, 360 secs
lola: 15166568 markings, 34121247 edges, 40568 markings/sec, 365 secs
lola: 15376465 markings, 34658195 edges, 41979 markings/sec, 370 secs
lola: 15586817 markings, 35246963 edges, 42070 markings/sec, 375 secs
lola: 15822732 markings, 35817667 edges, 47183 markings/sec, 380 secs
lola: 16026741 markings, 36363617 edges, 40802 markings/sec, 385 secs
lola: 16262926 markings, 36882020 edges, 47237 markings/sec, 390 secs
lola: 16503477 markings, 37392404 edges, 48110 markings/sec, 395 secs
lola: 16716713 markings, 37882102 edges, 42647 markings/sec, 400 secs
lola: 16952940 markings, 38453737 edges, 47245 markings/sec, 405 secs
lola: 17210318 markings, 38899237 edges, 51476 markings/sec, 410 secs
lola: 17431287 markings, 39435681 edges, 44194 markings/sec, 415 secs
lola: 17648708 markings, 39973356 edges, 43484 markings/sec, 420 secs
lola: 17851127 markings, 40450127 edges, 40484 markings/sec, 425 secs
lola: 18057954 markings, 40985251 edges, 41365 markings/sec, 430 secs
lola: 18266613 markings, 41566914 edges, 41732 markings/sec, 435 secs
lola: 18505359 markings, 42098904 edges, 47749 markings/sec, 440 secs
lola: 18710254 markings, 42565172 edges, 40979 markings/sec, 445 secs
lola: 18930584 markings, 43001545 edges, 44066 markings/sec, 450 secs
lola: 19136797 markings, 43383359 edges, 41243 markings/sec, 455 secs
lola: 19330354 markings, 43775093 edges, 38711 markings/sec, 460 secs
lola: 19563874 markings, 44179611 edges, 46704 markings/sec, 465 secs
lola: 19760158 markings, 44564690 edges, 39257 markings/sec, 470 secs
lola: 19966126 markings, 44959716 edges, 41194 markings/sec, 475 secs
lola: 20175231 markings, 45363562 edges, 41821 markings/sec, 480 secs
lola: 20359555 markings, 45731665 edges, 36865 markings/sec, 485 secs
lola: 20570715 markings, 46210449 edges, 42232 markings/sec, 490 secs
lola: 20767305 markings, 46557319 edges, 39318 markings/sec, 495 secs
lola: 20970272 markings, 46902148 edges, 40593 markings/sec, 500 secs
lola: 21175378 markings, 47324528 edges, 41021 markings/sec, 505 secs
lola: 21351045 markings, 47715963 edges, 35133 markings/sec, 510 secs
lola: 21527567 markings, 48117652 edges, 35304 markings/sec, 515 secs
lola: 21794833 markings, 48614165 edges, 53453 markings/sec, 520 secs
lola: 22063608 markings, 49062148 edges, 53755 markings/sec, 525 secs
lola: 22292773 markings, 49568570 edges, 45833 markings/sec, 530 secs
lola: 22483419 markings, 50060984 edges, 38129 markings/sec, 535 secs
lola: 22747086 markings, 50557778 edges, 52733 markings/sec, 540 secs
lola: 22980963 markings, 50982153 edges, 46775 markings/sec, 545 secs
lola: 23199801 markings, 51439044 edges, 43768 markings/sec, 550 secs
lola: 23384873 markings, 51965147 edges, 37014 markings/sec, 555 secs
lola: 23599508 markings, 52504095 edges, 42927 markings/sec, 560 secs
lola: 23867162 markings, 53088431 edges, 53531 markings/sec, 565 secs
lola: 24097384 markings, 53610579 edges, 46044 markings/sec, 570 secs
lola: 24318723 markings, 54075650 edges, 44268 markings/sec, 575 secs
lola: 24519916 markings, 54552033 edges, 40239 markings/sec, 580 secs
lola: 24718365 markings, 55027581 edges, 39690 markings/sec, 585 secs
lola: 24908389 markings, 55533243 edges, 38005 markings/sec, 590 secs
lola: 25084716 markings, 56066456 edges, 35265 markings/sec, 595 secs
lola: 25250276 markings, 56618091 edges, 33112 markings/sec, 600 secs
lola: 25497228 markings, 57145547 edges, 49390 markings/sec, 605 secs
lola: 25765447 markings, 57710977 edges, 53644 markings/sec, 610 secs
lola: 26009333 markings, 58282759 edges, 48777 markings/sec, 615 secs
lola: 26313721 markings, 58761793 edges, 60878 markings/sec, 620 secs
lola: 26554351 markings, 59180958 edges, 48126 markings/sec, 625 secs
lola: 26766241 markings, 59643119 edges, 42378 markings/sec, 630 secs
lola: 27005287 markings, 60054173 edges, 47809 markings/sec, 635 secs
lola: 27216198 markings, 60525465 edges, 42182 markings/sec, 640 secs
lola: 27452588 markings, 60949474 edges, 47278 markings/sec, 645 secs
lola: 27651687 markings, 61455157 edges, 39820 markings/sec, 650 secs
lola: 27856419 markings, 61941757 edges, 40946 markings/sec, 655 secs
lola: 28022056 markings, 62512645 edges, 33127 markings/sec, 660 secs
lola: 28186516 markings, 63085651 edges, 32892 markings/sec, 665 secs
lola: 28385370 markings, 63626405 edges, 39771 markings/sec, 670 secs
lola: 28714138 markings, 64148487 edges, 65754 markings/sec, 675 secs
lola: 28969129 markings, 64749652 edges, 50998 markings/sec, 680 secs
lola: 29209782 markings, 65402071 edges, 48131 markings/sec, 685 secs
lola: 29443356 markings, 65884136 edges, 46715 markings/sec, 690 secs
lola: 29683400 markings, 66393898 edges, 48009 markings/sec, 695 secs
lola: 29907527 markings, 66925375 edges, 44825 markings/sec, 700 secs
lola: 30112453 markings, 67374393 edges, 40985 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown
lola: memory consumption: 1534472 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: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p8)
lola: processed formula length: 7
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: time limit reached - aborting
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown
lola:
preliminary result: 1 1 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown 1 unknown unknown
lola: memory consumption: 23820 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: memory consumption: 23820 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: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(p304)
lola: caught signal User defined signal 1 - aborting LoLA
rslt: finished
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 16124596 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16124800 kB
--------------------
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-04a"
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-04a, 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-158987787200061"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04a.tgz
mv ASLink-PT-04a 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 '
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 ;