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.r081-smll-158922977500133.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 itstools
Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r081-smll-158922977500133
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 4.4K Apr 1 20:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 1 20:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 1 13:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 1 13:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 1 10:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 1 10:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 1 06:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 1 06:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 1 13:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 1 13:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 137K 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 FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1589471092042

[2020-05-14 15:44:54] [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, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-14 15:44:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-14 15:44:54] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-14 15:44:55] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1074 ms
[2020-05-14 15:44:55] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,

[2020-05-14 15:44:55] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2020-05-14 15:44:55] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 62 ms.
[2020-05-14 15:44:55] [INFO ] Computed order based on color domains.
[2020-05-14 15:44:55] [INFO ] Unfolded HLPN to a Petri net with 12245 places and 10560 transitions in 197 ms.
[2020-05-14 15:44:55] [INFO ] Unfolded HLPN properties in 1 ms.
Deduced a syphon composed of 51 places in 135 ms
Reduce places removed 68 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 462 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 9 ms. (steps per millisecond=0 )
[2020-05-14 15:44:57] [INFO ] Flatten gal took : 869 ms
[2020-05-14 15:44:57] [INFO ] Applying decomposition
[2020-05-14 15:44:58] [INFO ] Flatten gal took : 598 ms
[2020-05-14 15:44:58] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 185 ms
[2020-05-14 15:44:58] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 6 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20+l9_21+l9_22+l9_23+l9_24+l9_25+l9_26+l9_27+l9_28+l9_29+l9_30+l9_31+l9_32+l9_33+l9_34+l9_35+l9_36+l9_37+l9_38+l9_39+l9_40+l9_41+l9_42+l9_43+l9_44+l9_45+l9_46+l9_47+l9_48+l9_49+l9_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 with value :l21_0+l21_1+l21_2+l21_3+l21_4+l21_5+l21_6+l21_7+l21_8+l21_9+l21_10+l21_11+l21_12+l21_13+l21_14+l21_15+l21_16+l21_17+l21_18+l21_19+l21_20+l21_21+l21_22+l21_23+l21_24+l21_25+l21_26+l21_27+l21_28+l21_29+l21_30+l21_31+l21_32+l21_33+l21_34+l21_35+l21_36+l21_37+l21_38+l21_39+l21_40+l21_41+l21_42+l21_43+l21_44+l21_45+l21_46+l21_47+l21_48+l21_49+l21_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l33_0+l33_1+l33_2+l33_3+l33_4+l33_5+l33_6+l33_7+l33_8+l33_9+l33_10+l33_11+l33_12+l33_13+l33_14+l33_15+l33_16+l33_17+l33_18+l33_19+l33_20+l33_21+l33_22+l33_23+l33_24+l33_25+l33_26+l33_27+l33_28+l33_29+l33_30+l33_31+l33_32+l33_33+l33_34+l33_35+l33_36+l33_37+l33_38+l33_39+l33_40+l33_41+l33_42+l33_43+l33_44+l33_45+l33_46+l33_47+l33_48+l33_49+l33_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :l5_0+l5_1+l5_2+l5_3+l5_4+l5_5+l5_6+l5_7+l5_8+l5_9+l5_10+l5_11+l5_12+l5_13+l5_14+l5_15+l5_16+l5_17+l5_18+l5_19+l5_20+l5_21+l5_22+l5_23+l5_24+l5_25+l5_26+l5_27+l5_28+l5_29+l5_30+l5_31+l5_32+l5_33+l5_34+l5_35+l5_36+l5_37+l5_38+l5_39+l5_40+l5_41+l5_42+l5_43+l5_44+l5_45+l5_46+l5_47+l5_48+l5_49+l5_50+l5_51+l5_52+l5_53+l5_54+l5_55+l5_56+l5_57+l5_58+l5_59+l5_60+l5_61+l5_62+l5_63+l5_64+l5_65+l5_66+l5_67+l5_68+l5_69+l5_70+l5_71+l5_72+l5_73+l5_74+l5_75+l5_76+l5_77+l5_78+l5_79+l5_80+l5_81+l5_82+l5_83+l5_84+l5_85+l5_86+l5_87+l5_88+l5_89+l5_90+l5_91+l5_92+l5_93+l5_94+l5_95+l5_96+l5_97+l5_98+l5_99+l5_100+l5_101+l5_102+l5_103+l5_104+l5_105+l5_106+l5_107+l5_108+l5_109+l5_110+l5_111+l5_112+l5_113+l5_114+l5_115+l5_116+l5_117+l5_118+l5_119+l5_120+l5_121+l5_122+l5_123+l5_124+l5_125+l5_126+l5_127+l5_128+l5_129+l5_130+l5_131+l5_132+l5_133+l5_134+l5_135+l5_136+l5_137+l5_138+l5_139+l5_140+l5_141+l5_142+l5_143+l5_144+l5_145+l5_146+l5_147+l5_148+l5_149+l5_150+l5_151+l5_152+l5_153+l5_154+l5_155+l5_156+l5_157+l5_158+l5_159+l5_160+l5_161+l5_162+l5_163+l5_164+l5_165+l5_166+l5_167+l5_168+l5_169+l5_170+l5_171+l5_172+l5_173+l5_174+l5_175+l5_176+l5_177+l5_178+l5_179+l5_180+l5_181+l5_182+l5_183+l5_184+l5_185+l5_186+l5_187+l5_188+l5_189+l5_190+l5_191+l5_192+l5_193+l5_194+l5_195+l5_196+l5_197+l5_198+l5_199+l5_200+l5_201+l5_202+l5_203+l5_204+l5_205+l5_206+l5_207+l5_208+l5_209+l5_210+l5_211+l5_212+l5_213+l5_214+l5_215+l5_216+l5_217+l5_218+l5_219+l5_220+l5_221+l5_222+l5_223+l5_224+l5_225+l5_226+l5_227+l5_228+l5_229+l5_230+l5_231+l5_232+l5_233+l5_234+l5_235+l5_236+l5_237+l5_238+l5_239+l5_240+l5_241+l5_242+l5_243+l5_244+l5_245+l5_246+l5_247+l5_248+l5_249+l5_250+l5_251+l5_252+l5_253+l5_254+l5_255+l5_256+l5_257+l5_258+l5_259+l5_260+l5_261+l5_262+l5_263+l5_264+l5_265+l5_266+l5_267+l5_268+l5_269+l5_270+l5_271+l5_272+l5_273+l5_274+l5_275+l5_276+l5_277+l5_278+l5_279+l5_280+l5_281+l5_282+l5_283+l5_284+l5_285+l5_286+l5_287+l5_288+l5_289+l5_290+l5_291+l5_292+l5_293+l5_294+l5_295+l5_296+l5_297+l5_298+l5_299+l5_300+l5_301+l5_302+l5_303+l5_304+l5_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :l16_0+l16_1+l16_2+l16_3+l16_4+l16_5+l16_6+l16_7+l16_8+l16_9+l16_10+l16_11+l16_12+l16_13+l16_14+l16_15+l16_16+l16_17+l16_18+l16_19+l16_20+l16_21+l16_22+l16_23+l16_24+l16_25+l16_26+l16_27+l16_28+l16_29+l16_30+l16_31+l16_32+l16_33+l16_34+l16_35+l16_36+l16_37+l16_38+l16_39+l16_40+l16_41+l16_42+l16_43+l16_44+l16_45+l16_46+l16_47+l16_48+l16_49+l16_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :p8_0+p8_1+p8_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :p11_0+p11_1+p11_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :l22_0+l22_1+l22_2+l22_3+l22_4+l22_5+l22_6+l22_7+l22_8+l22_9+l22_10+l22_11+l22_12+l22_13+l22_14+l22_15+l22_16+l22_17+l22_18+l22_19+l22_20+l22_21+l22_22+l22_23+l22_24+l22_25+l22_26+l22_27+l22_28+l22_29+l22_30+l22_31+l22_32+l22_33+l22_34+l22_35+l22_36+l22_37+l22_38+l22_39+l22_40+l22_41+l22_42+l22_43+l22_44+l22_45+l22_46+l22_47+l22_48+l22_49+l22_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :p6_0+p6_1+p6_2+p6_3+p6_4+p6_5+p6_6+p6_7+p6_8+p6_9+p6_10+p6_11+p6_12+p6_13+p6_14+p6_15+p6_16+p6_17+p6_18+p6_19+p6_20+p6_21+p6_22+p6_23+p6_24+p6_25+p6_26+p6_27+p6_28+p6_29+p6_30+p6_31+p6_32+p6_33+p6_34+p6_35+p6_36+p6_37+p6_38+p6_39+p6_40+p6_41+p6_42+p6_43+p6_44+p6_45+p6_46+p6_47+p6_48+p6_49+p6_50+p6_51+p6_52+p6_53+p6_54+p6_55+p6_56+p6_57+p6_58+p6_59+p6_60+p6_61+p6_62+p6_63+p6_64+p6_65+p6_66+p6_67+p6_68+p6_69+p6_70+p6_71+p6_72+p6_73+p6_74+p6_75+p6_76+p6_77+p6_78+p6_79+p6_80+p6_81+p6_82+p6_83+p6_84+p6_85+p6_86+p6_87+p6_88+p6_89+p6_90+p6_91+p6_92+p6_93+p6_94+p6_95+p6_96+p6_97+p6_98+p6_99+p6_100+p6_101+p6_102+p6_103+p6_104+p6_105+p6_106+p6_107+p6_108+p6_109+p6_110+p6_111+p6_112+p6_113+p6_114+p6_115+p6_116+p6_117+p6_118+p6_119+p6_120+p6_121+p6_122+p6_123+p6_124+p6_125+p6_126+p6_127+p6_128+p6_129+p6_130+p6_131+p6_132+p6_133+p6_134+p6_135+p6_136+p6_137+p6_138+p6_139+p6_140+p6_141+p6_142+p6_143+p6_144+p6_145+p6_146+p6_147+p6_148+p6_149+p6_150+p6_151+p6_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152
Detected timeout of ITS tools.
[2020-05-14 16:04:59] [INFO ] Applying decomposition
[2020-05-14 16:05:00] [INFO ] Flatten gal took : 510 ms
[2020-05-14 16:05:00] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 49 ms
[2020-05-14 16:05:00] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20+l9_21+l9_22+l9_23+l9_24+l9_25+l9_26+l9_27+l9_28+l9_29+l9_30+l9_31+l9_32+l9_33+l9_34+l9_35+l9_36+l9_37+l9_38+l9_39+l9_40+l9_41+l9_42+l9_43+l9_44+l9_45+l9_46+l9_47+l9_48+l9_49+l9_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 with value :l21_0+l21_1+l21_2+l21_3+l21_4+l21_5+l21_6+l21_7+l21_8+l21_9+l21_10+l21_11+l21_12+l21_13+l21_14+l21_15+l21_16+l21_17+l21_18+l21_19+l21_20+l21_21+l21_22+l21_23+l21_24+l21_25+l21_26+l21_27+l21_28+l21_29+l21_30+l21_31+l21_32+l21_33+l21_34+l21_35+l21_36+l21_37+l21_38+l21_39+l21_40+l21_41+l21_42+l21_43+l21_44+l21_45+l21_46+l21_47+l21_48+l21_49+l21_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l33_0+l33_1+l33_2+l33_3+l33_4+l33_5+l33_6+l33_7+l33_8+l33_9+l33_10+l33_11+l33_12+l33_13+l33_14+l33_15+l33_16+l33_17+l33_18+l33_19+l33_20+l33_21+l33_22+l33_23+l33_24+l33_25+l33_26+l33_27+l33_28+l33_29+l33_30+l33_31+l33_32+l33_33+l33_34+l33_35+l33_36+l33_37+l33_38+l33_39+l33_40+l33_41+l33_42+l33_43+l33_44+l33_45+l33_46+l33_47+l33_48+l33_49+l33_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :l5_0+l5_1+l5_2+l5_3+l5_4+l5_5+l5_6+l5_7+l5_8+l5_9+l5_10+l5_11+l5_12+l5_13+l5_14+l5_15+l5_16+l5_17+l5_18+l5_19+l5_20+l5_21+l5_22+l5_23+l5_24+l5_25+l5_26+l5_27+l5_28+l5_29+l5_30+l5_31+l5_32+l5_33+l5_34+l5_35+l5_36+l5_37+l5_38+l5_39+l5_40+l5_41+l5_42+l5_43+l5_44+l5_45+l5_46+l5_47+l5_48+l5_49+l5_50+l5_51+l5_52+l5_53+l5_54+l5_55+l5_56+l5_57+l5_58+l5_59+l5_60+l5_61+l5_62+l5_63+l5_64+l5_65+l5_66+l5_67+l5_68+l5_69+l5_70+l5_71+l5_72+l5_73+l5_74+l5_75+l5_76+l5_77+l5_78+l5_79+l5_80+l5_81+l5_82+l5_83+l5_84+l5_85+l5_86+l5_87+l5_88+l5_89+l5_90+l5_91+l5_92+l5_93+l5_94+l5_95+l5_96+l5_97+l5_98+l5_99+l5_100+l5_101+l5_102+l5_103+l5_104+l5_105+l5_106+l5_107+l5_108+l5_109+l5_110+l5_111+l5_112+l5_113+l5_114+l5_115+l5_116+l5_117+l5_118+l5_119+l5_120+l5_121+l5_122+l5_123+l5_124+l5_125+l5_126+l5_127+l5_128+l5_129+l5_130+l5_131+l5_132+l5_133+l5_134+l5_135+l5_136+l5_137+l5_138+l5_139+l5_140+l5_141+l5_142+l5_143+l5_144+l5_145+l5_146+l5_147+l5_148+l5_149+l5_150+l5_151+l5_152+l5_153+l5_154+l5_155+l5_156+l5_157+l5_158+l5_159+l5_160+l5_161+l5_162+l5_163+l5_164+l5_165+l5_166+l5_167+l5_168+l5_169+l5_170+l5_171+l5_172+l5_173+l5_174+l5_175+l5_176+l5_177+l5_178+l5_179+l5_180+l5_181+l5_182+l5_183+l5_184+l5_185+l5_186+l5_187+l5_188+l5_189+l5_190+l5_191+l5_192+l5_193+l5_194+l5_195+l5_196+l5_197+l5_198+l5_199+l5_200+l5_201+l5_202+l5_203+l5_204+l5_205+l5_206+l5_207+l5_208+l5_209+l5_210+l5_211+l5_212+l5_213+l5_214+l5_215+l5_216+l5_217+l5_218+l5_219+l5_220+l5_221+l5_222+l5_223+l5_224+l5_225+l5_226+l5_227+l5_228+l5_229+l5_230+l5_231+l5_232+l5_233+l5_234+l5_235+l5_236+l5_237+l5_238+l5_239+l5_240+l5_241+l5_242+l5_243+l5_244+l5_245+l5_246+l5_247+l5_248+l5_249+l5_250+l5_251+l5_252+l5_253+l5_254+l5_255+l5_256+l5_257+l5_258+l5_259+l5_260+l5_261+l5_262+l5_263+l5_264+l5_265+l5_266+l5_267+l5_268+l5_269+l5_270+l5_271+l5_272+l5_273+l5_274+l5_275+l5_276+l5_277+l5_278+l5_279+l5_280+l5_281+l5_282+l5_283+l5_284+l5_285+l5_286+l5_287+l5_288+l5_289+l5_290+l5_291+l5_292+l5_293+l5_294+l5_295+l5_296+l5_297+l5_298+l5_299+l5_300+l5_301+l5_302+l5_303+l5_304+l5_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :l16_0+l16_1+l16_2+l16_3+l16_4+l16_5+l16_6+l16_7+l16_8+l16_9+l16_10+l16_11+l16_12+l16_13+l16_14+l16_15+l16_16+l16_17+l16_18+l16_19+l16_20+l16_21+l16_22+l16_23+l16_24+l16_25+l16_26+l16_27+l16_28+l16_29+l16_30+l16_31+l16_32+l16_33+l16_34+l16_35+l16_36+l16_37+l16_38+l16_39+l16_40+l16_41+l16_42+l16_43+l16_44+l16_45+l16_46+l16_47+l16_48+l16_49+l16_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :p8_0+p8_1+p8_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :p11_0+p11_1+p11_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :l22_0+l22_1+l22_2+l22_3+l22_4+l22_5+l22_6+l22_7+l22_8+l22_9+l22_10+l22_11+l22_12+l22_13+l22_14+l22_15+l22_16+l22_17+l22_18+l22_19+l22_20+l22_21+l22_22+l22_23+l22_24+l22_25+l22_26+l22_27+l22_28+l22_29+l22_30+l22_31+l22_32+l22_33+l22_34+l22_35+l22_36+l22_37+l22_38+l22_39+l22_40+l22_41+l22_42+l22_43+l22_44+l22_45+l22_46+l22_47+l22_48+l22_49+l22_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :p6_0+p6_1+p6_2+p6_3+p6_4+p6_5+p6_6+p6_7+p6_8+p6_9+p6_10+p6_11+p6_12+p6_13+p6_14+p6_15+p6_16+p6_17+p6_18+p6_19+p6_20+p6_21+p6_22+p6_23+p6_24+p6_25+p6_26+p6_27+p6_28+p6_29+p6_30+p6_31+p6_32+p6_33+p6_34+p6_35+p6_36+p6_37+p6_38+p6_39+p6_40+p6_41+p6_42+p6_43+p6_44+p6_45+p6_46+p6_47+p6_48+p6_49+p6_50+p6_51+p6_52+p6_53+p6_54+p6_55+p6_56+p6_57+p6_58+p6_59+p6_60+p6_61+p6_62+p6_63+p6_64+p6_65+p6_66+p6_67+p6_68+p6_69+p6_70+p6_71+p6_72+p6_73+p6_74+p6_75+p6_76+p6_77+p6_78+p6_79+p6_80+p6_81+p6_82+p6_83+p6_84+p6_85+p6_86+p6_87+p6_88+p6_89+p6_90+p6_91+p6_92+p6_93+p6_94+p6_95+p6_96+p6_97+p6_98+p6_99+p6_100+p6_101+p6_102+p6_103+p6_104+p6_105+p6_106+p6_107+p6_108+p6_109+p6_110+p6_111+p6_112+p6_113+p6_114+p6_115+p6_116+p6_117+p6_118+p6_119+p6_120+p6_121+p6_122+p6_123+p6_124+p6_125+p6_126+p6_127+p6_128+p6_129+p6_130+p6_131+p6_132+p6_133+p6_134+p6_135+p6_136+p6_137+p6_138+p6_139+p6_140+p6_141+p6_142+p6_143+p6_144+p6_145+p6_146+p6_147+p6_148+p6_149+p6_150+p6_151+p6_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152
Detected timeout of ITS tools.
[2020-05-14 16:25:01] [INFO ] Flatten gal took : 604 ms
[2020-05-14 16:25:02] [INFO ] Input system was already deterministic with 10560 transitions.
[2020-05-14 16:25:02] [INFO ] Transformed 12177 places.
[2020-05-14 16:25:02] [INFO ] Transformed 10560 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-14 16:25:33] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 55 ms
[2020-05-14 16:25:33] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l9_0+l9_1+l9_2+l9_3+l9_4+l9_5+l9_6+l9_7+l9_8+l9_9+l9_10+l9_11+l9_12+l9_13+l9_14+l9_15+l9_16+l9_17+l9_18+l9_19+l9_20+l9_21+l9_22+l9_23+l9_24+l9_25+l9_26+l9_27+l9_28+l9_29+l9_30+l9_31+l9_32+l9_33+l9_34+l9_35+l9_36+l9_37+l9_38+l9_39+l9_40+l9_41+l9_42+l9_43+l9_44+l9_45+l9_46+l9_47+l9_48+l9_49+l9_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 with value :l21_0+l21_1+l21_2+l21_3+l21_4+l21_5+l21_6+l21_7+l21_8+l21_9+l21_10+l21_11+l21_12+l21_13+l21_14+l21_15+l21_16+l21_17+l21_18+l21_19+l21_20+l21_21+l21_22+l21_23+l21_24+l21_25+l21_26+l21_27+l21_28+l21_29+l21_30+l21_31+l21_32+l21_33+l21_34+l21_35+l21_36+l21_37+l21_38+l21_39+l21_40+l21_41+l21_42+l21_43+l21_44+l21_45+l21_46+l21_47+l21_48+l21_49+l21_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l33_0+l33_1+l33_2+l33_3+l33_4+l33_5+l33_6+l33_7+l33_8+l33_9+l33_10+l33_11+l33_12+l33_13+l33_14+l33_15+l33_16+l33_17+l33_18+l33_19+l33_20+l33_21+l33_22+l33_23+l33_24+l33_25+l33_26+l33_27+l33_28+l33_29+l33_30+l33_31+l33_32+l33_33+l33_34+l33_35+l33_36+l33_37+l33_38+l33_39+l33_40+l33_41+l33_42+l33_43+l33_44+l33_45+l33_46+l33_47+l33_48+l33_49+l33_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :l5_0+l5_1+l5_2+l5_3+l5_4+l5_5+l5_6+l5_7+l5_8+l5_9+l5_10+l5_11+l5_12+l5_13+l5_14+l5_15+l5_16+l5_17+l5_18+l5_19+l5_20+l5_21+l5_22+l5_23+l5_24+l5_25+l5_26+l5_27+l5_28+l5_29+l5_30+l5_31+l5_32+l5_33+l5_34+l5_35+l5_36+l5_37+l5_38+l5_39+l5_40+l5_41+l5_42+l5_43+l5_44+l5_45+l5_46+l5_47+l5_48+l5_49+l5_50+l5_51+l5_52+l5_53+l5_54+l5_55+l5_56+l5_57+l5_58+l5_59+l5_60+l5_61+l5_62+l5_63+l5_64+l5_65+l5_66+l5_67+l5_68+l5_69+l5_70+l5_71+l5_72+l5_73+l5_74+l5_75+l5_76+l5_77+l5_78+l5_79+l5_80+l5_81+l5_82+l5_83+l5_84+l5_85+l5_86+l5_87+l5_88+l5_89+l5_90+l5_91+l5_92+l5_93+l5_94+l5_95+l5_96+l5_97+l5_98+l5_99+l5_100+l5_101+l5_102+l5_103+l5_104+l5_105+l5_106+l5_107+l5_108+l5_109+l5_110+l5_111+l5_112+l5_113+l5_114+l5_115+l5_116+l5_117+l5_118+l5_119+l5_120+l5_121+l5_122+l5_123+l5_124+l5_125+l5_126+l5_127+l5_128+l5_129+l5_130+l5_131+l5_132+l5_133+l5_134+l5_135+l5_136+l5_137+l5_138+l5_139+l5_140+l5_141+l5_142+l5_143+l5_144+l5_145+l5_146+l5_147+l5_148+l5_149+l5_150+l5_151+l5_152+l5_153+l5_154+l5_155+l5_156+l5_157+l5_158+l5_159+l5_160+l5_161+l5_162+l5_163+l5_164+l5_165+l5_166+l5_167+l5_168+l5_169+l5_170+l5_171+l5_172+l5_173+l5_174+l5_175+l5_176+l5_177+l5_178+l5_179+l5_180+l5_181+l5_182+l5_183+l5_184+l5_185+l5_186+l5_187+l5_188+l5_189+l5_190+l5_191+l5_192+l5_193+l5_194+l5_195+l5_196+l5_197+l5_198+l5_199+l5_200+l5_201+l5_202+l5_203+l5_204+l5_205+l5_206+l5_207+l5_208+l5_209+l5_210+l5_211+l5_212+l5_213+l5_214+l5_215+l5_216+l5_217+l5_218+l5_219+l5_220+l5_221+l5_222+l5_223+l5_224+l5_225+l5_226+l5_227+l5_228+l5_229+l5_230+l5_231+l5_232+l5_233+l5_234+l5_235+l5_236+l5_237+l5_238+l5_239+l5_240+l5_241+l5_242+l5_243+l5_244+l5_245+l5_246+l5_247+l5_248+l5_249+l5_250+l5_251+l5_252+l5_253+l5_254+l5_255+l5_256+l5_257+l5_258+l5_259+l5_260+l5_261+l5_262+l5_263+l5_264+l5_265+l5_266+l5_267+l5_268+l5_269+l5_270+l5_271+l5_272+l5_273+l5_274+l5_275+l5_276+l5_277+l5_278+l5_279+l5_280+l5_281+l5_282+l5_283+l5_284+l5_285+l5_286+l5_287+l5_288+l5_289+l5_290+l5_291+l5_292+l5_293+l5_294+l5_295+l5_296+l5_297+l5_298+l5_299+l5_300+l5_301+l5_302+l5_303+l5_304+l5_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :l16_0+l16_1+l16_2+l16_3+l16_4+l16_5+l16_6+l16_7+l16_8+l16_9+l16_10+l16_11+l16_12+l16_13+l16_14+l16_15+l16_16+l16_17+l16_18+l16_19+l16_20+l16_21+l16_22+l16_23+l16_24+l16_25+l16_26+l16_27+l16_28+l16_29+l16_30+l16_31+l16_32+l16_33+l16_34+l16_35+l16_36+l16_37+l16_38+l16_39+l16_40+l16_41+l16_42+l16_43+l16_44+l16_45+l16_46+l16_47+l16_48+l16_49+l16_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :p8_0+p8_1+p8_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :p11_0+p11_1+p11_2
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :l22_0+l22_1+l22_2+l22_3+l22_4+l22_5+l22_6+l22_7+l22_8+l22_9+l22_10+l22_11+l22_12+l22_13+l22_14+l22_15+l22_16+l22_17+l22_18+l22_19+l22_20+l22_21+l22_22+l22_23+l22_24+l22_25+l22_26+l22_27+l22_28+l22_29+l22_30+l22_31+l22_32+l22_33+l22_34+l22_35+l22_36+l22_37+l22_38+l22_39+l22_40+l22_41+l22_42+l22_43+l22_44+l22_45+l22_46+l22_47+l22_48+l22_49+l22_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :p6_0+p6_1+p6_2+p6_3+p6_4+p6_5+p6_6+p6_7+p6_8+p6_9+p6_10+p6_11+p6_12+p6_13+p6_14+p6_15+p6_16+p6_17+p6_18+p6_19+p6_20+p6_21+p6_22+p6_23+p6_24+p6_25+p6_26+p6_27+p6_28+p6_29+p6_30+p6_31+p6_32+p6_33+p6_34+p6_35+p6_36+p6_37+p6_38+p6_39+p6_40+p6_41+p6_42+p6_43+p6_44+p6_45+p6_46+p6_47+p6_48+p6_49+p6_50+p6_51+p6_52+p6_53+p6_54+p6_55+p6_56+p6_57+p6_58+p6_59+p6_60+p6_61+p6_62+p6_63+p6_64+p6_65+p6_66+p6_67+p6_68+p6_69+p6_70+p6_71+p6_72+p6_73+p6_74+p6_75+p6_76+p6_77+p6_78+p6_79+p6_80+p6_81+p6_82+p6_83+p6_84+p6_85+p6_86+p6_87+p6_88+p6_89+p6_90+p6_91+p6_92+p6_93+p6_94+p6_95+p6_96+p6_97+p6_98+p6_99+p6_100+p6_101+p6_102+p6_103+p6_104+p6_105+p6_106+p6_107+p6_108+p6_109+p6_110+p6_111+p6_112+p6_113+p6_114+p6_115+p6_116+p6_117+p6_118+p6_119+p6_120+p6_121+p6_122+p6_123+p6_124+p6_125+p6_126+p6_127+p6_128+p6_129+p6_130+p6_131+p6_132+p6_133+p6_134+p6_135+p6_136+p6_137+p6_138+p6_139+p6_140+p6_141+p6_142+p6_143+p6_144+p6_145+p6_146+p6_147+p6_148+p6_149+p6_150+p6_151+p6_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

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="FamilyReunion-COL-L00050M0005C002P002G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
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 itstools"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, 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 r081-smll-158922977500133"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;