fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r052-oct2-155234410000484
Last Updated
Apr 15, 2019

About the Execution of ITS-Tools for DLCround-PT-12b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15895.700 3600000.00 13972618.00 140.40 ??FF????F?F????? normal

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r052-oct2-155234410000484.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is DLCround-PT-12b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234410000484
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.6K Feb 10 07:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 07:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 06:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 06:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 23:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 23:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 23:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 30 13:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 30 13:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1553446441592

Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Checking formula 0 : !(((G("((i0.i0.i0.i0.u30.p1587>=1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u514.p4464>=1))"))U("(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u375.p3073>=1)")))
Formula 0 simplified : !(G"((i0.i0.i0.i0.u30.p1587>=1)&&(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u514.p4464>=1))" U "(i1.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u375.p3073>=1)")
built 4 ordering constraints for composite.
built 250 ordering constraints for composite.
built 234 ordering constraints for composite.
built 218 ordering constraints for composite.
built 202 ordering constraints for composite.
built 186 ordering constraints for composite.
built 170 ordering constraints for composite.
built 154 ordering constraints for composite.
built 138 ordering constraints for composite.
built 122 ordering constraints for composite.
built 106 ordering constraints for composite.
built 90 ordering constraints for composite.
built 74 ordering constraints for composite.
built 58 ordering constraints for composite.
built 42 ordering constraints for composite.
built 31 ordering constraints for composite.
built 20 ordering constraints for composite.
built 1298 ordering constraints for composite.
built 1293 ordering constraints for composite.
built 1288 ordering constraints for composite.
built 1283 ordering constraints for composite.
built 1278 ordering constraints for composite.
built 1273 ordering constraints for composite.
built 1268 ordering constraints for composite.
built 1263 ordering constraints for composite.
built 1258 ordering constraints for composite.
built 1253 ordering constraints for composite.
built 1248 ordering constraints for composite.
built 1243 ordering constraints for composite.
built 1238 ordering constraints for composite.
built 1233 ordering constraints for composite.
built 1228 ordering constraints for composite.
built 1223 ordering constraints for composite.
built 1218 ordering constraints for composite.
built 1213 ordering constraints for composite.
built 1208 ordering constraints for composite.
built 1203 ordering constraints for composite.
built 1198 ordering constraints for composite.
built 1193 ordering constraints for composite.
built 1188 ordering constraints for composite.
built 1183 ordering constraints for composite.
built 1178 ordering constraints for composite.
built 1173 ordering constraints for composite.
built 1168 ordering constraints for composite.
built 1163 ordering constraints for composite.
built 1158 ordering constraints for composite.
built 1153 ordering constraints for composite.
built 1148 ordering constraints for composite.
built 1143 ordering constraints for composite.
built 1138 ordering constraints for composite.
built 1133 ordering constraints for composite.
built 1128 ordering constraints for composite.
built 1123 ordering constraints for composite.
built 1118 ordering constraints for composite.
built 1113 ordering constraints for composite.
built 1108 ordering constraints for composite.
built 1103 ordering constraints for composite.
built 1098 ordering constraints for composite.
built 1093 ordering constraints for composite.
built 1088 ordering constraints for composite.
built 1083 ordering constraints for composite.
built 1078 ordering constraints for composite.
built 1073 ordering constraints for composite.
built 1068 ordering constraints for composite.
built 1063 ordering constraints for composite.
built 1058 ordering constraints for composite.
built 1053 ordering constraints for composite.
built 1048 ordering constraints for composite.
built 1043 ordering constraints for composite.
built 1038 ordering constraints for composite.
built 1033 ordering constraints for composite.
built 1028 ordering constraints for composite.
built 1023 ordering constraints for composite.
built 1018 ordering constraints for composite.
built 1013 ordering constraints for composite.
built 1008 ordering constraints for composite.
built 1003 ordering constraints for composite.
built 998 ordering constraints for composite.
built 993 ordering constraints for composite.
built 988 ordering constraints for composite.
built 983 ordering constraints for composite.
built 978 ordering constraints for composite.
built 973 ordering constraints for composite.
built 968 ordering constraints for composite.
built 963 ordering constraints for composite.
built 958 ordering constraints for composite.
built 953 ordering constraints for composite.
built 948 ordering constraints for composite.
built 943 ordering constraints for composite.
built 938 ordering constraints for composite.
built 933 ordering constraints for composite.
built 928 ordering constraints for composite.
built 923 ordering constraints for composite.
built 918 ordering constraints for composite.
built 913 ordering constraints for composite.
built 908 ordering constraints for composite.
built 903 ordering constraints for composite.
built 898 ordering constraints for composite.
built 893 ordering constraints for composite.
built 888 ordering constraints for composite.
built 883 ordering constraints for composite.
built 878 ordering constraints for composite.
built 873 ordering constraints for composite.
built 868 ordering constraints for composite.
built 863 ordering constraints for composite.
built 858 ordering constraints for composite.
built 853 ordering constraints for composite.
built 848 ordering constraints for composite.
built 843 ordering constraints for composite.
built 838 ordering constraints for composite.
built 833 ordering constraints for composite.
built 828 ordering constraints for composite.
built 823 ordering constraints for composite.
built 818 ordering constraints for composite.
built 813 ordering constraints for composite.
built 808 ordering constraints for composite.
built 803 ordering constraints for composite.
built 798 ordering constraints for composite.
built 793 ordering constraints for composite.
built 788 ordering constraints for composite.
built 783 ordering constraints for composite.
built 778 ordering constraints for composite.
built 773 ordering constraints for composite.
built 768 ordering constraints for composite.
built 763 ordering constraints for composite.
built 758 ordering constraints for composite.
built 753 ordering constraints for composite.
built 748 ordering constraints for composite.
built 743 ordering constraints for composite.
built 738 ordering constraints for composite.
built 733 ordering constraints for composite.
built 728 ordering constraints for composite.
built 723 ordering constraints for composite.
built 718 ordering constraints for composite.
built 713 ordering constraints for composite.
built 708 ordering constraints for composite.
built 703 ordering constraints for composite.
built 698 ordering constraints for composite.
built 693 ordering constraints for composite.
built 688 ordering constraints for composite.
built 683 ordering constraints for composite.
built 678 ordering constraints for composite.
built 673 ordering constraints for composite.
built 668 ordering constraints for composite.
built 663 ordering constraints for composite.
built 658 ordering constraints for composite.
built 653 ordering constraints for composite.
built 648 ordering constraints for composite.
built 643 ordering constraints for composite.
built 638 ordering constraints for composite.
built 633 ordering constraints for composite.
built 628 ordering constraints for composite.
built 623 ordering constraints for composite.
built 618 ordering constraints for composite.
built 613 ordering constraints for composite.
built 608 ordering constraints for composite.
built 603 ordering constraints for composite.
built 598 ordering constraints for composite.
built 593 ordering constraints for composite.
built 588 ordering constraints for composite.
built 583 ordering constraints for composite.
built 578 ordering constraints for composite.
built 573 ordering constraints for composite.
built 568 ordering constraints for composite.
built 563 ordering constraints for composite.
built 558 ordering constraints for composite.
built 553 ordering constraints for composite.
built 548 ordering constraints for composite.
built 543 ordering constraints for composite.
built 538 ordering constraints for composite.
built 533 ordering constraints for composite.
built 528 ordering constraints for composite.
built 523 ordering constraints for composite.
built 518 ordering constraints for composite.
built 513 ordering constraints for composite.
built 508 ordering constraints for composite.
built 503 ordering constraints for composite.
built 498 ordering constraints for composite.
built 493 ordering constraints for composite.
built 488 ordering constraints for composite.
built 483 ordering constraints for composite.
built 478 ordering constraints for composite.
built 473 ordering constraints for composite.
built 468 ordering constraints for composite.
built 463 ordering constraints for composite.
built 458 ordering constraints for composite.
built 453 ordering constraints for composite.
built 448 ordering constraints for composite.
built 443 ordering constraints for composite.
built 438 ordering constraints for composite.
built 433 ordering constraints for composite.
built 428 ordering constraints for composite.
built 423 ordering constraints for composite.
built 418 ordering constraints for composite.
built 413 ordering constraints for composite.
built 408 ordering constraints for composite.
built 403 ordering constraints for composite.
built 398 ordering constraints for composite.
built 393 ordering constraints for composite.
built 388 ordering constraints for composite.
built 383 ordering constraints for composite.
built 378 ordering constraints for composite.
built 373 ordering constraints for composite.
built 368 ordering constraints for composite.
built 363 ordering constraints for composite.
built 358 ordering constraints for composite.
built 353 ordering constraints for composite.
built 348 ordering constraints for composite.
built 343 ordering constraints for composite.
built 338 ordering constraints for composite.
built 333 ordering constraints for composite.
built 328 ordering constraints for composite.
built 323 ordering constraints for composite.
built 318 ordering constraints for composite.
built 313 ordering constraints for composite.
built 308 ordering constraints for composite.
built 303 ordering constraints for composite.
built 298 ordering constraints for composite.
built 293 ordering constraints for composite.
built 288 ordering constraints for composite.
built 283 ordering constraints for composite.
built 278 ordering constraints for composite.
built 273 ordering constraints for composite.
built 268 ordering constraints for composite.
built 263 ordering constraints for composite.
built 258 ordering constraints for composite.
built 253 ordering constraints for composite.
built 248 ordering constraints for composite.
built 243 ordering constraints for composite.
built 238 ordering constraints for composite.
built 233 ordering constraints for composite.
built 228 ordering constraints for composite.
built 223 ordering constraints for composite.
built 218 ordering constraints for composite.
built 213 ordering constraints for composite.
built 208 ordering constraints for composite.
built 203 ordering constraints for composite.
built 198 ordering constraints for composite.
built 193 ordering constraints for composite.
built 188 ordering constraints for composite.
built 183 ordering constraints for composite.
built 178 ordering constraints for composite.
built 173 ordering constraints for composite.
built 168 ordering constraints for composite.
built 163 ordering constraints for composite.
built 158 ordering constraints for composite.
built 153 ordering constraints for composite.
built 148 ordering constraints for composite.
built 143 ordering constraints for composite.
built 138 ordering constraints for composite.
built 133 ordering constraints for composite.
built 128 ordering constraints for composite.
built 123 ordering constraints for composite.
built 118 ordering constraints for composite.
built 113 ordering constraints for composite.
built 108 ordering constraints for composite.
built 103 ordering constraints for composite.
built 98 ordering constraints for composite.
built 93 ordering constraints for composite.
built 88 ordering constraints for composite.
built 83 ordering constraints for composite.
built 78 ordering constraints for composite.
built 73 ordering constraints for composite.
built 68 ordering constraints for composite.
built 63 ordering constraints for composite.
built 58 ordering constraints for composite.
built 53 ordering constraints for composite.
built 48 ordering constraints for composite.
built 43 ordering constraints for composite.
built 38 ordering constraints for composite.
built 33 ordering constraints for composite.
built 28 ordering constraints for composite.
built 23 ordering constraints for composite.
built 18 ordering constraints for composite.
built 13 ordering constraints for composite.
built 8 ordering constraints for composite.
Compilation finished in 115431 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 132 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ([]((LTLAP0==true)))U((LTLAP1==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ([]((LTLAP0==true)))U((LTLAP1==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X(X(X(X((LTLAP2==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X(X(X(X((LTLAP2==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>([](X(((LTLAP3==true))U((LTLAP4==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 35766 ms.
FORMULA DLCround-PT-12b-LTLFireability-02 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(<>([]((LTLAP5==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 31915 ms.
FORMULA DLCround-PT-12b-LTLFireability-03 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>((<>(X((LTLAP6==true))))U(((LTLAP7==true))U((LTLAP8==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>((<>(X((LTLAP6==true))))U(((LTLAP7==true))U((LTLAP8==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X(<>(<>(<>((LTLAP9==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X(<>(<>(<>((LTLAP9==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X([]([]((LTLAP10==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X([]([]((LTLAP10==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((<>(<>((LTLAP11==true))))U((LTLAP12==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((<>(<>((LTLAP11==true))))U((LTLAP12==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ([]([]([]((LTLAP13==true)))))U(([]((LTLAP14==true)))U(X((LTLAP15==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 24529 ms.
FORMULA DLCround-PT-12b-LTLFireability-08 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ((LTLAP16==true))U(X(X(X((LTLAP17==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ((LTLAP16==true))U(X(X(X((LTLAP17==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ((LTLAP18==true))U(X([](X((LTLAP19==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 29784 ms.
FORMULA DLCround-PT-12b-LTLFireability-10 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(([](<>((LTLAP20==true))))U((LTLAP21==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(([](<>((LTLAP20==true))))U((LTLAP21==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP22==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((LTLAP22==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((<>(X((LTLAP23==true))))U(((LTLAP24==true))U((LTLAP25==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((<>(X((LTLAP23==true))))U(((LTLAP24==true))U((LTLAP25==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (<>(<>([]((LTLAP26==true)))))U(X(<>((LTLAP27==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (<>(<>([]((LTLAP26==true)))))U(X(<>((LTLAP27==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((X((LTLAP28==true)))U((LTLAP29==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X((X((LTLAP28==true)))U((LTLAP29==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, ([]((LTLAP0==true)))U((LTLAP1==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]

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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ 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 LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 190 ms
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 4848 places.
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 7836 transitions.
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 863 ms
Mar 24, 2019 4:54:05 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 566 ms
Mar 24, 2019 4:54:05 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6809,t6809,t6809,t6809,t6809,t6809,t6809,t6809,t6809,t6806,t6806,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5810,t5810,t5810,t5800,t5800,t5800,t5800,t5800,t5800,t5800,t5800,t5800,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5035,t5035,t5025,t5025,t5025,t5025,t5025,t5025,t5025,t5025,t5025,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5282,t5282,t5272,t5272,t5272,t5272,t5272,t5272,t5272,t5272,t5272,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7524,t7524,t7524,t7524,t7524,t7524,t7524,t7524,t7524,t7521,t7521,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5754,t5754,t5754,t5744,t5744,t5744,t5744,t5744,t5744,t5744,t5744,t5744,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6734,t6734,t6734,t6731,t6731,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4723,t4723,t4713,t4713,t4713,t4713,t4713,t4713,t4713,t4713,t4713,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4931,t4931,t4921,t4921,t4921,t4921,t4921,t4921,t4921,t4921,t4921,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t5073,t5072,t5071,t5070,t5069,t5068,t5067,t5066,t5065,t5064,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,t4712,t4711,t4710,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7472,t7472,t7472,t7472,t7472,t7472,t7472,t7472,t7472,t7469,t7469,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6678,t6678,t6678,t6675,t6675,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6048,t6048,t6048,t6038,t6038,t6038,t6038,t6038,t6038,t6038,t6038,t6038,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5126,t5126,t5116,t5116,t5116,t5116,t5116,t5116,t5116,t5116,t5116,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6132,t6132,t6132,t6122,t6122,t6122,t6122,t6122,t6122,t6122,t6122,t6122,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6342,t6342,t6342,t6332,t6332,t6332,t6332,t6332,t6332,t6332,t6332,t6332,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6685,t6685,t6685,t6682,t6682,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5438,t5438,t5428,t5428,t5428,t5428,t5428,t5428,t5428,t5428,t5428,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6160,t6160,t6160,t6150,t6150,t6150,t6150,t6150,t6150,t6150,t6150,t6150,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5824,t5824,t5824,t5814,t5814,t5814,t5814,t5814,t5814,t5814,t5814,t5814,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4788,t4788,t4778,t4778,t4778,t4778,t4778,t4778,t4778,t4778,t4778,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7147,t7147,t7147,t7147,t7147,t7147,t7147,t7147,t7147,t7144,t7144,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 96 events :t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t6443,t6442,t6441,t6440,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,t5701,t5700,t5699,t5698,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7732,t7732,t7732,t7732,t7732,t7732,t7732,t7732,t7732,t7729,t7729,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6090,t6090,t6090,t6080,t6080,t6080,t6080,t6080,t6080,t6080,t6080,t6080,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5685,t5685,t5675,t5675,t5675,t5675,t5675,t5675,t5675,t5675,t5675,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7017,t7017,t7017,t7017,t7017,t7017,t7017,t7017,t7017,t7014,t7014,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7745,t7745,t7745,t7745,t7745,t7745,t7745,t7745,t7745,t7742,t7742,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7277,t7277,t7277,t7277,t7277,t7277,t7277,t7277,t7277,t7274,t7274,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5087,t5087,t5077,t5077,t5077,t5077,t5077,t5077,t5077,t5077,t5077,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7693,t7693,t7693,t7693,t7693,t7693,t7693,t7693,t7693,t7690,t7690,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4970,t4970,t4960,t4960,t4960,t4960,t4960,t4960,t4960,t4960,t4960,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7758,t7758,t7758,t7758,t7758,t7758,t7758,t7758,t7758,t7755,t7755,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4905,t4905,t4895,t4895,t4895,t4895,t4895,t4895,t4895,t4895,t4895,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5852,t5852,t5852,t5842,t5842,t5842,t5842,t5842,t5842,t5842,t5842,t5842,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5992,t5992,t5992,t5982,t5982,t5982,t5982,t5982,t5982,t5982,t5982,t5982,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6489,t6489,t6489,t6486,t6486,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5399,t5399,t5389,t5389,t5389,t5389,t5389,t5389,t5389,t5389,t5389,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7199,t7199,t7199,t7199,t7199,t7199,t7199,t7199,t7199,t7196,t7196,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7654,t7654,t7654,t7654,t7654,t7654,t7654,t7654,t7654,t7651,t7651,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5217,t5217,t5207,t5207,t5207,t5207,t5207,t5207,t5207,t5207,t5207,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t5385,t5384,t5383,t5382,t5381,t5380,t5379,t5378,t5377,t5376,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,t4738,t4737,t4736,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4879,t4879,t4869,t4869,t4869,t4869,t4869,t4869,t4869,t4869,t4869,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5880,t5880,t5880,t5870,t5870,t5870,t5870,t5870,t5870,t5870,t5870,t5870,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5894,t5894,t5894,t5884,t5884,t5884,t5884,t5884,t5884,t5884,t5884,t5884,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7394,t7394,t7394,t7394,t7394,t7394,t7394,t7394,t7394,t7391,t7391,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6286,t6286,t6286,t6276,t6276,t6276,t6276,t6276,t6276,t6276,t6276,t6276,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6244,t6244,t6244,t6234,t6234,t6234,t6234,t6234,t6234,t6234,t6234,t6234,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7108,t7108,t7108,t7108,t7108,t7108,t7108,t7108,t7108,t7105,t7105,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6762,t6762,t6762,t6759,t6759,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7511,t7511,t7511,t7511,t7511,t7511,t7511,t7511,t7511,t7508,t7508,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5243,t5243,t5233,t5233,t5233,t5233,t5233,t5233,t5233,t5233,t5233,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6426,t6426,t6426,t6423,t6423,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4699,t4698,t4697,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4917,t4916,t4915,t4914,t4913,t4912,t4911,t4910,t4909,t4908,t4699,t4698,t4697,t4699,t4698,t4697,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7550,t7550,t7550,t7550,t7550,t7550,t7550,t7550,t7550,t7547,t7547,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5740,t5740,t5740,t5730,t5730,t5730,t5730,t5730,t5730,t5730,t5730,t5730,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5139,t5139,t5129,t5129,t5129,t5129,t5129,t5129,t5129,t5129,t5129,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6447,t6447,t6447,t6444,t6444,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7433,t7433,t7433,t7433,t7433,t7433,t7433,t7433,t7433,t7430,t7430,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6510,t6510,t6510,t6507,t6507,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6822,t6822,t6822,t6822,t6822,t6822,t6822,t6822,t6822,t6819,t6819,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4957,t4957,t4947,t4947,t4947,t4947,t4947,t4947,t4947,t4947,t4947,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7407,t7407,t7407,t7407,t7407,t7407,t7407,t7407,t7407,t7404,t7404,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5373,t5373,t5363,t5363,t5363,t5363,t5363,t5363,t5363,t5363,t5363,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6848,t6848,t6848,t6848,t6848,t6848,t6848,t6848,t6848,t6845,t6845,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5425,t5425,t5415,t5415,t5415,t5415,t5415,t5415,t5415,t5415,t5415,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5152,t5152,t5142,t5142,t5142,t5142,t5142,t5142,t5142,t5142,t5142,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5308,t5308,t5298,t5298,t5298,t5298,t5298,t5298,t5298,t5298,t5298,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7186,t7186,t7186,t7186,t7186,t7186,t7186,t7186,t7186,t7183,t7183,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6461,t6461,t6461,t6458,t6458,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6503,t6503,t6503,t6500,t6500,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5490,t5490,t5480,t5480,t5480,t5480,t5480,t5480,t5480,t5480,t5480,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 96 events :t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t6429,t6428,t6427,t6426,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,t5729,t5728,t5727,t5726,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7225,t7225,t7225,t7225,t7225,t7225,t7225,t7225,t7225,t7222,t7222,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6594,t6594,t6594,t6591,t6591,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6727,t6727,t6727,t6724,t6724,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7082,t7082,t7082,t7082,t7082,t7082,t7082,t7082,t7082,t7079,t7079,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6755,t6755,t6755,t6752,t6752,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5529,t5529,t5519,t5519,t5519,t5519,t5519,t5519,t5519,t5519,t5519,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5672,t5672,t5662,t5662,t5662,t5662,t5662,t5662,t5662,t5662,t5662,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7589,t7589,t7589,t7589,t7589,t7589,t7589,t7589,t7589,t7586,t7586,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4944,t4944,t4934,t4934,t4934,t4934,t4934,t4934,t4934,t4934,t4934,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7030,t7030,t7030,t7030,t7030,t7030,t7030,t7030,t7030,t7027,t7027,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7459,t7459,t7459,t7459,t7459,t7459,t7459,t7459,t7459,t7456,t7456,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6615,t6615,t6615,t6612,t6612,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5978,t5978,t5978,t5968,t5968,t5968,t5968,t5968,t5968,t5968,t5968,t5968,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5412,t5412,t5402,t5402,t5402,t5402,t5402,t5402,t5402,t5402,t5402,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6939,t6939,t6939,t6939,t6939,t6939,t6939,t6939,t6939,t6936,t6936,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6188,t6188,t6188,t6178,t6178,t6178,t6178,t6178,t6178,t6178,t6178,t6178,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4918,t4918,t4908,t4908,t4908,t4908,t4908,t4908,t4908,t4908,t4908,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7004,t7004,t7004,t7004,t7004,t7004,t7004,t7004,t7004,t7001,t7001,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5609,t5608,t5607,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5609,t5608,t5607,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,t5463,t5462,t5461,t5460,t5459,t5458,t5457,t5456,t5455,t5454,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5782,t5782,t5782,t5772,t5772,t5772,t5772,t5772,t5772,t5772,t5772,t5772,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6783,t6783,t6783,t6783,t6783,t6783,t6783,t6783,t6783,t6780,t6780,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7576,t7576,t7576,t7576,t7576,t7576,t7576,t7576,t7576,t7573,t7573,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6741,t6741,t6741,t6738,t6738,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6566,t6566,t6566,t6563,t6563,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7563,t7563,t7563,t7563,t7563,t7563,t7563,t7563,t7563,t7560,t7560,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5347,t5347,t5337,t5337,t5337,t5337,t5337,t5337,t5337,t5337,t5337,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6720,t6720,t6720,t6717,t6717,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6440,t6440,t6440,t6437,t6437,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6580,t6580,t6580,t6577,t6577,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6398,t6398,t6398,t6388,t6388,t6388,t6388,t6388,t6388,t6388,t6388,t6388,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5712,t5712,t5712,t5702,t5702,t5702,t5702,t5702,t5702,t5702,t5702,t5702,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7069,t7069,t7069,t7069,t7069,t7069,t7069,t7069,t7069,t7066,t7066,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7485,t7485,t7485,t7485,t7485,t7485,t7485,t7485,t7485,t7482,t7482,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6965,t6965,t6965,t6965,t6965,t6965,t6965,t6965,t6965,t6962,t6962,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4840,t4840,t4830,t4830,t4830,t4830,t4830,t4830,t4830,t4830,t4830,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6062,t6062,t6062,t6052,t6052,t6052,t6052,t6052,t6052,t6052,t6052,t6052,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7446,t7446,t7446,t7446,t7446,t7446,t7446,t7446,t7446,t7443,t7443,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6545,t6545,t6545,t6542,t6542,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6384,t6384,t6384,t6374,t6374,t6374,t6374,t6374,t6374,t6374,t6374,t6374,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7602,t7602,t7602,t7602,t7602,t7602,t7602,t7602,t7602,t7599,t7599,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5256,t5256,t5246,t5246,t5246,t5246,t5246,t5246,t5246,t5246,t5246,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7771,t7771,t7771,t7771,t7771,t7771,t7771,t7771,t7771,t7768,t7768,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6926,t6926,t6926,t6926,t6926,t6926,t6926,t6926,t6926,t6923,t6923,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6412,t6412,t6412,t6402,t6402,t6402,t6402,t6402,t6402,t6402,t6402,t6402,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6475,t6475,t6475,t6472,t6472,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 96 events :t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t6436,t6435,t6434,t6433,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,t5715,t5714,t5713,t5712,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6664,t6664,t6664,t6661,t6661,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6216,t6216,t6216,t6206,t6206,t6206,t6206,t6206,t6206,t6206,t6206,t6206,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6230,t6230,t6230,t6220,t6220,t6220,t6220,t6220,t6220,t6220,t6220,t6220,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7368,t7368,t7368,t7368,t7368,t7368,t7368,t7368,t7368,t7365,t7365,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5646,t5646,t5636,t5636,t5636,t5636,t5636,t5636,t5636,t5636,t5636,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5386,t5386,t5376,t5376,t5376,t5376,t5376,t5376,t5376,t5376,t5376,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5295,t5295,t5285,t5285,t5285,t5285,t5285,t5285,t5285,t5285,t5285,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6636,t6636,t6636,t6633,t6633,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7290,t7290,t7290,t7290,t7290,t7290,t7290,t7290,t7290,t7287,t7287,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6748,t6748,t6748,t6745,t6745,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6559,t6559,t6559,t6556,t6556,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6913,t6913,t6913,t6913,t6913,t6913,t6913,t6913,t6913,t6910,t6910,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5866,t5866,t5866,t5856,t5856,t5856,t5856,t5856,t5856,t5856,t5856,t5856,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4749,t4749,t4739,t4739,t4739,t4739,t4739,t4739,t4739,t4739,t4739,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7537,t7537,t7537,t7537,t7537,t7537,t7537,t7537,t7537,t7534,t7534,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5048,t5048,t5038,t5038,t5038,t5038,t5038,t5038,t5038,t5038,t5038,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4983,t4983,t4973,t4973,t4973,t4973,t4973,t4973,t4973,t4973,t4973,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5165,t5165,t5155,t5155,t5155,t5155,t5155,t5155,t5155,t5155,t5155,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 96 events :t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t6419,t6418,t6417,t6416,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,t5743,t5742,t5741,t5740,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6258,t6258,t6258,t6248,t6248,t6248,t6248,t6248,t6248,t6248,t6248,t6248,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6622,t6622,t6622,t6619,t6619,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6601,t6601,t6601,t6598,t6598,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7628,t7628,t7628,t7628,t7628,t7628,t7628,t7628,t7628,t7625,t7625,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5922,t5922,t5922,t5912,t5912,t5912,t5912,t5912,t5912,t5912,t5912,t5912,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5022,t5022,t5012,t5012,t5012,t5012,t5012,t5012,t5012,t5012,t5012,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7381,t7381,t7381,t7381,t7381,t7381,t7381,t7381,t7381,t7378,t7378,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4827,t4827,t4817,t4817,t4817,t4817,t4817,t4817,t4817,t4817,t4817,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7173,t7173,t7173,t7173,t7173,t7173,t7173,t7173,t7173,t7170,t7170,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5568,t5568,t5558,t5558,t5558,t5558,t5558,t5558,t5558,t5558,t5558,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5607,t5607,t5597,t5597,t5597,t5597,t5597,t5597,t5597,t5597,t5597,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6552,t6552,t6552,t6549,t6549,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4801,t4801,t4791,t4791,t4791,t4791,t4791,t4791,t4791,t4791,t4791,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6861,t6861,t6861,t6861,t6861,t6861,t6861,t6861,t6861,t6858,t6858,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5230,t5230,t5220,t5220,t5220,t5220,t5220,t5220,t5220,t5220,t5220,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6796,t6796,t6796,t6796,t6796,t6796,t6796,t6796,t6796,t6793,t6793,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7056,t7056,t7056,t7056,t7056,t7056,t7056,t7056,t7056,t7053,t7053,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7160,t7160,t7160,t7160,t7160,t7160,t7160,t7160,t7160,t7157,t7157,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6517,t6517,t6517,t6514,t6514,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6104,t6104,t6104,t6094,t6094,t6094,t6094,t6094,t6094,t6094,t6094,t6094,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4866,t4866,t4856,t4856,t4856,t4856,t4856,t4856,t4856,t4856,t4856,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6835,t6835,t6835,t6835,t6835,t6835,t6835,t6835,t6835,t6832,t6832,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6300,t6300,t6300,t6290,t6290,t6290,t6290,t6290,t6290,t6290,t6290,t6290,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6454,t6454,t6454,t6451,t6451,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7264,t7264,t7264,t7264,t7264,t7264,t7264,t7264,t7264,t7261,t7261,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5440,t5439,t5438,t5440,t5439,t5438,t5440,t5439,t5438,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,t5307,t5306,t5305,t5304,t5303,t5302,t5301,t5300,t5299,t5298,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6692,t6692,t6692,t6689,t6689,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7212,t7212,t7212,t7212,t7212,t7212,t7212,t7212,t7212,t7209,t7209,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4764,t4763,t4762,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,t4683,t4682,t4681,t4680,t4679,t4678,t4677,t4676,t4675,t4674,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7342,t7342,t7342,t7342,t7342,t7342,t7342,t7342,t7342,t7339,t7339,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6573,t6573,t6573,t6570,t6570,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7238,t7238,t7238,t7238,t7238,t7238,t7238,t7238,t7238,t7235,t7235,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7355,t7355,t7355,t7355,t7355,t7355,t7355,t7355,t7355,t7352,t7352,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6496,t6496,t6496,t6493,t6493,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6657,t6657,t6657,t6654,t6654,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6629,t6629,t6629,t6626,t6626,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6608,t6608,t6608,t6605,t6605,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t5229,t5228,t5227,t5226,t5225,t5224,t5223,t5222,t5221,t5220,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,t4725,t4724,t4723,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4996,t4996,t4986,t4986,t4986,t4986,t4986,t4986,t4986,t4986,t4986,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7784,t7784,t7784,t7784,t7784,t7784,t7784,t7784,t7784,t7781,t7781,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6699,t6699,t6699,t6696,t6696,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5451,t5451,t5441,t5441,t5441,t5441,t5441,t5441,t5441,t5441,t5441,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5838,t5838,t5838,t5828,t5828,t5828,t5828,t5828,t5828,t5828,t5828,t5828,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5113,t5113,t5103,t5103,t5103,t5103,t5103,t5103,t5103,t5103,t5103,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5726,t5726,t5726,t5716,t5716,t5716,t5716,t5716,t5716,t5716,t5716,t5716,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5321,t5321,t5311,t5311,t5311,t5311,t5311,t5311,t5311,t5311,t5311,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7667,t7667,t7667,t7667,t7667,t7667,t7667,t7667,t7667,t7664,t7664,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5464,t5464,t5454,t5454,t5454,t5454,t5454,t5454,t5454,t5454,t5454,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6174,t6174,t6174,t6164,t6164,t6164,t6164,t6164,t6164,t6164,t6164,t6164,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6370,t6370,t6370,t6360,t6360,t6360,t6360,t6360,t6360,t6360,t6360,t6360,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7121,t7121,t7121,t7121,t7121,t7121,t7121,t7121,t7121,t7118,t7118,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6776,t6776,t6776,t6773,t6773,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5009,t5009,t4999,t4999,t4999,t4999,t4999,t4999,t4999,t4999,t4999,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5269,t5269,t5259,t5259,t5259,t5259,t5259,t5259,t5259,t5259,t5259,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t6422,t6421,t6420,t6422,t6421,t6420,t6422,t6421,t6420,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,t5619,t5618,t5617,t5616,t5615,t5614,t5613,t5612,t5611,t5610,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5074,t5074,t5064,t5064,t5064,t5064,t5064,t5064,t5064,t5064,t5064,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5191,t5191,t5181,t5181,t5181,t5181,t5181,t5181,t5181,t5181,t5181,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6991,t6991,t6991,t6991,t6991,t6991,t6991,t6991,t6991,t6988,t6988,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6524,t6524,t6524,t6521,t6521,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6006,t6006,t6006,t5996,t5996,t5996,t5996,t5996,t5996,t5996,t5996,t5996,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5698,t5698,t5698,t5688,t5688,t5688,t5688,t5688,t5688,t5688,t5688,t5688,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7043,t7043,t7043,t7043,t7043,t7043,t7043,t7043,t7043,t7040,t7040,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7641,t7641,t7641,t7641,t7641,t7641,t7641,t7641,t7641,t7638,t7638,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7615,t7615,t7615,t7615,t7615,t7615,t7615,t7615,t7615,t7612,t7612,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5061,t5061,t5051,t5051,t5051,t5051,t5051,t5051,t5051,t5051,t5051,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6468,t6468,t6468,t6465,t6465,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7251,t7251,t7251,t7251,t7251,t7251,t7251,t7251,t7251,t7248,t7248,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6713,t6713,t6713,t6710,t6710,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6538,t6538,t6538,t6535,t6535,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4684,t4684,t4674,t4674,t4674,t4674,t4674,t4674,t4674,t4674,t4674,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6706,t6706,t6706,t6703,t6703,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6433,t6433,t6433,t6430,t6430,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5204,t5204,t5194,t5194,t5194,t5194,t5194,t5194,t5194,t5194,t5194,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5503,t5503,t5493,t5493,t5493,t5493,t5493,t5493,t5493,t5493,t5493,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6978,t6978,t6978,t6978,t6978,t6978,t6978,t6978,t6978,t6975,t6975,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4853,t4853,t4843,t4843,t4843,t4843,t4843,t4843,t4843,t4843,t4843,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4892,t4892,t4882,t4882,t4882,t4882,t4882,t4882,t4882,t4882,t4882,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7498,t7498,t7498,t7498,t7498,t7498,t7498,t7498,t7498,t7495,t7495,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7303,t7303,t7303,t7303,t7303,t7303,t7303,t7303,t7303,t7300,t7300,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5908,t5908,t5908,t5898,t5898,t5898,t5898,t5898,t5898,t5898,t5898,t5898,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t5541,t5540,t5539,t5538,t5537,t5536,t5535,t5534,t5533,t5532,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,t4751,t4750,t4749,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4762,t4762,t4752,t4752,t4752,t4752,t4752,t4752,t4752,t4752,t4752,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6146,t6146,t6146,t6136,t6136,t6136,t6136,t6136,t6136,t6136,t6136,t6136,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5100,t5100,t5090,t5090,t5090,t5090,t5090,t5090,t5090,t5090,t5090,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6643,t6643,t6643,t6640,t6640,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5936,t5936,t5936,t5926,t5926,t5926,t5926,t5926,t5926,t5926,t5926,t5926,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6587,t6587,t6587,t6584,t6584,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5768,t5768,t5768,t5758,t5758,t5758,t5758,t5758,t5758,t5758,t5758,t5758,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5964,t5964,t5964,t5954,t5954,t5954,t5954,t5954,t5954,t5954,t5954,t5954,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5796,t5796,t5796,t5786,t5786,t5786,t5786,t5786,t5786,t5786,t5786,t5786,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6769,t6769,t6769,t6766,t6766,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5334,t5334,t5324,t5324,t5324,t5324,t5324,t5324,t5324,t5324,t5324,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5633,t5633,t5623,t5623,t5623,t5623,t5623,t5623,t5623,t5623,t5623,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4686,t4685,t4684,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,t4761,t4760,t4759,t4758,t4757,t4756,t4755,t4754,t4753,t4752,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7706,t7706,t7706,t7706,t7706,t7706,t7706,t7706,t7706,t7703,t7703,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7095,t7095,t7095,t7095,t7095,t7095,t7095,t7095,t7095,t7092,t7092,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6202,t6202,t6202,t6192,t6192,t6192,t6192,t6192,t6192,t6192,t6192,t6192,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5178,t5178,t5168,t5168,t5168,t5168,t5168,t5168,t5168,t5168,t5168,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5542,t5542,t5532,t5532,t5532,t5532,t5532,t5532,t5532,t5532,t5532,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6272,t6272,t6272,t6262,t6262,t6262,t6262,t6262,t6262,t6262,t6262,t6262,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6531,t6531,t6531,t6528,t6528,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4736,t4736,t4726,t4726,t4726,t4726,t4726,t4726,t4726,t4726,t4726,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5594,t5594,t5584,t5584,t5584,t5584,t5584,t5584,t5584,t5584,t5584,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6034,t6034,t6034,t6024,t6024,t6024,t6024,t6024,t6024,t6024,t6024,t6024,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6482,t6482,t6482,t6479,t6479,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6952,t6952,t6952,t6952,t6952,t6952,t6952,t6952,t6952,t6949,t6949,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6900,t6900,t6900,t6900,t6900,t6900,t6900,t6900,t6900,t6897,t6897,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6671,t6671,t6671,t6668,t6668,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6356,t6356,t6356,t6346,t6346,t6346,t6346,t6346,t6346,t6346,t6346,t6346,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7134,t7134,t7134,t7134,t7134,t7134,t7134,t7134,t7134,t7131,t7131,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5477,t5477,t5467,t5467,t5467,t5467,t5467,t5467,t5467,t5467,t5467,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5516,t5516,t5506,t5506,t5506,t5506,t5506,t5506,t5506,t5506,t5506,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5659,t5659,t5649,t5649,t5649,t5649,t5649,t5649,t5649,t5649,t5649,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6076,t6076,t6076,t6066,t6066,t6066,t6066,t6066,t6066,t6066,t6066,t6066,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7680,t7680,t7680,t7680,t7680,t7680,t7680,t7680,t7680,t7677,t7677,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6420,t6420,t6416,t6416,t6416,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4814,t4814,t4804,t4804,t4804,t4804,t4804,t4804,t4804,t4804,t4804,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6118,t6118,t6118,t6108,t6108,t6108,t6108,t6108,t6108,t6108,t6108,t6108,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7719,t7719,t7719,t7719,t7719,t7719,t7719,t7719,t7719,t7716,t7716,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5360,t5360,t5350,t5350,t5350,t5350,t5350,t5350,t5350,t5350,t5350,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4710,t4710,t4700,t4700,t4700,t4700,t4700,t4700,t4700,t4700,t4700,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t6650,t6650,t6650,t6647,t6647,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5555,t5555,t5545,t5545,t5545,t5545,t5545,t5545,t5545,t5545,t5545,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4775,t4775,t4765,t4765,t4765,t4765,t4765,t4765,t4765,t4765,t4765,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t5102,t5101,t5100,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,t4995,t4994,t4993,t4992,t4991,t4990,t4989,t4988,t4987,t4986,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5581,t5581,t5571,t5571,t5571,t5571,t5571,t5571,t5571,t5571,t5571,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6328,t6328,t6328,t6318,t6318,t6318,t6318,t6318,t6318,t6318,t6318,t6318,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6887,t6887,t6887,t6887,t6887,t6887,t6887,t6887,t6887,t6884,t6884,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7316,t7316,t7316,t7316,t7316,t7316,t7316,t7316,t7316,t7313,t7313,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6314,t6314,t6314,t6304,t6304,t6304,t6304,t6304,t6304,t6304,t6304,t6304,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6020,t6020,t6020,t6010,t6010,t6010,t6010,t6010,t6010,t6010,t6010,t6010,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4697,t4697,t4687,t4687,t4687,t4687,t4687,t4687,t4687,t4687,t4687,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6874,t6874,t6874,t6874,t6874,t6874,t6874,t6874,t6874,t6871,t6871,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7420,t7420,t7420,t7420,t7420,t7420,t7420,t7420,t7420,t7417,t7417,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t4933,t4932,t4931,t4933,t4932,t4931,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4933,t4932,t4931,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,t4839,t4838,t4837,t4836,t4835,t4834,t4833,t4832,t4831,t4830,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5620,t5620,t5610,t5610,t5610,t5610,t5610,t5610,t5610,t5610,t5610,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5950,t5950,t5950,t5940,t5940,t5940,t5940,t5940,t5940,t5940,t5940,t5940,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7329,t7329,t7329,t7329,t7329,t7329,t7329,t7329,t7329,t7326,t7326,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 195 events :t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5271,t5270,t5269,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5151,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 5519 redundant transitions.
Mar 24, 2019 4:54:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1151 ms
Mar 24, 2019 4:54:13 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 405 ms
Mar 24, 2019 4:54:13 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 4 ms
Mar 24, 2019 4:54:16 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 7836 transitions.
Mar 24, 2019 4:54:16 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (7836) to apply POR reductions. Disabling POR matrices.
Mar 24, 2019 4:54:17 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 3873ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 134

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="DLCround-PT-12b"
export BK_EXAMINATION="LTLFireability"
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-3954"
echo " Executing tool itstools"
echo " Input is DLCround-PT-12b, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-oct2-155234410000484"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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