About the Execution of ITS-Tools for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.030 | 3600000.00 | 6524391.00 | 19332.80 | ?TFT?FF?T??????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r081-smll-158922977500137.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r081-smll-158922977500137
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.9K Apr 1 20:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 1 20:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 1 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 1 14:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 1 11:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 1 10:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 1 06:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 1 06:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 1 13:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 1 13:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 140K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-15
=== Now, execution of the tool begins
BK_START 1589474712372
[2020-05-14 16:45:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-14 16:45:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-14 16:45:14] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-14 16:45:15] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1018 ms
[2020-05-14 16:45:15] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2020-05-14 16:45:15] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2020-05-14 16:45:15] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 69 ms.
[2020-05-14 16:45:15] [INFO ] Computed order based on color domains.
[2020-05-14 16:45:16] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions in 327 ms.
[2020-05-14 16:45:16] [INFO ] Unfolded HLPN properties in 5 ms.
Deduced a syphon composed of 101 places in 306 ms
Reduce places removed 132 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 913 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 17 resets, run finished after 24205 ms. (steps per millisecond=4 ) properties seen :[0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 36871 rows 40574 cols
[2020-05-14 16:46:13] [INFO ] Computed 8805 place invariants in 32770 ms
[2020-05-14 16:46:25] [INFO ] [Real]Absence check using 115 positive place invariants in 6585 ms returned unsat
[2020-05-14 16:46:36] [INFO ] [Real]Absence check using 115 positive place invariants in 6157 ms returned unsat
[2020-05-14 16:46:49] [INFO ] [Real]Absence check using 115 positive place invariants in 6499 ms returned unsat
[2020-05-14 16:47:00] [INFO ] [Real]Absence check using 115 positive place invariants in 6306 ms returned unsat
[2020-05-14 16:47:14] [INFO ] [Real]Absence check using 115 positive place invariants in 6726 ms returned unsat
[2020-05-14 16:47:28] [INFO ] [Real]Absence check using 115 positive place invariants in 6334 ms returned unsat
[2020-05-14 16:47:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-14 16:47:45] [INFO ] [Real]Absence check using 115 positive place invariants in 9824 ms returned unknown
Successfully simplified 6 atomic propositions for a total of 7 simplifications.
[2020-05-14 16:47:47] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-05-14 16:47:48] [INFO ] Flatten gal took : 2459 ms
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FamilyReunion-COL-L00100M0010C005P005G002-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-14 16:47:49] [INFO ] Flatten gal took : 1360 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-14 16:47:54] [INFO ] Applying decomposition
[2020-05-14 16:47:55] [INFO ] Input system was already deterministic with 36871 transitions.
[2020-05-14 16:47:55] [INFO ] Too many transitions (36871) to apply POR reductions. Disabling POR matrices.
[2020-05-14 16:47:56] [INFO ] Flatten gal took : 1935 ms
[2020-05-14 16:47:59] [INFO ] Built C files in 6128ms conformant to PINS in folder :/home/mcc/execution
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]
[2020-05-14 16:48:22] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph14073358090556695291.txt, -o, /tmp/graph14073358090556695291.bin, -w, /tmp/graph14073358090556695291.weights], workingDir=null] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:215)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:266)
at fr.lip6.move.gal.application.Application.runMultiITS(Application.java:1135)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:523)
at fr.lip6.move.gal.application.Application.start(Application.java:154)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:137)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:107)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:400)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:660)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:597)
at org.eclipse.equinox.launcher.Main.run(Main.java:1468)
at org.eclipse.equinox.launcher.Main.main(Main.java:1441)
[2020-05-14 16:48:23] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 318 ms
[2020-05-14 16:48:23] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 37 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 10 LTL properties
Checking formula 0 : !((X(G(X(F(((F("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((m5_0+m5_1)+m5_2)+m5_3)+m5_4)+m5_5)+m5_6)+m5_7)+m5_8)+m5_9)+m5_10)+m5_11)+m5_12)+m5_13)+m5_14)+m5_15)+m5_16)+m5_17)+m5_18)+m5_19)+m5_20)+m5_21)+m5_22)+m5_23)+m5_24)+m5_25)+m5_26)+m5_27)+m5_28)+m5_29)+m5_30)+m5_31)+m5_32)+m5_33)+m5_34)+m5_35)+m5_36)+m5_37)+m5_38)+m5_39)+m5_40)+m5_41)+m5_42)+m5_43)+m5_44)+m5_45)+m5_46)+m5_47)+m5_48)+m5_49)+m5_50)+m5_51)+m5_52)+m5_53)+m5_54)+m5_55)+m5_56)+m5_57)+m5_58)+m5_59)+m5_60)+m5_61)+m5_62)+m5_63)+m5_64)+m5_65)+m5_66)+m5_67)+m5_68)+m5_69)+m5_70)+m5_71)+m5_72)+m5_73)+m5_74)+m5_75)+m5_76)+m5_77)+m5_78)+m5_79)+m5_80)+m5_81)+m5_82)+m5_83)+m5_84)+m5_85)+m5_86)+m5_87)+m5_88)+m5_89)+m5_90)+m5_91)+m5_92)+m5_93)+m5_94)+m5_95)+m5_96)+m5_97)+m5_98)+m5_99)+m5_100)+m5_101)+m5_102)+m5_103)+m5_104)+m5_105)+m5_106)+m5_107)+m5_108)+m5_109)+m5_110)+m5_111)+m5_112)+m5_113)+m5_114)+m5_115)+m5_116)+m5_117)+m5_118)+m5_119)+m5_120)+m5_121)+m5_122)+m5_123)+m5_124)+m5_125)+m5_126)+m5_127)+m5_128)+m5_129)+m5_130)+m5_131)+m5_132)+m5_133)+m5_134)+m5_135)+m5_136)+m5_137)+m5_138)+m5_139)+m5_140)+m5_141)+m5_142)+m5_143)+m5_144)+m5_145)+m5_146)+m5_147)+m5_148)+m5_149)+m5_150)+m5_151)+m5_152)+m5_153)+m5_154)+m5_155)+m5_156)+m5_157)+m5_158)+m5_159)+m5_160)+m5_161)+m5_162)+m5_163)+m5_164)+m5_165)+m5_166)+m5_167)+m5_168)+m5_169)+m5_170)+m5_171)+m5_172)+m5_173)+m5_174)+m5_175)+m5_176)+m5_177)+m5_178)+m5_179)+m5_180)+m5_181)+m5_182)+m5_183)+m5_184)+m5_185)+m5_186)+m5_187)+m5_188)+m5_189)+m5_190)+m5_191)+m5_192)+m5_193)+m5_194)+m5_195)+m5_196)+m5_197)+m5_198)+m5_199)+m5_200)+m5_201)+m5_202)+m5_203)+m5_204)+m5_205)+m5_206)+m5_207)+m5_208)+m5_209)+m5_210)+m5_211)+m5_212)+m5_213)+m5_214)+m5_215)+m5_216)+m5_217)+m5_218)+m5_219)+m5_220)+m5_221)+m5_222)+m5_223)+m5_224)+m5_225)+m5_226)+m5_227)+m5_228)+m5_229)+m5_230)+m5_231)+m5_232)+m5_233)+m5_234)+m5_235)+m5_236)+m5_237)+m5_238)+m5_239)+m5_240)+m5_241)+m5_242)+m5_243)+m5_244)+m5_245)+m5_246)+m5_247)+m5_248)+m5_249)+m5_250)+m5_251)+m5_252)+m5_253)+m5_254)+m5_255)+m5_256)+m5_257)+m5_258)+m5_259)+m5_260)+m5_261)+m5_262)+m5_263)+m5_264)+m5_265)+m5_266)+m5_267)+m5_268)+m5_269)+m5_270)+m5_271)+m5_272)+m5_273)+m5_274)+m5_275)+m5_276)+m5_277)+m5_278)+m5_279)+m5_280)+m5_281)+m5_282)+m5_283)+m5_284)+m5_285)+m5_286)+m5_287)+m5_288)+m5_289)+m5_290)+m5_291)+m5_292)+m5_293)+m5_294)+m5_295)+m5_296)+m5_297)+m5_298)+m5_299)+m5_300)+m5_301)+m5_302)+m5_303)+m5_304)+m5_305)+m5_306)+m5_307)+m5_308)+m5_309)+m5_310)+m5_311)+m5_312)+m5_313)+m5_314)+m5_315)+m5_316)+m5_317)+m5_318)+m5_319)+m5_320)+m5_321)+m5_322)+m5_323)+m5_324)+m5_325)+m5_326)+m5_327)+m5_328)+m5_329)+m5_330)+m5_331)+m5_332)+m5_333)+m5_334)+m5_335)+m5_336)+m5_337)+m5_338)+m5_339)+m5_340)+m5_341)+m5_342)+m5_343)+m5_344)+m5_345)+m5_346)+m5_347)+m5_348)+m5_349)+m5_350)+m5_351)+m5_352)+m5_353)+m5_354)+m5_355)+m5_356)+m5_357)+m5_358)+m5_359)+m5_360)+m5_361)+m5_362)+m5_363)+m5_364)+m5_365)+m5_366)+m5_367)+m5_368)+m5_369)+m5_370)+m5_371)+m5_372)+m5_373)+m5_374)+m5_375)+m5_376)+m5_377)+m5_378)+m5_379)+m5_380)+m5_381)+m5_382)+m5_383)+m5_384)+m5_385)+m5_386)+m5_387)+m5_388)+m5_389)+m5_390)+m5_391)+m5_392)+m5_393)+m5_394)+m5_395)+m5_396)+m5_397)+m5_398)+m5_399)+m5_400)+m5_401)+m5_402)+m5_403)+m5_404)+m5_405)+m5_406)+m5_407)+m5_408)+m5_409)+m5_410)+m5_411)+m5_412)+m5_413)+m5_414)+m5_415)+m5_416)+m5_417)+m5_418)+m5_419)+m5_420)+m5_421)+m5_422)+m5_423)+m5_424)+m5_425)+m5_426)+m5_427)+m5_428)+m5_429)+m5_430)+m5_431)+m5_432)+m5_433)+m5_434)+m5_435)+m5_436)+m5_437)+m5_438)+m5_439)+m5_440)+m5_441)+m5_442)+m5_443)+m5_444)+m5_445)+m5_446)+m5_447)+m5_448)+m5_449)+m5_450)+m5_451)+m5_452)+m5_453)+m5_454)+m5_455)+m5_456)+m5_457)+m5_458)+m5_459)+m5_460)+m5_461)+m5_462)+m5_463)+m5_464)+m5_465)+m5_466)+m5_467)+m5_468)+m5_469)+m5_470)+m5_471)+m5_472)+m5_473)+m5_474)+m5_475)+m5_476)+m5_477)+m5_478)+m5_479)+m5_480)+m5_481)+m5_482)+m5_483)+m5_484)+m5_485)+m5_486)+m5_487)+m5_488)+m5_489)+m5_490)+m5_491)+m5_492)+m5_493)+m5_494)+m5_495)+m5_496)+m5_497)+m5_498)+m5_499)+m5_500)+m5_501)+m5_502)+m5_503)+m5_504)+m5_505)+m5_506)+m5_507)+m5_508)+m5_509)+m5_510)+m5_511)+m5_512)+m5_513)+m5_514)+m5_515)+m5_516)+m5_517)+m5_518)+m5_519)+m5_520)+m5_521)+m5_522)+m5_523)+m5_524)+m5_525)+m5_526)+m5_527)+m5_528)+m5_529)+m5_530)+m5_531)+m5_532)+m5_533)+m5_534)+m5_535)+m5_536)+m5_537)+m5_538)+m5_539)+m5_540)+m5_541)+m5_542)+m5_543)+m5_544)+m5_545)+m5_546)+m5_547)+m5_548)+m5_549)+m5_550)+m5_551)+m5_552)+m5_553)+m5_554)+m5_555)+m5_556)+m5_557)+m5_558)+m5_559)+m5_560)+m5_561)+m5_562)+m5_563)+m5_564)+m5_565)+m5_566)+m5_567)+m5_568)+m5_569)+m5_570)+m5_571)+m5_572)+m5_573)+m5_574)+m5_575)+m5_576)+m5_577)+m5_578)+m5_579)+m5_580)+m5_581)+m5_582)+m5_583)+m5_584)+m5_585)+m5_586)+m5_587)+m5_588)+m5_589)+m5_590)+m5_591)+m5_592)+m5_593)+m5_594)+m5_595)+m5_596)+m5_597)+m5_598)+m5_599)+m5_600)+m5_601)+m5_602)+m5_603)+m5_604)+m5_605)+m5_606)+m5_607)+m5_608)+m5_609)+m5_610)+m5_611)+m5_612)+m5_613)+m5_614)+m5_615)+m5_616)+m5_617)+m5_618)+m5_619)+m5_620)+m5_621)+m5_622)+m5_623)+m5_624)+m5_625)+m5_626)+m5_627)+m5_628)+m5_629)+m5_630)+m5_631)+m5_632)+m5_633)+m5_634)+m5_635)+m5_636)+m5_637)+m5_638)+m5_639)+m5_640)+m5_641)+m5_642)+m5_643)+m5_644)+m5_645)+m5_646)+m5_647)+m5_648)+m5_649)+m5_650)+m5_651)+m5_652)+m5_653)+m5_654)+m5_655)+m5_656)+m5_657)+m5_658)+m5_659)+m5_660)+m5_661)+m5_662)+m5_663)+m5_664)+m5_665)+m5_666)+m5_667)+m5_668)+m5_669)+m5_670)+m5_671)+m5_672)+m5_673)+m5_674)+m5_675)+m5_676)+m5_677)+m5_678)+m5_679)+m5_680)+m5_681)+m5_682)+m5_683)+m5_684)+m5_685)+m5_686)+m5_687)+m5_688)+m5_689)+m5_690)+m5_691)+m5_692)+m5_693)+m5_694)+m5_695)+m5_696)+m5_697)+m5_698)+m5_699)+m5_700)+m5_701)+m5_702)+m5_703)+m5_704)+m5_705)+m5_706)+m5_707)+m5_708)+m5_709)+m5_710)+m5_711)+m5_712)+m5_713)+m5_714)+m5_715)+m5_716)+m5_717)+m5_718)+m5_719)+m5_720)+m5_721)+m5_722)+m5_723)+m5_724)+m5_725)+m5_726)+m5_727)+m5_728)+m5_729)+m5_730)+m5_731)+m5_732)+m5_733)+m5_734)+m5_735)+m5_736)+m5_737)+m5_738)+m5_739)+m5_740)+m5_741)+m5_742)+m5_743)+m5_744)+m5_745)+m5_746)+m5_747)+m5_748)+m5_749)+m5_750)+m5_751)+m5_752)+m5_753)+m5_754)+m5_755)+m5_756)+m5_757)+m5_758)+m5_759)+m5_760)+m5_761)+m5_762)+m5_763)+m5_764)+m5_765)+m5_766)+m5_767)+m5_768)+m5_769)+m5_770)+m5_771)+m5_772)+m5_773)+m5_774)+m5_775)+m5_776)+m5_777)+m5_778)+m5_779)+m5_780)+m5_781)+m5_782)+m5_783)+m5_784)+m5_785)+m5_786)+m5_787)+m5_788)+m5_789)+m5_790)+m5_791)+m5_792)+m5_793)+m5_794)+m5_795)+m5_796)+m5_797)+m5_798)+m5_799)+m5_800)+m5_801)+m5_802)+m5_803)+m5_804)+m5_805)+m5_806)+m5_807)+m5_808)+m5_809)+m5_810)+m5_811)+m5_812)+m5_813)+m5_814)+m5_815)+m5_816)+m5_817)+m5_818)+m5_819)+m5_820)+m5_821)+m5_822)+m5_823)+m5_824)+m5_825)+m5_826)+m5_827)+m5_828)+m5_829)+m5_830)+m5_831)+m5_832)+m5_833)+m5_834)+m5_835)+m5_836)+m5_837)+m5_838)+m5_839)+m5_840)+m5_841)+m5_842)+m5_843)+m5_844)+m5_845)+m5_846)+m5_847)+m5_848)+m5_849)+m5_850)+m5_851)+m5_852)+m5_853)+m5_854)+m5_855)+m5_856)+m5_857)+m5_858)+m5_859)+m5_860)+m5_861)+m5_862)+m5_863)+m5_864)+m5_865)+m5_866)+m5_867)+m5_868)+m5_869)+m5_870)+m5_871)+m5_872)+m5_873)+m5_874)+m5_875)+m5_876)+m5_877)+m5_878)+m5_879)+m5_880)+m5_881)+m5_882)+m5_883)+m5_884)+m5_885)+m5_886)+m5_887)+m5_888)+m5_889)+m5_890)+m5_891)+m5_892)+m5_893)+m5_894)+m5_895)+m5_896)+m5_897)+m5_898)+m5_899)+m5_900)+m5_901)+m5_902)+m5_903)+m5_904)+m5_905)+m5_906)+m5_907)+m5_908)+m5_909)+m5_910)+m5_911)+m5_912)+m5_913)+m5_914)+m5_915)+m5_916)+m5_917)+m5_918)+m5_919)+m5_920)+m5_921)+m5_922)+m5_923)+m5_924)+m5_925)+m5_926)+m5_927)+m5_928)+m5_929)+m5_930)+m5_931)+m5_932)+m5_933)+m5_934)+m5_935)+m5_936)+m5_937)+m5_938)+m5_939)+m5_940)+m5_941)+m5_942)+m5_943)+m5_944)+m5_945)+m5_946)+m5_947)+m5_948)+m5_949)+m5_950)+m5_951)+m5_952)+m5_953)+m5_954)+m5_955)+m5_956)+m5_957)+m5_958)+m5_959)+m5_960)+m5_961)+m5_962)+m5_963)+m5_964)+m5_965)+m5_966)+m5_967)+m5_968)+m5_969)+m5_970)+m5_971)+m5_972)+m5_973)+m5_974)+m5_975)+m5_976)+m5_977)+m5_978)+m5_979)+m5_980)+m5_981)+m5_982)+m5_983)+m5_984)+m5_985)+m5_986)+m5_987)+m5_988)+m5_989)+m5_990)+m5_991)+m5_992)+m5_993)+m5_994)+m5_995)+m5_996)+m5_997)+m5_998)+m5_999)+m5_1000)+m5_1001)+m5_1002)+m5_1003)+m5_1004)+m5_1005)+m5_1006)+m5_1007)+m5_1008)+m5_1009)+m5_1010)+m5_1011)+m5_1012)+m5_1013)+m5_1014)+m5_1015)+m5_1016)+m5_1017)+m5_1018)+m5_1019)+m5_1020)+m5_1021)+m5_1022)+m5_1023)+m5_1024)+m5_1025)+m5_1026)+m5_1027)+m5_1028)+m5_1029)+m5_1030)+m5_1031)+m5_1032)+m5_1033)+m5_1034)+m5_1035)+m5_1036)+m5_1037)+m5_1038)+m5_1039)+m5_1040)+m5_1041)+m5_1042)+m5_1043)+m5_1044)+m5_1045)+m5_1046)+m5_1047)+m5_1048)+m5_1049)+m5_1050)+m5_1051)+m5_1052)+m5_1053)+m5_1054)+m5_1055)+m5_1056)+m5_1057)+m5_1058)+m5_1059)+m5_1060)+m5_1061)+m5_1062)+m5_1063)+m5_1064)+m5_1065)+m5_1066)+m5_1067)+m5_1068)+m5_1069)+m5_1070)+m5_1071)+m5_1072)+m5_1073)+m5_1074)+m5_1075)+m5_1076)+m5_1077)+m5_1078)+m5_1079)+m5_1080)+m5_1081)+m5_1082)+m5_1083)+m5_1084)+m5_1085)+m5_1086)+m5_1087)+m5_1088)+m5_1089)+m5_1090)+m5_1091)+m5_1092)+m5_1093)+m5_1094)+m5_1095)+m5_1096)+m5_1097)+m5_1098)+m5_1099)+m5_1100)+m5_1101)+m5_1102)+m5_1103)+m5_1104)+m5_1105)+m5_1106)+m5_1107)+m5_1108)+m5_1109)+m5_1110)>=1)"))&&(X("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")))&&("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")))))))
Formula 0 simplified : !XGXF("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)" & F"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((m5_0+m5_1)+m5_2)+m5_3)+m5_4)+m5_5)+m5_6)+m5_7)+m5_8)+m5_9)+m5_10)+m5_11)+m5_12)+m5_13)+m5_14)+m5_15)+m5_16)+m5_17)+m5_18)+m5_19)+m5_20)+m5_21)+m5_22)+m5_23)+m5_24)+m5_25)+m5_26)+m5_27)+m5_28)+m5_29)+m5_30)+m5_31)+m5_32)+m5_33)+m5_34)+m5_35)+m5_36)+m5_37)+m5_38)+m5_39)+m5_40)+m5_41)+m5_42)+m5_43)+m5_44)+m5_45)+m5_46)+m5_47)+m5_48)+m5_49)+m5_50)+m5_51)+m5_52)+m5_53)+m5_54)+m5_55)+m5_56)+m5_57)+m5_58)+m5_59)+m5_60)+m5_61)+m5_62)+m5_63)+m5_64)+m5_65)+m5_66)+m5_67)+m5_68)+m5_69)+m5_70)+m5_71)+m5_72)+m5_73)+m5_74)+m5_75)+m5_76)+m5_77)+m5_78)+m5_79)+m5_80)+m5_81)+m5_82)+m5_83)+m5_84)+m5_85)+m5_86)+m5_87)+m5_88)+m5_89)+m5_90)+m5_91)+m5_92)+m5_93)+m5_94)+m5_95)+m5_96)+m5_97)+m5_98)+m5_99)+m5_100)+m5_101)+m5_102)+m5_103)+m5_104)+m5_105)+m5_106)+m5_107)+m5_108)+m5_109)+m5_110)+m5_111)+m5_112)+m5_113)+m5_114)+m5_115)+m5_116)+m5_117)+m5_118)+m5_119)+m5_120)+m5_121)+m5_122)+m5_123)+m5_124)+m5_125)+m5_126)+m5_127)+m5_128)+m5_129)+m5_130)+m5_131)+m5_132)+m5_133)+m5_134)+m5_135)+m5_136)+m5_137)+m5_138)+m5_139)+m5_140)+m5_141)+m5_142)+m5_143)+m5_144)+m5_145)+m5_146)+m5_147)+m5_148)+m5_149)+m5_150)+m5_151)+m5_152)+m5_153)+m5_154)+m5_155)+m5_156)+m5_157)+m5_158)+m5_159)+m5_160)+m5_161)+m5_162)+m5_163)+m5_164)+m5_165)+m5_166)+m5_167)+m5_168)+m5_169)+m5_170)+m5_171)+m5_172)+m5_173)+m5_174)+m5_175)+m5_176)+m5_177)+m5_178)+m5_179)+m5_180)+m5_181)+m5_182)+m5_183)+m5_184)+m5_185)+m5_186)+m5_187)+m5_188)+m5_189)+m5_190)+m5_191)+m5_192)+m5_193)+m5_194)+m5_195)+m5_196)+m5_197)+m5_198)+m5_199)+m5_200)+m5_201)+m5_202)+m5_203)+m5_204)+m5_205)+m5_206)+m5_207)+m5_208)+m5_209)+m5_210)+m5_211)+m5_212)+m5_213)+m5_214)+m5_215)+m5_216)+m5_217)+m5_218)+m5_219)+m5_220)+m5_221)+m5_222)+m5_223)+m5_224)+m5_225)+m5_226)+m5_227)+m5_228)+m5_229)+m5_230)+m5_231)+m5_232)+m5_233)+m5_234)+m5_235)+m5_236)+m5_237)+m5_238)+m5_239)+m5_240)+m5_241)+m5_242)+m5_243)+m5_244)+m5_245)+m5_246)+m5_247)+m5_248)+m5_249)+m5_250)+m5_251)+m5_252)+m5_253)+m5_254)+m5_255)+m5_256)+m5_257)+m5_258)+m5_259)+m5_260)+m5_261)+m5_262)+m5_263)+m5_264)+m5_265)+m5_266)+m5_267)+m5_268)+m5_269)+m5_270)+m5_271)+m5_272)+m5_273)+m5_274)+m5_275)+m5_276)+m5_277)+m5_278)+m5_279)+m5_280)+m5_281)+m5_282)+m5_283)+m5_284)+m5_285)+m5_286)+m5_287)+m5_288)+m5_289)+m5_290)+m5_291)+m5_292)+m5_293)+m5_294)+m5_295)+m5_296)+m5_297)+m5_298)+m5_299)+m5_300)+m5_301)+m5_302)+m5_303)+m5_304)+m5_305)+m5_306)+m5_307)+m5_308)+m5_309)+m5_310)+m5_311)+m5_312)+m5_313)+m5_314)+m5_315)+m5_316)+m5_317)+m5_318)+m5_319)+m5_320)+m5_321)+m5_322)+m5_323)+m5_324)+m5_325)+m5_326)+m5_327)+m5_328)+m5_329)+m5_330)+m5_331)+m5_332)+m5_333)+m5_334)+m5_335)+m5_336)+m5_337)+m5_338)+m5_339)+m5_340)+m5_341)+m5_342)+m5_343)+m5_344)+m5_345)+m5_346)+m5_347)+m5_348)+m5_349)+m5_350)+m5_351)+m5_352)+m5_353)+m5_354)+m5_355)+m5_356)+m5_357)+m5_358)+m5_359)+m5_360)+m5_361)+m5_362)+m5_363)+m5_364)+m5_365)+m5_366)+m5_367)+m5_368)+m5_369)+m5_370)+m5_371)+m5_372)+m5_373)+m5_374)+m5_375)+m5_376)+m5_377)+m5_378)+m5_379)+m5_380)+m5_381)+m5_382)+m5_383)+m5_384)+m5_385)+m5_386)+m5_387)+m5_388)+m5_389)+m5_390)+m5_391)+m5_392)+m5_393)+m5_394)+m5_395)+m5_396)+m5_397)+m5_398)+m5_399)+m5_400)+m5_401)+m5_402)+m5_403)+m5_404)+m5_405)+m5_406)+m5_407)+m5_408)+m5_409)+m5_410)+m5_411)+m5_412)+m5_413)+m5_414)+m5_415)+m5_416)+m5_417)+m5_418)+m5_419)+m5_420)+m5_421)+m5_422)+m5_423)+m5_424)+m5_425)+m5_426)+m5_427)+m5_428)+m5_429)+m5_430)+m5_431)+m5_432)+m5_433)+m5_434)+m5_435)+m5_436)+m5_437)+m5_438)+m5_439)+m5_440)+m5_441)+m5_442)+m5_443)+m5_444)+m5_445)+m5_446)+m5_447)+m5_448)+m5_449)+m5_450)+m5_451)+m5_452)+m5_453)+m5_454)+m5_455)+m5_456)+m5_457)+m5_458)+m5_459)+m5_460)+m5_461)+m5_462)+m5_463)+m5_464)+m5_465)+m5_466)+m5_467)+m5_468)+m5_469)+m5_470)+m5_471)+m5_472)+m5_473)+m5_474)+m5_475)+m5_476)+m5_477)+m5_478)+m5_479)+m5_480)+m5_481)+m5_482)+m5_483)+m5_484)+m5_485)+m5_486)+m5_487)+m5_488)+m5_489)+m5_490)+m5_491)+m5_492)+m5_493)+m5_494)+m5_495)+m5_496)+m5_497)+m5_498)+m5_499)+m5_500)+m5_501)+m5_502)+m5_503)+m5_504)+m5_505)+m5_506)+m5_507)+m5_508)+m5_509)+m5_510)+m5_511)+m5_512)+m5_513)+m5_514)+m5_515)+m5_516)+m5_517)+m5_518)+m5_519)+m5_520)+m5_521)+m5_522)+m5_523)+m5_524)+m5_525)+m5_526)+m5_527)+m5_528)+m5_529)+m5_530)+m5_531)+m5_532)+m5_533)+m5_534)+m5_535)+m5_536)+m5_537)+m5_538)+m5_539)+m5_540)+m5_541)+m5_542)+m5_543)+m5_544)+m5_545)+m5_546)+m5_547)+m5_548)+m5_549)+m5_550)+m5_551)+m5_552)+m5_553)+m5_554)+m5_555)+m5_556)+m5_557)+m5_558)+m5_559)+m5_560)+m5_561)+m5_562)+m5_563)+m5_564)+m5_565)+m5_566)+m5_567)+m5_568)+m5_569)+m5_570)+m5_571)+m5_572)+m5_573)+m5_574)+m5_575)+m5_576)+m5_577)+m5_578)+m5_579)+m5_580)+m5_581)+m5_582)+m5_583)+m5_584)+m5_585)+m5_586)+m5_587)+m5_588)+m5_589)+m5_590)+m5_591)+m5_592)+m5_593)+m5_594)+m5_595)+m5_596)+m5_597)+m5_598)+m5_599)+m5_600)+m5_601)+m5_602)+m5_603)+m5_604)+m5_605)+m5_606)+m5_607)+m5_608)+m5_609)+m5_610)+m5_611)+m5_612)+m5_613)+m5_614)+m5_615)+m5_616)+m5_617)+m5_618)+m5_619)+m5_620)+m5_621)+m5_622)+m5_623)+m5_624)+m5_625)+m5_626)+m5_627)+m5_628)+m5_629)+m5_630)+m5_631)+m5_632)+m5_633)+m5_634)+m5_635)+m5_636)+m5_637)+m5_638)+m5_639)+m5_640)+m5_641)+m5_642)+m5_643)+m5_644)+m5_645)+m5_646)+m5_647)+m5_648)+m5_649)+m5_650)+m5_651)+m5_652)+m5_653)+m5_654)+m5_655)+m5_656)+m5_657)+m5_658)+m5_659)+m5_660)+m5_661)+m5_662)+m5_663)+m5_664)+m5_665)+m5_666)+m5_667)+m5_668)+m5_669)+m5_670)+m5_671)+m5_672)+m5_673)+m5_674)+m5_675)+m5_676)+m5_677)+m5_678)+m5_679)+m5_680)+m5_681)+m5_682)+m5_683)+m5_684)+m5_685)+m5_686)+m5_687)+m5_688)+m5_689)+m5_690)+m5_691)+m5_692)+m5_693)+m5_694)+m5_695)+m5_696)+m5_697)+m5_698)+m5_699)+m5_700)+m5_701)+m5_702)+m5_703)+m5_704)+m5_705)+m5_706)+m5_707)+m5_708)+m5_709)+m5_710)+m5_711)+m5_712)+m5_713)+m5_714)+m5_715)+m5_716)+m5_717)+m5_718)+m5_719)+m5_720)+m5_721)+m5_722)+m5_723)+m5_724)+m5_725)+m5_726)+m5_727)+m5_728)+m5_729)+m5_730)+m5_731)+m5_732)+m5_733)+m5_734)+m5_735)+m5_736)+m5_737)+m5_738)+m5_739)+m5_740)+m5_741)+m5_742)+m5_743)+m5_744)+m5_745)+m5_746)+m5_747)+m5_748)+m5_749)+m5_750)+m5_751)+m5_752)+m5_753)+m5_754)+m5_755)+m5_756)+m5_757)+m5_758)+m5_759)+m5_760)+m5_761)+m5_762)+m5_763)+m5_764)+m5_765)+m5_766)+m5_767)+m5_768)+m5_769)+m5_770)+m5_771)+m5_772)+m5_773)+m5_774)+m5_775)+m5_776)+m5_777)+m5_778)+m5_779)+m5_780)+m5_781)+m5_782)+m5_783)+m5_784)+m5_785)+m5_786)+m5_787)+m5_788)+m5_789)+m5_790)+m5_791)+m5_792)+m5_793)+m5_794)+m5_795)+m5_796)+m5_797)+m5_798)+m5_799)+m5_800)+m5_801)+m5_802)+m5_803)+m5_804)+m5_805)+m5_806)+m5_807)+m5_808)+m5_809)+m5_810)+m5_811)+m5_812)+m5_813)+m5_814)+m5_815)+m5_816)+m5_817)+m5_818)+m5_819)+m5_820)+m5_821)+m5_822)+m5_823)+m5_824)+m5_825)+m5_826)+m5_827)+m5_828)+m5_829)+m5_830)+m5_831)+m5_832)+m5_833)+m5_834)+m5_835)+m5_836)+m5_837)+m5_838)+m5_839)+m5_840)+m5_841)+m5_842)+m5_843)+m5_844)+m5_845)+m5_846)+m5_847)+m5_848)+m5_849)+m5_850)+m5_851)+m5_852)+m5_853)+m5_854)+m5_855)+m5_856)+m5_857)+m5_858)+m5_859)+m5_860)+m5_861)+m5_862)+m5_863)+m5_864)+m5_865)+m5_866)+m5_867)+m5_868)+m5_869)+m5_870)+m5_871)+m5_872)+m5_873)+m5_874)+m5_875)+m5_876)+m5_877)+m5_878)+m5_879)+m5_880)+m5_881)+m5_882)+m5_883)+m5_884)+m5_885)+m5_886)+m5_887)+m5_888)+m5_889)+m5_890)+m5_891)+m5_892)+m5_893)+m5_894)+m5_895)+m5_896)+m5_897)+m5_898)+m5_899)+m5_900)+m5_901)+m5_902)+m5_903)+m5_904)+m5_905)+m5_906)+m5_907)+m5_908)+m5_909)+m5_910)+m5_911)+m5_912)+m5_913)+m5_914)+m5_915)+m5_916)+m5_917)+m5_918)+m5_919)+m5_920)+m5_921)+m5_922)+m5_923)+m5_924)+m5_925)+m5_926)+m5_927)+m5_928)+m5_929)+m5_930)+m5_931)+m5_932)+m5_933)+m5_934)+m5_935)+m5_936)+m5_937)+m5_938)+m5_939)+m5_940)+m5_941)+m5_942)+m5_943)+m5_944)+m5_945)+m5_946)+m5_947)+m5_948)+m5_949)+m5_950)+m5_951)+m5_952)+m5_953)+m5_954)+m5_955)+m5_956)+m5_957)+m5_958)+m5_959)+m5_960)+m5_961)+m5_962)+m5_963)+m5_964)+m5_965)+m5_966)+m5_967)+m5_968)+m5_969)+m5_970)+m5_971)+m5_972)+m5_973)+m5_974)+m5_975)+m5_976)+m5_977)+m5_978)+m5_979)+m5_980)+m5_981)+m5_982)+m5_983)+m5_984)+m5_985)+m5_986)+m5_987)+m5_988)+m5_989)+m5_990)+m5_991)+m5_992)+m5_993)+m5_994)+m5_995)+m5_996)+m5_997)+m5_998)+m5_999)+m5_1000)+m5_1001)+m5_1002)+m5_1003)+m5_1004)+m5_1005)+m5_1006)+m5_1007)+m5_1008)+m5_1009)+m5_1010)+m5_1011)+m5_1012)+m5_1013)+m5_1014)+m5_1015)+m5_1016)+m5_1017)+m5_1018)+m5_1019)+m5_1020)+m5_1021)+m5_1022)+m5_1023)+m5_1024)+m5_1025)+m5_1026)+m5_1027)+m5_1028)+m5_1029)+m5_1030)+m5_1031)+m5_1032)+m5_1033)+m5_1034)+m5_1035)+m5_1036)+m5_1037)+m5_1038)+m5_1039)+m5_1040)+m5_1041)+m5_1042)+m5_1043)+m5_1044)+m5_1045)+m5_1046)+m5_1047)+m5_1048)+m5_1049)+m5_1050)+m5_1051)+m5_1052)+m5_1053)+m5_1054)+m5_1055)+m5_1056)+m5_1057)+m5_1058)+m5_1059)+m5_1060)+m5_1061)+m5_1062)+m5_1063)+m5_1064)+m5_1065)+m5_1066)+m5_1067)+m5_1068)+m5_1069)+m5_1070)+m5_1071)+m5_1072)+m5_1073)+m5_1074)+m5_1075)+m5_1076)+m5_1077)+m5_1078)+m5_1079)+m5_1080)+m5_1081)+m5_1082)+m5_1083)+m5_1084)+m5_1085)+m5_1086)+m5_1087)+m5_1088)+m5_1089)+m5_1090)+m5_1091)+m5_1092)+m5_1093)+m5_1094)+m5_1095)+m5_1096)+m5_1097)+m5_1098)+m5_1099)+m5_1100)+m5_1101)+m5_1102)+m5_1103)+m5_1104)+m5_1105)+m5_1106)+m5_1107)+m5_1108)+m5_1109)+m5_1110)>=1)" & X"((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution] killed by timeout after 400 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution] killed by timeout after 400 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:80)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2020-05-14 17:09:16] [INFO ] Applying decomposition
[2020-05-14 17:09:17] [INFO ] Flatten gal took : 1869 ms
[2020-05-14 17:09:18] [INFO ] Decomposing Gal with order
[2020-05-14 17:09:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-14 17:12:12] [INFO ] Removed a total of 21123 redundant transitions.
[2020-05-14 17:12:13] [INFO ] Flatten gal took : 3105 ms
[2020-05-14 17:12:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 274 ms.
[2020-05-14 17:12:35] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 260 ms
[2020-05-14 17:12:35] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 20 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 10 LTL properties
Checking formula 0 : !((X(G(X(F(((F("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gLxM0.m5_0+gLxM1.m5_1)+gLxM2.m5_2)+gLxM3.m5_3)+gLxM4.m5_4)+gLxM5.m5_5)+gLxM6.m5_6)+gLxM7.m5_7)+gLxM8.m5_8)+gLxM9.m5_9)+gLxM10.m5_10)+gLxM11.m5_11)+gLxM12.m5_12)+gLxM13.m5_13)+gLxM14.m5_14)+gLxM15.m5_15)+gLxM16.m5_16)+gLxM17.m5_17)+gLxM18.m5_18)+gLxM19.m5_19)+gLxM20.m5_20)+gLxM21.m5_21)+gLxM22.m5_22)+gLxM23.m5_23)+gLxM24.m5_24)+gLxM25.m5_25)+gLxM26.m5_26)+gLxM27.m5_27)+gLxM28.m5_28)+gLxM29.m5_29)+gLxM30.m5_30)+gLxM31.m5_31)+gLxM32.m5_32)+gLxM33.m5_33)+gLxM34.m5_34)+gLxM35.m5_35)+gLxM36.m5_36)+gLxM37.m5_37)+gLxM38.m5_38)+gLxM39.m5_39)+gLxM40.m5_40)+gLxM41.m5_41)+gLxM42.m5_42)+gLxM43.m5_43)+gLxM44.m5_44)+gLxM45.m5_45)+gLxM46.m5_46)+gLxM47.m5_47)+gLxM48.m5_48)+gLxM49.m5_49)+gLxM50.m5_50)+gLxM51.m5_51)+gLxM52.m5_52)+gLxM53.m5_53)+gLxM54.m5_54)+gLxM55.m5_55)+gLxM56.m5_56)+gLxM57.m5_57)+gLxM58.m5_58)+gLxM59.m5_59)+gLxM60.m5_60)+gLxM61.m5_61)+gLxM62.m5_62)+gLxM63.m5_63)+gLxM64.m5_64)+gLxM65.m5_65)+gLxM66.m5_66)+gLxM67.m5_67)+gLxM68.m5_68)+gLxM69.m5_69)+gLxM70.m5_70)+gLxM71.m5_71)+gLxM72.m5_72)+gLxM73.m5_73)+gLxM74.m5_74)+gLxM75.m5_75)+gLxM76.m5_76)+gLxM77.m5_77)+gLxM78.m5_78)+gLxM79.m5_79)+gLxM80.m5_80)+gLxM81.m5_81)+gLxM82.m5_82)+gLxM83.m5_83)+gLxM84.m5_84)+gLxM85.m5_85)+gLxM86.m5_86)+gLxM87.m5_87)+gLxM88.m5_88)+gLxM89.m5_89)+gLxM90.m5_90)+gLxM91.m5_91)+gLxM92.m5_92)+gLxM93.m5_93)+gLxM94.m5_94)+gLxM95.m5_95)+gLxM96.m5_96)+gLxM97.m5_97)+gLxM98.m5_98)+gLxM99.m5_99)+gLxM100.m5_100)+gLxM101.m5_101)+gLxM102.m5_102)+gLxM103.m5_103)+gLxM104.m5_104)+gLxM105.m5_105)+gLxM106.m5_106)+gLxM107.m5_107)+gLxM108.m5_108)+gLxM109.m5_109)+gLxM110.m5_110)+gLxM111.m5_111)+gLxM112.m5_112)+gLxM113.m5_113)+gLxM114.m5_114)+gLxM115.m5_115)+gLxM116.m5_116)+gLxM117.m5_117)+gLxM118.m5_118)+gLxM119.m5_119)+gLxM120.m5_120)+gLxM121.m5_121)+gLxM122.m5_122)+gLxM123.m5_123)+gLxM124.m5_124)+gLxM125.m5_125)+gLxM126.m5_126)+gLxM127.m5_127)+gLxM128.m5_128)+gLxM129.m5_129)+gLxM130.m5_130)+gLxM131.m5_131)+gLxM132.m5_132)+gLxM133.m5_133)+gLxM134.m5_134)+gLxM135.m5_135)+gLxM136.m5_136)+gLxM137.m5_137)+gLxM138.m5_138)+gLxM139.m5_139)+gLxM140.m5_140)+gLxM141.m5_141)+gLxM142.m5_142)+gLxM143.m5_143)+gLxM144.m5_144)+gLxM145.m5_145)+gLxM146.m5_146)+gLxM147.m5_147)+gLxM148.m5_148)+gLxM149.m5_149)+gLxM150.m5_150)+gLxM151.m5_151)+gLxM152.m5_152)+gLxM153.m5_153)+gLxM154.m5_154)+gLxM155.m5_155)+gLxM156.m5_156)+gLxM157.m5_157)+gLxM158.m5_158)+gLxM159.m5_159)+gLxM160.m5_160)+gLxM161.m5_161)+gLxM162.m5_162)+gLxM163.m5_163)+gLxM164.m5_164)+gLxM165.m5_165)+gLxM166.m5_166)+gLxM167.m5_167)+gLxM168.m5_168)+gLxM169.m5_169)+gLxM170.m5_170)+gLxM171.m5_171)+gLxM172.m5_172)+gLxM173.m5_173)+gLxM174.m5_174)+gLxM175.m5_175)+gLxM176.m5_176)+gLxM177.m5_177)+gLxM178.m5_178)+gLxM179.m5_179)+gLxM180.m5_180)+gLxM181.m5_181)+gLxM182.m5_182)+gLxM183.m5_183)+gLxM184.m5_184)+gLxM185.m5_185)+gLxM186.m5_186)+gLxM187.m5_187)+gLxM188.m5_188)+gLxM189.m5_189)+gLxM190.m5_190)+gLxM191.m5_191)+gLxM192.m5_192)+gLxM193.m5_193)+gLxM194.m5_194)+gLxM195.m5_195)+gLxM196.m5_196)+gLxM197.m5_197)+gLxM198.m5_198)+gLxM199.m5_199)+gLxM200.m5_200)+gLxM201.m5_201)+gLxM202.m5_202)+gLxM203.m5_203)+gLxM204.m5_204)+gLxM205.m5_205)+gLxM206.m5_206)+gLxM207.m5_207)+gLxM208.m5_208)+gLxM209.m5_209)+gLxM210.m5_210)+gLxM211.m5_211)+gLxM212.m5_212)+gLxM213.m5_213)+gLxM214.m5_214)+gLxM215.m5_215)+gLxM216.m5_216)+gLxM217.m5_217)+gLxM218.m5_218)+gLxM219.m5_219)+gLxM220.m5_220)+gLxM221.m5_221)+gLxM222.m5_222)+gLxM223.m5_223)+gLxM224.m5_224)+gLxM225.m5_225)+gLxM226.m5_226)+gLxM227.m5_227)+gLxM228.m5_228)+gLxM229.m5_229)+gLxM230.m5_230)+gLxM231.m5_231)+gLxM232.m5_232)+gLxM233.m5_233)+gLxM234.m5_234)+gLxM235.m5_235)+gLxM236.m5_236)+gLxM237.m5_237)+gLxM238.m5_238)+gLxM239.m5_239)+gLxM240.m5_240)+gLxM241.m5_241)+gLxM242.m5_242)+gLxM243.m5_243)+gLxM244.m5_244)+gLxM245.m5_245)+gLxM246.m5_246)+gLxM247.m5_247)+gLxM248.m5_248)+gLxM249.m5_249)+gLxM250.m5_250)+gLxM251.m5_251)+gLxM252.m5_252)+gLxM253.m5_253)+gLxM254.m5_254)+gLxM255.m5_255)+gLxM256.m5_256)+gLxM257.m5_257)+gLxM258.m5_258)+gLxM259.m5_259)+gLxM260.m5_260)+gLxM261.m5_261)+gLxM262.m5_262)+gLxM263.m5_263)+gLxM264.m5_264)+gLxM265.m5_265)+gLxM266.m5_266)+gLxM267.m5_267)+gLxM268.m5_268)+gLxM269.m5_269)+gLxM270.m5_270)+gLxM271.m5_271)+gLxM272.m5_272)+gLxM273.m5_273)+gLxM274.m5_274)+gLxM275.m5_275)+gLxM276.m5_276)+gLxM277.m5_277)+gLxM278.m5_278)+gLxM279.m5_279)+gLxM280.m5_280)+gLxM281.m5_281)+gLxM282.m5_282)+gLxM283.m5_283)+gLxM284.m5_284)+gLxM285.m5_285)+gLxM286.m5_286)+gLxM287.m5_287)+gLxM288.m5_288)+gLxM289.m5_289)+gLxM290.m5_290)+gLxM291.m5_291)+gLxM292.m5_292)+gLxM293.m5_293)+gLxM294.m5_294)+gLxM295.m5_295)+gLxM296.m5_296)+gLxM297.m5_297)+gLxM298.m5_298)+gLxM299.m5_299)+gLxM300.m5_300)+gLxM301.m5_301)+gLxM302.m5_302)+gLxM303.m5_303)+gLxM304.m5_304)+gLxM305.m5_305)+gLxM306.m5_306)+gLxM307.m5_307)+gLxM308.m5_308)+gLxM309.m5_309)+gLxM310.m5_310)+gLxM311.m5_311)+gLxM312.m5_312)+gLxM313.m5_313)+gLxM314.m5_314)+gLxM315.m5_315)+gLxM316.m5_316)+gLxM317.m5_317)+gLxM318.m5_318)+gLxM319.m5_319)+gLxM320.m5_320)+gLxM321.m5_321)+gLxM322.m5_322)+gLxM323.m5_323)+gLxM324.m5_324)+gLxM325.m5_325)+gLxM326.m5_326)+gLxM327.m5_327)+gLxM328.m5_328)+gLxM329.m5_329)+gLxM330.m5_330)+gLxM331.m5_331)+gLxM332.m5_332)+gLxM333.m5_333)+gLxM334.m5_334)+gLxM335.m5_335)+gLxM336.m5_336)+gLxM337.m5_337)+gLxM338.m5_338)+gLxM339.m5_339)+gLxM340.m5_340)+gLxM341.m5_341)+gLxM342.m5_342)+gLxM343.m5_343)+gLxM344.m5_344)+gLxM345.m5_345)+gLxM346.m5_346)+gLxM347.m5_347)+gLxM348.m5_348)+gLxM349.m5_349)+gLxM350.m5_350)+gLxM351.m5_351)+gLxM352.m5_352)+gLxM353.m5_353)+gLxM354.m5_354)+gLxM355.m5_355)+gLxM356.m5_356)+gLxM357.m5_357)+gLxM358.m5_358)+gLxM359.m5_359)+gLxM360.m5_360)+gLxM361.m5_361)+gLxM362.m5_362)+gLxM363.m5_363)+gLxM364.m5_364)+gLxM365.m5_365)+gLxM366.m5_366)+gLxM367.m5_367)+gLxM368.m5_368)+gLxM369.m5_369)+gLxM370.m5_370)+gLxM371.m5_371)+gLxM372.m5_372)+gLxM373.m5_373)+gLxM374.m5_374)+gLxM375.m5_375)+gLxM376.m5_376)+gLxM377.m5_377)+gLxM378.m5_378)+gLxM379.m5_379)+gLxM380.m5_380)+gLxM381.m5_381)+gLxM382.m5_382)+gLxM383.m5_383)+gLxM384.m5_384)+gLxM385.m5_385)+gLxM386.m5_386)+gLxM387.m5_387)+gLxM388.m5_388)+gLxM389.m5_389)+gLxM390.m5_390)+gLxM391.m5_391)+gLxM392.m5_392)+gLxM393.m5_393)+gLxM394.m5_394)+gLxM395.m5_395)+gLxM396.m5_396)+gLxM397.m5_397)+gLxM398.m5_398)+gLxM399.m5_399)+gLxM400.m5_400)+gLxM401.m5_401)+gLxM402.m5_402)+gLxM403.m5_403)+gLxM404.m5_404)+gLxM405.m5_405)+gLxM406.m5_406)+gLxM407.m5_407)+gLxM408.m5_408)+gLxM409.m5_409)+gLxM410.m5_410)+gLxM411.m5_411)+gLxM412.m5_412)+gLxM413.m5_413)+gLxM414.m5_414)+gLxM415.m5_415)+gLxM416.m5_416)+gLxM417.m5_417)+gLxM418.m5_418)+gLxM419.m5_419)+gLxM420.m5_420)+gLxM421.m5_421)+gLxM422.m5_422)+gLxM423.m5_423)+gLxM424.m5_424)+gLxM425.m5_425)+gLxM426.m5_426)+gLxM427.m5_427)+gLxM428.m5_428)+gLxM429.m5_429)+gLxM430.m5_430)+gLxM431.m5_431)+gLxM432.m5_432)+gLxM433.m5_433)+gLxM434.m5_434)+gLxM435.m5_435)+gLxM436.m5_436)+gLxM437.m5_437)+gLxM438.m5_438)+gLxM439.m5_439)+gLxM440.m5_440)+gLxM441.m5_441)+gLxM442.m5_442)+gLxM443.m5_443)+gLxM444.m5_444)+gLxM445.m5_445)+gLxM446.m5_446)+gLxM447.m5_447)+gLxM448.m5_448)+gLxM449.m5_449)+gLxM450.m5_450)+gLxM451.m5_451)+gLxM452.m5_452)+gLxM453.m5_453)+gLxM454.m5_454)+gLxM455.m5_455)+gLxM456.m5_456)+gLxM457.m5_457)+gLxM458.m5_458)+gLxM459.m5_459)+gLxM460.m5_460)+gLxM461.m5_461)+gLxM462.m5_462)+gLxM463.m5_463)+gLxM464.m5_464)+gLxM465.m5_465)+gLxM466.m5_466)+gLxM467.m5_467)+gLxM468.m5_468)+gLxM469.m5_469)+gLxM470.m5_470)+gLxM471.m5_471)+gLxM472.m5_472)+gLxM473.m5_473)+gLxM474.m5_474)+gLxM475.m5_475)+gLxM476.m5_476)+gLxM477.m5_477)+gLxM478.m5_478)+gLxM479.m5_479)+gLxM480.m5_480)+gLxM481.m5_481)+gLxM482.m5_482)+gLxM483.m5_483)+gLxM484.m5_484)+gLxM485.m5_485)+gLxM486.m5_486)+gLxM487.m5_487)+gLxM488.m5_488)+gLxM489.m5_489)+gLxM490.m5_490)+gLxM491.m5_491)+gLxM492.m5_492)+gLxM493.m5_493)+gLxM494.m5_494)+gLxM495.m5_495)+gLxM496.m5_496)+gLxM497.m5_497)+gLxM498.m5_498)+gLxM499.m5_499)+gLxM500.m5_500)+gLxM501.m5_501)+gLxM502.m5_502)+gLxM503.m5_503)+gLxM504.m5_504)+gLxM505.m5_505)+gLxM506.m5_506)+gLxM507.m5_507)+gLxM508.m5_508)+gLxM509.m5_509)+gLxM510.m5_510)+gLxM511.m5_511)+gLxM512.m5_512)+gLxM513.m5_513)+gLxM514.m5_514)+gLxM515.m5_515)+gLxM516.m5_516)+gLxM517.m5_517)+gLxM518.m5_518)+gLxM519.m5_519)+gLxM520.m5_520)+gLxM521.m5_521)+gLxM522.m5_522)+gLxM523.m5_523)+gLxM524.m5_524)+gLxM525.m5_525)+gLxM526.m5_526)+gLxM527.m5_527)+gLxM528.m5_528)+gLxM529.m5_529)+gLxM530.m5_530)+gLxM531.m5_531)+gLxM532.m5_532)+gLxM533.m5_533)+gLxM534.m5_534)+gLxM535.m5_535)+gLxM536.m5_536)+gLxM537.m5_537)+gLxM538.m5_538)+gLxM539.m5_539)+gLxM540.m5_540)+gLxM541.m5_541)+gLxM542.m5_542)+gLxM543.m5_543)+gLxM544.m5_544)+gLxM545.m5_545)+gLxM546.m5_546)+gLxM547.m5_547)+gLxM548.m5_548)+gLxM549.m5_549)+gLxM550.m5_550)+gLxM551.m5_551)+gLxM552.m5_552)+gLxM553.m5_553)+gLxM554.m5_554)+gLxM555.m5_555)+gLxM556.m5_556)+gLxM557.m5_557)+gLxM558.m5_558)+gLxM559.m5_559)+gLxM560.m5_560)+gLxM561.m5_561)+gLxM562.m5_562)+gLxM563.m5_563)+gLxM564.m5_564)+gLxM565.m5_565)+gLxM566.m5_566)+gLxM567.m5_567)+gLxM568.m5_568)+gLxM569.m5_569)+gLxM570.m5_570)+gLxM571.m5_571)+gLxM572.m5_572)+gLxM573.m5_573)+gLxM574.m5_574)+gLxM575.m5_575)+gLxM576.m5_576)+gLxM577.m5_577)+gLxM578.m5_578)+gLxM579.m5_579)+gLxM580.m5_580)+gLxM581.m5_581)+gLxM582.m5_582)+gLxM583.m5_583)+gLxM584.m5_584)+gLxM585.m5_585)+gLxM586.m5_586)+gLxM587.m5_587)+gLxM588.m5_588)+gLxM589.m5_589)+gLxM590.m5_590)+gLxM591.m5_591)+gLxM592.m5_592)+gLxM593.m5_593)+gLxM594.m5_594)+gLxM595.m5_595)+gLxM596.m5_596)+gLxM597.m5_597)+gLxM598.m5_598)+gLxM599.m5_599)+gLxM600.m5_600)+gLxM601.m5_601)+gLxM602.m5_602)+gLxM603.m5_603)+gLxM604.m5_604)+gLxM605.m5_605)+gLxM606.m5_606)+gLxM607.m5_607)+gLxM608.m5_608)+gLxM609.m5_609)+gLxM610.m5_610)+gLxM611.m5_611)+gLxM612.m5_612)+gLxM613.m5_613)+gLxM614.m5_614)+gLxM615.m5_615)+gLxM616.m5_616)+gLxM617.m5_617)+gLxM618.m5_618)+gLxM619.m5_619)+gLxM620.m5_620)+gLxM621.m5_621)+gLxM622.m5_622)+gLxM623.m5_623)+gLxM624.m5_624)+gLxM625.m5_625)+gLxM626.m5_626)+gLxM627.m5_627)+gLxM628.m5_628)+gLxM629.m5_629)+gLxM630.m5_630)+gLxM631.m5_631)+gLxM632.m5_632)+gLxM633.m5_633)+gLxM634.m5_634)+gLxM635.m5_635)+gLxM636.m5_636)+gLxM637.m5_637)+gLxM638.m5_638)+gLxM639.m5_639)+gLxM640.m5_640)+gLxM641.m5_641)+gLxM642.m5_642)+gLxM643.m5_643)+gLxM644.m5_644)+gLxM645.m5_645)+gLxM646.m5_646)+gLxM647.m5_647)+gLxM648.m5_648)+gLxM649.m5_649)+gLxM650.m5_650)+gLxM651.m5_651)+gLxM652.m5_652)+gLxM653.m5_653)+gLxM654.m5_654)+gLxM655.m5_655)+gLxM656.m5_656)+gLxM657.m5_657)+gLxM658.m5_658)+gLxM659.m5_659)+gLxM660.m5_660)+gLxM661.m5_661)+gLxM662.m5_662)+gLxM663.m5_663)+gLxM664.m5_664)+gLxM665.m5_665)+gLxM666.m5_666)+gLxM667.m5_667)+gLxM668.m5_668)+gLxM669.m5_669)+gLxM670.m5_670)+gLxM671.m5_671)+gLxM672.m5_672)+gLxM673.m5_673)+gLxM674.m5_674)+gLxM675.m5_675)+gLxM676.m5_676)+gLxM677.m5_677)+gLxM678.m5_678)+gLxM679.m5_679)+gLxM680.m5_680)+gLxM681.m5_681)+gLxM682.m5_682)+gLxM683.m5_683)+gLxM684.m5_684)+gLxM685.m5_685)+gLxM686.m5_686)+gLxM687.m5_687)+gLxM688.m5_688)+gLxM689.m5_689)+gLxM690.m5_690)+gLxM691.m5_691)+gLxM692.m5_692)+gLxM693.m5_693)+gLxM694.m5_694)+gLxM695.m5_695)+gLxM696.m5_696)+gLxM697.m5_697)+gLxM698.m5_698)+gLxM699.m5_699)+gLxM700.m5_700)+gLxM701.m5_701)+gLxM702.m5_702)+gLxM703.m5_703)+gLxM704.m5_704)+gLxM705.m5_705)+gLxM706.m5_706)+gLxM707.m5_707)+gLxM708.m5_708)+gLxM709.m5_709)+gLxM710.m5_710)+gLxM711.m5_711)+gLxM712.m5_712)+gLxM713.m5_713)+gLxM714.m5_714)+gLxM715.m5_715)+gLxM716.m5_716)+gLxM717.m5_717)+gLxM718.m5_718)+gLxM719.m5_719)+gLxM720.m5_720)+gLxM721.m5_721)+gLxM722.m5_722)+gLxM723.m5_723)+gLxM724.m5_724)+gLxM725.m5_725)+gLxM726.m5_726)+gLxM727.m5_727)+gLxM728.m5_728)+gLxM729.m5_729)+gLxM730.m5_730)+gLxM731.m5_731)+gLxM732.m5_732)+gLxM733.m5_733)+gLxM734.m5_734)+gLxM735.m5_735)+gLxM736.m5_736)+gLxM737.m5_737)+gLxM738.m5_738)+gLxM739.m5_739)+gLxM740.m5_740)+gLxM741.m5_741)+gLxM742.m5_742)+gLxM743.m5_743)+gLxM744.m5_744)+gLxM745.m5_745)+gLxM746.m5_746)+gLxM747.m5_747)+gLxM748.m5_748)+gLxM749.m5_749)+gLxM750.m5_750)+gLxM751.m5_751)+gLxM752.m5_752)+gLxM753.m5_753)+gLxM754.m5_754)+gLxM755.m5_755)+gLxM756.m5_756)+gLxM757.m5_757)+gLxM758.m5_758)+gLxM759.m5_759)+gLxM760.m5_760)+gLxM761.m5_761)+gLxM762.m5_762)+gLxM763.m5_763)+gLxM764.m5_764)+gLxM765.m5_765)+gLxM766.m5_766)+gLxM767.m5_767)+gLxM768.m5_768)+gLxM769.m5_769)+gLxM770.m5_770)+gLxM771.m5_771)+gLxM772.m5_772)+gLxM773.m5_773)+gLxM774.m5_774)+gLxM775.m5_775)+gLxM776.m5_776)+gLxM777.m5_777)+gLxM778.m5_778)+gLxM779.m5_779)+gLxM780.m5_780)+gLxM781.m5_781)+gLxM782.m5_782)+gLxM783.m5_783)+gLxM784.m5_784)+gLxM785.m5_785)+gLxM786.m5_786)+gLxM787.m5_787)+gLxM788.m5_788)+gLxM789.m5_789)+gLxM790.m5_790)+gLxM791.m5_791)+gLxM792.m5_792)+gLxM793.m5_793)+gLxM794.m5_794)+gLxM795.m5_795)+gLxM796.m5_796)+gLxM797.m5_797)+gLxM798.m5_798)+gLxM799.m5_799)+gLxM800.m5_800)+gLxM801.m5_801)+gLxM802.m5_802)+gLxM803.m5_803)+gLxM804.m5_804)+gLxM805.m5_805)+gLxM806.m5_806)+gLxM807.m5_807)+gLxM808.m5_808)+gLxM809.m5_809)+gLxM810.m5_810)+gLxM811.m5_811)+gLxM812.m5_812)+gLxM813.m5_813)+gLxM814.m5_814)+gLxM815.m5_815)+gLxM816.m5_816)+gLxM817.m5_817)+gLxM818.m5_818)+gLxM819.m5_819)+gLxM820.m5_820)+gLxM821.m5_821)+gLxM822.m5_822)+gLxM823.m5_823)+gLxM824.m5_824)+gLxM825.m5_825)+gLxM826.m5_826)+gLxM827.m5_827)+gLxM828.m5_828)+gLxM829.m5_829)+gLxM830.m5_830)+gLxM831.m5_831)+gLxM832.m5_832)+gLxM833.m5_833)+gLxM834.m5_834)+gLxM835.m5_835)+gLxM836.m5_836)+gLxM837.m5_837)+gLxM838.m5_838)+gLxM839.m5_839)+gLxM840.m5_840)+gLxM841.m5_841)+gLxM842.m5_842)+gLxM843.m5_843)+gLxM844.m5_844)+gLxM845.m5_845)+gLxM846.m5_846)+gLxM847.m5_847)+gLxM848.m5_848)+gLxM849.m5_849)+gLxM850.m5_850)+gLxM851.m5_851)+gLxM852.m5_852)+gLxM853.m5_853)+gLxM854.m5_854)+gLxM855.m5_855)+gLxM856.m5_856)+gLxM857.m5_857)+gLxM858.m5_858)+gLxM859.m5_859)+gLxM860.m5_860)+gLxM861.m5_861)+gLxM862.m5_862)+gLxM863.m5_863)+gLxM864.m5_864)+gLxM865.m5_865)+gLxM866.m5_866)+gLxM867.m5_867)+gLxM868.m5_868)+gLxM869.m5_869)+gLxM870.m5_870)+gLxM871.m5_871)+gLxM872.m5_872)+gLxM873.m5_873)+gLxM874.m5_874)+gLxM875.m5_875)+gLxM876.m5_876)+gLxM877.m5_877)+gLxM878.m5_878)+gLxM879.m5_879)+gLxM880.m5_880)+gLxM881.m5_881)+gLxM882.m5_882)+gLxM883.m5_883)+gLxM884.m5_884)+gLxM885.m5_885)+gLxM886.m5_886)+gLxM887.m5_887)+gLxM888.m5_888)+gLxM889.m5_889)+gLxM890.m5_890)+gLxM891.m5_891)+gLxM892.m5_892)+gLxM893.m5_893)+gLxM894.m5_894)+gLxM895.m5_895)+gLxM896.m5_896)+gLxM897.m5_897)+gLxM898.m5_898)+gLxM899.m5_899)+gLxM900.m5_900)+gLxM901.m5_901)+gLxM902.m5_902)+gLxM903.m5_903)+gLxM904.m5_904)+gLxM905.m5_905)+gLxM906.m5_906)+gLxM907.m5_907)+gLxM908.m5_908)+gLxM909.m5_909)+gLxM910.m5_910)+gLxM911.m5_911)+gLxM912.m5_912)+gLxM913.m5_913)+gLxM914.m5_914)+gLxM915.m5_915)+gLxM916.m5_916)+gLxM917.m5_917)+gLxM918.m5_918)+gLxM919.m5_919)+gLxM920.m5_920)+gLxM921.m5_921)+gLxM922.m5_922)+gLxM923.m5_923)+gLxM924.m5_924)+gLxM925.m5_925)+gLxM926.m5_926)+gLxM927.m5_927)+gLxM928.m5_928)+gLxM929.m5_929)+gLxM930.m5_930)+gLxM931.m5_931)+gLxM932.m5_932)+gLxM933.m5_933)+gLxM934.m5_934)+gLxM935.m5_935)+gLxM936.m5_936)+gLxM937.m5_937)+gLxM938.m5_938)+gLxM939.m5_939)+gLxM940.m5_940)+gLxM941.m5_941)+gLxM942.m5_942)+gLxM943.m5_943)+gLxM944.m5_944)+gLxM945.m5_945)+gLxM946.m5_946)+gLxM947.m5_947)+gLxM948.m5_948)+gLxM949.m5_949)+gLxM950.m5_950)+gLxM951.m5_951)+gLxM952.m5_952)+gLxM953.m5_953)+gLxM954.m5_954)+gLxM955.m5_955)+gLxM956.m5_956)+gLxM957.m5_957)+gLxM958.m5_958)+gLxM959.m5_959)+gLxM960.m5_960)+gLxM961.m5_961)+gLxM962.m5_962)+gLxM963.m5_963)+gLxM964.m5_964)+gLxM965.m5_965)+gLxM966.m5_966)+gLxM967.m5_967)+gLxM968.m5_968)+gLxM969.m5_969)+gLxM970.m5_970)+gLxM971.m5_971)+gLxM972.m5_972)+gLxM973.m5_973)+gLxM974.m5_974)+gLxM975.m5_975)+gLxM976.m5_976)+gLxM977.m5_977)+gLxM978.m5_978)+gLxM979.m5_979)+gLxM980.m5_980)+gLxM981.m5_981)+gLxM982.m5_982)+gLxM983.m5_983)+gLxM984.m5_984)+gLxM985.m5_985)+gLxM986.m5_986)+gLxM987.m5_987)+gLxM988.m5_988)+gLxM989.m5_989)+gLxM990.m5_990)+gLxM991.m5_991)+gLxM992.m5_992)+gLxM993.m5_993)+gLxM994.m5_994)+gLxM995.m5_995)+gLxM996.m5_996)+gLxM997.m5_997)+gLxM998.m5_998)+gLxM999.m5_999)+gLxM1000.m5_1000)+gLxM1001.m5_1001)+gLxM1002.m5_1002)+gLxM1003.m5_1003)+gLxM1004.m5_1004)+gLxM1005.m5_1005)+gLxM1006.m5_1006)+gLxM1007.m5_1007)+gLxM1008.m5_1008)+gLxM1009.m5_1009)+gLxM1010.m5_1010)+gLxM1011.m5_1011)+gLxM1012.m5_1012)+gLxM1013.m5_1013)+gLxM1014.m5_1014)+gLxM1015.m5_1015)+gLxM1016.m5_1016)+gLxM1017.m5_1017)+gLxM1018.m5_1018)+gLxM1019.m5_1019)+gLxM1020.m5_1020)+gLxM1021.m5_1021)+gLxM1022.m5_1022)+gLxM1023.m5_1023)+gLxM1024.m5_1024)+gLxM1025.m5_1025)+gLxM1026.m5_1026)+gLxM1027.m5_1027)+gLxM1028.m5_1028)+gLxM1029.m5_1029)+gLxM1030.m5_1030)+gLxM1031.m5_1031)+gLxM1032.m5_1032)+gLxM1033.m5_1033)+gLxM1034.m5_1034)+gLxM1035.m5_1035)+gLxM1036.m5_1036)+gLxM1037.m5_1037)+gLxM1038.m5_1038)+gLxM1039.m5_1039)+gLxM1040.m5_1040)+gLxM1041.m5_1041)+gLxM1042.m5_1042)+gLxM1043.m5_1043)+gLxM1044.m5_1044)+gLxM1045.m5_1045)+gLxM1046.m5_1046)+gLxM1047.m5_1047)+gLxM1048.m5_1048)+gLxM1049.m5_1049)+gLxM1050.m5_1050)+gLxM1051.m5_1051)+gLxM1052.m5_1052)+gLxM1053.m5_1053)+gLxM1054.m5_1054)+gLxM1055.m5_1055)+gLxM1056.m5_1056)+gLxM1057.m5_1057)+gLxM1058.m5_1058)+gLxM1059.m5_1059)+gLxM1060.m5_1060)+gLxM1061.m5_1061)+gLxM1062.m5_1062)+gLxM1063.m5_1063)+gLxM1064.m5_1064)+gLxM1065.m5_1065)+gLxM1066.m5_1066)+gLxM1067.m5_1067)+gLxM1068.m5_1068)+gLxM1069.m5_1069)+gLxM1070.m5_1070)+gLxM1071.m5_1071)+gLxM1072.m5_1072)+gLxM1073.m5_1073)+gLxM1074.m5_1074)+gLxM1075.m5_1075)+gLxM1076.m5_1076)+gLxM1077.m5_1077)+gLxM1078.m5_1078)+gLxM1079.m5_1079)+gLxM1080.m5_1080)+gLxM1081.m5_1081)+gLxM1082.m5_1082)+gLxM1083.m5_1083)+gLxM1084.m5_1084)+gLxM1085.m5_1085)+gLxM1086.m5_1086)+gLxM1087.m5_1087)+gLxM1088.m5_1088)+gLxM1089.m5_1089)+gLxM1090.m5_1090)+gLxM1091.m5_1091)+gLxM1092.m5_1092)+gLxM1093.m5_1093)+gLxM1094.m5_1094)+gLxM1095.m5_1095)+gLxM1096.m5_1096)+gLxM1097.m5_1097)+gLxM1098.m5_1098)+gLxM1099.m5_1099)+gLxM1100.m5_1100)+gLxM1101.m5_1101)+gLxM1102.m5_1102)+gLxM1103.m5_1103)+gLxM1104.m5_1104)+gLxM1105.m5_1105)+gLxM1106.m5_1106)+gLxM1107.m5_1107)+gLxM1108.m5_1108)+gLxM1109.m5_1109)+gLxM1110.m5_1110)>=1)"))&&(X("((((((gCINFORMI0.c7_0+gCINFORMI1.c7_1)+gCINFORMI2.c7_2)+gCINFORMI3.c7_3)+gCINFORMI4.c7_4)+gCINFORMI5.c7_5)>=1)")))&&("((((((gCINFORMI0.c7_0+gCINFORMI1.c7_1)+gCINFORMI2.c7_2)+gCINFORMI3.c7_3)+gCINFORMI4.c7_4)+gCINFORMI5.c7_5)>=1)")))))))
Formula 0 simplified : !XGXF("((((((gCINFORMI0.c7_0+gCINFORMI1.c7_1)+gCINFORMI2.c7_2)+gCINFORMI3.c7_3)+gCINFORMI4.c7_4)+gCINFORMI5.c7_5)>=1)" & F"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gLxM0.m5_0+gLxM1.m5_1)+gLxM2.m5_2)+gLxM3.m5_3)+gLxM4.m5_4)+gLxM5.m5_5)+gLxM6.m5_6)+gLxM7.m5_7)+gLxM8.m5_8)+gLxM9.m5_9)+gLxM10.m5_10)+gLxM11.m5_11)+gLxM12.m5_12)+gLxM13.m5_13)+gLxM14.m5_14)+gLxM15.m5_15)+gLxM16.m5_16)+gLxM17.m5_17)+gLxM18.m5_18)+gLxM19.m5_19)+gLxM20.m5_20)+gLxM21.m5_21)+gLxM22.m5_22)+gLxM23.m5_23)+gLxM24.m5_24)+gLxM25.m5_25)+gLxM26.m5_26)+gLxM27.m5_27)+gLxM28.m5_28)+gLxM29.m5_29)+gLxM30.m5_30)+gLxM31.m5_31)+gLxM32.m5_32)+gLxM33.m5_33)+gLxM34.m5_34)+gLxM35.m5_35)+gLxM36.m5_36)+gLxM37.m5_37)+gLxM38.m5_38)+gLxM39.m5_39)+gLxM40.m5_40)+gLxM41.m5_41)+gLxM42.m5_42)+gLxM43.m5_43)+gLxM44.m5_44)+gLxM45.m5_45)+gLxM46.m5_46)+gLxM47.m5_47)+gLxM48.m5_48)+gLxM49.m5_49)+gLxM50.m5_50)+gLxM51.m5_51)+gLxM52.m5_52)+gLxM53.m5_53)+gLxM54.m5_54)+gLxM55.m5_55)+gLxM56.m5_56)+gLxM57.m5_57)+gLxM58.m5_58)+gLxM59.m5_59)+gLxM60.m5_60)+gLxM61.m5_61)+gLxM62.m5_62)+gLxM63.m5_63)+gLxM64.m5_64)+gLxM65.m5_65)+gLxM66.m5_66)+gLxM67.m5_67)+gLxM68.m5_68)+gLxM69.m5_69)+gLxM70.m5_70)+gLxM71.m5_71)+gLxM72.m5_72)+gLxM73.m5_73)+gLxM74.m5_74)+gLxM75.m5_75)+gLxM76.m5_76)+gLxM77.m5_77)+gLxM78.m5_78)+gLxM79.m5_79)+gLxM80.m5_80)+gLxM81.m5_81)+gLxM82.m5_82)+gLxM83.m5_83)+gLxM84.m5_84)+gLxM85.m5_85)+gLxM86.m5_86)+gLxM87.m5_87)+gLxM88.m5_88)+gLxM89.m5_89)+gLxM90.m5_90)+gLxM91.m5_91)+gLxM92.m5_92)+gLxM93.m5_93)+gLxM94.m5_94)+gLxM95.m5_95)+gLxM96.m5_96)+gLxM97.m5_97)+gLxM98.m5_98)+gLxM99.m5_99)+gLxM100.m5_100)+gLxM101.m5_101)+gLxM102.m5_102)+gLxM103.m5_103)+gLxM104.m5_104)+gLxM105.m5_105)+gLxM106.m5_106)+gLxM107.m5_107)+gLxM108.m5_108)+gLxM109.m5_109)+gLxM110.m5_110)+gLxM111.m5_111)+gLxM112.m5_112)+gLxM113.m5_113)+gLxM114.m5_114)+gLxM115.m5_115)+gLxM116.m5_116)+gLxM117.m5_117)+gLxM118.m5_118)+gLxM119.m5_119)+gLxM120.m5_120)+gLxM121.m5_121)+gLxM122.m5_122)+gLxM123.m5_123)+gLxM124.m5_124)+gLxM125.m5_125)+gLxM126.m5_126)+gLxM127.m5_127)+gLxM128.m5_128)+gLxM129.m5_129)+gLxM130.m5_130)+gLxM131.m5_131)+gLxM132.m5_132)+gLxM133.m5_133)+gLxM134.m5_134)+gLxM135.m5_135)+gLxM136.m5_136)+gLxM137.m5_137)+gLxM138.m5_138)+gLxM139.m5_139)+gLxM140.m5_140)+gLxM141.m5_141)+gLxM142.m5_142)+gLxM143.m5_143)+gLxM144.m5_144)+gLxM145.m5_145)+gLxM146.m5_146)+gLxM147.m5_147)+gLxM148.m5_148)+gLxM149.m5_149)+gLxM150.m5_150)+gLxM151.m5_151)+gLxM152.m5_152)+gLxM153.m5_153)+gLxM154.m5_154)+gLxM155.m5_155)+gLxM156.m5_156)+gLxM157.m5_157)+gLxM158.m5_158)+gLxM159.m5_159)+gLxM160.m5_160)+gLxM161.m5_161)+gLxM162.m5_162)+gLxM163.m5_163)+gLxM164.m5_164)+gLxM165.m5_165)+gLxM166.m5_166)+gLxM167.m5_167)+gLxM168.m5_168)+gLxM169.m5_169)+gLxM170.m5_170)+gLxM171.m5_171)+gLxM172.m5_172)+gLxM173.m5_173)+gLxM174.m5_174)+gLxM175.m5_175)+gLxM176.m5_176)+gLxM177.m5_177)+gLxM178.m5_178)+gLxM179.m5_179)+gLxM180.m5_180)+gLxM181.m5_181)+gLxM182.m5_182)+gLxM183.m5_183)+gLxM184.m5_184)+gLxM185.m5_185)+gLxM186.m5_186)+gLxM187.m5_187)+gLxM188.m5_188)+gLxM189.m5_189)+gLxM190.m5_190)+gLxM191.m5_191)+gLxM192.m5_192)+gLxM193.m5_193)+gLxM194.m5_194)+gLxM195.m5_195)+gLxM196.m5_196)+gLxM197.m5_197)+gLxM198.m5_198)+gLxM199.m5_199)+gLxM200.m5_200)+gLxM201.m5_201)+gLxM202.m5_202)+gLxM203.m5_203)+gLxM204.m5_204)+gLxM205.m5_205)+gLxM206.m5_206)+gLxM207.m5_207)+gLxM208.m5_208)+gLxM209.m5_209)+gLxM210.m5_210)+gLxM211.m5_211)+gLxM212.m5_212)+gLxM213.m5_213)+gLxM214.m5_214)+gLxM215.m5_215)+gLxM216.m5_216)+gLxM217.m5_217)+gLxM218.m5_218)+gLxM219.m5_219)+gLxM220.m5_220)+gLxM221.m5_221)+gLxM222.m5_222)+gLxM223.m5_223)+gLxM224.m5_224)+gLxM225.m5_225)+gLxM226.m5_226)+gLxM227.m5_227)+gLxM228.m5_228)+gLxM229.m5_229)+gLxM230.m5_230)+gLxM231.m5_231)+gLxM232.m5_232)+gLxM233.m5_233)+gLxM234.m5_234)+gLxM235.m5_235)+gLxM236.m5_236)+gLxM237.m5_237)+gLxM238.m5_238)+gLxM239.m5_239)+gLxM240.m5_240)+gLxM241.m5_241)+gLxM242.m5_242)+gLxM243.m5_243)+gLxM244.m5_244)+gLxM245.m5_245)+gLxM246.m5_246)+gLxM247.m5_247)+gLxM248.m5_248)+gLxM249.m5_249)+gLxM250.m5_250)+gLxM251.m5_251)+gLxM252.m5_252)+gLxM253.m5_253)+gLxM254.m5_254)+gLxM255.m5_255)+gLxM256.m5_256)+gLxM257.m5_257)+gLxM258.m5_258)+gLxM259.m5_259)+gLxM260.m5_260)+gLxM261.m5_261)+gLxM262.m5_262)+gLxM263.m5_263)+gLxM264.m5_264)+gLxM265.m5_265)+gLxM266.m5_266)+gLxM267.m5_267)+gLxM268.m5_268)+gLxM269.m5_269)+gLxM270.m5_270)+gLxM271.m5_271)+gLxM272.m5_272)+gLxM273.m5_273)+gLxM274.m5_274)+gLxM275.m5_275)+gLxM276.m5_276)+gLxM277.m5_277)+gLxM278.m5_278)+gLxM279.m5_279)+gLxM280.m5_280)+gLxM281.m5_281)+gLxM282.m5_282)+gLxM283.m5_283)+gLxM284.m5_284)+gLxM285.m5_285)+gLxM286.m5_286)+gLxM287.m5_287)+gLxM288.m5_288)+gLxM289.m5_289)+gLxM290.m5_290)+gLxM291.m5_291)+gLxM292.m5_292)+gLxM293.m5_293)+gLxM294.m5_294)+gLxM295.m5_295)+gLxM296.m5_296)+gLxM297.m5_297)+gLxM298.m5_298)+gLxM299.m5_299)+gLxM300.m5_300)+gLxM301.m5_301)+gLxM302.m5_302)+gLxM303.m5_303)+gLxM304.m5_304)+gLxM305.m5_305)+gLxM306.m5_306)+gLxM307.m5_307)+gLxM308.m5_308)+gLxM309.m5_309)+gLxM310.m5_310)+gLxM311.m5_311)+gLxM312.m5_312)+gLxM313.m5_313)+gLxM314.m5_314)+gLxM315.m5_315)+gLxM316.m5_316)+gLxM317.m5_317)+gLxM318.m5_318)+gLxM319.m5_319)+gLxM320.m5_320)+gLxM321.m5_321)+gLxM322.m5_322)+gLxM323.m5_323)+gLxM324.m5_324)+gLxM325.m5_325)+gLxM326.m5_326)+gLxM327.m5_327)+gLxM328.m5_328)+gLxM329.m5_329)+gLxM330.m5_330)+gLxM331.m5_331)+gLxM332.m5_332)+gLxM333.m5_333)+gLxM334.m5_334)+gLxM335.m5_335)+gLxM336.m5_336)+gLxM337.m5_337)+gLxM338.m5_338)+gLxM339.m5_339)+gLxM340.m5_340)+gLxM341.m5_341)+gLxM342.m5_342)+gLxM343.m5_343)+gLxM344.m5_344)+gLxM345.m5_345)+gLxM346.m5_346)+gLxM347.m5_347)+gLxM348.m5_348)+gLxM349.m5_349)+gLxM350.m5_350)+gLxM351.m5_351)+gLxM352.m5_352)+gLxM353.m5_353)+gLxM354.m5_354)+gLxM355.m5_355)+gLxM356.m5_356)+gLxM357.m5_357)+gLxM358.m5_358)+gLxM359.m5_359)+gLxM360.m5_360)+gLxM361.m5_361)+gLxM362.m5_362)+gLxM363.m5_363)+gLxM364.m5_364)+gLxM365.m5_365)+gLxM366.m5_366)+gLxM367.m5_367)+gLxM368.m5_368)+gLxM369.m5_369)+gLxM370.m5_370)+gLxM371.m5_371)+gLxM372.m5_372)+gLxM373.m5_373)+gLxM374.m5_374)+gLxM375.m5_375)+gLxM376.m5_376)+gLxM377.m5_377)+gLxM378.m5_378)+gLxM379.m5_379)+gLxM380.m5_380)+gLxM381.m5_381)+gLxM382.m5_382)+gLxM383.m5_383)+gLxM384.m5_384)+gLxM385.m5_385)+gLxM386.m5_386)+gLxM387.m5_387)+gLxM388.m5_388)+gLxM389.m5_389)+gLxM390.m5_390)+gLxM391.m5_391)+gLxM392.m5_392)+gLxM393.m5_393)+gLxM394.m5_394)+gLxM395.m5_395)+gLxM396.m5_396)+gLxM397.m5_397)+gLxM398.m5_398)+gLxM399.m5_399)+gLxM400.m5_400)+gLxM401.m5_401)+gLxM402.m5_402)+gLxM403.m5_403)+gLxM404.m5_404)+gLxM405.m5_405)+gLxM406.m5_406)+gLxM407.m5_407)+gLxM408.m5_408)+gLxM409.m5_409)+gLxM410.m5_410)+gLxM411.m5_411)+gLxM412.m5_412)+gLxM413.m5_413)+gLxM414.m5_414)+gLxM415.m5_415)+gLxM416.m5_416)+gLxM417.m5_417)+gLxM418.m5_418)+gLxM419.m5_419)+gLxM420.m5_420)+gLxM421.m5_421)+gLxM422.m5_422)+gLxM423.m5_423)+gLxM424.m5_424)+gLxM425.m5_425)+gLxM426.m5_426)+gLxM427.m5_427)+gLxM428.m5_428)+gLxM429.m5_429)+gLxM430.m5_430)+gLxM431.m5_431)+gLxM432.m5_432)+gLxM433.m5_433)+gLxM434.m5_434)+gLxM435.m5_435)+gLxM436.m5_436)+gLxM437.m5_437)+gLxM438.m5_438)+gLxM439.m5_439)+gLxM440.m5_440)+gLxM441.m5_441)+gLxM442.m5_442)+gLxM443.m5_443)+gLxM444.m5_444)+gLxM445.m5_445)+gLxM446.m5_446)+gLxM447.m5_447)+gLxM448.m5_448)+gLxM449.m5_449)+gLxM450.m5_450)+gLxM451.m5_451)+gLxM452.m5_452)+gLxM453.m5_453)+gLxM454.m5_454)+gLxM455.m5_455)+gLxM456.m5_456)+gLxM457.m5_457)+gLxM458.m5_458)+gLxM459.m5_459)+gLxM460.m5_460)+gLxM461.m5_461)+gLxM462.m5_462)+gLxM463.m5_463)+gLxM464.m5_464)+gLxM465.m5_465)+gLxM466.m5_466)+gLxM467.m5_467)+gLxM468.m5_468)+gLxM469.m5_469)+gLxM470.m5_470)+gLxM471.m5_471)+gLxM472.m5_472)+gLxM473.m5_473)+gLxM474.m5_474)+gLxM475.m5_475)+gLxM476.m5_476)+gLxM477.m5_477)+gLxM478.m5_478)+gLxM479.m5_479)+gLxM480.m5_480)+gLxM481.m5_481)+gLxM482.m5_482)+gLxM483.m5_483)+gLxM484.m5_484)+gLxM485.m5_485)+gLxM486.m5_486)+gLxM487.m5_487)+gLxM488.m5_488)+gLxM489.m5_489)+gLxM490.m5_490)+gLxM491.m5_491)+gLxM492.m5_492)+gLxM493.m5_493)+gLxM494.m5_494)+gLxM495.m5_495)+gLxM496.m5_496)+gLxM497.m5_497)+gLxM498.m5_498)+gLxM499.m5_499)+gLxM500.m5_500)+gLxM501.m5_501)+gLxM502.m5_502)+gLxM503.m5_503)+gLxM504.m5_504)+gLxM505.m5_505)+gLxM506.m5_506)+gLxM507.m5_507)+gLxM508.m5_508)+gLxM509.m5_509)+gLxM510.m5_510)+gLxM511.m5_511)+gLxM512.m5_512)+gLxM513.m5_513)+gLxM514.m5_514)+gLxM515.m5_515)+gLxM516.m5_516)+gLxM517.m5_517)+gLxM518.m5_518)+gLxM519.m5_519)+gLxM520.m5_520)+gLxM521.m5_521)+gLxM522.m5_522)+gLxM523.m5_523)+gLxM524.m5_524)+gLxM525.m5_525)+gLxM526.m5_526)+gLxM527.m5_527)+gLxM528.m5_528)+gLxM529.m5_529)+gLxM530.m5_530)+gLxM531.m5_531)+gLxM532.m5_532)+gLxM533.m5_533)+gLxM534.m5_534)+gLxM535.m5_535)+gLxM536.m5_536)+gLxM537.m5_537)+gLxM538.m5_538)+gLxM539.m5_539)+gLxM540.m5_540)+gLxM541.m5_541)+gLxM542.m5_542)+gLxM543.m5_543)+gLxM544.m5_544)+gLxM545.m5_545)+gLxM546.m5_546)+gLxM547.m5_547)+gLxM548.m5_548)+gLxM549.m5_549)+gLxM550.m5_550)+gLxM551.m5_551)+gLxM552.m5_552)+gLxM553.m5_553)+gLxM554.m5_554)+gLxM555.m5_555)+gLxM556.m5_556)+gLxM557.m5_557)+gLxM558.m5_558)+gLxM559.m5_559)+gLxM560.m5_560)+gLxM561.m5_561)+gLxM562.m5_562)+gLxM563.m5_563)+gLxM564.m5_564)+gLxM565.m5_565)+gLxM566.m5_566)+gLxM567.m5_567)+gLxM568.m5_568)+gLxM569.m5_569)+gLxM570.m5_570)+gLxM571.m5_571)+gLxM572.m5_572)+gLxM573.m5_573)+gLxM574.m5_574)+gLxM575.m5_575)+gLxM576.m5_576)+gLxM577.m5_577)+gLxM578.m5_578)+gLxM579.m5_579)+gLxM580.m5_580)+gLxM581.m5_581)+gLxM582.m5_582)+gLxM583.m5_583)+gLxM584.m5_584)+gLxM585.m5_585)+gLxM586.m5_586)+gLxM587.m5_587)+gLxM588.m5_588)+gLxM589.m5_589)+gLxM590.m5_590)+gLxM591.m5_591)+gLxM592.m5_592)+gLxM593.m5_593)+gLxM594.m5_594)+gLxM595.m5_595)+gLxM596.m5_596)+gLxM597.m5_597)+gLxM598.m5_598)+gLxM599.m5_599)+gLxM600.m5_600)+gLxM601.m5_601)+gLxM602.m5_602)+gLxM603.m5_603)+gLxM604.m5_604)+gLxM605.m5_605)+gLxM606.m5_606)+gLxM607.m5_607)+gLxM608.m5_608)+gLxM609.m5_609)+gLxM610.m5_610)+gLxM611.m5_611)+gLxM612.m5_612)+gLxM613.m5_613)+gLxM614.m5_614)+gLxM615.m5_615)+gLxM616.m5_616)+gLxM617.m5_617)+gLxM618.m5_618)+gLxM619.m5_619)+gLxM620.m5_620)+gLxM621.m5_621)+gLxM622.m5_622)+gLxM623.m5_623)+gLxM624.m5_624)+gLxM625.m5_625)+gLxM626.m5_626)+gLxM627.m5_627)+gLxM628.m5_628)+gLxM629.m5_629)+gLxM630.m5_630)+gLxM631.m5_631)+gLxM632.m5_632)+gLxM633.m5_633)+gLxM634.m5_634)+gLxM635.m5_635)+gLxM636.m5_636)+gLxM637.m5_637)+gLxM638.m5_638)+gLxM639.m5_639)+gLxM640.m5_640)+gLxM641.m5_641)+gLxM642.m5_642)+gLxM643.m5_643)+gLxM644.m5_644)+gLxM645.m5_645)+gLxM646.m5_646)+gLxM647.m5_647)+gLxM648.m5_648)+gLxM649.m5_649)+gLxM650.m5_650)+gLxM651.m5_651)+gLxM652.m5_652)+gLxM653.m5_653)+gLxM654.m5_654)+gLxM655.m5_655)+gLxM656.m5_656)+gLxM657.m5_657)+gLxM658.m5_658)+gLxM659.m5_659)+gLxM660.m5_660)+gLxM661.m5_661)+gLxM662.m5_662)+gLxM663.m5_663)+gLxM664.m5_664)+gLxM665.m5_665)+gLxM666.m5_666)+gLxM667.m5_667)+gLxM668.m5_668)+gLxM669.m5_669)+gLxM670.m5_670)+gLxM671.m5_671)+gLxM672.m5_672)+gLxM673.m5_673)+gLxM674.m5_674)+gLxM675.m5_675)+gLxM676.m5_676)+gLxM677.m5_677)+gLxM678.m5_678)+gLxM679.m5_679)+gLxM680.m5_680)+gLxM681.m5_681)+gLxM682.m5_682)+gLxM683.m5_683)+gLxM684.m5_684)+gLxM685.m5_685)+gLxM686.m5_686)+gLxM687.m5_687)+gLxM688.m5_688)+gLxM689.m5_689)+gLxM690.m5_690)+gLxM691.m5_691)+gLxM692.m5_692)+gLxM693.m5_693)+gLxM694.m5_694)+gLxM695.m5_695)+gLxM696.m5_696)+gLxM697.m5_697)+gLxM698.m5_698)+gLxM699.m5_699)+gLxM700.m5_700)+gLxM701.m5_701)+gLxM702.m5_702)+gLxM703.m5_703)+gLxM704.m5_704)+gLxM705.m5_705)+gLxM706.m5_706)+gLxM707.m5_707)+gLxM708.m5_708)+gLxM709.m5_709)+gLxM710.m5_710)+gLxM711.m5_711)+gLxM712.m5_712)+gLxM713.m5_713)+gLxM714.m5_714)+gLxM715.m5_715)+gLxM716.m5_716)+gLxM717.m5_717)+gLxM718.m5_718)+gLxM719.m5_719)+gLxM720.m5_720)+gLxM721.m5_721)+gLxM722.m5_722)+gLxM723.m5_723)+gLxM724.m5_724)+gLxM725.m5_725)+gLxM726.m5_726)+gLxM727.m5_727)+gLxM728.m5_728)+gLxM729.m5_729)+gLxM730.m5_730)+gLxM731.m5_731)+gLxM732.m5_732)+gLxM733.m5_733)+gLxM734.m5_734)+gLxM735.m5_735)+gLxM736.m5_736)+gLxM737.m5_737)+gLxM738.m5_738)+gLxM739.m5_739)+gLxM740.m5_740)+gLxM741.m5_741)+gLxM742.m5_742)+gLxM743.m5_743)+gLxM744.m5_744)+gLxM745.m5_745)+gLxM746.m5_746)+gLxM747.m5_747)+gLxM748.m5_748)+gLxM749.m5_749)+gLxM750.m5_750)+gLxM751.m5_751)+gLxM752.m5_752)+gLxM753.m5_753)+gLxM754.m5_754)+gLxM755.m5_755)+gLxM756.m5_756)+gLxM757.m5_757)+gLxM758.m5_758)+gLxM759.m5_759)+gLxM760.m5_760)+gLxM761.m5_761)+gLxM762.m5_762)+gLxM763.m5_763)+gLxM764.m5_764)+gLxM765.m5_765)+gLxM766.m5_766)+gLxM767.m5_767)+gLxM768.m5_768)+gLxM769.m5_769)+gLxM770.m5_770)+gLxM771.m5_771)+gLxM772.m5_772)+gLxM773.m5_773)+gLxM774.m5_774)+gLxM775.m5_775)+gLxM776.m5_776)+gLxM777.m5_777)+gLxM778.m5_778)+gLxM779.m5_779)+gLxM780.m5_780)+gLxM781.m5_781)+gLxM782.m5_782)+gLxM783.m5_783)+gLxM784.m5_784)+gLxM785.m5_785)+gLxM786.m5_786)+gLxM787.m5_787)+gLxM788.m5_788)+gLxM789.m5_789)+gLxM790.m5_790)+gLxM791.m5_791)+gLxM792.m5_792)+gLxM793.m5_793)+gLxM794.m5_794)+gLxM795.m5_795)+gLxM796.m5_796)+gLxM797.m5_797)+gLxM798.m5_798)+gLxM799.m5_799)+gLxM800.m5_800)+gLxM801.m5_801)+gLxM802.m5_802)+gLxM803.m5_803)+gLxM804.m5_804)+gLxM805.m5_805)+gLxM806.m5_806)+gLxM807.m5_807)+gLxM808.m5_808)+gLxM809.m5_809)+gLxM810.m5_810)+gLxM811.m5_811)+gLxM812.m5_812)+gLxM813.m5_813)+gLxM814.m5_814)+gLxM815.m5_815)+gLxM816.m5_816)+gLxM817.m5_817)+gLxM818.m5_818)+gLxM819.m5_819)+gLxM820.m5_820)+gLxM821.m5_821)+gLxM822.m5_822)+gLxM823.m5_823)+gLxM824.m5_824)+gLxM825.m5_825)+gLxM826.m5_826)+gLxM827.m5_827)+gLxM828.m5_828)+gLxM829.m5_829)+gLxM830.m5_830)+gLxM831.m5_831)+gLxM832.m5_832)+gLxM833.m5_833)+gLxM834.m5_834)+gLxM835.m5_835)+gLxM836.m5_836)+gLxM837.m5_837)+gLxM838.m5_838)+gLxM839.m5_839)+gLxM840.m5_840)+gLxM841.m5_841)+gLxM842.m5_842)+gLxM843.m5_843)+gLxM844.m5_844)+gLxM845.m5_845)+gLxM846.m5_846)+gLxM847.m5_847)+gLxM848.m5_848)+gLxM849.m5_849)+gLxM850.m5_850)+gLxM851.m5_851)+gLxM852.m5_852)+gLxM853.m5_853)+gLxM854.m5_854)+gLxM855.m5_855)+gLxM856.m5_856)+gLxM857.m5_857)+gLxM858.m5_858)+gLxM859.m5_859)+gLxM860.m5_860)+gLxM861.m5_861)+gLxM862.m5_862)+gLxM863.m5_863)+gLxM864.m5_864)+gLxM865.m5_865)+gLxM866.m5_866)+gLxM867.m5_867)+gLxM868.m5_868)+gLxM869.m5_869)+gLxM870.m5_870)+gLxM871.m5_871)+gLxM872.m5_872)+gLxM873.m5_873)+gLxM874.m5_874)+gLxM875.m5_875)+gLxM876.m5_876)+gLxM877.m5_877)+gLxM878.m5_878)+gLxM879.m5_879)+gLxM880.m5_880)+gLxM881.m5_881)+gLxM882.m5_882)+gLxM883.m5_883)+gLxM884.m5_884)+gLxM885.m5_885)+gLxM886.m5_886)+gLxM887.m5_887)+gLxM888.m5_888)+gLxM889.m5_889)+gLxM890.m5_890)+gLxM891.m5_891)+gLxM892.m5_892)+gLxM893.m5_893)+gLxM894.m5_894)+gLxM895.m5_895)+gLxM896.m5_896)+gLxM897.m5_897)+gLxM898.m5_898)+gLxM899.m5_899)+gLxM900.m5_900)+gLxM901.m5_901)+gLxM902.m5_902)+gLxM903.m5_903)+gLxM904.m5_904)+gLxM905.m5_905)+gLxM906.m5_906)+gLxM907.m5_907)+gLxM908.m5_908)+gLxM909.m5_909)+gLxM910.m5_910)+gLxM911.m5_911)+gLxM912.m5_912)+gLxM913.m5_913)+gLxM914.m5_914)+gLxM915.m5_915)+gLxM916.m5_916)+gLxM917.m5_917)+gLxM918.m5_918)+gLxM919.m5_919)+gLxM920.m5_920)+gLxM921.m5_921)+gLxM922.m5_922)+gLxM923.m5_923)+gLxM924.m5_924)+gLxM925.m5_925)+gLxM926.m5_926)+gLxM927.m5_927)+gLxM928.m5_928)+gLxM929.m5_929)+gLxM930.m5_930)+gLxM931.m5_931)+gLxM932.m5_932)+gLxM933.m5_933)+gLxM934.m5_934)+gLxM935.m5_935)+gLxM936.m5_936)+gLxM937.m5_937)+gLxM938.m5_938)+gLxM939.m5_939)+gLxM940.m5_940)+gLxM941.m5_941)+gLxM942.m5_942)+gLxM943.m5_943)+gLxM944.m5_944)+gLxM945.m5_945)+gLxM946.m5_946)+gLxM947.m5_947)+gLxM948.m5_948)+gLxM949.m5_949)+gLxM950.m5_950)+gLxM951.m5_951)+gLxM952.m5_952)+gLxM953.m5_953)+gLxM954.m5_954)+gLxM955.m5_955)+gLxM956.m5_956)+gLxM957.m5_957)+gLxM958.m5_958)+gLxM959.m5_959)+gLxM960.m5_960)+gLxM961.m5_961)+gLxM962.m5_962)+gLxM963.m5_963)+gLxM964.m5_964)+gLxM965.m5_965)+gLxM966.m5_966)+gLxM967.m5_967)+gLxM968.m5_968)+gLxM969.m5_969)+gLxM970.m5_970)+gLxM971.m5_971)+gLxM972.m5_972)+gLxM973.m5_973)+gLxM974.m5_974)+gLxM975.m5_975)+gLxM976.m5_976)+gLxM977.m5_977)+gLxM978.m5_978)+gLxM979.m5_979)+gLxM980.m5_980)+gLxM981.m5_981)+gLxM982.m5_982)+gLxM983.m5_983)+gLxM984.m5_984)+gLxM985.m5_985)+gLxM986.m5_986)+gLxM987.m5_987)+gLxM988.m5_988)+gLxM989.m5_989)+gLxM990.m5_990)+gLxM991.m5_991)+gLxM992.m5_992)+gLxM993.m5_993)+gLxM994.m5_994)+gLxM995.m5_995)+gLxM996.m5_996)+gLxM997.m5_997)+gLxM998.m5_998)+gLxM999.m5_999)+gLxM1000.m5_1000)+gLxM1001.m5_1001)+gLxM1002.m5_1002)+gLxM1003.m5_1003)+gLxM1004.m5_1004)+gLxM1005.m5_1005)+gLxM1006.m5_1006)+gLxM1007.m5_1007)+gLxM1008.m5_1008)+gLxM1009.m5_1009)+gLxM1010.m5_1010)+gLxM1011.m5_1011)+gLxM1012.m5_1012)+gLxM1013.m5_1013)+gLxM1014.m5_1014)+gLxM1015.m5_1015)+gLxM1016.m5_1016)+gLxM1017.m5_1017)+gLxM1018.m5_1018)+gLxM1019.m5_1019)+gLxM1020.m5_1020)+gLxM1021.m5_1021)+gLxM1022.m5_1022)+gLxM1023.m5_1023)+gLxM1024.m5_1024)+gLxM1025.m5_1025)+gLxM1026.m5_1026)+gLxM1027.m5_1027)+gLxM1028.m5_1028)+gLxM1029.m5_1029)+gLxM1030.m5_1030)+gLxM1031.m5_1031)+gLxM1032.m5_1032)+gLxM1033.m5_1033)+gLxM1034.m5_1034)+gLxM1035.m5_1035)+gLxM1036.m5_1036)+gLxM1037.m5_1037)+gLxM1038.m5_1038)+gLxM1039.m5_1039)+gLxM1040.m5_1040)+gLxM1041.m5_1041)+gLxM1042.m5_1042)+gLxM1043.m5_1043)+gLxM1044.m5_1044)+gLxM1045.m5_1045)+gLxM1046.m5_1046)+gLxM1047.m5_1047)+gLxM1048.m5_1048)+gLxM1049.m5_1049)+gLxM1050.m5_1050)+gLxM1051.m5_1051)+gLxM1052.m5_1052)+gLxM1053.m5_1053)+gLxM1054.m5_1054)+gLxM1055.m5_1055)+gLxM1056.m5_1056)+gLxM1057.m5_1057)+gLxM1058.m5_1058)+gLxM1059.m5_1059)+gLxM1060.m5_1060)+gLxM1061.m5_1061)+gLxM1062.m5_1062)+gLxM1063.m5_1063)+gLxM1064.m5_1064)+gLxM1065.m5_1065)+gLxM1066.m5_1066)+gLxM1067.m5_1067)+gLxM1068.m5_1068)+gLxM1069.m5_1069)+gLxM1070.m5_1070)+gLxM1071.m5_1071)+gLxM1072.m5_1072)+gLxM1073.m5_1073)+gLxM1074.m5_1074)+gLxM1075.m5_1075)+gLxM1076.m5_1076)+gLxM1077.m5_1077)+gLxM1078.m5_1078)+gLxM1079.m5_1079)+gLxM1080.m5_1080)+gLxM1081.m5_1081)+gLxM1082.m5_1082)+gLxM1083.m5_1083)+gLxM1084.m5_1084)+gLxM1085.m5_1085)+gLxM1086.m5_1086)+gLxM1087.m5_1087)+gLxM1088.m5_1088)+gLxM1089.m5_1089)+gLxM1090.m5_1090)+gLxM1091.m5_1091)+gLxM1092.m5_1092)+gLxM1093.m5_1093)+gLxM1094.m5_1094)+gLxM1095.m5_1095)+gLxM1096.m5_1096)+gLxM1097.m5_1097)+gLxM1098.m5_1098)+gLxM1099.m5_1099)+gLxM1100.m5_1100)+gLxM1101.m5_1101)+gLxM1102.m5_1102)+gLxM1103.m5_1103)+gLxM1104.m5_1104)+gLxM1105.m5_1105)+gLxM1106.m5_1106)+gLxM1107.m5_1107)+gLxM1108.m5_1108)+gLxM1109.m5_1109)+gLxM1110.m5_1110)>=1)" & X"((((((gCINFORMI0.c7_0+gCINFORMI1.c7_1)+gCINFORMI2.c7_2)+gCINFORMI3.c7_3)+gCINFORMI4.c7_4)+gCINFORMI5.c7_5)>=1)")
Detected timeout of ITS tools.
[2020-05-14 17:33:29] [INFO ] Flatten gal took : 1641 ms
[2020-05-14 17:33:31] [INFO ] Input system was already deterministic with 36871 transitions.
[2020-05-14 17:33:31] [INFO ] Transformed 40574 places.
[2020-05-14 17:33:31] [INFO ] Transformed 36871 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-14 17:34:11] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 185 ms
[2020-05-14 17:34:11] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 40 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 10 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((X(G(X(F(((F("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((m5_0+m5_1)+m5_2)+m5_3)+m5_4)+m5_5)+m5_6)+m5_7)+m5_8)+m5_9)+m5_10)+m5_11)+m5_12)+m5_13)+m5_14)+m5_15)+m5_16)+m5_17)+m5_18)+m5_19)+m5_20)+m5_21)+m5_22)+m5_23)+m5_24)+m5_25)+m5_26)+m5_27)+m5_28)+m5_29)+m5_30)+m5_31)+m5_32)+m5_33)+m5_34)+m5_35)+m5_36)+m5_37)+m5_38)+m5_39)+m5_40)+m5_41)+m5_42)+m5_43)+m5_44)+m5_45)+m5_46)+m5_47)+m5_48)+m5_49)+m5_50)+m5_51)+m5_52)+m5_53)+m5_54)+m5_55)+m5_56)+m5_57)+m5_58)+m5_59)+m5_60)+m5_61)+m5_62)+m5_63)+m5_64)+m5_65)+m5_66)+m5_67)+m5_68)+m5_69)+m5_70)+m5_71)+m5_72)+m5_73)+m5_74)+m5_75)+m5_76)+m5_77)+m5_78)+m5_79)+m5_80)+m5_81)+m5_82)+m5_83)+m5_84)+m5_85)+m5_86)+m5_87)+m5_88)+m5_89)+m5_90)+m5_91)+m5_92)+m5_93)+m5_94)+m5_95)+m5_96)+m5_97)+m5_98)+m5_99)+m5_100)+m5_101)+m5_102)+m5_103)+m5_104)+m5_105)+m5_106)+m5_107)+m5_108)+m5_109)+m5_110)+m5_111)+m5_112)+m5_113)+m5_114)+m5_115)+m5_116)+m5_117)+m5_118)+m5_119)+m5_120)+m5_121)+m5_122)+m5_123)+m5_124)+m5_125)+m5_126)+m5_127)+m5_128)+m5_129)+m5_130)+m5_131)+m5_132)+m5_133)+m5_134)+m5_135)+m5_136)+m5_137)+m5_138)+m5_139)+m5_140)+m5_141)+m5_142)+m5_143)+m5_144)+m5_145)+m5_146)+m5_147)+m5_148)+m5_149)+m5_150)+m5_151)+m5_152)+m5_153)+m5_154)+m5_155)+m5_156)+m5_157)+m5_158)+m5_159)+m5_160)+m5_161)+m5_162)+m5_163)+m5_164)+m5_165)+m5_166)+m5_167)+m5_168)+m5_169)+m5_170)+m5_171)+m5_172)+m5_173)+m5_174)+m5_175)+m5_176)+m5_177)+m5_178)+m5_179)+m5_180)+m5_181)+m5_182)+m5_183)+m5_184)+m5_185)+m5_186)+m5_187)+m5_188)+m5_189)+m5_190)+m5_191)+m5_192)+m5_193)+m5_194)+m5_195)+m5_196)+m5_197)+m5_198)+m5_199)+m5_200)+m5_201)+m5_202)+m5_203)+m5_204)+m5_205)+m5_206)+m5_207)+m5_208)+m5_209)+m5_210)+m5_211)+m5_212)+m5_213)+m5_214)+m5_215)+m5_216)+m5_217)+m5_218)+m5_219)+m5_220)+m5_221)+m5_222)+m5_223)+m5_224)+m5_225)+m5_226)+m5_227)+m5_228)+m5_229)+m5_230)+m5_231)+m5_232)+m5_233)+m5_234)+m5_235)+m5_236)+m5_237)+m5_238)+m5_239)+m5_240)+m5_241)+m5_242)+m5_243)+m5_244)+m5_245)+m5_246)+m5_247)+m5_248)+m5_249)+m5_250)+m5_251)+m5_252)+m5_253)+m5_254)+m5_255)+m5_256)+m5_257)+m5_258)+m5_259)+m5_260)+m5_261)+m5_262)+m5_263)+m5_264)+m5_265)+m5_266)+m5_267)+m5_268)+m5_269)+m5_270)+m5_271)+m5_272)+m5_273)+m5_274)+m5_275)+m5_276)+m5_277)+m5_278)+m5_279)+m5_280)+m5_281)+m5_282)+m5_283)+m5_284)+m5_285)+m5_286)+m5_287)+m5_288)+m5_289)+m5_290)+m5_291)+m5_292)+m5_293)+m5_294)+m5_295)+m5_296)+m5_297)+m5_298)+m5_299)+m5_300)+m5_301)+m5_302)+m5_303)+m5_304)+m5_305)+m5_306)+m5_307)+m5_308)+m5_309)+m5_310)+m5_311)+m5_312)+m5_313)+m5_314)+m5_315)+m5_316)+m5_317)+m5_318)+m5_319)+m5_320)+m5_321)+m5_322)+m5_323)+m5_324)+m5_325)+m5_326)+m5_327)+m5_328)+m5_329)+m5_330)+m5_331)+m5_332)+m5_333)+m5_334)+m5_335)+m5_336)+m5_337)+m5_338)+m5_339)+m5_340)+m5_341)+m5_342)+m5_343)+m5_344)+m5_345)+m5_346)+m5_347)+m5_348)+m5_349)+m5_350)+m5_351)+m5_352)+m5_353)+m5_354)+m5_355)+m5_356)+m5_357)+m5_358)+m5_359)+m5_360)+m5_361)+m5_362)+m5_363)+m5_364)+m5_365)+m5_366)+m5_367)+m5_368)+m5_369)+m5_370)+m5_371)+m5_372)+m5_373)+m5_374)+m5_375)+m5_376)+m5_377)+m5_378)+m5_379)+m5_380)+m5_381)+m5_382)+m5_383)+m5_384)+m5_385)+m5_386)+m5_387)+m5_388)+m5_389)+m5_390)+m5_391)+m5_392)+m5_393)+m5_394)+m5_395)+m5_396)+m5_397)+m5_398)+m5_399)+m5_400)+m5_401)+m5_402)+m5_403)+m5_404)+m5_405)+m5_406)+m5_407)+m5_408)+m5_409)+m5_410)+m5_411)+m5_412)+m5_413)+m5_414)+m5_415)+m5_416)+m5_417)+m5_418)+m5_419)+m5_420)+m5_421)+m5_422)+m5_423)+m5_424)+m5_425)+m5_426)+m5_427)+m5_428)+m5_429)+m5_430)+m5_431)+m5_432)+m5_433)+m5_434)+m5_435)+m5_436)+m5_437)+m5_438)+m5_439)+m5_440)+m5_441)+m5_442)+m5_443)+m5_444)+m5_445)+m5_446)+m5_447)+m5_448)+m5_449)+m5_450)+m5_451)+m5_452)+m5_453)+m5_454)+m5_455)+m5_456)+m5_457)+m5_458)+m5_459)+m5_460)+m5_461)+m5_462)+m5_463)+m5_464)+m5_465)+m5_466)+m5_467)+m5_468)+m5_469)+m5_470)+m5_471)+m5_472)+m5_473)+m5_474)+m5_475)+m5_476)+m5_477)+m5_478)+m5_479)+m5_480)+m5_481)+m5_482)+m5_483)+m5_484)+m5_485)+m5_486)+m5_487)+m5_488)+m5_489)+m5_490)+m5_491)+m5_492)+m5_493)+m5_494)+m5_495)+m5_496)+m5_497)+m5_498)+m5_499)+m5_500)+m5_501)+m5_502)+m5_503)+m5_504)+m5_505)+m5_506)+m5_507)+m5_508)+m5_509)+m5_510)+m5_511)+m5_512)+m5_513)+m5_514)+m5_515)+m5_516)+m5_517)+m5_518)+m5_519)+m5_520)+m5_521)+m5_522)+m5_523)+m5_524)+m5_525)+m5_526)+m5_527)+m5_528)+m5_529)+m5_530)+m5_531)+m5_532)+m5_533)+m5_534)+m5_535)+m5_536)+m5_537)+m5_538)+m5_539)+m5_540)+m5_541)+m5_542)+m5_543)+m5_544)+m5_545)+m5_546)+m5_547)+m5_548)+m5_549)+m5_550)+m5_551)+m5_552)+m5_553)+m5_554)+m5_555)+m5_556)+m5_557)+m5_558)+m5_559)+m5_560)+m5_561)+m5_562)+m5_563)+m5_564)+m5_565)+m5_566)+m5_567)+m5_568)+m5_569)+m5_570)+m5_571)+m5_572)+m5_573)+m5_574)+m5_575)+m5_576)+m5_577)+m5_578)+m5_579)+m5_580)+m5_581)+m5_582)+m5_583)+m5_584)+m5_585)+m5_586)+m5_587)+m5_588)+m5_589)+m5_590)+m5_591)+m5_592)+m5_593)+m5_594)+m5_595)+m5_596)+m5_597)+m5_598)+m5_599)+m5_600)+m5_601)+m5_602)+m5_603)+m5_604)+m5_605)+m5_606)+m5_607)+m5_608)+m5_609)+m5_610)+m5_611)+m5_612)+m5_613)+m5_614)+m5_615)+m5_616)+m5_617)+m5_618)+m5_619)+m5_620)+m5_621)+m5_622)+m5_623)+m5_624)+m5_625)+m5_626)+m5_627)+m5_628)+m5_629)+m5_630)+m5_631)+m5_632)+m5_633)+m5_634)+m5_635)+m5_636)+m5_637)+m5_638)+m5_639)+m5_640)+m5_641)+m5_642)+m5_643)+m5_644)+m5_645)+m5_646)+m5_647)+m5_648)+m5_649)+m5_650)+m5_651)+m5_652)+m5_653)+m5_654)+m5_655)+m5_656)+m5_657)+m5_658)+m5_659)+m5_660)+m5_661)+m5_662)+m5_663)+m5_664)+m5_665)+m5_666)+m5_667)+m5_668)+m5_669)+m5_670)+m5_671)+m5_672)+m5_673)+m5_674)+m5_675)+m5_676)+m5_677)+m5_678)+m5_679)+m5_680)+m5_681)+m5_682)+m5_683)+m5_684)+m5_685)+m5_686)+m5_687)+m5_688)+m5_689)+m5_690)+m5_691)+m5_692)+m5_693)+m5_694)+m5_695)+m5_696)+m5_697)+m5_698)+m5_699)+m5_700)+m5_701)+m5_702)+m5_703)+m5_704)+m5_705)+m5_706)+m5_707)+m5_708)+m5_709)+m5_710)+m5_711)+m5_712)+m5_713)+m5_714)+m5_715)+m5_716)+m5_717)+m5_718)+m5_719)+m5_720)+m5_721)+m5_722)+m5_723)+m5_724)+m5_725)+m5_726)+m5_727)+m5_728)+m5_729)+m5_730)+m5_731)+m5_732)+m5_733)+m5_734)+m5_735)+m5_736)+m5_737)+m5_738)+m5_739)+m5_740)+m5_741)+m5_742)+m5_743)+m5_744)+m5_745)+m5_746)+m5_747)+m5_748)+m5_749)+m5_750)+m5_751)+m5_752)+m5_753)+m5_754)+m5_755)+m5_756)+m5_757)+m5_758)+m5_759)+m5_760)+m5_761)+m5_762)+m5_763)+m5_764)+m5_765)+m5_766)+m5_767)+m5_768)+m5_769)+m5_770)+m5_771)+m5_772)+m5_773)+m5_774)+m5_775)+m5_776)+m5_777)+m5_778)+m5_779)+m5_780)+m5_781)+m5_782)+m5_783)+m5_784)+m5_785)+m5_786)+m5_787)+m5_788)+m5_789)+m5_790)+m5_791)+m5_792)+m5_793)+m5_794)+m5_795)+m5_796)+m5_797)+m5_798)+m5_799)+m5_800)+m5_801)+m5_802)+m5_803)+m5_804)+m5_805)+m5_806)+m5_807)+m5_808)+m5_809)+m5_810)+m5_811)+m5_812)+m5_813)+m5_814)+m5_815)+m5_816)+m5_817)+m5_818)+m5_819)+m5_820)+m5_821)+m5_822)+m5_823)+m5_824)+m5_825)+m5_826)+m5_827)+m5_828)+m5_829)+m5_830)+m5_831)+m5_832)+m5_833)+m5_834)+m5_835)+m5_836)+m5_837)+m5_838)+m5_839)+m5_840)+m5_841)+m5_842)+m5_843)+m5_844)+m5_845)+m5_846)+m5_847)+m5_848)+m5_849)+m5_850)+m5_851)+m5_852)+m5_853)+m5_854)+m5_855)+m5_856)+m5_857)+m5_858)+m5_859)+m5_860)+m5_861)+m5_862)+m5_863)+m5_864)+m5_865)+m5_866)+m5_867)+m5_868)+m5_869)+m5_870)+m5_871)+m5_872)+m5_873)+m5_874)+m5_875)+m5_876)+m5_877)+m5_878)+m5_879)+m5_880)+m5_881)+m5_882)+m5_883)+m5_884)+m5_885)+m5_886)+m5_887)+m5_888)+m5_889)+m5_890)+m5_891)+m5_892)+m5_893)+m5_894)+m5_895)+m5_896)+m5_897)+m5_898)+m5_899)+m5_900)+m5_901)+m5_902)+m5_903)+m5_904)+m5_905)+m5_906)+m5_907)+m5_908)+m5_909)+m5_910)+m5_911)+m5_912)+m5_913)+m5_914)+m5_915)+m5_916)+m5_917)+m5_918)+m5_919)+m5_920)+m5_921)+m5_922)+m5_923)+m5_924)+m5_925)+m5_926)+m5_927)+m5_928)+m5_929)+m5_930)+m5_931)+m5_932)+m5_933)+m5_934)+m5_935)+m5_936)+m5_937)+m5_938)+m5_939)+m5_940)+m5_941)+m5_942)+m5_943)+m5_944)+m5_945)+m5_946)+m5_947)+m5_948)+m5_949)+m5_950)+m5_951)+m5_952)+m5_953)+m5_954)+m5_955)+m5_956)+m5_957)+m5_958)+m5_959)+m5_960)+m5_961)+m5_962)+m5_963)+m5_964)+m5_965)+m5_966)+m5_967)+m5_968)+m5_969)+m5_970)+m5_971)+m5_972)+m5_973)+m5_974)+m5_975)+m5_976)+m5_977)+m5_978)+m5_979)+m5_980)+m5_981)+m5_982)+m5_983)+m5_984)+m5_985)+m5_986)+m5_987)+m5_988)+m5_989)+m5_990)+m5_991)+m5_992)+m5_993)+m5_994)+m5_995)+m5_996)+m5_997)+m5_998)+m5_999)+m5_1000)+m5_1001)+m5_1002)+m5_1003)+m5_1004)+m5_1005)+m5_1006)+m5_1007)+m5_1008)+m5_1009)+m5_1010)+m5_1011)+m5_1012)+m5_1013)+m5_1014)+m5_1015)+m5_1016)+m5_1017)+m5_1018)+m5_1019)+m5_1020)+m5_1021)+m5_1022)+m5_1023)+m5_1024)+m5_1025)+m5_1026)+m5_1027)+m5_1028)+m5_1029)+m5_1030)+m5_1031)+m5_1032)+m5_1033)+m5_1034)+m5_1035)+m5_1036)+m5_1037)+m5_1038)+m5_1039)+m5_1040)+m5_1041)+m5_1042)+m5_1043)+m5_1044)+m5_1045)+m5_1046)+m5_1047)+m5_1048)+m5_1049)+m5_1050)+m5_1051)+m5_1052)+m5_1053)+m5_1054)+m5_1055)+m5_1056)+m5_1057)+m5_1058)+m5_1059)+m5_1060)+m5_1061)+m5_1062)+m5_1063)+m5_1064)+m5_1065)+m5_1066)+m5_1067)+m5_1068)+m5_1069)+m5_1070)+m5_1071)+m5_1072)+m5_1073)+m5_1074)+m5_1075)+m5_1076)+m5_1077)+m5_1078)+m5_1079)+m5_1080)+m5_1081)+m5_1082)+m5_1083)+m5_1084)+m5_1085)+m5_1086)+m5_1087)+m5_1088)+m5_1089)+m5_1090)+m5_1091)+m5_1092)+m5_1093)+m5_1094)+m5_1095)+m5_1096)+m5_1097)+m5_1098)+m5_1099)+m5_1100)+m5_1101)+m5_1102)+m5_1103)+m5_1104)+m5_1105)+m5_1106)+m5_1107)+m5_1108)+m5_1109)+m5_1110)>=1)"))&&(X("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")))&&("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")))))))
Formula 0 simplified : !XGXF("((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)" & F"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((m5_0+m5_1)+m5_2)+m5_3)+m5_4)+m5_5)+m5_6)+m5_7)+m5_8)+m5_9)+m5_10)+m5_11)+m5_12)+m5_13)+m5_14)+m5_15)+m5_16)+m5_17)+m5_18)+m5_19)+m5_20)+m5_21)+m5_22)+m5_23)+m5_24)+m5_25)+m5_26)+m5_27)+m5_28)+m5_29)+m5_30)+m5_31)+m5_32)+m5_33)+m5_34)+m5_35)+m5_36)+m5_37)+m5_38)+m5_39)+m5_40)+m5_41)+m5_42)+m5_43)+m5_44)+m5_45)+m5_46)+m5_47)+m5_48)+m5_49)+m5_50)+m5_51)+m5_52)+m5_53)+m5_54)+m5_55)+m5_56)+m5_57)+m5_58)+m5_59)+m5_60)+m5_61)+m5_62)+m5_63)+m5_64)+m5_65)+m5_66)+m5_67)+m5_68)+m5_69)+m5_70)+m5_71)+m5_72)+m5_73)+m5_74)+m5_75)+m5_76)+m5_77)+m5_78)+m5_79)+m5_80)+m5_81)+m5_82)+m5_83)+m5_84)+m5_85)+m5_86)+m5_87)+m5_88)+m5_89)+m5_90)+m5_91)+m5_92)+m5_93)+m5_94)+m5_95)+m5_96)+m5_97)+m5_98)+m5_99)+m5_100)+m5_101)+m5_102)+m5_103)+m5_104)+m5_105)+m5_106)+m5_107)+m5_108)+m5_109)+m5_110)+m5_111)+m5_112)+m5_113)+m5_114)+m5_115)+m5_116)+m5_117)+m5_118)+m5_119)+m5_120)+m5_121)+m5_122)+m5_123)+m5_124)+m5_125)+m5_126)+m5_127)+m5_128)+m5_129)+m5_130)+m5_131)+m5_132)+m5_133)+m5_134)+m5_135)+m5_136)+m5_137)+m5_138)+m5_139)+m5_140)+m5_141)+m5_142)+m5_143)+m5_144)+m5_145)+m5_146)+m5_147)+m5_148)+m5_149)+m5_150)+m5_151)+m5_152)+m5_153)+m5_154)+m5_155)+m5_156)+m5_157)+m5_158)+m5_159)+m5_160)+m5_161)+m5_162)+m5_163)+m5_164)+m5_165)+m5_166)+m5_167)+m5_168)+m5_169)+m5_170)+m5_171)+m5_172)+m5_173)+m5_174)+m5_175)+m5_176)+m5_177)+m5_178)+m5_179)+m5_180)+m5_181)+m5_182)+m5_183)+m5_184)+m5_185)+m5_186)+m5_187)+m5_188)+m5_189)+m5_190)+m5_191)+m5_192)+m5_193)+m5_194)+m5_195)+m5_196)+m5_197)+m5_198)+m5_199)+m5_200)+m5_201)+m5_202)+m5_203)+m5_204)+m5_205)+m5_206)+m5_207)+m5_208)+m5_209)+m5_210)+m5_211)+m5_212)+m5_213)+m5_214)+m5_215)+m5_216)+m5_217)+m5_218)+m5_219)+m5_220)+m5_221)+m5_222)+m5_223)+m5_224)+m5_225)+m5_226)+m5_227)+m5_228)+m5_229)+m5_230)+m5_231)+m5_232)+m5_233)+m5_234)+m5_235)+m5_236)+m5_237)+m5_238)+m5_239)+m5_240)+m5_241)+m5_242)+m5_243)+m5_244)+m5_245)+m5_246)+m5_247)+m5_248)+m5_249)+m5_250)+m5_251)+m5_252)+m5_253)+m5_254)+m5_255)+m5_256)+m5_257)+m5_258)+m5_259)+m5_260)+m5_261)+m5_262)+m5_263)+m5_264)+m5_265)+m5_266)+m5_267)+m5_268)+m5_269)+m5_270)+m5_271)+m5_272)+m5_273)+m5_274)+m5_275)+m5_276)+m5_277)+m5_278)+m5_279)+m5_280)+m5_281)+m5_282)+m5_283)+m5_284)+m5_285)+m5_286)+m5_287)+m5_288)+m5_289)+m5_290)+m5_291)+m5_292)+m5_293)+m5_294)+m5_295)+m5_296)+m5_297)+m5_298)+m5_299)+m5_300)+m5_301)+m5_302)+m5_303)+m5_304)+m5_305)+m5_306)+m5_307)+m5_308)+m5_309)+m5_310)+m5_311)+m5_312)+m5_313)+m5_314)+m5_315)+m5_316)+m5_317)+m5_318)+m5_319)+m5_320)+m5_321)+m5_322)+m5_323)+m5_324)+m5_325)+m5_326)+m5_327)+m5_328)+m5_329)+m5_330)+m5_331)+m5_332)+m5_333)+m5_334)+m5_335)+m5_336)+m5_337)+m5_338)+m5_339)+m5_340)+m5_341)+m5_342)+m5_343)+m5_344)+m5_345)+m5_346)+m5_347)+m5_348)+m5_349)+m5_350)+m5_351)+m5_352)+m5_353)+m5_354)+m5_355)+m5_356)+m5_357)+m5_358)+m5_359)+m5_360)+m5_361)+m5_362)+m5_363)+m5_364)+m5_365)+m5_366)+m5_367)+m5_368)+m5_369)+m5_370)+m5_371)+m5_372)+m5_373)+m5_374)+m5_375)+m5_376)+m5_377)+m5_378)+m5_379)+m5_380)+m5_381)+m5_382)+m5_383)+m5_384)+m5_385)+m5_386)+m5_387)+m5_388)+m5_389)+m5_390)+m5_391)+m5_392)+m5_393)+m5_394)+m5_395)+m5_396)+m5_397)+m5_398)+m5_399)+m5_400)+m5_401)+m5_402)+m5_403)+m5_404)+m5_405)+m5_406)+m5_407)+m5_408)+m5_409)+m5_410)+m5_411)+m5_412)+m5_413)+m5_414)+m5_415)+m5_416)+m5_417)+m5_418)+m5_419)+m5_420)+m5_421)+m5_422)+m5_423)+m5_424)+m5_425)+m5_426)+m5_427)+m5_428)+m5_429)+m5_430)+m5_431)+m5_432)+m5_433)+m5_434)+m5_435)+m5_436)+m5_437)+m5_438)+m5_439)+m5_440)+m5_441)+m5_442)+m5_443)+m5_444)+m5_445)+m5_446)+m5_447)+m5_448)+m5_449)+m5_450)+m5_451)+m5_452)+m5_453)+m5_454)+m5_455)+m5_456)+m5_457)+m5_458)+m5_459)+m5_460)+m5_461)+m5_462)+m5_463)+m5_464)+m5_465)+m5_466)+m5_467)+m5_468)+m5_469)+m5_470)+m5_471)+m5_472)+m5_473)+m5_474)+m5_475)+m5_476)+m5_477)+m5_478)+m5_479)+m5_480)+m5_481)+m5_482)+m5_483)+m5_484)+m5_485)+m5_486)+m5_487)+m5_488)+m5_489)+m5_490)+m5_491)+m5_492)+m5_493)+m5_494)+m5_495)+m5_496)+m5_497)+m5_498)+m5_499)+m5_500)+m5_501)+m5_502)+m5_503)+m5_504)+m5_505)+m5_506)+m5_507)+m5_508)+m5_509)+m5_510)+m5_511)+m5_512)+m5_513)+m5_514)+m5_515)+m5_516)+m5_517)+m5_518)+m5_519)+m5_520)+m5_521)+m5_522)+m5_523)+m5_524)+m5_525)+m5_526)+m5_527)+m5_528)+m5_529)+m5_530)+m5_531)+m5_532)+m5_533)+m5_534)+m5_535)+m5_536)+m5_537)+m5_538)+m5_539)+m5_540)+m5_541)+m5_542)+m5_543)+m5_544)+m5_545)+m5_546)+m5_547)+m5_548)+m5_549)+m5_550)+m5_551)+m5_552)+m5_553)+m5_554)+m5_555)+m5_556)+m5_557)+m5_558)+m5_559)+m5_560)+m5_561)+m5_562)+m5_563)+m5_564)+m5_565)+m5_566)+m5_567)+m5_568)+m5_569)+m5_570)+m5_571)+m5_572)+m5_573)+m5_574)+m5_575)+m5_576)+m5_577)+m5_578)+m5_579)+m5_580)+m5_581)+m5_582)+m5_583)+m5_584)+m5_585)+m5_586)+m5_587)+m5_588)+m5_589)+m5_590)+m5_591)+m5_592)+m5_593)+m5_594)+m5_595)+m5_596)+m5_597)+m5_598)+m5_599)+m5_600)+m5_601)+m5_602)+m5_603)+m5_604)+m5_605)+m5_606)+m5_607)+m5_608)+m5_609)+m5_610)+m5_611)+m5_612)+m5_613)+m5_614)+m5_615)+m5_616)+m5_617)+m5_618)+m5_619)+m5_620)+m5_621)+m5_622)+m5_623)+m5_624)+m5_625)+m5_626)+m5_627)+m5_628)+m5_629)+m5_630)+m5_631)+m5_632)+m5_633)+m5_634)+m5_635)+m5_636)+m5_637)+m5_638)+m5_639)+m5_640)+m5_641)+m5_642)+m5_643)+m5_644)+m5_645)+m5_646)+m5_647)+m5_648)+m5_649)+m5_650)+m5_651)+m5_652)+m5_653)+m5_654)+m5_655)+m5_656)+m5_657)+m5_658)+m5_659)+m5_660)+m5_661)+m5_662)+m5_663)+m5_664)+m5_665)+m5_666)+m5_667)+m5_668)+m5_669)+m5_670)+m5_671)+m5_672)+m5_673)+m5_674)+m5_675)+m5_676)+m5_677)+m5_678)+m5_679)+m5_680)+m5_681)+m5_682)+m5_683)+m5_684)+m5_685)+m5_686)+m5_687)+m5_688)+m5_689)+m5_690)+m5_691)+m5_692)+m5_693)+m5_694)+m5_695)+m5_696)+m5_697)+m5_698)+m5_699)+m5_700)+m5_701)+m5_702)+m5_703)+m5_704)+m5_705)+m5_706)+m5_707)+m5_708)+m5_709)+m5_710)+m5_711)+m5_712)+m5_713)+m5_714)+m5_715)+m5_716)+m5_717)+m5_718)+m5_719)+m5_720)+m5_721)+m5_722)+m5_723)+m5_724)+m5_725)+m5_726)+m5_727)+m5_728)+m5_729)+m5_730)+m5_731)+m5_732)+m5_733)+m5_734)+m5_735)+m5_736)+m5_737)+m5_738)+m5_739)+m5_740)+m5_741)+m5_742)+m5_743)+m5_744)+m5_745)+m5_746)+m5_747)+m5_748)+m5_749)+m5_750)+m5_751)+m5_752)+m5_753)+m5_754)+m5_755)+m5_756)+m5_757)+m5_758)+m5_759)+m5_760)+m5_761)+m5_762)+m5_763)+m5_764)+m5_765)+m5_766)+m5_767)+m5_768)+m5_769)+m5_770)+m5_771)+m5_772)+m5_773)+m5_774)+m5_775)+m5_776)+m5_777)+m5_778)+m5_779)+m5_780)+m5_781)+m5_782)+m5_783)+m5_784)+m5_785)+m5_786)+m5_787)+m5_788)+m5_789)+m5_790)+m5_791)+m5_792)+m5_793)+m5_794)+m5_795)+m5_796)+m5_797)+m5_798)+m5_799)+m5_800)+m5_801)+m5_802)+m5_803)+m5_804)+m5_805)+m5_806)+m5_807)+m5_808)+m5_809)+m5_810)+m5_811)+m5_812)+m5_813)+m5_814)+m5_815)+m5_816)+m5_817)+m5_818)+m5_819)+m5_820)+m5_821)+m5_822)+m5_823)+m5_824)+m5_825)+m5_826)+m5_827)+m5_828)+m5_829)+m5_830)+m5_831)+m5_832)+m5_833)+m5_834)+m5_835)+m5_836)+m5_837)+m5_838)+m5_839)+m5_840)+m5_841)+m5_842)+m5_843)+m5_844)+m5_845)+m5_846)+m5_847)+m5_848)+m5_849)+m5_850)+m5_851)+m5_852)+m5_853)+m5_854)+m5_855)+m5_856)+m5_857)+m5_858)+m5_859)+m5_860)+m5_861)+m5_862)+m5_863)+m5_864)+m5_865)+m5_866)+m5_867)+m5_868)+m5_869)+m5_870)+m5_871)+m5_872)+m5_873)+m5_874)+m5_875)+m5_876)+m5_877)+m5_878)+m5_879)+m5_880)+m5_881)+m5_882)+m5_883)+m5_884)+m5_885)+m5_886)+m5_887)+m5_888)+m5_889)+m5_890)+m5_891)+m5_892)+m5_893)+m5_894)+m5_895)+m5_896)+m5_897)+m5_898)+m5_899)+m5_900)+m5_901)+m5_902)+m5_903)+m5_904)+m5_905)+m5_906)+m5_907)+m5_908)+m5_909)+m5_910)+m5_911)+m5_912)+m5_913)+m5_914)+m5_915)+m5_916)+m5_917)+m5_918)+m5_919)+m5_920)+m5_921)+m5_922)+m5_923)+m5_924)+m5_925)+m5_926)+m5_927)+m5_928)+m5_929)+m5_930)+m5_931)+m5_932)+m5_933)+m5_934)+m5_935)+m5_936)+m5_937)+m5_938)+m5_939)+m5_940)+m5_941)+m5_942)+m5_943)+m5_944)+m5_945)+m5_946)+m5_947)+m5_948)+m5_949)+m5_950)+m5_951)+m5_952)+m5_953)+m5_954)+m5_955)+m5_956)+m5_957)+m5_958)+m5_959)+m5_960)+m5_961)+m5_962)+m5_963)+m5_964)+m5_965)+m5_966)+m5_967)+m5_968)+m5_969)+m5_970)+m5_971)+m5_972)+m5_973)+m5_974)+m5_975)+m5_976)+m5_977)+m5_978)+m5_979)+m5_980)+m5_981)+m5_982)+m5_983)+m5_984)+m5_985)+m5_986)+m5_987)+m5_988)+m5_989)+m5_990)+m5_991)+m5_992)+m5_993)+m5_994)+m5_995)+m5_996)+m5_997)+m5_998)+m5_999)+m5_1000)+m5_1001)+m5_1002)+m5_1003)+m5_1004)+m5_1005)+m5_1006)+m5_1007)+m5_1008)+m5_1009)+m5_1010)+m5_1011)+m5_1012)+m5_1013)+m5_1014)+m5_1015)+m5_1016)+m5_1017)+m5_1018)+m5_1019)+m5_1020)+m5_1021)+m5_1022)+m5_1023)+m5_1024)+m5_1025)+m5_1026)+m5_1027)+m5_1028)+m5_1029)+m5_1030)+m5_1031)+m5_1032)+m5_1033)+m5_1034)+m5_1035)+m5_1036)+m5_1037)+m5_1038)+m5_1039)+m5_1040)+m5_1041)+m5_1042)+m5_1043)+m5_1044)+m5_1045)+m5_1046)+m5_1047)+m5_1048)+m5_1049)+m5_1050)+m5_1051)+m5_1052)+m5_1053)+m5_1054)+m5_1055)+m5_1056)+m5_1057)+m5_1058)+m5_1059)+m5_1060)+m5_1061)+m5_1062)+m5_1063)+m5_1064)+m5_1065)+m5_1066)+m5_1067)+m5_1068)+m5_1069)+m5_1070)+m5_1071)+m5_1072)+m5_1073)+m5_1074)+m5_1075)+m5_1076)+m5_1077)+m5_1078)+m5_1079)+m5_1080)+m5_1081)+m5_1082)+m5_1083)+m5_1084)+m5_1085)+m5_1086)+m5_1087)+m5_1088)+m5_1089)+m5_1090)+m5_1091)+m5_1092)+m5_1093)+m5_1094)+m5_1095)+m5_1096)+m5_1097)+m5_1098)+m5_1099)+m5_1100)+m5_1101)+m5_1102)+m5_1103)+m5_1104)+m5_1105)+m5_1106)+m5_1107)+m5_1108)+m5_1109)+m5_1110)>=1)" & X"((((((c7_0+c7_1)+c7_2)+c7_3)+c7_4)+c7_5)>=1)")
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r081-smll-158922977500137"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;