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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15901.020 2828671.00 10446931.00 485.20 [undef] Cannot compute

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-155234410000502.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-13b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234410000502
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 3.2K Feb 10 08:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 08:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 06:41 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.5K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.6K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 2 23:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 2 23:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 30 13:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 13:58 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 2.1M 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-13b-LTLFireability-00
FORMULA_NAME DLCround-PT-13b-LTLFireability-01
FORMULA_NAME DLCround-PT-13b-LTLFireability-02
FORMULA_NAME DLCround-PT-13b-LTLFireability-03
FORMULA_NAME DLCround-PT-13b-LTLFireability-04
FORMULA_NAME DLCround-PT-13b-LTLFireability-05
FORMULA_NAME DLCround-PT-13b-LTLFireability-06
FORMULA_NAME DLCround-PT-13b-LTLFireability-07
FORMULA_NAME DLCround-PT-13b-LTLFireability-08
FORMULA_NAME DLCround-PT-13b-LTLFireability-09
FORMULA_NAME DLCround-PT-13b-LTLFireability-10
FORMULA_NAME DLCround-PT-13b-LTLFireability-11
FORMULA_NAME DLCround-PT-13b-LTLFireability-12
FORMULA_NAME DLCround-PT-13b-LTLFireability-13
FORMULA_NAME DLCround-PT-13b-LTLFireability-14
FORMULA_NAME DLCround-PT-13b-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1553446442669

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(F(("(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.u486.p3982>=1)")U("((i0.i0.u34.p1894>=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.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u427.p3386>=1))")))))
Formula 0 simplified : !GF("(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.u486.p3982>=1)" U "((i0.i0.u34.p1894>=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.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u427.p3386>=1))")
built 4 ordering constraints for composite.
built 266 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 1468 ordering constraints for composite.
built 1463 ordering constraints for composite.
built 1458 ordering constraints for composite.
built 1453 ordering constraints for composite.
built 1448 ordering constraints for composite.
built 1443 ordering constraints for composite.
built 1438 ordering constraints for composite.
built 1433 ordering constraints for composite.
built 1428 ordering constraints for composite.
built 1423 ordering constraints for composite.
built 1418 ordering constraints for composite.
built 1413 ordering constraints for composite.
built 1408 ordering constraints for composite.
built 1403 ordering constraints for composite.
built 1398 ordering constraints for composite.
built 1393 ordering constraints for composite.
built 1388 ordering constraints for composite.
built 1383 ordering constraints for composite.
built 1378 ordering constraints for composite.
built 1373 ordering constraints for composite.
built 1368 ordering constraints for composite.
built 1363 ordering constraints for composite.
built 1358 ordering constraints for composite.
built 1353 ordering constraints for composite.
built 1348 ordering constraints for composite.
built 1343 ordering constraints for composite.
built 1338 ordering constraints for composite.
built 1333 ordering constraints for composite.
built 1328 ordering constraints for composite.
built 1323 ordering constraints for composite.
built 1318 ordering constraints for composite.
built 1313 ordering constraints for composite.
built 1308 ordering constraints for composite.
built 1303 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 260581 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 385 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, -p, --pins-guards, --when, --ltl, false, --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, false, --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, []((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, -p, --pins-guards, --when, --ltl, []((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, ((LTLAP3==true))U(X(((LTLAP4==true))U((LTLAP5==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, ((LTLAP3==true))U(X(((LTLAP4==true))U((LTLAP5==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, []((LTLAP6==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, []((LTLAP6==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, false, --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, false, --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, (((LTLAP7==true))U([]((LTLAP8==true))))U((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, -p, --pins-guards, --when, --ltl, (((LTLAP7==true))U([]((LTLAP8==true))))U((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]
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, -p, --pins-guards, --when, --ltl, false, --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, false, --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, false, --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, false, --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(<>((LTLAP13==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X(<>((LTLAP13==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
255
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc

BK_STOP 1553449271340

--------------------
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:04 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:04 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 218 ms
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 5343 places.
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 8727 transitions.
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 24, 2019 4:54:05 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 24, 2019 4:54:06 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 996 ms
Mar 24, 2019 4:54:06 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 690 ms
Mar 24, 2019 4:54:06 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 24, 2019 4:54:10 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5515,t5515,t5505,t5505,t5505,t5505,t5505,t5505,t5505,t5505,t5505,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5970,t5970,t5960,t5960,t5960,t5960,t5960,t5960,t5960,t5960,t5960,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8478,t8478,t8478,t8478,t8478,t8478,t8478,t8478,t8478,t8475,t8475,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5346,t5346,t5336,t5336,t5336,t5336,t5336,t5336,t5336,t5336,t5336,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7945,t7945,t7945,t7945,t7945,t7945,t7945,t7945,t7945,t7942,t7942,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8231,t8231,t8231,t8231,t8231,t8231,t8231,t8231,t8231,t8228,t8228,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7272,t7272,t7272,t7269,t7269,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6243,t6243,t6233,t6233,t6233,t6233,t6233,t6233,t6233,t6233,t6233,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8595,t8595,t8595,t8595,t8595,t8595,t8595,t8595,t8595,t8592,t8592,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t6164,t6163,t6162,t6161,t6160,t6159,t6158,t6157,t6156,t6155,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,t5309,t5308,t5307,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7828,t7828,t7828,t7828,t7828,t7828,t7828,t7828,t7828,t7825,t7825,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6726,t6726,t6726,t6716,t6716,t6716,t6716,t6716,t6716,t6716,t6716,t6716,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7433,t7433,t7433,t7430,t7430,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5476,t5476,t5466,t5466,t5466,t5466,t5466,t5466,t5466,t5466,t5466,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6530,t6530,t6530,t6520,t6520,t6520,t6520,t6520,t6520,t6520,t6520,t6520,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5255,t5255,t5245,t5245,t5245,t5245,t5245,t5245,t5245,t5245,t5245,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6404,t6404,t6404,t6394,t6394,t6394,t6394,t6394,t6394,t6394,t6394,t6394,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t6255,t6254,t6253,t6252,t6251,t6250,t6249,t6248,t6247,t6246,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,t5231,t5230,t5229,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5775,t5775,t5765,t5765,t5765,t5765,t5765,t5765,t5765,t5765,t5765,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7363,t7363,t7363,t7360,t7360,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8491,t8491,t8491,t8491,t8491,t8491,t8491,t8491,t8491,t8488,t8488,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7468,t7468,t7468,t7465,t7465,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8634,t8634,t8634,t8634,t8634,t8634,t8634,t8634,t8634,t8631,t8631,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7216,t7216,t7216,t7213,t7213,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5541,t5541,t5531,t5531,t5531,t5531,t5531,t5531,t5531,t5531,t5531,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8283,t8283,t8283,t8283,t8283,t8283,t8283,t8283,t8283,t8280,t8280,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5645,t5645,t5635,t5635,t5635,t5635,t5635,t5635,t5635,t5635,t5635,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8465,t8465,t8465,t8465,t8465,t8465,t8465,t8465,t8465,t8462,t8462,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5411,t5411,t5401,t5401,t5401,t5401,t5401,t5401,t5401,t5401,t5401,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8179,t8179,t8179,t8179,t8179,t8179,t8179,t8179,t8179,t8176,t8176,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7314,t7314,t7314,t7311,t7311,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6165,t6165,t6155,t6155,t6155,t6155,t6155,t6155,t6155,t6155,t6155,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5827,t5827,t5817,t5817,t5817,t5817,t5817,t5817,t5817,t5817,t5817,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6866,t6866,t6866,t6856,t6856,t6856,t6856,t6856,t6856,t6856,t6856,t6856,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6321,t6321,t6311,t6311,t6311,t6311,t6311,t6311,t6311,t6311,t6311,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7711,t7711,t7711,t7711,t7711,t7711,t7711,t7711,t7711,t7708,t7708,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6586,t6586,t6586,t6576,t6576,t6576,t6576,t6576,t6576,t6576,t6576,t6576,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6558,t6558,t6558,t6548,t6548,t6548,t6548,t6548,t6548,t6548,t6548,t6548,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7997,t7997,t7997,t7997,t7997,t7997,t7997,t7997,t7997,t7994,t7994,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7698,t7698,t7698,t7698,t7698,t7698,t7698,t7698,t7698,t7695,t7695,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6670,t6670,t6670,t6660,t6660,t6660,t6660,t6660,t6660,t6660,t6660,t6660,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6642,t6642,t6642,t6632,t6632,t6632,t6632,t6632,t6632,t6632,t6632,t6632,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7802,t7802,t7802,t7802,t7802,t7802,t7802,t7802,t7802,t7799,t7799,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5866,t5866,t5856,t5856,t5856,t5856,t5856,t5856,t5856,t5856,t5856,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5840,t5840,t5830,t5830,t5830,t5830,t5830,t5830,t5830,t5830,t5830,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5463,t5463,t5453,t5453,t5453,t5453,t5453,t5453,t5453,t5453,t5453,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6432,t6432,t6432,t6422,t6422,t6422,t6422,t6422,t6422,t6422,t6422,t6422,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8296,t8296,t8296,t8296,t8296,t8296,t8296,t8296,t8296,t8293,t8293,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7426,t7426,t7426,t7423,t7423,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5257,t5256,t5255,t5257,t5256,t5255,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5257,t5256,t5255,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5488,t5487,t5486,t5485,t5484,t5483,t5482,t5481,t5480,t5479,t5257,t5256,t5255,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5567,t5567,t5557,t5557,t5557,t5557,t5557,t5557,t5557,t5557,t5557,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8660,t8660,t8660,t8660,t8660,t8660,t8660,t8660,t8660,t8657,t8657,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7230,t7230,t7230,t7227,t7227,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6824,t6824,t6824,t6814,t6814,t6814,t6814,t6814,t6814,t6814,t6814,t6814,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8530,t8530,t8530,t8530,t8530,t8530,t8530,t8530,t8530,t8527,t8527,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5918,t5918,t5908,t5908,t5908,t5908,t5908,t5908,t5908,t5908,t5908,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6936,t6936,t6936,t6926,t6926,t6926,t6926,t6926,t6926,t6926,t6926,t6926,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8374,t8374,t8374,t8374,t8374,t8374,t8374,t8374,t8374,t8371,t8371,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7475,t7475,t7475,t7472,t7472,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6100,t6100,t6090,t6090,t6090,t6090,t6090,t6090,t6090,t6090,t6090,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7594,t7594,t7594,t7594,t7594,t7594,t7594,t7594,t7594,t7591,t7591,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6782,t6782,t6782,t6772,t6772,t6772,t6772,t6772,t6772,t6772,t6772,t6772,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 104 events :t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t7135,t7134,t7133,t7132,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,t6337,t6336,t6335,t6334,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8244,t8244,t8244,t8244,t8244,t8244,t8244,t8244,t8244,t8241,t8241,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5528,t5528,t5518,t5518,t5518,t5518,t5518,t5518,t5518,t5518,t5518,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5554,t5554,t5544,t5544,t5544,t5544,t5544,t5544,t5544,t5544,t5544,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5281,t5281,t5271,t5271,t5271,t5271,t5271,t5271,t5271,t5271,t5271,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6544,t6544,t6544,t6534,t6534,t6534,t6534,t6534,t6534,t6534,t6534,t6534,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8439,t8439,t8439,t8439,t8439,t8439,t8439,t8439,t8439,t8436,t8436,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7328,t7328,t7328,t7325,t7325,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7195,t7195,t7195,t7192,t7192,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8361,t8361,t8361,t8361,t8361,t8361,t8361,t8361,t8361,t8358,t8358,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7048,t7048,t7048,t7038,t7038,t7038,t7038,t7038,t7038,t7038,t7038,t7038,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7377,t7377,t7377,t7374,t7374,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7300,t7300,t7300,t7297,t7297,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8608,t8608,t8608,t8608,t8608,t8608,t8608,t8608,t8608,t8605,t8605,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8101,t8101,t8101,t8101,t8101,t8101,t8101,t8101,t8101,t8098,t8098,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6191,t6191,t6181,t6181,t6181,t6181,t6181,t6181,t6181,t6181,t6181,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8543,t8543,t8543,t8543,t8543,t8543,t8543,t8543,t8543,t8540,t8540,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7854,t7854,t7854,t7854,t7854,t7854,t7854,t7854,t7854,t7851,t7851,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6628,t6628,t6628,t6618,t6618,t6618,t6618,t6618,t6618,t6618,t6618,t6618,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5179,t5178,t5177,t5179,t5178,t5177,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5179,t5178,t5177,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5579,t5578,t5577,t5576,t5575,t5574,t5573,t5572,t5571,t5570,t5179,t5178,t5177,t5179,t5178,t5177,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6269,t6269,t6259,t6259,t6259,t6259,t6259,t6259,t6259,t6259,t6259,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7454,t7454,t7454,t7451,t7451,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6922,t6922,t6922,t6912,t6912,t6912,t6912,t6912,t6912,t6912,t6912,t6912,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5983,t5983,t5973,t5973,t5973,t5973,t5973,t5973,t5973,t5973,t5973,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6418,t6418,t6418,t6408,t6408,t6408,t6408,t6408,t6408,t6408,t6408,t6408,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6880,t6880,t6880,t6870,t6870,t6870,t6870,t6870,t6870,t6870,t6870,t6870,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7568,t7568,t7568,t7568,t7568,t7568,t7568,t7568,t7568,t7565,t7565,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5320,t5320,t5310,t5310,t5310,t5310,t5310,t5310,t5310,t5310,t5310,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8517,t8517,t8517,t8517,t8517,t8517,t8517,t8517,t8517,t8514,t8514,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6035,t6035,t6025,t6025,t6025,t6025,t6025,t6025,t6025,t6025,t6025,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7174,t7174,t7174,t7171,t7171,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 104 events :t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t7111,t7110,t7109,t7108,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,t6379,t6378,t6377,t6376,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6230,t6230,t6220,t6220,t6220,t6220,t6220,t6220,t6220,t6220,t6220,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7062,t7062,t7062,t7052,t7052,t7052,t7052,t7052,t7052,t7052,t7052,t7052,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7776,t7776,t7776,t7776,t7776,t7776,t7776,t7776,t7776,t7773,t7773,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5489,t5489,t5479,t5479,t5479,t5479,t5479,t5479,t5479,t5479,t5479,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5333,t5333,t5323,t5323,t5323,t5323,t5323,t5323,t5323,t5323,t5323,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6516,t6516,t6516,t6506,t6506,t6506,t6506,t6506,t6506,t6506,t6506,t6506,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7412,t7412,t7412,t7409,t7409,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7321,t7321,t7321,t7318,t7318,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6740,t6740,t6740,t6730,t6730,t6730,t6730,t6730,t6730,t6730,t6730,t6730,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5957,t5957,t5947,t5947,t5947,t5947,t5947,t5947,t5947,t5947,t5947,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5931,t5931,t5921,t5921,t5921,t5921,t5921,t5921,t5921,t5921,t5921,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6502,t6502,t6502,t6492,t6492,t6492,t6492,t6492,t6492,t6492,t6492,t6492,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5723,t5723,t5713,t5713,t5713,t5713,t5713,t5713,t5713,t5713,t5713,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5216,t5216,t5206,t5206,t5206,t5206,t5206,t5206,t5206,t5206,t5206,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6022,t6022,t6012,t6012,t6012,t6012,t6012,t6012,t6012,t6012,t6012,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6009,t6009,t5999,t5999,t5999,t5999,t5999,t5999,t5999,t5999,t5999,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6908,t6908,t6908,t6898,t6898,t6898,t6898,t6898,t6898,t6898,t6898,t6898,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8582,t8582,t8582,t8582,t8582,t8582,t8582,t8582,t8582,t8579,t8579,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8023,t8023,t8023,t8023,t8023,t8023,t8023,t8023,t8023,t8020,t8020,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5892,t5892,t5882,t5882,t5882,t5882,t5882,t5882,t5882,t5882,t5882,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6950,t6950,t6950,t6940,t6940,t6940,t6940,t6940,t6940,t6940,t6940,t6940,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7020,t7020,t7020,t7010,t7010,t7010,t7010,t7010,t7010,t7010,t7010,t7010,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6308,t6308,t6298,t6298,t6298,t6298,t6298,t6298,t6298,t6298,t6298,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7763,t7763,t7763,t7763,t7763,t7763,t7763,t7763,t7763,t7760,t7760,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6810,t6810,t6810,t6800,t6800,t6800,t6800,t6800,t6800,t6800,t6800,t6800,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7482,t7482,t7482,t7479,t7479,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6754,t6754,t6754,t6744,t6744,t6744,t6744,t6744,t6744,t6744,t6744,t6744,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7167,t7167,t7167,t7164,t7164,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7633,t7633,t7633,t7633,t7633,t7633,t7633,t7633,t7633,t7630,t7630,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5398,t5398,t5388,t5388,t5388,t5388,t5388,t5388,t5388,t5388,t5388,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5580,t5580,t5570,t5570,t5570,t5570,t5570,t5570,t5570,t5570,t5570,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8036,t8036,t8036,t8036,t8036,t8036,t8036,t8036,t8036,t8033,t8033,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7867,t7867,t7867,t7867,t7867,t7867,t7867,t7867,t7867,t7864,t7864,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5905,t5905,t5895,t5895,t5895,t5895,t5895,t5895,t5895,t5895,t5895,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7971,t7971,t7971,t7971,t7971,t7971,t7971,t7971,t7971,t7968,t7968,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6178,t6178,t6168,t6168,t6168,t6168,t6168,t6168,t6168,t6168,t6168,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5372,t5372,t5362,t5362,t5362,t5362,t5362,t5362,t5362,t5362,t5362,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6712,t6712,t6712,t6702,t6702,t6702,t6702,t6702,t6702,t6702,t6702,t6702,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5593,t5593,t5583,t5583,t5583,t5583,t5583,t5583,t5583,t5583,t5583,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7737,t7737,t7737,t7737,t7737,t7737,t7737,t7737,t7737,t7734,t7734,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5294,t5294,t5284,t5284,t5284,t5284,t5284,t5284,t5284,t5284,t5284,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7118,t7118,t7118,t7115,t7115,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7160,t7160,t7160,t7157,t7157,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6852,t6852,t6852,t6842,t6842,t6842,t6842,t6842,t6842,t6842,t6842,t6842,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8205,t8205,t8205,t8205,t8205,t8205,t8205,t8205,t8205,t8202,t8202,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7893,t7893,t7893,t7893,t7893,t7893,t7893,t7893,t7893,t7890,t7890,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7932,t7932,t7932,t7932,t7932,t7932,t7932,t7932,t7932,t7929,t7929,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8413,t8413,t8413,t8413,t8413,t8413,t8413,t8413,t8413,t8410,t8410,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6282,t6282,t6272,t6272,t6272,t6272,t6272,t6272,t6272,t6272,t6272,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8348,t8348,t8348,t8348,t8348,t8348,t8348,t8348,t8348,t8345,t8345,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5762,t5762,t5752,t5752,t5752,t5752,t5752,t5752,t5752,t5752,t5752,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5385,t5385,t5375,t5375,t5375,t5375,t5375,t5375,t5375,t5375,t5375,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6838,t6838,t6838,t6828,t6828,t6828,t6828,t6828,t6828,t6828,t6828,t6828,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7672,t7672,t7672,t7672,t7672,t7672,t7672,t7672,t7672,t7669,t7669,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5684,t5684,t5674,t5674,t5674,t5674,t5674,t5674,t5674,t5674,t5674,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6152,t6152,t6142,t6142,t6142,t6142,t6142,t6142,t6142,t6142,t6142,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7581,t7581,t7581,t7581,t7581,t7581,t7581,t7581,t7581,t7578,t7578,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7516,t7516,t7516,t7516,t7516,t7516,t7516,t7516,t7516,t7513,t7513,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6048,t6048,t6038,t6038,t6038,t6038,t6038,t6038,t6038,t6038,t6038,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8140,t8140,t8140,t8140,t8140,t8140,t8140,t8140,t8140,t8137,t8137,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5996,t5996,t5986,t5986,t5986,t5986,t5986,t5986,t5986,t5986,t5986,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5749,t5749,t5739,t5739,t5739,t5739,t5739,t5739,t5739,t5739,t5739,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7958,t7958,t7958,t7958,t7958,t7958,t7958,t7958,t7958,t7955,t7955,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6614,t6614,t6614,t6604,t6604,t6604,t6604,t6604,t6604,t6604,t6604,t6604,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7132,t7132,t7132,t7129,t7129,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8387,t8387,t8387,t8387,t8387,t8387,t8387,t8387,t8387,t8384,t8384,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7139,t7139,t7139,t7136,t7136,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5229,t5229,t5219,t5219,t5219,t5219,t5219,t5219,t5219,t5219,t5219,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6074,t6074,t6064,t6064,t6064,t6064,t6064,t6064,t6064,t6064,t6064,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7202,t7202,t7202,t7199,t7199,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5190,t5190,t5180,t5180,t5180,t5180,t5180,t5180,t5180,t5180,t5180,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8400,t8400,t8400,t8400,t8400,t8400,t8400,t8400,t8400,t8397,t8397,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7090,t7090,t7090,t7080,t7080,t7080,t7080,t7080,t7080,t7080,t7080,t7080,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6684,t6684,t6684,t6674,t6674,t6674,t6674,t6674,t6674,t6674,t6674,t6674,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5879,t5879,t5869,t5869,t5869,t5869,t5869,t5869,t5869,t5869,t5869,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7724,t7724,t7724,t7724,t7724,t7724,t7724,t7724,t7724,t7721,t7721,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7293,t7293,t7293,t7290,t7290,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5153,t5152,t5151,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,t5241,t5240,t5239,t5238,t5237,t5236,t5235,t5234,t5233,t5232,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6460,t6460,t6460,t6450,t6450,t6450,t6450,t6450,t6450,t6450,t6450,t6450,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5632,t5632,t5622,t5622,t5622,t5622,t5622,t5622,t5622,t5622,t5622,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7815,t7815,t7815,t7815,t7815,t7815,t7815,t7815,t7815,t7812,t7812,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6204,t6204,t6194,t6194,t6194,t6194,t6194,t6194,t6194,t6194,t6194,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6572,t6572,t6572,t6562,t6562,t6562,t6562,t6562,t6562,t6562,t6562,t6562,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8192,t8192,t8192,t8192,t8192,t8192,t8192,t8192,t8192,t8189,t8189,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8504,t8504,t8504,t8504,t8504,t8504,t8504,t8504,t8504,t8501,t8501,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6087,t6087,t6077,t6077,t6077,t6077,t6077,t6077,t6077,t6077,t6077,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7384,t7384,t7384,t7381,t7381,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6964,t6964,t6964,t6954,t6954,t6954,t6954,t6954,t6954,t6954,t6954,t6954,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7034,t7034,t7034,t7024,t7024,t7024,t7024,t7024,t7024,t7024,t7024,t7024,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5177,t5177,t5167,t5167,t5167,t5167,t5167,t5167,t5167,t5167,t5167,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6656,t6656,t6656,t6646,t6646,t6646,t6646,t6646,t6646,t6646,t6646,t6646,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5450,t5450,t5440,t5440,t5440,t5440,t5440,t5440,t5440,t5440,t5440,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8621,t8621,t8621,t8621,t8621,t8621,t8621,t8621,t8621,t8618,t8618,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5424,t5424,t5414,t5414,t5414,t5414,t5414,t5414,t5414,t5414,t5414,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6295,t6295,t6285,t6285,t6285,t6285,t6285,t6285,t6285,t6285,t6285,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7646,t7646,t7646,t7646,t7646,t7646,t7646,t7646,t7646,t7643,t7643,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7370,t7370,t7370,t7367,t7367,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7112,t7112,t7108,t7108,t7108,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7503,t7503,t7503,t7503,t7503,t7503,t7503,t7503,t7503,t7500,t7500,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5359,t5359,t5349,t5349,t5349,t5349,t5349,t5349,t5349,t5349,t5349,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7620,t7620,t7620,t7620,t7620,t7620,t7620,t7620,t7620,t7617,t7617,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8075,t8075,t8075,t8075,t8075,t8075,t8075,t8075,t8075,t8072,t8072,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6698,t6698,t6698,t6688,t6688,t6688,t6688,t6688,t6688,t6688,t6688,t6688,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5748,t5747,t5746,t5745,t5744,t5743,t5742,t5741,t5740,t5739,t5192,t5191,t5190,t5192,t5191,t5190,t5192,t5191,t5190,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8556,t8556,t8556,t8556,t8556,t8556,t8556,t8556,t8556,t8553,t8553,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5502,t5502,t5492,t5492,t5492,t5492,t5492,t5492,t5492,t5492,t5492,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7529,t7529,t7529,t7529,t7529,t7529,t7529,t7529,t7529,t7526,t7526,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7146,t7146,t7146,t7143,t7143,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8569,t8569,t8569,t8569,t8569,t8569,t8569,t8569,t8569,t8566,t8566,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7307,t7307,t7307,t7304,t7304,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7153,t7153,t7153,t7150,t7150,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7555,t7555,t7555,t7555,t7555,t7555,t7555,t7555,t7555,t7552,t7552,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8257,t8257,t8257,t8257,t8257,t8257,t8257,t8257,t8257,t8254,t8254,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8335,t8335,t8335,t8335,t8335,t8335,t8335,t8335,t8335,t8332,t8332,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7286,t7286,t7286,t7283,t7283,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8452,t8452,t8452,t8452,t8452,t8452,t8452,t8452,t8452,t8449,t8449,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5606,t5606,t5596,t5596,t5596,t5596,t5596,t5596,t5596,t5596,t5596,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7342,t7342,t7342,t7339,t7339,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8010,t8010,t8010,t8010,t8010,t8010,t8010,t8010,t8010,t8007,t8007,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5205,t5204,t5203,t5205,t5204,t5203,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5917,t5916,t5915,t5914,t5913,t5912,t5911,t5910,t5909,t5908,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,t5205,t5204,t5203,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6139,t6139,t6129,t6129,t6129,t6129,t6129,t6129,t6129,t6129,t6129,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5270,t5269,t5268,t5270,t5269,t5268,t5270,t5269,t5268,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5657,t5656,t5655,t5654,t5653,t5652,t5651,t5650,t5649,t5648,t5270,t5269,t5268,t5270,t5269,t5268,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5242,t5242,t5232,t5232,t5232,t5232,t5232,t5232,t5232,t5232,t5232,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t5218,t5217,t5216,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t6086,t6085,t6084,t6083,t6082,t6081,t6080,t6079,t6078,t6077,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,t5218,t5217,t5216,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7405,t7405,t7405,t7402,t7402,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8166,t8166,t8166,t8166,t8166,t8166,t8166,t8166,t8166,t8163,t8163,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6256,t6256,t6246,t6246,t6246,t6246,t6246,t6246,t6246,t6246,t6246,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6600,t6600,t6600,t6590,t6590,t6590,t6590,t6590,t6590,t6590,t6590,t6590,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5736,t5736,t5726,t5726,t5726,t5726,t5726,t5726,t5726,t5726,t5726,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8088,t8088,t8088,t8088,t8088,t8088,t8088,t8088,t8088,t8085,t8085,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7906,t7906,t7906,t7906,t7906,t7906,t7906,t7906,t7906,t7903,t7903,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5268,t5268,t5258,t5258,t5258,t5258,t5258,t5258,t5258,t5258,t5258,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7356,t7356,t7356,t7353,t7353,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5166,t5165,t5164,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5166,t5165,t5164,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5410,t5409,t5408,t5407,t5406,t5405,t5404,t5403,t5402,t5401,t5166,t5165,t5164,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7750,t7750,t7750,t7750,t7750,t7750,t7750,t7750,t7750,t7747,t7747,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6348,t6348,t6348,t6338,t6338,t6338,t6338,t6338,t6338,t6338,t6338,t6338,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 104 events :t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t7121,t7120,t7119,t7118,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,t6365,t6364,t6363,t6362,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7607,t7607,t7607,t7607,t7607,t7607,t7607,t7607,t7607,t7604,t7604,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7489,t7489,t7489,t7486,t7486,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7279,t7279,t7279,t7276,t7276,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5814,t5814,t5804,t5804,t5804,t5804,t5804,t5804,t5804,t5804,t5804,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6796,t6796,t6796,t6786,t6786,t6786,t6786,t6786,t6786,t6786,t6786,t6786,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5151,t5151,t5141,t5141,t5141,t5141,t5141,t5141,t5141,t5141,t5141,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5203,t5203,t5193,t5193,t5193,t5193,t5193,t5193,t5193,t5193,t5193,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6768,t6768,t6768,t6758,t6758,t6758,t6758,t6758,t6758,t6758,t6758,t6758,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8426,t8426,t8426,t8426,t8426,t8426,t8426,t8426,t8426,t8423,t8423,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5437,t5437,t5427,t5427,t5427,t5427,t5427,t5427,t5427,t5427,t5427,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8114,t8114,t8114,t8114,t8114,t8114,t8114,t8114,t8114,t8111,t8111,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7076,t7076,t7076,t7066,t7066,t7066,t7066,t7066,t7066,t7066,t7066,t7066,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5944,t5944,t5934,t5934,t5934,t5934,t5934,t5934,t5934,t5934,t5934,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7349,t7349,t7349,t7346,t7346,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8218,t8218,t8218,t8218,t8218,t8218,t8218,t8218,t8218,t8215,t8215,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7659,t7659,t7659,t7659,t7659,t7659,t7659,t7659,t7659,t7656,t7656,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5710,t5710,t5700,t5700,t5700,t5700,t5700,t5700,t5700,t5700,t5700,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8127,t8127,t8127,t8127,t8127,t8127,t8127,t8127,t8127,t8124,t8124,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6113,t6113,t6103,t6103,t6103,t6103,t6103,t6103,t6103,t6103,t6103,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6061,t6061,t6051,t6051,t6051,t6051,t6051,t6051,t6051,t6051,t6051,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5788,t5788,t5778,t5778,t5778,t5778,t5778,t5778,t5778,t5778,t5778,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7209,t7209,t7209,t7206,t7206,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7258,t7258,t7258,t7255,t7255,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6376,t6376,t6376,t6366,t6366,t6366,t6366,t6366,t6366,t6366,t6366,t6366,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6446,t6446,t6446,t6436,t6436,t6436,t6436,t6436,t6436,t6436,t6436,t6436,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6217,t6217,t6207,t6207,t6207,t6207,t6207,t6207,t6207,t6207,t6207,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7419,t7419,t7419,t7416,t7416,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5801,t5801,t5791,t5791,t5791,t5791,t5791,t5791,t5791,t5791,t5791,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8647,t8647,t8647,t8647,t8647,t8647,t8647,t8647,t8647,t8644,t8644,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7265,t7265,t7265,t7262,t7262,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6126,t6126,t6116,t6116,t6116,t6116,t6116,t6116,t6116,t6116,t6116,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5697,t5697,t5687,t5687,t5687,t5687,t5687,t5687,t5687,t5687,t5687,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8322,t8322,t8322,t8322,t8322,t8322,t8322,t8322,t8322,t8319,t8319,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5164,t5164,t5154,t5154,t5154,t5154,t5154,t5154,t5154,t5154,t5154,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6992,t6992,t6992,t6982,t6982,t6982,t6982,t6982,t6982,t6982,t6982,t6982,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7251,t7251,t7251,t7248,t7248,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7789,t7789,t7789,t7789,t7789,t7789,t7789,t7789,t7789,t7786,t7786,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5853,t5853,t5843,t5843,t5843,t5843,t5843,t5843,t5843,t5843,t5843,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7181,t7181,t7181,t7178,t7178,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6978,t6978,t6978,t6968,t6968,t6968,t6968,t6968,t6968,t6968,t6968,t6968,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7841,t7841,t7841,t7841,t7841,t7841,t7841,t7841,t7841,t7838,t7838,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5322,t5321,t5320,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,t5150,t5149,t5148,t5147,t5146,t5145,t5144,t5143,t5142,t5141,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8270,t8270,t8270,t8270,t8270,t8270,t8270,t8270,t8270,t8267,t8267,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8062,t8062,t8062,t8062,t8062,t8062,t8062,t8062,t8062,t8059,t8059,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7685,t7685,t7685,t7685,t7685,t7685,t7685,t7685,t7685,t7682,t7682,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6894,t6894,t6894,t6884,t6884,t6884,t6884,t6884,t6884,t6884,t6884,t6884,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7440,t7440,t7440,t7437,t7437,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6488,t6488,t6488,t6478,t6478,t6478,t6478,t6478,t6478,t6478,t6478,t6478,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5658,t5658,t5648,t5648,t5648,t5648,t5648,t5648,t5648,t5648,t5648,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8309,t8309,t8309,t8309,t8309,t8309,t8309,t8309,t8309,t8306,t8306,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5244,t5243,t5242,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5244,t5243,t5242,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,t5319,t5318,t5317,t5316,t5315,t5314,t5313,t5312,t5311,t5310,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8049,t8049,t8049,t8049,t8049,t8049,t8049,t8049,t8049,t8046,t8046,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7223,t7223,t7223,t7220,t7220,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7104,t7104,t7104,t7094,t7094,t7094,t7094,t7094,t7094,t7094,t7094,t7094,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 104 events :t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t7128,t7127,t7126,t7125,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,t6351,t6350,t6349,t6348,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7496,t7496,t7496,t7493,t7493,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5671,t5671,t5661,t5661,t5661,t5661,t5661,t5661,t5661,t5661,t5661,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7461,t7461,t7461,t7458,t7458,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5283,t5282,t5281,t5283,t5282,t5281,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5826,t5825,t5824,t5823,t5822,t5821,t5820,t5819,t5818,t5817,t5283,t5282,t5281,t5283,t5282,t5281,t5283,t5282,t5281,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7542,t7542,t7542,t7542,t7542,t7542,t7542,t7542,t7542,t7539,t7539,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7335,t7335,t7335,t7332,t7332,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6474,t6474,t6474,t6464,t6464,t6464,t6464,t6464,t6464,t6464,t6464,t6464,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7398,t7398,t7398,t7395,t7395,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7125,t7125,t7125,t7122,t7122,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7244,t7244,t7244,t7241,t7241,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7880,t7880,t7880,t7880,t7880,t7880,t7880,t7880,t7880,t7877,t7877,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7447,t7447,t7447,t7444,t7444,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t7006,t7006,t7006,t6996,t6996,t6996,t6996,t6996,t6996,t6996,t6996,t6996,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 208 events :t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5296,t5295,t5294,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5995,t5994,t5993,t5992,t5991,t5990,t5989,t5988,t5987,t5986,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,t5296,t5295,t5294,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8153,t8153,t8153,t8153,t8153,t8153,t8153,t8153,t8153,t8150,t8150,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t8673,t8673,t8673,t8673,t8673,t8673,t8673,t8673,t8673,t8670,t8670,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7391,t7391,t7391,t7388,t7388,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7919,t7919,t7919,t7919,t7919,t7919,t7919,t7919,t7919,t7916,t7916,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5619,t5619,t5609,t5609,t5609,t5609,t5609,t5609,t5609,t5609,t5609,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t7984,t7984,t7984,t7984,t7984,t7984,t7984,t7984,t7984,t7981,t7981,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6390,t6390,t6390,t6380,t6380,t6380,t6380,t6380,t6380,t6380,t6380,t6380,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6362,t6362,t6362,t6352,t6352,t6352,t6352,t6352,t6352,t6352,t6352,t6352,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7188,t7188,t7188,t7185,t7185,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t7237,t7237,t7237,t7234,t7234,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t6334,t6334,t6334,t6324,t6324,t6324,t6324,t6324,t6324,t6324,t6324,t6324,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5307,t5307,t5297,t5297,t5297,t5297,t5297,t5297,t5297,t5297,t5297,
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 6282 redundant transitions.
Mar 24, 2019 4:54:11 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1192 ms
Mar 24, 2019 4:54:20 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 2553 ms
Mar 24, 2019 4:54:20 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 3 ms
Mar 24, 2019 4:54:25 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 8727 transitions.
Mar 24, 2019 4:54:25 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (8727) to apply POR reductions. Disabling POR matrices.
Mar 24, 2019 4:54:26 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 7618ms conformant to PINS in folder :/home/mcc/execution
pins2lts-mc, 0.000: Registering PINS so language module
pins2lts-mc( 0/ 8), 0.000: Loading model from ./gal.so
pins2lts-mc( 6/ 8), 0.008: library has no initializer
pins2lts-mc( 6/ 8), 0.008: loading model GAL
pins2lts-mc( 1/ 8), 0.009: library has no initializer
pins2lts-mc( 1/ 8), 0.009: loading model GAL
pins2lts-mc( 2/ 8), 0.010: library has no initializer
pins2lts-mc( 7/ 8), 0.010: library has no initializer
pins2lts-mc( 7/ 8), 0.022: loading model GAL
pins2lts-mc( 5/ 8), 0.014: library has no initializer
pins2lts-mc( 5/ 8), 0.022: loading model GAL
pins2lts-mc( 4/ 8), 0.020: library has no initializer
pins2lts-mc( 4/ 8), 0.022: loading model GAL
pins2lts-mc( 0/ 8), 0.010: library has no initializer
pins2lts-mc( 0/ 8), 0.022: loading model GAL
pins2lts-mc( 3/ 8), 0.021: library has no initializer
pins2lts-mc( 3/ 8), 0.022: loading model GAL
pins2lts-mc( 2/ 8), 0.021: loading model GAL
pins2lts-mc( 1/ 8), 3.000: completed loading model GAL
pins2lts-mc( 1/ 8), 3.001: LTL layer: formula: X(X(<>((LTLAP13==true))))
pins2lts-mc( 1/ 8), 3.134: "X(X(<>((LTLAP13==true))))" is not a file, parsing as formula...
pins2lts-mc( 4/ 8), 4.609: completed loading model GAL
pins2lts-mc( 6/ 8), 4.943: completed loading model GAL
pins2lts-mc( 7/ 8), 5.225: completed loading model GAL
pins2lts-mc( 0/ 8), 5.235: completed loading model GAL
pins2lts-mc( 2/ 8), 5.275: completed loading model GAL
pins2lts-mc( 1/ 8), 5.362: Using Spin LTL semantics
pins2lts-mc( 3/ 8), 5.381: completed loading model GAL
pins2lts-mc( 5/ 8), 5.401: completed loading model GAL
pins2lts-mc( 0/ 8), 5.432: Weak Buchi automaton detected, adding non-accepting as progress label.
pins2lts-mc( 0/ 8), 26.315, ** error **: mmap failed for size 1024 MB
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.0.0
Stack trace:
0: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(HREprintStack+0x18) [0x4bd428]
1: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x4bd4a6]
2: /lib/x86_64-linux-gnu/libpthread.so.0(+0x12730) [0x7f63c04cf730]
3: /lib/x86_64-linux-gnu/libc.so.6(+0x15f2a8) [0x7f63c02d62a8]
4: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(_ZNK4spot5fnode11destroy_auxEv+0x565) [0x51dbc5]
5: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(_ZN4spot3twaD1Ev+0x3b2) [0x5c3f42]
6: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(_ZNSt10shared_ptrIN4spot9twa_graphEED1Ev+0x51) [0x4ced61]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x39e9c) [0x7f63c01b0e9c]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x39fca) [0x7f63c01b0fca]
9: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x4bc73b]
10: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x4bca3a]
11: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(HREabort+0x1e) [0x4be1ae]
12: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x4bf0af]
13: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x71f260]
14: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(TreeDBSLLcreate_dm+0xc5) [0x7207a5]
15: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(state_store_init+0x1d8) [0x48a2c8]
16: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(global_init+0x6a) [0x485d1a]
17: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(global_and_model_init+0x2d) [0x4853bd]
18: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc(main+0xc6) [0x483d36]
19: /home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc() [0x4bf9cd]
20: /lib/x86_64-linux-gnu/libpthread.so.0(+0x7fa3) [0x7f63c04c4fa3]
21: /lib/x86_64-linux-gnu/libc.so.6(clone+0x3f) [0x7f63c027082f]
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X(<>((LTLAP13==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
255
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:168)
at fr.lip6.move.gal.application.LTSminRunner.access$9(LTSminRunner.java:122)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:91)
at java.lang.Thread.run(Thread.java:748)
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-13b"
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-13b, 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-155234410000502"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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 ;