About the Execution of ITS-Tools for VehicularWifi-COL-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2898.663 | 169711.00 | 218467.00 | 834.70 | TFTTFTTFTFTTFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r273-smll-162123879800220.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is VehicularWifi-COL-none, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r273-smll-162123879800220
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 83K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 16:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 05:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 05:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_pt
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 5 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 188K May 5 16:52 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 VehicularWifi-COL-none-00
FORMULA_NAME VehicularWifi-COL-none-01
FORMULA_NAME VehicularWifi-COL-none-02
FORMULA_NAME VehicularWifi-COL-none-03
FORMULA_NAME VehicularWifi-COL-none-04
FORMULA_NAME VehicularWifi-COL-none-05
FORMULA_NAME VehicularWifi-COL-none-06
FORMULA_NAME VehicularWifi-COL-none-07
FORMULA_NAME VehicularWifi-COL-none-08
FORMULA_NAME VehicularWifi-COL-none-09
FORMULA_NAME VehicularWifi-COL-none-10
FORMULA_NAME VehicularWifi-COL-none-11
FORMULA_NAME VehicularWifi-COL-none-12
FORMULA_NAME VehicularWifi-COL-none-13
FORMULA_NAME VehicularWifi-COL-none-14
FORMULA_NAME VehicularWifi-COL-none-15
=== Now, execution of the tool begins
BK_START 1621484848931
Running Version 0
[2021-05-20 04:27:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-20 04:27:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-20 04:27:31] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-20 04:27:32] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-20 04:27:33] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1299 ms
[2021-05-20 04:27:33] [WARNING] Unknown color function,Tuple skipping symmetry detection on parameters for transition WaitAIFS1
[2021-05-20 04:27:33] [INFO ] Detected 1 constant HL places corresponding to 81920 PT places.
[2021-05-20 04:27:33] [INFO ] Imported 21 HL places and 41 HL transitions for a total of 115566 PT places and 379924.0 transition bindings in 203 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 14 ms.
Working with output stream class java.io.PrintStream
FORMULA VehicularWifi-COL-none-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-20 04:27:33] [INFO ] Built PT skeleton of HLPN with 21 places and 41 transitions in 6 ms.
[2021-05-20 04:27:33] [INFO ] Skeletonized HLPN properties in 2 ms.
Successfully produced net in file /tmp/petri1000_4732100407551896562.dot
[2021-05-20 04:27:33] [INFO ] Initial state test concluded for 5 properties.
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 10 transitions
Reduce redundant transitions removed 10 transitions.
FORMULA VehicularWifi-COL-none-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 100000 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=478 ) properties (out of 20) seen :18
Running SMT prover for 2 properties.
[2021-05-20 04:27:33] [INFO ] Flow matrix only has 30 transitions (discarded 1 similar events)
// Phase 1: matrix 30 rows 20 cols
[2021-05-20 04:27:33] [INFO ] Computed 5 place invariants in 11 ms
[2021-05-20 04:27:34] [INFO ] [Real]Absence check using 4 positive place invariants in 8 ms returned unsat
[2021-05-20 04:27:34] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned unsat
Successfully simplified 2 atomic propositions for a total of 12 simplifications.
[2021-05-20 04:27:34] [INFO ] Initial state reduction rules for LTL removed 5 formulas.
[2021-05-20 04:27:34] [INFO ] Flatten gal took : 52 ms
FORMULA VehicularWifi-COL-none-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA VehicularWifi-COL-none-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-20 04:27:34] [INFO ] Flatten gal took : 11 ms
[2021-05-20 04:27:35] [INFO ] Unfolded HLPN to a Petri net with 115566 places and 83836 transitions in 1143 ms.
[2021-05-20 04:27:35] [INFO ] Unfolded HLPN properties in 6 ms.
Successfully produced net in file /tmp/petri1001_4371689234320692348.dot
[2021-05-20 04:27:35] [INFO ] Initial state test concluded for 2 properties.
Deduced a syphon composed of 98581 places in 390 ms
Reduce places removed 106837 places and 54136 transitions.
Support contains 4323 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Applied a total of 0 rules in 1663 ms. Remains 8729 /8729 variables (removed 0) and now considering 29700/29700 (removed 0) transitions.
[2021-05-20 04:27:39] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:27:40] [INFO ] Computed 8 place invariants in 1100 ms
[2021-05-20 04:27:41] [INFO ] Dead Transitions using invariants and state equation in 2574 ms returned []
[2021-05-20 04:27:41] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:27:42] [INFO ] Computed 8 place invariants in 953 ms
[2021-05-20 04:27:44] [INFO ] Implicit Places using invariants in 2437 ms returned []
Implicit Place search using SMT only with invariants took 2449 ms to find 0 implicit places.
[2021-05-20 04:27:44] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:27:45] [INFO ] Computed 8 place invariants in 867 ms
[2021-05-20 04:27:46] [INFO ] Dead Transitions using invariants and state equation in 2231 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8729/8729 places, 29700/29700 transitions.
[2021-05-20 04:27:48] [INFO ] Flatten gal took : 1236 ms
[2021-05-20 04:27:49] [INFO ] Flatten gal took : 1086 ms
[2021-05-20 04:27:51] [INFO ] Input system was already deterministic with 29700 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 3890 ms. (steps per millisecond=25 ) properties (out of 12) seen :10
Running SMT prover for 2 properties.
[2021-05-20 04:27:55] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:27:56] [INFO ] Computed 8 place invariants in 1239 ms
[2021-05-20 04:27:58] [INFO ] [Real]Absence check using 6 positive place invariants in 79 ms returned sat
[2021-05-20 04:27:59] [INFO ] [Real]Absence check using 6 positive and 2 generalized place invariants in 195 ms returned sat
[2021-05-20 04:27:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-20 04:28:19] [INFO ] SMT Verify possible in real domain returnedunsat :1 sat :0 real:1
[2021-05-20 04:28:21] [INFO ] [Nat]Absence check using 6 positive place invariants in 84 ms returned sat
[2021-05-20 04:28:21] [INFO ] [Nat]Absence check using 6 positive and 2 generalized place invariants in 187 ms returned sat
[2021-05-20 04:28:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-20 04:28:41] [INFO ] [Nat]Absence check using state equation in 20286 ms returned unsat :0 sat :2
[2021-05-20 04:28:42] [INFO ] State equation strengthened by 8411 read => feed constraints.
[2021-05-20 04:28:43] [INFO ] [Nat]Added 8411 Read/Feed constraints in 1046 ms returned sat
[2021-05-20 04:28:53] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :1
Successfully simplified 1 atomic propositions for a total of 7 simplifications.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((p0 U G(p1)))], workingDir=/home/mcc/execution]
Support contains 4145 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 24 Pre rules applied. Total rules applied 0 place count 8729 transition count 29676
Deduced a syphon composed of 24 places in 101 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 0 with 48 rules applied. Total rules applied 48 place count 8705 transition count 29676
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 111 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 64 place count 8697 transition count 29668
Applied a total of 64 rules in 3281 ms. Remains 8697 /8729 variables (removed 32) and now considering 29668/29700 (removed 32) transitions.
[2021-05-20 04:28:56] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:28:57] [INFO ] Computed 8 place invariants in 1276 ms
[2021-05-20 04:28:59] [INFO ] Dead Transitions using invariants and state equation in 2579 ms returned []
[2021-05-20 04:28:59] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:28:59] [INFO ] Computed 8 place invariants in 926 ms
[2021-05-20 04:29:01] [INFO ] Implicit Places using invariants in 2279 ms returned []
Implicit Place search using SMT only with invariants took 2280 ms to find 0 implicit places.
[2021-05-20 04:29:01] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:29:02] [INFO ] Computed 8 place invariants in 896 ms
[2021-05-20 04:29:03] [INFO ] Dead Transitions using invariants and state equation in 2234 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8697/8729 places, 29668/29700 transitions.
Stuttering acceptance computed with spot in 356 ms :[(NOT p1), true, (NOT p1)]
Running random walk in product with property : VehicularWifi-COL-none-01 automaton TGBA [mat=[[{ cond=(AND (NOT p1) p0), acceptance={0} source=0 dest: 0}, { cond=(AND p1 p0), acceptance={} source=0 dest: 0}, { cond=(AND (NOT p1) (NOT p0)), acceptance={} source=0 dest: 1}, { cond=(AND p1 (NOT p0)), acceptance={} source=0 dest: 2}], [{ cond=true, acceptance={0} source=1 dest: 1}], [{ cond=(NOT p1), acceptance={} source=2 dest: 1}, { cond=p1, acceptance={} source=2 dest: 2}]], initial=0, aps=[p1:(LEQ 1 s162), p0:(OR (LEQ 1 s162) (GT 2 (ADD s4549 s4550 s4551 s4552 s4553 s4554 s4555 s4556 s4557 s4558 s4559 s4560 s4561 s4562 s4563 s4564 s4565 s4566 s4567 s4568 s4569 s4570 s4571 s4572 s4573 s4574 s4575 s4576 s4577 s4578 s4579 s4580 s4581 s4582 s4583 s4584 s4585 s4586 s4587 s4588 s4589 s4590 s4591 s4592 s4593 s4594 s4595 s4596 s4597 s4598 s4599 s4600 s4601 s4602 s4603 s4604 s4605 s4606 s4607 s4608 s4609 s4610 s4611 s4612 s4613 s4614 s4615 s4616 s4617 s4618 s4619 s4620 s4621 s4622 s4623 s4624 s4625 s4626 s4627 s4628 s4629 s4630 s4631 s4632 s4633 s4634 s4635 s4636 s4637 s4638 s4639 s4640 s4641 s4642 s4643 s4644 s4645 s4646 s4647 s4648 s4649 s4650 s4651 s4652 s4653 s4654 s4655 s4656 s4657 s4658 s4659 s4660 s4661 s4662 s4663 s4664 s4665 s4666 s4667 s4668 s4669 s4670 s4671 s4672 s4673 s4674 s4675 s4676 s4677 s4678 s4679 s4680 s4681 s4682 s4683 s4684 s4685 s4686 s4687 s4688 s4689 s4690 s4691 s4692 s4693 s4694 s4695 s4696 s4697 s4698 s4699 s4700 s4701 s4702 s4703 s4704 s4705 s4706 s4707 s4708 s4709 s4710 s4711 s4712 s4713 s4714 s4715 s4716 s4717 s4718 s4719 s4720 s4721 s4722 s4723 s4724 s4725 s4726 s4727 s4728 s4729 s4730 s4731 s4732 s4733 s4734 s4735 s4736 s4737 s4738 s4739 s4740 s4741 s4742 s4743 s4744 s4745 s4746 s4747 s4748 s4749 s4750 s4751 s4752 s4753 s4754 s4755 s4756 s4757 s4758 s4759 s4760 s4761 s4762 s4763 s4764 s4765 s4766 s4767 s4768 s4769 s4770 s4771 s4772 s4773 s4774 s4775 s4776 s4777 s4778 s4779 s4780 s4781 s4782 s4783 s4784 s4785 s4786 s4787 s4788 s4789 s4790 s4791 s4792 s4793 s4794 s4795 s4796 s4797 s4798 s4799 s4800 s4801 s4802 s4803 s4804 s4805 s4806 s4807 s4808 s4809 s4810 s4811 s4812 s4813 s4814 s4815 s4816 s4817 s4818 s4819 s4820 s4821 s4822 s4823 s4824 s4825 s4826 s4827 s4828 s4829 s4830 s4831 s4832 s4833 s4834 s4835 s4836 s4837 s4838 s4839 s4840 s4841 s4842 s4843 s4844 s4845 s4846 s4847 s4848 s4849 s4850 s4851 s4852 s4853 s4854 s4855 s4856 s4857 s4858 s4859 s4860 s4861 s4862 s4863 s4864 s4865 s4866 s4867 s4868 s4869 s4870 s4871 s4872 s4873 s4874 s4875 s4876 s4877 s4878 s4879 s4880 s4881 s4882 s4883 s4884 s4885 s4886 s4887 s4888 s4889 s4890 s4891 s4892 s4893 s4894 s4895 s4896 s4897 s4898 s4899 s4900 s4901 s4902 s4903 s4904 s4905 s4906 s4907 s4908 s4909 s4910 s4911 s4912 s4913 s4914 s4915 s4916 s4917 s4918 s4919 s4920 s4921 s4922 s4923 s4924 s4925 s4926 s4927 s4928 s4929 s4930 s4931 s4932 s4933 s4934 s4935 s4936 s4937 s4938 s4939 s4940 s4941 s4942 s4943 s4944 s4945 s4946 s4947 s4948 s4949 s4950 s4951 s4952 s4953 s4954 s4955 s4956 s4957 s4958 s4959 s4960 s4961 s4962 s4963 s4964 s4965 s4966 s4967 s4968 s4969 s4970 s4971 s4972 s4973 s4974 s4975 s4976 s4977 s4978 s4979 s4980 s4981 s4982 s4983 s4984 s4985 s4986 s4987 s4988 s4989 s4990 s4991 s4992 s4993 s4994 s4995 s4996 s4997 s4998 s4999 s5000 s5001 s5002 s5003 s5004 s5005 s5006 s5007 s5008 s5009 s5010 s5011 s5012 s5013 s5014 s5015 s5016 s5017 s5018 s5019 s5020 s5021 s5022 s5023 s5024 s5025 s5026 s5027 s5028 s5029 s5030 s5031 s5032 s5033 s5034 s5035 s5036 s5037 s5038 s5039 s5040 s5041 s5042 s5043 s5044 s5045 s5046 s5047 s5048 s5049 s5050 s5051 s5052 s5053 s5054 s5055 s5056 s5057 s5058 s5059 s5060 s5061 s5062 s5063 s5064 s5065 s5066 s5067 s5068 s5069 s5070 s5071 s5072 s5073 s5074 s5075 s5076 s5077 s5078 s5079 s5080 s5081 s5082 s5083 s5084 s5085 s5086 s5087 s5088 s5089 s5090 s5091 s5092 s5093 s5094 s5095 s5096 s5097 s5098 s5099 s5100 s5101 s5102 s5103 s5104 s5105 s5106 s5107 s5108 s5109 s5110 s5111 s5112 s5113 s5114 s5115 s5116 s5117 s5118 s5119 s5120 s5121 s5122 s5123 s5124 s5125 s5126 s5127 s5128 s5129 s5130 s5131 s5132 s5133 s5134 s5135 s5136 s5137 s5138 s5139 s5140 s5141 s5142 s5143 s5144 s5145 s5146 s5147 s5148 s5149 s5150 s5151 s5152 s5153 s5154 s5155 s5156 s5157 s5158 s5159 s5160 s5161 s5162 s5163 s5164 s5165 s5166 s5167 s5168 s5169 s5170 s5171 s5172 s5173 s5174 s5175 s5176 s5177 s5178 s5179 s5180 s5181 s5182 s5183 s5184 s5185 s5186 s5187 s5188 s5189 s5190 s5191 s5192 s5193 s5194 s5195 s5196 s5197 s5198 s5199 s5200 s5201 s5202 s5203 s5204 s5205 s5206 s5207 s5208 s5209 s5210 s5211 s5212 s5213 s5214 s5215 s5216 s5217 s5218 s5219 s5220 s5221 s5222 s5223 s5224 s5225 s5226 s5227 s5228 s5229 s5230 s5231 s5232 s5233 s5234 s5235 s5236 s5237 s5238 s5239 s5240 s5241 s5242 s5243 s5244 s5245 s5246 s5247 s5248 s5249 s5250 s5251 s5252 s5253 s5254 s5255 s5256 s5257 s5258 s5259 s5260 s5261 s5262 s5263 s5264 s5265 s5266 s5267 s5268 s5269 s5270 s5271 s5272 s5273 s5274 s5275 s5276 s5277 s5278 s5279 s5280 s5281 s5282 s5283 s5284 s5285 s5286 s5287 s5288 s5289 s5290 s5291 s5292 s5293 s5294 s5295 s5296 s5297 s5298 s5299 s5300 s5301 s5302 s5303 s5304 s5305 s5306 s5307 s5308 s5309 s5310 s5311 s5312 s5313 s5314 s5315 s5316 s5317 s5318 s5319 s5320 s5321 s5322 s5323 s5324 s5325 s5326 s5327 s5328 s5329 s5330 s5331 s5332 s5333 s5334 s5335 s5336 s5337 s5338 s5339 s5340 s5341 s5342 s5343 s5344 s5345 s5346 s5347 s5348 s5349 s5350 s5351 s5352 s5353 s5354 s5355 s5356 s5357 s5358 s5359 s5360 s5361 s5362 s5363 s5364 s5365 s5366 s5367 s5368 s5369 s5370 s5371 s5372 s5373 s5374 s5375 s5376 s5377 s5378 s5379 s5380 s5381 s5382 s5383 s5384 s5385 s5386 s5387 s5388 s5389 s5390 s5391 s5392 s5393 s5394 s5395 s5396 s5397 s5398 s5399 s5400 s5401 s5402 s5403 s5404 s5405 s5406 s5407 s5408 s5409 s5410 s5411 s5412 s5413 s5414 s5415 s5416 s5417 s5418 s5419 s5420 s5421 s5422 s5423 s5424 s5425 s5426 s5427 s5428 s5429 s5430 s5431 s5432 s5433 s5434 s5435 s5436 s5437 s5438 s5439 s5440 s5441 s5442 s5443 s5444 s5445 s5446 s5447 s5448 s5449 s5450 s5451 s5452 s5453 s5454 s5455 s5456 s5457 s5458 s5459 s5460 s5461 s5462 s5463 s5464 s5465 s5466 s5467 s5468 s5469 s5470 s5471 s5472 s5473 s5474 s5475 s5476 s5477 s5478 s5479 s5480 s5481 s5482 s5483 s5484 s5485 s5486 s5487 s5488 s5489 s5490 s5491 s5492 s5493 s5494 s5495 s5496 s5497 s5498 s5499 s5500 s5501 s5502 s5503 s5504 s5505 s5506 s5507 s5508 s5509 s5510 s5511 s5512 s5513 s5514 s5515 s5516 s5517 s5518 s5519 s5520 s5521 s5522 s5523 s5524 s5525 s5526 s5527 s5528 s5529 s5530 s5531 s5532 s5533 s5534 s5535 s5536 s5537 s5538 s5539 s5540 s5541 s5542 s5543 s5544 s5545 s5546 s5547 s5548 s5549 s5550 s5551 s5552 s5553 s5554 s5555 s5556 s5557 s5558 s5559 s5560 s5561 s5562 s5563 s5564 s5565 s5566 s5567 s5568 s5569 s5570 s5571 s5572 s5573 s5574 s5575 s5576 s5577 s5578 s5579 s5580 s5581 s5582 s5583 s5584 s5585 s5586 s5587 s5588 s5589 s5590 s5591 s5592 s5593 s5594 s5595 s5596 s5597 s5598 s5599 s5600 s5601 s5602 s5603 s5604 s5605 s5606 s5607 s5608 s5609 s5610 s5611 s5612 s5613 s5614 s5615 s5616 s5617 s5618 s5619 s5620 s5621 s5622 s5623 s5624 s5625 s5626 s5627 s5628 s5629 s5630 s5631 s5632 s5633 s5634 s5635 s5636 s5637 s5638 s5639 s5640 s5641 s5642 s5643 s5644 s5645 s5646 s5647 s5648 s5649 s5650 s5651 s5652 s5653 s5654 s5655 s5656 s5657 s5658 s5659 s5660 s5661 s5662 s5663 s5664 s5665 s5666 s5667 s5668 s5669 s5670 s5671 s5672 s5673 s5674 s5675 s5676 s5677 s5678 s5679 s5680 s5681 s5682 s5683 s5684 s5685 s5686 s5687 s5688 s5689 s5690 s5691 s5692 s5693 s5694 s5695 s5696 s5697 s5698 s5699 s5700 s5701 s5702 s5703 s5704 s5705 s5706 s5707 s5708 s5709 s5710 s5711 s5712 s5713 s5714 s5715 s5716 s5717 s5718 s5719 s5720 s5721 s5722 s5723 s5724 s5725 s5726 s5727 s5728 s5729 s5730 s5731 s5732 s5733 s5734 s5735 s5736 s5737 s5738 s5739 s5740 s5741 s5742 s5743 s5744 s5745 s5746 s5747 s5748 s5749 s5750 s5751 s5752 s5753 s5754 s5755 s5756 s5757 s5758 s5759 s5760 s5761 s5762 s5763 s5764 s5765 s5766 s5767 s5768 s5769 s5770 s5771 s5772 s5773 s5774 s5775 s5776 s5777 s5778 s5779 s5780 s5781 s5782 s5783 s5784 s5785 s5786 s5787 s5788 s5789 s5790 s5791 s5792 s5793 s5794 s5795 s5796 s5797 s5798 s5799 s5800 s5801 s5802 s5803 s5804 s5805 s5806 s5807 s5808 s5809 s5810 s5811 s5812 s5813 s5814 s5815 s5816 s5817 s5818 s5819 s5820 s5821 s5822 s5823 s5824 s5825 s5826 s5827 s5828 s5829 s5830 s5831 s5832 s5833 s5834 s5835 s5836 s5837 s5838 s5839 s5840 s5841 s5842 s5843 s5844 s5845 s5846 s5847 s5848 s5849 s5850 s5851 s5852 s5853 s5854 s5855 s5856 s5857 s5858 s5859 s5860 s5861 s5862 s5863 s5864 s5865 s5866 s5867 s5868 s5869 s5870 s5871 s5872 s5873 s5874 s5875 s5876 s5877 s5878 s5879 s5880 s5881 s5882 s5883 s5884 s5885 s5886 s5887 s5888 s5889 s5890 s5891 s5892 s5893 s5894 s5895 s5896 s5897 s5898 s5899 s5900 s5901 s5902 s5903 s5904 s5905 s5906 s5907 s5908 s5909 s5910 s5911 s5912 s5913 s5914 s5915 s5916 s5917 s5918 s5919 s5920 s5921 s5922 s5923 s5924 s5925 s5926 s5927 s5928 s5929 s5930 s5931 s5932 s5933 s5934 s5935 s5936 s5937 s5938 s5939 s5940 s5941 s5942 s5943 s5944 s5945 s5946 s5947 s5948 s5949 s5950 s5951 s5952 s5953 s5954 s5955 s5956 s5957 s5958 s5959 s5960 s5961 s5962 s5963 s5964 s5965 s5966 s5967 s5968 s5969 s5970 s5971 s5972 s5973 s5974 s5975 s5976 s5977 s5978 s5979 s5980 s5981 s5982 s5983 s5984 s5985 s5986 s5987 s5988 s5989 s5990 s5991 s5992 s5993 s5994 s5995 s5996 s5997 s5998 s5999 s6000 s6001 s6002 s6003 s6004 s6005 s6006 s6007 s6008 s6009 s6010 s6011 s6012 s6013 s6014 s6015 s6016 s6017 s6018 s6019 s6020 s6021 s6022 s6023 s6024 s6025 s6026 s6027 s6028 s6029 s6030 s6031 s6032 s6033 s6034 s6035 s6036 s6037 s6038 s6039 s6040 s6041 s6042 s6043 s6044 s6045 s6046 s6047 s6048 s6049 s6050 s6051 s6052 s6053 s6054 s6055 s6056 s6057 s6058 s6059 s6060 s6061 s6062 s6063 s6064 s6065 s6066 s6067 s6068 s6069 s6070 s6071 s6072 s6073 s6074 s6075 s6076 s6077 s6078 s6079 s6080 s6081 s6082 s6083 s6084 s6085 s6086 s6087 s6088 s6089 s6090 s6091 s6092 s6093 s6094 s6095 s6096 s6097 s6098 s6099 s6100 s6101 s6102 s6103 s6104 s6105 s6106 s6107 s6108 s6109 s6110 s6111 s6112 s6113 s6114 s6115 s6116 s6117 s6118 s6119 s6120 s6121 s6122 s6123 s6124 s6125 s6126 s6127 s6128 s6129 s6130 s6131 s6132 s6133 s6134 s6135 s6136 s6137 s6138 s6139 s6140 s6141 s6142 s6143 s6144 s6145 s6146 s6147 s6148 s6149 s6150 s6151 s6152 s6153 s6154 s6155 s6156 s6157 s6158 s6159 s6160 s6161 s6162 s6163 s6164 s6165 s6166 s6167 s6168 s6169 s6170 s6171 s6172 s6173 s6174 s6175 s6176 s6177 s6178 s6179 s6180 s6181 s6182 s6183 s6184 s6185 s6186 s6187 s6188 s6189 s6190 s6191 s6192 s6193 s6194 s6195 s6196 s6197 s6198 s6199 s6200 s6201 s6202 s6203 s6204 s6205 s6206 s6207 s6208 s6209 s6210 s6211 s6212 s6213 s6214 s6215 s6216 s6217 s6218 s6219 s6220 s6221 s6222 s6223 s6224 s6225 s6226 s6227 s6228 s6229 s6230 s6231 s6232 s6233 s6234 s6235 s6236 s6237 s6238 s6239 s6240 s6241 s6242 s6243 s6244 s6245 s6246 s6247 s6248 s6249 s6250 s6251 s6252 s6253 s6254 s6255 s6256 s6257 s6258 s6259 s6260 s6261 s6262 s6263 s6264 s6265 s6266 s6267 s6268 s6269 s6270 s6271 s6272 s6273 s6274 s6275 s6276 s6277 s6278 s6279 s6280 s6281 s6282 s6283 s6284 s6285 s6286 s6287 s6288 s6289 s6290 s6291 s6292 s6293 s6294 s6295 s6296 s6297 s6298 s6299 s6300 s6301 s6302 s6303 s6304 s6305 s6306 s6307 s6308 s6309 s6310 s6311 s6312 s6313 s6314 s6315 s6316 s6317 s6318 s6319 s6320 s6321 s6322 s6323 s6324 s6325 s6326 s6327 s6328 s6329 s6330 s6331 s6332 s6333 s6334 s6335 s6336 s6337 s6338 s6339 s6340 s6341 s6342 s6343 s6344 s6345 s6346 s6347 s6348 s6349 s6350 s6351 s6352 s6353 s6354 s6355 s6356 s6357 s6358 s6359 s6360 s6361 s6362 s6363 s6364 s6365 s6366 s6367 s6368 s6369 s6370 s6371 s6372 s6373 s6374 s6375 s6376 s6377 s6378 s6379 s6380 s6381 s6382 s6383 s6384 s6385 s6386 s6387 s6388 s6389 s6390 s6391 s6392 s6393 s6394 s6395 s6396 s6397 s6398 s6399 s6400 s6401 s6402 s6403 s6404 s6405 s6406 s6407 s6408 s6409 s6410 s6411 s6412 s6413 s6414 s6415 s6416 s6417 s6418 s6419 s6420 s6421 s6422 s6423 s6424 s6425 s6426 s6427 s6428 s6429 s6430 s6431 s6432 s6433 s6434 s6435 s6436 s6437 s6438 s6439 s6440 s6441 s6442 s6443 s6444 s6445 s6446 s6447 s6448 s6449 s6450 s6451 s6452 s6453 s6454 s6455 s6456 s6457 s6458 s6459 s6460 s6461 s6462 s6463 s6464 s6465 s6466 s6467 s6468 s6469 s6470 s6471 s6472 s6473 s6474 s6475 s6476 s6477 s6478 s6479 s6480 s6481 s6482 s6483 s6484 s6485 s6486 s6487 s6488 s6489 s6490 s6491 s6492 s6493 s6494 s6495 s6496 s6497 s6498 s6499 s6500 s6501 s6502 s6503 s6504 s6505 s6506 s6507 s6508 s6509 s6510 s6511 s6512 s6513 s6514 s6515 s6516 s6517 s6518 s6519 s6520 s6521 s6522 s6523 s6524 s6525 s6526 s6527 s6528 s6529 s6530 s6531 s6532 s6533 s6534 s6535 s6536 s6537 s6538 s6539 s6540 s6541 s6542 s6543 s6544 s6545 s6546 s6547 s6548 s6549 s6550 s6551 s6552 s6553 s6554 s6555 s6556 s6557 s6558 s6559 s6560 s6561 s6562 s6563 s6564 s6565 s6566 s6567 s6568 s6569 s6570 s6571 s6572 s6573 s6574 s6575 s6576 s6577 s6578 s6579 s6580 s6581 s6582 s6583 s6584 s6585 s6586 s6587 s6588 s6589 s6590 s6591 s6592 s6593 s6594 s6595 s6596 s6597 s6598 s6599 s6600 s6601 s6602 s6603 s6604 s6605 s6606 s6607 s6608 s6609 s6610 s6611 s6612 s6613 s6614 s6615 s6616 s6617 s6618 s6619 s6620 s6621 s6622 s6623 s6624 s6625 s6626 s6627 s6628 s6629 s6630 s6631 s6632 s6633 s6634 s6635 s6636 s6637 s6638 s6639 s6640 s6641 s6642 s6643 s6644 s6645 s6646 s6647 s6648 s6649 s6650 s6651 s6652 s6653 s6654 s6655 s6656 s6657 s6658 s6659 s6660 s6661 s6662 s6663 s6664 s6665 s6666 s6667 s6668 s6669 s6670 s6671 s6672 s6673 s6674 s6675 s6676 s6677 s6678 s6679 s6680 s6681 s6682 s6683 s6684 s6685 s6686 s6687 s6688 s6689 s6690 s6691 s6692 s6693 s6694 s6695 s6696 s6697 s6698 s6699 s6700 s6701 s6702 s6703 s6704 s6705 s6706 s6707 s6708 s6709 s6710 s6711 s6712 s6713 s6714 s6715 s6716 s6717 s6718 s6719 s6720 s6721 s6722 s6723 s6724 s6725 s6726 s6727 s6728 s6729 s6730 s6731 s6732 s6733 s6734 s6735 s6736 s6737 s6738 s6739 s6740 s6741 s6742 s6743 s6744 s6745 s6746 s6747 s6748 s6749 s6750 s6751 s6752 s6753 s6754 s6755 s6756 s6757 s6758 s6759 s6760 s6761 s6762 s6763 s6764 s6765 s6766 s6767 s6768 s6769 s6770 s6771 s6772 s6773 s6774 s6775 s6776 s6777 s6778 s6779 s6780 s6781 s6782 s6783 s6784 s6785 s6786 s6787 s6788 s6789 s6790 s6791 s6792 s6793 s6794 s6795 s6796 s6797 s6798 s6799 s6800 s6801 s6802 s6803 s6804 s6805 s6806 s6807 s6808 s6809 s6810 s6811 s6812 s6813 s6814 s6815 s6816 s6817 s6818 s6819 s6820 s6821 s6822 s6823 s6824 s6825 s6826 s6827 s6828 s6829 s6830 s6831 s6832 s6833 s6834 s6835 s6836 s6837 s6838 s6839 s6840 s6841 s6842 s6843 s6844 s6845 s6846 s6847 s6848 s6849 s6850 s6851 s6852 s6853 s6854 s6855 s6856 s6857 s6858 s6859 s6860 s6861 s6862 s6863 s6864 s6865 s6866 s6867 s6868 s6869 s6870 s6871 s6872 s6873 s6874 s6875 s6876 s6877 s6878 s6879 s6880 s6881 s6882 s6883 s6884 s6885 s6886 s6887 s6888 s6889 s6890 s6891 s6892 s6893 s6894 s6895 s6896 s6897 s6898 s6899 s6900 s6901 s6902 s6903 s6904 s6905 s6906 s6907 s6908 s6909 s6910 s6911 s6912 s6913 s6914 s6915 s6916 s6917 s6918 s6919 s6920 s6921 s6922 s6923 s6924 s6925 s6926 s6927 s6928 s6929 s6930 s6931 s6932 s6933 s6934 s6935 s6936 s6937 s6938 s6939 s6940 s6941 s6942 s6943 s6944 s6945 s6946 s6947 s6948 s6949 s6950 s6951 s6952 s6953 s6954 s6955 s6956 s6957 s6958 s6959 s6960 s6961 s6962 s6963 s6964 s6965 s6966 s6967 s6968 s6969 s6970 s6971 s6972 s6973 s6974 s6975 s6976 s6977 s6978 s6979 s6980 s6981 s6982 s6983 s6984 s6985 s6986 s6987 s6988 s6989 s6990 s6991 s6992 s6993 s6994 s6995 s6996 s6997 s6998 s6999 s7000 s7001 s7002 s7003 s7004 s7005 s7006 s7007 s7008 s7009 s7010 s7011 s7012 s7013 s7014 s7015 s7016 s7017 s7018 s7019 s7020 s7021 s7022 s7023 s7024 s7025 s7026 s7027 s7028 s7029 s7030 s7031 s7032 s7033 s7034 s7035 s7036 s7037 s7038 s7039 s7040 s7041 s7042 s7043 s7044 s7045 s7046 s7047 s7048 s7049 s7050 s7051 s7052 s7053 s7054 s7055 s7056 s7057 s7058 s7059 s7060 s7061 s7062 s7063 s7064 s7065 s7066 s7067 s7068 s7069 s7070 s7071 s7072 s7073 s7074 s7075 s7076 s7077 s7078 s7079 s7080 s7081 s7082 s7083 s7084 s7085 s7086 s7087 s7088 s7089 s7090 s7091 s7092 s7093 s7094 s7095 s7096 s7097 s7098 s7099 s7100 s7101 s7102 s7103 s7104 s7105 s7106 s7107 s7108 s7109 s7110 s7111 s7112 s7113 s7114 s7115 s7116 s7117 s7118 s7119 s7120 s7121 s7122 s7123 s7124 s7125 s7126 s7127 s7128 s7129 s7130 s7131 s7132 s7133 s7134 s7135 s7136 s7137 s7138 s7139 s7140 s7141 s7142 s7143 s7144 s7145 s7146 s7147 s7148 s7149 s7150 s7151 s7152 s7153 s7154 s7155 s7156 s7157 s7158 s7159 s7160 s7161 s7162 s7163 s7164 s7165 s7166 s7167 s7168 s7169 s7170 s7171 s7172 s7173 s7174 s7175 s7176 s7177 s7178 s7179 s7180 s7181 s7182 s7183 s7184 s7185 s7186 s7187 s7188 s7189 s7190 s7191 s7192 s7193 s7194 s7195 s7196 s7197 s7198 s7199 s7200 s7201 s7202 s7203 s7204 s7205 s7206 s7207 s7208 s7209 s7210 s7211 s7212 s7213 s7214 s7215 s7216 s7217 s7218 s7219 s7220 s7221 s7222 s7223 s7224 s7225 s7226 s7227 s7228 s7229 s7230 s7231 s7232 s7233 s7234 s7235 s7236 s7237 s7238 s7239 s7240 s7241 s7242 s7243 s7244 s7245 s7246 s7247 s7248 s7249 s7250 s7251 s7252 s7253 s7254 s7255 s7256 s7257 s7258 s7259 s7260 s7261 s7262 s7263 s7264 s7265 s7266 s7267 s7268 s7269 s7270 s7271 s7272 s7273 s7274 s7275 s7276 s7277 s7278 s7279 s7280 s7281 s7282 s7283 s7284 s7285 s7286 s7287 s7288 s7289 s7290 s7291 s7292 s7293 s7294 s7295 s7296 s7297 s7298 s7299 s7300 s7301 s7302 s7303 s7304 s7305 s7306 s7307 s7308 s7309 s7310 s7311 s7312 s7313 s7314 s7315 s7316 s7317 s7318 s7319 s7320 s7321 s7322 s7323 s7324 s7325 s7326 s7327 s7328 s7329 s7330 s7331 s7332 s7333 s7334 s7335 s7336 s7337 s7338 s7339 s7340 s7341 s7342 s7343 s7344 s7345 s7346 s7347 s7348 s7349 s7350 s7351 s7352 s7353 s7354 s7355 s7356 s7357 s7358 s7359 s7360 s7361 s7362 s7363 s7364 s7365 s7366 s7367 s7368 s7369 s7370 s7371 s7372 s7373 s7374 s7375 s7376 s7377 s7378 s7379 s7380 s7381 s7382 s7383 s7384 s7385 s7386 s7387 s7388 s7389 s7390 s7391 s7392 s7393 s7394 s7395 s7396 s7397 s7398 s7399 s7400 s7401 s7402 s7403 s7404 s7405 s7406 s7407 s7408 s7409 s7410 s7411 s7412 s7413 s7414 s7415 s7416 s7417 s7418 s7419 s7420 s7421 s7422 s7423 s7424 s7425 s7426 s7427 s7428 s7429 s7430 s7431 s7432 s7433 s7434 s7435 s7436 s7437 s7438 s7439 s7440 s7441 s7442 s7443 s7444 s7445 s7446 s7447 s7448 s7449 s7450 s7451 s7452 s7453 s7454 s7455 s7456 s7457 s7458 s7459 s7460 s7461 s7462 s7463 s7464 s7465 s7466 s7467 s7468 s7469 s7470 s7471 s7472 s7473 s7474 s7475 s7476 s7477 s7478 s7479 s7480 s7481 s7482 s7483 s7484 s7485 s7486 s7487 s7488 s7489 s7490 s7491 s7492 s7493 s7494 s7495 s7496 s7497 s7498 s7499 s7500 s7501 s7502 s7503 s7504 s7505 s7506 s7507 s7508 s7509 s7510 s7511 s7512 s7513 s7514 s7515 s7516 s7517 s7518 s7519 s7520 s7521 s7522 s7523 s7524 s7525 s7526 s7527 s7528 s7529 s7530 s7531 s7532 s7533 s7534 s7535 s7536 s7537 s7538 s7539 s7540 s7541 s7542 s7543 s7544 s7545 s7546 s7547 s7548 s7549 s7550 s7551 s7552 s7553 s7554 s7555 s7556 s7557 s7558 s7559 s7560 s7561 s7562 s7563 s7564 s7565 s7566 s7567 s7568 s7569 s7570 s7571 s7572 s7573 s7574 s7575 s7576 s7577 s7578 s7579 s7580 s7581 s7582 s7583 s7584 s7585 s7586 s7587 s7588 s7589 s7590 s7591 s7592 s7593 s7594 s7595 s7596 s7597 s7598 s7599 s7600 s7601 s7602 s7603 s7604 s7605 s7606 s7607 s7608 s7609 s7610 s7611 s7612 s7613 s7614 s7615 s7616 s7617 s7618 s7619 s7620 s7621 s7622 s7623 s7624 s7625 s7626 s7627 s7628 s7629 s7630 s7631 s7632 s7633 s7634 s7635 s7636 s7637 s7638 s7639 s7640 s7641 s7642 s7643 s7644 s7645 s7646 s7647 s7648 s7649 s7650 s7651 s7652 s7653 s7654 s7655 s7656 s7657 s7658 s7659 s7660 s7661 s7662 s7663 s7664 s7665 s7666 s7667 s7668 s7669 s7670 s7671 s7672 s7673 s7674 s7675 s7676 s7677 s7678 s7679 s7680 s7681 s7682 s7683 s7684 s7685 s7686 s7687 s7688 s7689 s7690 s7691 s7692 s7693 s7694 s7695 s7696 s7697 s7698 s7699 s7700 s7701 s7702 s7703 s7704 s7705 s7706 s7707 s7708 s7709 s7710 s7711 s7712 s7713 s7714 s7715 s7716 s7717 s7718 s7719 s7720 s7721 s7722 s7723 s7724 s7725 s7726 s7727 s7728 s7729 s7730 s7731 s7732 s7733 s7734 s7735 s7736 s7737 s7738 s7739 s7740 s7741 s7742 s7743 s7744 s7745 s7746 s7747 s7748 s7749 s7750 s7751 s7752 s7753 s7754 s7755 s7756 s7757 s7758 s7759 s7760 s7761 s7762 s7763 s7764 s7765 s7766 s7767 s7768 s7769 s7770 s7771 s7772 s7773 s7774 s7775 s7776 s7777 s7778 s7779 s7780 s7781 s7782 s7783 s7784 s7785 s7786 s7787 s7788 s7789 s7790 s7791 s7792 s7793 s7794 s7795 s7796 s7797 s7798 s7799 s7800 s7801 s7802 s7803 s7804 s7805 s7806 s7807 s7808 s7809 s7810 s7811 s7812 s7813 s7814 s7815 s7816 s7817 s7818 s7819 s7820 s7821 s7822 s7823 s7824 s7825 s7826 s7827 s7828 s7829 s7830 s7831 s7832 s7833 s7834 s7835 s7836 s7837 s7838 s7839 s7840 s7841 s7842 s7843 s7844 s7845 s7846 s7847 s7848 s7849 s7850 s7851 s7852 s7853 s7854 s7855 s7856 s7857 s7858 s7859 s7860 s7861 s7862 s7863 s7864 s7865 s7866 s7867 s7868 s7869 s7870 s7871 s7872 s7873 s7874 s7875 s7876 s7877 s7878 s7879 s7880 s7881 s7882 s7883 s7884 s7885 s7886 s7887 s7888 s7889 s7890 s7891 s7892 s7893 s7894 s7895 s7896 s7897 s7898 s7899 s7900 s7901 s7902 s7903 s7904 s7905 s7906 s7907 s7908 s7909 s7910 s7911 s7912 s7913 s7914 s7915 s7916 s7917 s7918 s7919 s7920 s7921 s7922 s7923 s7924 s7925 s7926 s7927 s7928 s7929 s7930 s7931 s7932 s7933 s7934 s7935 s7936 s7937 s7938 s7939 s7940 s7941 s7942 s7943 s7944 s7945 s7946 s7947 s7948 s7949 s7950 s7951 s7952 s7953 s7954 s7955 s7956 s7957 s7958 s7959 s7960 s7961 s7962 s7963 s7964 s7965 s7966 s7967 s7968 s7969 s7970 s7971 s7972 s7973 s7974 s7975 s7976 s7977 s7978 s7979 s7980 s7981 s7982 s7983 s7984 s7985 s7986 s7987 s7988 s7989 s7990 s7991 s7992 s7993 s7994 s7995 s7996 s7997 s7998 s7999 s8000 s8001 s8002 s8003 s8004 s8005 s8006 s8007 s8008 s8009 s8010 s8011 s8012 s8013 s8014 s8015 s8016 s8017 s8018 s8019 s8020 s8021 s8022 s8023 s8024 s8025 s8026 s8027 s8028 s8029 s8030 s8031 s8032 s8033 s8034 s8035 s8036 s8037 s8038 s8039 s8040 s8041 s8042 s8043 s8044 s8045 s8046 s8047 s8048 s8049 s8050 s8051 s8052 s8053 s8054 s8055 s8056 s8057 s8058 s8059 s8060 s8061 s8062 s8063 s8064 s8065 s8066 s8067 s8068 s8069 s8070 s8071 s8072 s8073 s8074 s8075 s8076 s8077 s8078 s8079 s8080 s8081 s8082 s8083 s8084 s8085 s8086 s8087 s8088 s8089 s8090 s8091 s8092 s8093 s8094 s8095 s8096 s8097 s8098 s8099 s8100 s8101 s8102 s8103 s8104 s8105 s8106 s8107 s8108 s8109 s8110 s8111 s8112 s8113 s8114 s8115 s8116 s8117 s8118 s8119 s8120 s8121 s8122 s8123 s8124 s8125 s8126 s8127 s8128 s8129 s8130 s8131 s8132 s8133 s8134 s8135 s8136 s8137 s8138 s8139 s8140 s8141 s8142 s8143 s8144 s8145 s8146 s8147 s8148 s8149 s8150 s8151 s8152 s8153 s8154 s8155 s8156 s8157 s8158 s8159 s8160 s8161 s8162 s8163 s8164 s8165 s8166 s8167 s8168 s8169 s8170 s8171 s8172 s8173 s8174 s8175 s8176 s8177 s8178 s8179 s8180 s8181 s8182 s8183 s8184 s8185 s8186 s8187 s8188 s8189 s8190 s8191 s8192 s8193 s8194 s8195 s8196 s8197 s8198 s8199 s8200 s8201 s8202 s8203 s8204 s8205 s8206 s8207 s8208 s8209 s8210 s8211 s8212 s8213 s8214 s8215 s8216 s8217 s8218 s8219 s8220 s8221 s8222 s8223 s8224 s8225 s8226 s8227 s8228 s8229 s8230 s8231 s8232 s8233 s8234 s8235 s8236 s8237 s8238 s8239 s8240 s8241 s8242 s8243 s8244 s8245 s8246 s8247 s8248 s8249 s8250 s8251 s8252 s8253 s8254 s8255 s8256 s8257 s8258 s8259 s8260 s8261 s8262 s8263 s8264 s8265 s8266 s8267 s8268 s8269 s8270 s8271 s8272 s8273 s8274 s8275 s8276 s8277 s8278 s8279 s8280 s8281 s8282 s8283 s8284 s8285 s8286 s8287 s8288 s8289 s8290 s8291 s8292 s8293 s8294 s8295 s8296 s8297 s8298 s8299 s8300 s8301 s8302 s8303 s8304 s8305 s8306 s8307 s8308 s8309 s8310 s8311 s8312 s8313 s8314 s8315 s8316 s8317 s8318 s8319 s8320 s8321 s8322 s8323 s8324 s8325 s8326 s8327 s8328 s8329 s8330 s8331 s8332 s8333 s8334 s8335 s8336 s8337 s8338 s8339 s8340 s8341 s8342 s8343 s8344 s8345 s8346 s8347 s8348 s8349 s8350 s8351 s8352 s8353 s8354 s8355 s8356 s8357 s8358 s8359 s8360 s8361 s8362 s8363 s8364 s8365 s8366 s8367 s8368 s8369 s8370 s8371 s8372 s8373 s8374 s8375 s8376 s8377 s8378 s8379 s8380 s8381 s8382 s8383 s8384 s8385 s8386 s8387 s8388 s8389 s8390 s8391 s8392 s8393 s8394 s8395 s8396 s8397 s8398 s8399 s8400 s8401 s8402 s8403 s8404 s8405 s8406 s8407 s8408 s8409 s8410 s8411 s8412 s8413 s8414 s8415 s8416 s8417 s8418 s8419 s8420 s8421 s8422 s8423 s8424 s8425 s8426 s8427 s8428 s8429 s8430 s8431 s8432 s8433 s8434 s8435 s8436 s8437 s8438 s8439 s8440 s8441 s8442 s8443 s8444 s8445 s8446 s8447 s8448 s8449 s8450 s8451 s8452 s8453 s8454 s8455 s8456 s8457 s8458 s8459 s8460 s8461 s8462 s8463 s8464 s8465 s8466 s8467 s8468 s8469 s8470 s8471 s8472 s8473 s8474 s8475 s8476 s8477 s8478 s8479 s8480 s8481 s8482 s8483 s8484 s8485 s8486 s8487 s8488 s8489 s8490 s8491 s8492 s8493 s8494 s8495 s8496 s8497 s8498 s8499 s8500 s8501 s8502 s8503 s8504 s8505 s8506 s8507 s8508 s8509 s8510 s8511 s8512 s8513 s8514 s8515 s8516 s8517 s8518 s8519 s8520 s8521 s8522 s8523 s8524 s8525 s8526 s8527 s8528 s8529 s8530 s8531 s8532 s8533 s8534 s8535 s8536 s8537 s8538 s8539 s8540 s8541 s8542 s8543 s8544 s8545 s8546 s8547 s8548 s8549 s8550 s8551 s8552 s8553 s8554 s8555 s8556 s8557 s8558 s8559 s8560 s8561 s8562 s8563 s8564 s8565 s8566 s8567 s8568 s8569 s8570 s8571 s8572 s8573 s8574 s8575 s8576 s8577 s8578 s8579 s8580 s8581 s8582 s8583 s8584 s8585 s8586 s8587 s8588 s8589 s8590 s8591 s8592 s8593 s8594 s8595 s8596 s8597 s8598 s8599 s8600 s8601 s8602 s8603 s8604 s8605 s8606 s8607 s8608 s8609 s8610 s8611 s8612 s8613 s8614 s8615 s8616 s8617 s8618 s8619 s8620 s8621 s8622 s8623 s8624 s8625 s8626 s8627 s8628 s8629 s8630 s8631 s8632 s8633 s8634 s8635 s8636 s8637 s8638 s8639 s8640 s8641 s8642 s8643 s8644 s8645 s8646 s8647 s8648 s8649 s8650 s8651 s8652 s8653 s8654 s8655 s8656 s8657 s8658 s8659 s8660 s8661 s8662 s8663 s8664 s8665 s8666 s8667 s8668 s8669 s8670 s8671 s8672 s8673 s8674 s8675 s8676 s8677 s8678 s8679 s8680 s8681 s8682 s8683 s8684 s8685 s8686 s8687 s8688 s8689 s8690 s8691 s8692)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Entered a terminal (fully accepting) state of product in 39 steps with 0 reset in 23 ms.
FORMULA VehicularWifi-COL-none-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-01 finished in 10914 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(F(p0))))], workingDir=/home/mcc/execution]
Support contains 24 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Applied a total of 0 rules in 1859 ms. Remains 8729 /8729 variables (removed 0) and now considering 29700/29700 (removed 0) transitions.
[2021-05-20 04:29:05] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:06] [INFO ] Computed 8 place invariants in 1060 ms
[2021-05-20 04:29:08] [INFO ] Dead Transitions using invariants and state equation in 2364 ms returned []
[2021-05-20 04:29:08] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:09] [INFO ] Computed 8 place invariants in 940 ms
[2021-05-20 04:29:10] [INFO ] Implicit Places using invariants in 2225 ms returned []
Implicit Place search using SMT only with invariants took 2226 ms to find 0 implicit places.
[2021-05-20 04:29:10] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:11] [INFO ] Computed 8 place invariants in 1047 ms
[2021-05-20 04:29:12] [INFO ] Dead Transitions using invariants and state equation in 2275 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8729/8729 places, 29700/29700 transitions.
Stuttering acceptance computed with spot in 96 ms :[(NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : VehicularWifi-COL-none-04 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 0}], [{ cond=true, acceptance={} source=2 dest: 1}]], initial=2, aps=[p0:(LEQ 1 (ADD s212 s213 s214 s215 s216 s217 s218 s219 s220 s221 s222 s223 s224 s225 s226 s227 s228 s229 s230 s231 s232 s233 s234 s235))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 4880 reset in 4720 ms.
Stack based approach found an accepted trace after 2380 steps with 119 reset with depth 12 and stack size 12 in 116 ms.
FORMULA VehicularWifi-COL-none-04 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-04 finished in 13749 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0&&G(p1))))], workingDir=/home/mcc/execution]
Support contains 16 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Applied a total of 0 rules in 1751 ms. Remains 8729 /8729 variables (removed 0) and now considering 29700/29700 (removed 0) transitions.
[2021-05-20 04:29:19] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:20] [INFO ] Computed 8 place invariants in 1009 ms
[2021-05-20 04:29:21] [INFO ] Dead Transitions using invariants and state equation in 2065 ms returned []
[2021-05-20 04:29:21] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:22] [INFO ] Computed 8 place invariants in 814 ms
[2021-05-20 04:29:23] [INFO ] Implicit Places using invariants in 2075 ms returned []
Implicit Place search using SMT only with invariants took 2079 ms to find 0 implicit places.
[2021-05-20 04:29:23] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:24] [INFO ] Computed 8 place invariants in 1102 ms
[2021-05-20 04:29:26] [INFO ] Dead Transitions using invariants and state equation in 2337 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8729/8729 places, 29700/29700 transitions.
Stuttering acceptance computed with spot in 150 ms :[true, (OR (NOT p1) (NOT p0)), (NOT p1), (OR (NOT p1) (NOT p0))]
Running random walk in product with property : VehicularWifi-COL-none-09 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 3}], [{ cond=(NOT p1), acceptance={} source=2 dest: 0}, { cond=p1, acceptance={} source=2 dest: 2}], [{ cond=(OR (NOT p0) (NOT p1)), acceptance={} source=3 dest: 0}, { cond=(AND p0 p1), acceptance={} source=3 dest: 2}]], initial=1, aps=[p1:(LEQ (ADD s0 s1 s2 s3 s4 s5 s6 s7) (ADD s203 s204 s205 s206 s207 s208 s209 s210)), p0:(GT 2 (ADD s203 s204 s205 s206 s207 s208 s209 s210))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 2 ms.
FORMULA VehicularWifi-COL-none-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-09 finished in 8461 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G((F(p0)||(X(p1)&&(X(p0)||G(p2))))))], workingDir=/home/mcc/execution]
Support contains 49 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Applied a total of 0 rules in 1963 ms. Remains 8729 /8729 variables (removed 0) and now considering 29700/29700 (removed 0) transitions.
[2021-05-20 04:29:28] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:29] [INFO ] Computed 8 place invariants in 814 ms
[2021-05-20 04:29:30] [INFO ] Dead Transitions using invariants and state equation in 1884 ms returned []
[2021-05-20 04:29:30] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:30] [INFO ] Computed 8 place invariants in 812 ms
[2021-05-20 04:29:31] [INFO ] Implicit Places using invariants in 1865 ms returned []
Implicit Place search using SMT only with invariants took 1866 ms to find 0 implicit places.
[2021-05-20 04:29:31] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:33] [INFO ] Computed 8 place invariants in 1164 ms
[2021-05-20 04:29:34] [INFO ] Dead Transitions using invariants and state equation in 2227 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8729/8729 places, 29700/29700 transitions.
Stuttering acceptance computed with spot in 108 ms :[(OR (AND (NOT p0) (NOT p2)) (AND (NOT p0) (NOT p1))), (AND (NOT p0) p2 (NOT p1)), (NOT p0)]
Running random walk in product with property : VehicularWifi-COL-none-12 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(AND (NOT p0) p2), acceptance={} source=0 dest: 1}, { cond=(AND (NOT p0) (NOT p2)), acceptance={} source=0 dest: 2}], [{ cond=(AND (NOT p0) p2 (NOT p1)), acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(LEQ 1 (ADD s203 s204 s205 s206 s207 s208 s209 s210)), p2:(LEQ s8725 (ADD s72 s73 s74 s75 s76 s77 s78 s79 s80 s81 s82 s83 s84 s85 s86 s87 s88 s89 s90 s91 s92 s93 s94 s95 s96 s97 s98 s99 s100 s101 s102 s103)), p1:(LEQ 3 (ADD s269 s270 s271 s272 s273 s274 s275 s276))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Product exploration explored 100000 steps with 8481 reset in 4622 ms.
Stack based approach found an accepted trace after 1554 steps with 129 reset with depth 7 and stack size 7 in 96 ms.
FORMULA VehicularWifi-COL-none-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-12 finished in 12852 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 40 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 20 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 8721 transition count 29692
Applied a total of 16 rules in 3154 ms. Remains 8721 /8729 variables (removed 8) and now considering 29692/29700 (removed 8) transitions.
[2021-05-20 04:29:42] [INFO ] Flow matrix only has 17300 transitions (discarded 12392 similar events)
// Phase 1: matrix 17300 rows 8721 cols
[2021-05-20 04:29:43] [INFO ] Computed 8 place invariants in 999 ms
[2021-05-20 04:29:44] [INFO ] Dead Transitions using invariants and state equation in 2346 ms returned []
[2021-05-20 04:29:44] [INFO ] Flow matrix only has 17300 transitions (discarded 12392 similar events)
// Phase 1: matrix 17300 rows 8721 cols
[2021-05-20 04:29:45] [INFO ] Computed 8 place invariants in 1107 ms
[2021-05-20 04:29:47] [INFO ] Implicit Places using invariants in 2476 ms returned []
Implicit Place search using SMT only with invariants took 2477 ms to find 0 implicit places.
[2021-05-20 04:29:47] [INFO ] Flow matrix only has 17300 transitions (discarded 12392 similar events)
// Phase 1: matrix 17300 rows 8721 cols
[2021-05-20 04:29:48] [INFO ] Computed 8 place invariants in 1023 ms
[2021-05-20 04:29:49] [INFO ] Dead Transitions using invariants and state equation in 2060 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8721/8729 places, 29692/29700 transitions.
Stuttering acceptance computed with spot in 82 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : VehicularWifi-COL-none-13 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(GT (ADD s64 s65 s66 s67 s68 s69 s70 s71 s72 s73 s74 s75 s76 s77 s78 s79 s80 s81 s82 s83 s84 s85 s86 s87 s88 s89 s90 s91 s92 s93 s94 s95) (ADD s261 s262 s263 s264 s265 s266 s267 s268))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 11623 reset in 6050 ms.
Stack based approach found an accepted trace after 3168 steps with 371 reset with depth 42 and stack size 42 in 186 ms.
FORMULA VehicularWifi-COL-none-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-13 finished in 16437 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X(X(G(p0)))))], workingDir=/home/mcc/execution]
Support contains 4177 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Applied a total of 0 rules in 850 ms. Remains 8729 /8729 variables (removed 0) and now considering 29700/29700 (removed 0) transitions.
[2021-05-20 04:29:56] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:57] [INFO ] Computed 8 place invariants in 812 ms
[2021-05-20 04:29:58] [INFO ] Dead Transitions using invariants and state equation in 2079 ms returned []
[2021-05-20 04:29:58] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:29:59] [INFO ] Computed 8 place invariants in 1013 ms
[2021-05-20 04:30:00] [INFO ] Implicit Places using invariants in 2257 ms returned []
Implicit Place search using SMT only with invariants took 2258 ms to find 0 implicit places.
[2021-05-20 04:30:00] [INFO ] Flow matrix only has 17308 transitions (discarded 12392 similar events)
// Phase 1: matrix 17308 rows 8729 cols
[2021-05-20 04:30:01] [INFO ] Computed 8 place invariants in 996 ms
[2021-05-20 04:30:02] [INFO ] Dead Transitions using invariants and state equation in 2184 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8729/8729 places, 29700/29700 transitions.
Stuttering acceptance computed with spot in 127 ms :[true, (NOT p0), (NOT p0), (NOT p0), (NOT p0)]
Running random walk in product with property : VehicularWifi-COL-none-14 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={} source=3 dest: 4}], [{ cond=true, acceptance={} source=4 dest: 2}]], initial=3, aps=[p0:(LEQ (ADD s4581 s4582 s4583 s4584 s4585 s4586 s4587 s4588 s4589 s4590 s4591 s4592 s4593 s4594 s4595 s4596 s4597 s4598 s4599 s4600 s4601 s4602 s4603 s4604 s4605 s4606 s4607 s4608 s4609 s4610 s4611 s4612 s4613 s4614 s4615 s4616 s4617 s4618 s4619 s4620 s4621 s4622 s4623 s4624 s4625 s4626 s4627 s4628 s4629 s4630 s4631 s4632 s4633 s4634 s4635 s4636 s4637 s4638 s4639 s4640 s4641 s4642 s4643 s4644 s4645 s4646 s4647 s4648 s4649 s4650 s4651 s4652 s4653 s4654 s4655 s4656 s4657 s4658 s4659 s4660 s4661 s4662 s4663 s4664 s4665 s4666 s4667 s4668 s4669 s4670 s4671 s4672 s4673 s4674 s4675 s4676 s4677 s4678 s4679 s4680 s4681 s4682 s4683 s4684 s4685 s4686 s4687 s4688 s4689 s4690 s4691 s4692 s4693 s4694 s4695 s4696 s4697 s4698 s4699 s4700 s4701 s4702 s4703 s4704 s4705 s4706 s4707 s4708 s4709 s4710 s4711 s4712 s4713 s4714 s4715 s4716 s4717 s4718 s4719 s4720 s4721 s4722 s4723 s4724 s4725 s4726 s4727 s4728 s4729 s4730 s4731 s4732 s4733 s4734 s4735 s4736 s4737 s4738 s4739 s4740 s4741 s4742 s4743 s4744 s4745 s4746 s4747 s4748 s4749 s4750 s4751 s4752 s4753 s4754 s4755 s4756 s4757 s4758 s4759 s4760 s4761 s4762 s4763 s4764 s4765 s4766 s4767 s4768 s4769 s4770 s4771 s4772 s4773 s4774 s4775 s4776 s4777 s4778 s4779 s4780 s4781 s4782 s4783 s4784 s4785 s4786 s4787 s4788 s4789 s4790 s4791 s4792 s4793 s4794 s4795 s4796 s4797 s4798 s4799 s4800 s4801 s4802 s4803 s4804 s4805 s4806 s4807 s4808 s4809 s4810 s4811 s4812 s4813 s4814 s4815 s4816 s4817 s4818 s4819 s4820 s4821 s4822 s4823 s4824 s4825 s4826 s4827 s4828 s4829 s4830 s4831 s4832 s4833 s4834 s4835 s4836 s4837 s4838 s4839 s4840 s4841 s4842 s4843 s4844 s4845 s4846 s4847 s4848 s4849 s4850 s4851 s4852 s4853 s4854 s4855 s4856 s4857 s4858 s4859 s4860 s4861 s4862 s4863 s4864 s4865 s4866 s4867 s4868 s4869 s4870 s4871 s4872 s4873 s4874 s4875 s4876 s4877 s4878 s4879 s4880 s4881 s4882 s4883 s4884 s4885 s4886 s4887 s4888 s4889 s4890 s4891 s4892 s4893 s4894 s4895 s4896 s4897 s4898 s4899 s4900 s4901 s4902 s4903 s4904 s4905 s4906 s4907 s4908 s4909 s4910 s4911 s4912 s4913 s4914 s4915 s4916 s4917 s4918 s4919 s4920 s4921 s4922 s4923 s4924 s4925 s4926 s4927 s4928 s4929 s4930 s4931 s4932 s4933 s4934 s4935 s4936 s4937 s4938 s4939 s4940 s4941 s4942 s4943 s4944 s4945 s4946 s4947 s4948 s4949 s4950 s4951 s4952 s4953 s4954 s4955 s4956 s4957 s4958 s4959 s4960 s4961 s4962 s4963 s4964 s4965 s4966 s4967 s4968 s4969 s4970 s4971 s4972 s4973 s4974 s4975 s4976 s4977 s4978 s4979 s4980 s4981 s4982 s4983 s4984 s4985 s4986 s4987 s4988 s4989 s4990 s4991 s4992 s4993 s4994 s4995 s4996 s4997 s4998 s4999 s5000 s5001 s5002 s5003 s5004 s5005 s5006 s5007 s5008 s5009 s5010 s5011 s5012 s5013 s5014 s5015 s5016 s5017 s5018 s5019 s5020 s5021 s5022 s5023 s5024 s5025 s5026 s5027 s5028 s5029 s5030 s5031 s5032 s5033 s5034 s5035 s5036 s5037 s5038 s5039 s5040 s5041 s5042 s5043 s5044 s5045 s5046 s5047 s5048 s5049 s5050 s5051 s5052 s5053 s5054 s5055 s5056 s5057 s5058 s5059 s5060 s5061 s5062 s5063 s5064 s5065 s5066 s5067 s5068 s5069 s5070 s5071 s5072 s5073 s5074 s5075 s5076 s5077 s5078 s5079 s5080 s5081 s5082 s5083 s5084 s5085 s5086 s5087 s5088 s5089 s5090 s5091 s5092 s5093 s5094 s5095 s5096 s5097 s5098 s5099 s5100 s5101 s5102 s5103 s5104 s5105 s5106 s5107 s5108 s5109 s5110 s5111 s5112 s5113 s5114 s5115 s5116 s5117 s5118 s5119 s5120 s5121 s5122 s5123 s5124 s5125 s5126 s5127 s5128 s5129 s5130 s5131 s5132 s5133 s5134 s5135 s5136 s5137 s5138 s5139 s5140 s5141 s5142 s5143 s5144 s5145 s5146 s5147 s5148 s5149 s5150 s5151 s5152 s5153 s5154 s5155 s5156 s5157 s5158 s5159 s5160 s5161 s5162 s5163 s5164 s5165 s5166 s5167 s5168 s5169 s5170 s5171 s5172 s5173 s5174 s5175 s5176 s5177 s5178 s5179 s5180 s5181 s5182 s5183 s5184 s5185 s5186 s5187 s5188 s5189 s5190 s5191 s5192 s5193 s5194 s5195 s5196 s5197 s5198 s5199 s5200 s5201 s5202 s5203 s5204 s5205 s5206 s5207 s5208 s5209 s5210 s5211 s5212 s5213 s5214 s5215 s5216 s5217 s5218 s5219 s5220 s5221 s5222 s5223 s5224 s5225 s5226 s5227 s5228 s5229 s5230 s5231 s5232 s5233 s5234 s5235 s5236 s5237 s5238 s5239 s5240 s5241 s5242 s5243 s5244 s5245 s5246 s5247 s5248 s5249 s5250 s5251 s5252 s5253 s5254 s5255 s5256 s5257 s5258 s5259 s5260 s5261 s5262 s5263 s5264 s5265 s5266 s5267 s5268 s5269 s5270 s5271 s5272 s5273 s5274 s5275 s5276 s5277 s5278 s5279 s5280 s5281 s5282 s5283 s5284 s5285 s5286 s5287 s5288 s5289 s5290 s5291 s5292 s5293 s5294 s5295 s5296 s5297 s5298 s5299 s5300 s5301 s5302 s5303 s5304 s5305 s5306 s5307 s5308 s5309 s5310 s5311 s5312 s5313 s5314 s5315 s5316 s5317 s5318 s5319 s5320 s5321 s5322 s5323 s5324 s5325 s5326 s5327 s5328 s5329 s5330 s5331 s5332 s5333 s5334 s5335 s5336 s5337 s5338 s5339 s5340 s5341 s5342 s5343 s5344 s5345 s5346 s5347 s5348 s5349 s5350 s5351 s5352 s5353 s5354 s5355 s5356 s5357 s5358 s5359 s5360 s5361 s5362 s5363 s5364 s5365 s5366 s5367 s5368 s5369 s5370 s5371 s5372 s5373 s5374 s5375 s5376 s5377 s5378 s5379 s5380 s5381 s5382 s5383 s5384 s5385 s5386 s5387 s5388 s5389 s5390 s5391 s5392 s5393 s5394 s5395 s5396 s5397 s5398 s5399 s5400 s5401 s5402 s5403 s5404 s5405 s5406 s5407 s5408 s5409 s5410 s5411 s5412 s5413 s5414 s5415 s5416 s5417 s5418 s5419 s5420 s5421 s5422 s5423 s5424 s5425 s5426 s5427 s5428 s5429 s5430 s5431 s5432 s5433 s5434 s5435 s5436 s5437 s5438 s5439 s5440 s5441 s5442 s5443 s5444 s5445 s5446 s5447 s5448 s5449 s5450 s5451 s5452 s5453 s5454 s5455 s5456 s5457 s5458 s5459 s5460 s5461 s5462 s5463 s5464 s5465 s5466 s5467 s5468 s5469 s5470 s5471 s5472 s5473 s5474 s5475 s5476 s5477 s5478 s5479 s5480 s5481 s5482 s5483 s5484 s5485 s5486 s5487 s5488 s5489 s5490 s5491 s5492 s5493 s5494 s5495 s5496 s5497 s5498 s5499 s5500 s5501 s5502 s5503 s5504 s5505 s5506 s5507 s5508 s5509 s5510 s5511 s5512 s5513 s5514 s5515 s5516 s5517 s5518 s5519 s5520 s5521 s5522 s5523 s5524 s5525 s5526 s5527 s5528 s5529 s5530 s5531 s5532 s5533 s5534 s5535 s5536 s5537 s5538 s5539 s5540 s5541 s5542 s5543 s5544 s5545 s5546 s5547 s5548 s5549 s5550 s5551 s5552 s5553 s5554 s5555 s5556 s5557 s5558 s5559 s5560 s5561 s5562 s5563 s5564 s5565 s5566 s5567 s5568 s5569 s5570 s5571 s5572 s5573 s5574 s5575 s5576 s5577 s5578 s5579 s5580 s5581 s5582 s5583 s5584 s5585 s5586 s5587 s5588 s5589 s5590 s5591 s5592 s5593 s5594 s5595 s5596 s5597 s5598 s5599 s5600 s5601 s5602 s5603 s5604 s5605 s5606 s5607 s5608 s5609 s5610 s5611 s5612 s5613 s5614 s5615 s5616 s5617 s5618 s5619 s5620 s5621 s5622 s5623 s5624 s5625 s5626 s5627 s5628 s5629 s5630 s5631 s5632 s5633 s5634 s5635 s5636 s5637 s5638 s5639 s5640 s5641 s5642 s5643 s5644 s5645 s5646 s5647 s5648 s5649 s5650 s5651 s5652 s5653 s5654 s5655 s5656 s5657 s5658 s5659 s5660 s5661 s5662 s5663 s5664 s5665 s5666 s5667 s5668 s5669 s5670 s5671 s5672 s5673 s5674 s5675 s5676 s5677 s5678 s5679 s5680 s5681 s5682 s5683 s5684 s5685 s5686 s5687 s5688 s5689 s5690 s5691 s5692 s5693 s5694 s5695 s5696 s5697 s5698 s5699 s5700 s5701 s5702 s5703 s5704 s5705 s5706 s5707 s5708 s5709 s5710 s5711 s5712 s5713 s5714 s5715 s5716 s5717 s5718 s5719 s5720 s5721 s5722 s5723 s5724 s5725 s5726 s5727 s5728 s5729 s5730 s5731 s5732 s5733 s5734 s5735 s5736 s5737 s5738 s5739 s5740 s5741 s5742 s5743 s5744 s5745 s5746 s5747 s5748 s5749 s5750 s5751 s5752 s5753 s5754 s5755 s5756 s5757 s5758 s5759 s5760 s5761 s5762 s5763 s5764 s5765 s5766 s5767 s5768 s5769 s5770 s5771 s5772 s5773 s5774 s5775 s5776 s5777 s5778 s5779 s5780 s5781 s5782 s5783 s5784 s5785 s5786 s5787 s5788 s5789 s5790 s5791 s5792 s5793 s5794 s5795 s5796 s5797 s5798 s5799 s5800 s5801 s5802 s5803 s5804 s5805 s5806 s5807 s5808 s5809 s5810 s5811 s5812 s5813 s5814 s5815 s5816 s5817 s5818 s5819 s5820 s5821 s5822 s5823 s5824 s5825 s5826 s5827 s5828 s5829 s5830 s5831 s5832 s5833 s5834 s5835 s5836 s5837 s5838 s5839 s5840 s5841 s5842 s5843 s5844 s5845 s5846 s5847 s5848 s5849 s5850 s5851 s5852 s5853 s5854 s5855 s5856 s5857 s5858 s5859 s5860 s5861 s5862 s5863 s5864 s5865 s5866 s5867 s5868 s5869 s5870 s5871 s5872 s5873 s5874 s5875 s5876 s5877 s5878 s5879 s5880 s5881 s5882 s5883 s5884 s5885 s5886 s5887 s5888 s5889 s5890 s5891 s5892 s5893 s5894 s5895 s5896 s5897 s5898 s5899 s5900 s5901 s5902 s5903 s5904 s5905 s5906 s5907 s5908 s5909 s5910 s5911 s5912 s5913 s5914 s5915 s5916 s5917 s5918 s5919 s5920 s5921 s5922 s5923 s5924 s5925 s5926 s5927 s5928 s5929 s5930 s5931 s5932 s5933 s5934 s5935 s5936 s5937 s5938 s5939 s5940 s5941 s5942 s5943 s5944 s5945 s5946 s5947 s5948 s5949 s5950 s5951 s5952 s5953 s5954 s5955 s5956 s5957 s5958 s5959 s5960 s5961 s5962 s5963 s5964 s5965 s5966 s5967 s5968 s5969 s5970 s5971 s5972 s5973 s5974 s5975 s5976 s5977 s5978 s5979 s5980 s5981 s5982 s5983 s5984 s5985 s5986 s5987 s5988 s5989 s5990 s5991 s5992 s5993 s5994 s5995 s5996 s5997 s5998 s5999 s6000 s6001 s6002 s6003 s6004 s6005 s6006 s6007 s6008 s6009 s6010 s6011 s6012 s6013 s6014 s6015 s6016 s6017 s6018 s6019 s6020 s6021 s6022 s6023 s6024 s6025 s6026 s6027 s6028 s6029 s6030 s6031 s6032 s6033 s6034 s6035 s6036 s6037 s6038 s6039 s6040 s6041 s6042 s6043 s6044 s6045 s6046 s6047 s6048 s6049 s6050 s6051 s6052 s6053 s6054 s6055 s6056 s6057 s6058 s6059 s6060 s6061 s6062 s6063 s6064 s6065 s6066 s6067 s6068 s6069 s6070 s6071 s6072 s6073 s6074 s6075 s6076 s6077 s6078 s6079 s6080 s6081 s6082 s6083 s6084 s6085 s6086 s6087 s6088 s6089 s6090 s6091 s6092 s6093 s6094 s6095 s6096 s6097 s6098 s6099 s6100 s6101 s6102 s6103 s6104 s6105 s6106 s6107 s6108 s6109 s6110 s6111 s6112 s6113 s6114 s6115 s6116 s6117 s6118 s6119 s6120 s6121 s6122 s6123 s6124 s6125 s6126 s6127 s6128 s6129 s6130 s6131 s6132 s6133 s6134 s6135 s6136 s6137 s6138 s6139 s6140 s6141 s6142 s6143 s6144 s6145 s6146 s6147 s6148 s6149 s6150 s6151 s6152 s6153 s6154 s6155 s6156 s6157 s6158 s6159 s6160 s6161 s6162 s6163 s6164 s6165 s6166 s6167 s6168 s6169 s6170 s6171 s6172 s6173 s6174 s6175 s6176 s6177 s6178 s6179 s6180 s6181 s6182 s6183 s6184 s6185 s6186 s6187 s6188 s6189 s6190 s6191 s6192 s6193 s6194 s6195 s6196 s6197 s6198 s6199 s6200 s6201 s6202 s6203 s6204 s6205 s6206 s6207 s6208 s6209 s6210 s6211 s6212 s6213 s6214 s6215 s6216 s6217 s6218 s6219 s6220 s6221 s6222 s6223 s6224 s6225 s6226 s6227 s6228 s6229 s6230 s6231 s6232 s6233 s6234 s6235 s6236 s6237 s6238 s6239 s6240 s6241 s6242 s6243 s6244 s6245 s6246 s6247 s6248 s6249 s6250 s6251 s6252 s6253 s6254 s6255 s6256 s6257 s6258 s6259 s6260 s6261 s6262 s6263 s6264 s6265 s6266 s6267 s6268 s6269 s6270 s6271 s6272 s6273 s6274 s6275 s6276 s6277 s6278 s6279 s6280 s6281 s6282 s6283 s6284 s6285 s6286 s6287 s6288 s6289 s6290 s6291 s6292 s6293 s6294 s6295 s6296 s6297 s6298 s6299 s6300 s6301 s6302 s6303 s6304 s6305 s6306 s6307 s6308 s6309 s6310 s6311 s6312 s6313 s6314 s6315 s6316 s6317 s6318 s6319 s6320 s6321 s6322 s6323 s6324 s6325 s6326 s6327 s6328 s6329 s6330 s6331 s6332 s6333 s6334 s6335 s6336 s6337 s6338 s6339 s6340 s6341 s6342 s6343 s6344 s6345 s6346 s6347 s6348 s6349 s6350 s6351 s6352 s6353 s6354 s6355 s6356 s6357 s6358 s6359 s6360 s6361 s6362 s6363 s6364 s6365 s6366 s6367 s6368 s6369 s6370 s6371 s6372 s6373 s6374 s6375 s6376 s6377 s6378 s6379 s6380 s6381 s6382 s6383 s6384 s6385 s6386 s6387 s6388 s6389 s6390 s6391 s6392 s6393 s6394 s6395 s6396 s6397 s6398 s6399 s6400 s6401 s6402 s6403 s6404 s6405 s6406 s6407 s6408 s6409 s6410 s6411 s6412 s6413 s6414 s6415 s6416 s6417 s6418 s6419 s6420 s6421 s6422 s6423 s6424 s6425 s6426 s6427 s6428 s6429 s6430 s6431 s6432 s6433 s6434 s6435 s6436 s6437 s6438 s6439 s6440 s6441 s6442 s6443 s6444 s6445 s6446 s6447 s6448 s6449 s6450 s6451 s6452 s6453 s6454 s6455 s6456 s6457 s6458 s6459 s6460 s6461 s6462 s6463 s6464 s6465 s6466 s6467 s6468 s6469 s6470 s6471 s6472 s6473 s6474 s6475 s6476 s6477 s6478 s6479 s6480 s6481 s6482 s6483 s6484 s6485 s6486 s6487 s6488 s6489 s6490 s6491 s6492 s6493 s6494 s6495 s6496 s6497 s6498 s6499 s6500 s6501 s6502 s6503 s6504 s6505 s6506 s6507 s6508 s6509 s6510 s6511 s6512 s6513 s6514 s6515 s6516 s6517 s6518 s6519 s6520 s6521 s6522 s6523 s6524 s6525 s6526 s6527 s6528 s6529 s6530 s6531 s6532 s6533 s6534 s6535 s6536 s6537 s6538 s6539 s6540 s6541 s6542 s6543 s6544 s6545 s6546 s6547 s6548 s6549 s6550 s6551 s6552 s6553 s6554 s6555 s6556 s6557 s6558 s6559 s6560 s6561 s6562 s6563 s6564 s6565 s6566 s6567 s6568 s6569 s6570 s6571 s6572 s6573 s6574 s6575 s6576 s6577 s6578 s6579 s6580 s6581 s6582 s6583 s6584 s6585 s6586 s6587 s6588 s6589 s6590 s6591 s6592 s6593 s6594 s6595 s6596 s6597 s6598 s6599 s6600 s6601 s6602 s6603 s6604 s6605 s6606 s6607 s6608 s6609 s6610 s6611 s6612 s6613 s6614 s6615 s6616 s6617 s6618 s6619 s6620 s6621 s6622 s6623 s6624 s6625 s6626 s6627 s6628 s6629 s6630 s6631 s6632 s6633 s6634 s6635 s6636 s6637 s6638 s6639 s6640 s6641 s6642 s6643 s6644 s6645 s6646 s6647 s6648 s6649 s6650 s6651 s6652 s6653 s6654 s6655 s6656 s6657 s6658 s6659 s6660 s6661 s6662 s6663 s6664 s6665 s6666 s6667 s6668 s6669 s6670 s6671 s6672 s6673 s6674 s6675 s6676 s6677 s6678 s6679 s6680 s6681 s6682 s6683 s6684 s6685 s6686 s6687 s6688 s6689 s6690 s6691 s6692 s6693 s6694 s6695 s6696 s6697 s6698 s6699 s6700 s6701 s6702 s6703 s6704 s6705 s6706 s6707 s6708 s6709 s6710 s6711 s6712 s6713 s6714 s6715 s6716 s6717 s6718 s6719 s6720 s6721 s6722 s6723 s6724 s6725 s6726 s6727 s6728 s6729 s6730 s6731 s6732 s6733 s6734 s6735 s6736 s6737 s6738 s6739 s6740 s6741 s6742 s6743 s6744 s6745 s6746 s6747 s6748 s6749 s6750 s6751 s6752 s6753 s6754 s6755 s6756 s6757 s6758 s6759 s6760 s6761 s6762 s6763 s6764 s6765 s6766 s6767 s6768 s6769 s6770 s6771 s6772 s6773 s6774 s6775 s6776 s6777 s6778 s6779 s6780 s6781 s6782 s6783 s6784 s6785 s6786 s6787 s6788 s6789 s6790 s6791 s6792 s6793 s6794 s6795 s6796 s6797 s6798 s6799 s6800 s6801 s6802 s6803 s6804 s6805 s6806 s6807 s6808 s6809 s6810 s6811 s6812 s6813 s6814 s6815 s6816 s6817 s6818 s6819 s6820 s6821 s6822 s6823 s6824 s6825 s6826 s6827 s6828 s6829 s6830 s6831 s6832 s6833 s6834 s6835 s6836 s6837 s6838 s6839 s6840 s6841 s6842 s6843 s6844 s6845 s6846 s6847 s6848 s6849 s6850 s6851 s6852 s6853 s6854 s6855 s6856 s6857 s6858 s6859 s6860 s6861 s6862 s6863 s6864 s6865 s6866 s6867 s6868 s6869 s6870 s6871 s6872 s6873 s6874 s6875 s6876 s6877 s6878 s6879 s6880 s6881 s6882 s6883 s6884 s6885 s6886 s6887 s6888 s6889 s6890 s6891 s6892 s6893 s6894 s6895 s6896 s6897 s6898 s6899 s6900 s6901 s6902 s6903 s6904 s6905 s6906 s6907 s6908 s6909 s6910 s6911 s6912 s6913 s6914 s6915 s6916 s6917 s6918 s6919 s6920 s6921 s6922 s6923 s6924 s6925 s6926 s6927 s6928 s6929 s6930 s6931 s6932 s6933 s6934 s6935 s6936 s6937 s6938 s6939 s6940 s6941 s6942 s6943 s6944 s6945 s6946 s6947 s6948 s6949 s6950 s6951 s6952 s6953 s6954 s6955 s6956 s6957 s6958 s6959 s6960 s6961 s6962 s6963 s6964 s6965 s6966 s6967 s6968 s6969 s6970 s6971 s6972 s6973 s6974 s6975 s6976 s6977 s6978 s6979 s6980 s6981 s6982 s6983 s6984 s6985 s6986 s6987 s6988 s6989 s6990 s6991 s6992 s6993 s6994 s6995 s6996 s6997 s6998 s6999 s7000 s7001 s7002 s7003 s7004 s7005 s7006 s7007 s7008 s7009 s7010 s7011 s7012 s7013 s7014 s7015 s7016 s7017 s7018 s7019 s7020 s7021 s7022 s7023 s7024 s7025 s7026 s7027 s7028 s7029 s7030 s7031 s7032 s7033 s7034 s7035 s7036 s7037 s7038 s7039 s7040 s7041 s7042 s7043 s7044 s7045 s7046 s7047 s7048 s7049 s7050 s7051 s7052 s7053 s7054 s7055 s7056 s7057 s7058 s7059 s7060 s7061 s7062 s7063 s7064 s7065 s7066 s7067 s7068 s7069 s7070 s7071 s7072 s7073 s7074 s7075 s7076 s7077 s7078 s7079 s7080 s7081 s7082 s7083 s7084 s7085 s7086 s7087 s7088 s7089 s7090 s7091 s7092 s7093 s7094 s7095 s7096 s7097 s7098 s7099 s7100 s7101 s7102 s7103 s7104 s7105 s7106 s7107 s7108 s7109 s7110 s7111 s7112 s7113 s7114 s7115 s7116 s7117 s7118 s7119 s7120 s7121 s7122 s7123 s7124 s7125 s7126 s7127 s7128 s7129 s7130 s7131 s7132 s7133 s7134 s7135 s7136 s7137 s7138 s7139 s7140 s7141 s7142 s7143 s7144 s7145 s7146 s7147 s7148 s7149 s7150 s7151 s7152 s7153 s7154 s7155 s7156 s7157 s7158 s7159 s7160 s7161 s7162 s7163 s7164 s7165 s7166 s7167 s7168 s7169 s7170 s7171 s7172 s7173 s7174 s7175 s7176 s7177 s7178 s7179 s7180 s7181 s7182 s7183 s7184 s7185 s7186 s7187 s7188 s7189 s7190 s7191 s7192 s7193 s7194 s7195 s7196 s7197 s7198 s7199 s7200 s7201 s7202 s7203 s7204 s7205 s7206 s7207 s7208 s7209 s7210 s7211 s7212 s7213 s7214 s7215 s7216 s7217 s7218 s7219 s7220 s7221 s7222 s7223 s7224 s7225 s7226 s7227 s7228 s7229 s7230 s7231 s7232 s7233 s7234 s7235 s7236 s7237 s7238 s7239 s7240 s7241 s7242 s7243 s7244 s7245 s7246 s7247 s7248 s7249 s7250 s7251 s7252 s7253 s7254 s7255 s7256 s7257 s7258 s7259 s7260 s7261 s7262 s7263 s7264 s7265 s7266 s7267 s7268 s7269 s7270 s7271 s7272 s7273 s7274 s7275 s7276 s7277 s7278 s7279 s7280 s7281 s7282 s7283 s7284 s7285 s7286 s7287 s7288 s7289 s7290 s7291 s7292 s7293 s7294 s7295 s7296 s7297 s7298 s7299 s7300 s7301 s7302 s7303 s7304 s7305 s7306 s7307 s7308 s7309 s7310 s7311 s7312 s7313 s7314 s7315 s7316 s7317 s7318 s7319 s7320 s7321 s7322 s7323 s7324 s7325 s7326 s7327 s7328 s7329 s7330 s7331 s7332 s7333 s7334 s7335 s7336 s7337 s7338 s7339 s7340 s7341 s7342 s7343 s7344 s7345 s7346 s7347 s7348 s7349 s7350 s7351 s7352 s7353 s7354 s7355 s7356 s7357 s7358 s7359 s7360 s7361 s7362 s7363 s7364 s7365 s7366 s7367 s7368 s7369 s7370 s7371 s7372 s7373 s7374 s7375 s7376 s7377 s7378 s7379 s7380 s7381 s7382 s7383 s7384 s7385 s7386 s7387 s7388 s7389 s7390 s7391 s7392 s7393 s7394 s7395 s7396 s7397 s7398 s7399 s7400 s7401 s7402 s7403 s7404 s7405 s7406 s7407 s7408 s7409 s7410 s7411 s7412 s7413 s7414 s7415 s7416 s7417 s7418 s7419 s7420 s7421 s7422 s7423 s7424 s7425 s7426 s7427 s7428 s7429 s7430 s7431 s7432 s7433 s7434 s7435 s7436 s7437 s7438 s7439 s7440 s7441 s7442 s7443 s7444 s7445 s7446 s7447 s7448 s7449 s7450 s7451 s7452 s7453 s7454 s7455 s7456 s7457 s7458 s7459 s7460 s7461 s7462 s7463 s7464 s7465 s7466 s7467 s7468 s7469 s7470 s7471 s7472 s7473 s7474 s7475 s7476 s7477 s7478 s7479 s7480 s7481 s7482 s7483 s7484 s7485 s7486 s7487 s7488 s7489 s7490 s7491 s7492 s7493 s7494 s7495 s7496 s7497 s7498 s7499 s7500 s7501 s7502 s7503 s7504 s7505 s7506 s7507 s7508 s7509 s7510 s7511 s7512 s7513 s7514 s7515 s7516 s7517 s7518 s7519 s7520 s7521 s7522 s7523 s7524 s7525 s7526 s7527 s7528 s7529 s7530 s7531 s7532 s7533 s7534 s7535 s7536 s7537 s7538 s7539 s7540 s7541 s7542 s7543 s7544 s7545 s7546 s7547 s7548 s7549 s7550 s7551 s7552 s7553 s7554 s7555 s7556 s7557 s7558 s7559 s7560 s7561 s7562 s7563 s7564 s7565 s7566 s7567 s7568 s7569 s7570 s7571 s7572 s7573 s7574 s7575 s7576 s7577 s7578 s7579 s7580 s7581 s7582 s7583 s7584 s7585 s7586 s7587 s7588 s7589 s7590 s7591 s7592 s7593 s7594 s7595 s7596 s7597 s7598 s7599 s7600 s7601 s7602 s7603 s7604 s7605 s7606 s7607 s7608 s7609 s7610 s7611 s7612 s7613 s7614 s7615 s7616 s7617 s7618 s7619 s7620 s7621 s7622 s7623 s7624 s7625 s7626 s7627 s7628 s7629 s7630 s7631 s7632 s7633 s7634 s7635 s7636 s7637 s7638 s7639 s7640 s7641 s7642 s7643 s7644 s7645 s7646 s7647 s7648 s7649 s7650 s7651 s7652 s7653 s7654 s7655 s7656 s7657 s7658 s7659 s7660 s7661 s7662 s7663 s7664 s7665 s7666 s7667 s7668 s7669 s7670 s7671 s7672 s7673 s7674 s7675 s7676 s7677 s7678 s7679 s7680 s7681 s7682 s7683 s7684 s7685 s7686 s7687 s7688 s7689 s7690 s7691 s7692 s7693 s7694 s7695 s7696 s7697 s7698 s7699 s7700 s7701 s7702 s7703 s7704 s7705 s7706 s7707 s7708 s7709 s7710 s7711 s7712 s7713 s7714 s7715 s7716 s7717 s7718 s7719 s7720 s7721 s7722 s7723 s7724 s7725 s7726 s7727 s7728 s7729 s7730 s7731 s7732 s7733 s7734 s7735 s7736 s7737 s7738 s7739 s7740 s7741 s7742 s7743 s7744 s7745 s7746 s7747 s7748 s7749 s7750 s7751 s7752 s7753 s7754 s7755 s7756 s7757 s7758 s7759 s7760 s7761 s7762 s7763 s7764 s7765 s7766 s7767 s7768 s7769 s7770 s7771 s7772 s7773 s7774 s7775 s7776 s7777 s7778 s7779 s7780 s7781 s7782 s7783 s7784 s7785 s7786 s7787 s7788 s7789 s7790 s7791 s7792 s7793 s7794 s7795 s7796 s7797 s7798 s7799 s7800 s7801 s7802 s7803 s7804 s7805 s7806 s7807 s7808 s7809 s7810 s7811 s7812 s7813 s7814 s7815 s7816 s7817 s7818 s7819 s7820 s7821 s7822 s7823 s7824 s7825 s7826 s7827 s7828 s7829 s7830 s7831 s7832 s7833 s7834 s7835 s7836 s7837 s7838 s7839 s7840 s7841 s7842 s7843 s7844 s7845 s7846 s7847 s7848 s7849 s7850 s7851 s7852 s7853 s7854 s7855 s7856 s7857 s7858 s7859 s7860 s7861 s7862 s7863 s7864 s7865 s7866 s7867 s7868 s7869 s7870 s7871 s7872 s7873 s7874 s7875 s7876 s7877 s7878 s7879 s7880 s7881 s7882 s7883 s7884 s7885 s7886 s7887 s7888 s7889 s7890 s7891 s7892 s7893 s7894 s7895 s7896 s7897 s7898 s7899 s7900 s7901 s7902 s7903 s7904 s7905 s7906 s7907 s7908 s7909 s7910 s7911 s7912 s7913 s7914 s7915 s7916 s7917 s7918 s7919 s7920 s7921 s7922 s7923 s7924 s7925 s7926 s7927 s7928 s7929 s7930 s7931 s7932 s7933 s7934 s7935 s7936 s7937 s7938 s7939 s7940 s7941 s7942 s7943 s7944 s7945 s7946 s7947 s7948 s7949 s7950 s7951 s7952 s7953 s7954 s7955 s7956 s7957 s7958 s7959 s7960 s7961 s7962 s7963 s7964 s7965 s7966 s7967 s7968 s7969 s7970 s7971 s7972 s7973 s7974 s7975 s7976 s7977 s7978 s7979 s7980 s7981 s7982 s7983 s7984 s7985 s7986 s7987 s7988 s7989 s7990 s7991 s7992 s7993 s7994 s7995 s7996 s7997 s7998 s7999 s8000 s8001 s8002 s8003 s8004 s8005 s8006 s8007 s8008 s8009 s8010 s8011 s8012 s8013 s8014 s8015 s8016 s8017 s8018 s8019 s8020 s8021 s8022 s8023 s8024 s8025 s8026 s8027 s8028 s8029 s8030 s8031 s8032 s8033 s8034 s8035 s8036 s8037 s8038 s8039 s8040 s8041 s8042 s8043 s8044 s8045 s8046 s8047 s8048 s8049 s8050 s8051 s8052 s8053 s8054 s8055 s8056 s8057 s8058 s8059 s8060 s8061 s8062 s8063 s8064 s8065 s8066 s8067 s8068 s8069 s8070 s8071 s8072 s8073 s8074 s8075 s8076 s8077 s8078 s8079 s8080 s8081 s8082 s8083 s8084 s8085 s8086 s8087 s8088 s8089 s8090 s8091 s8092 s8093 s8094 s8095 s8096 s8097 s8098 s8099 s8100 s8101 s8102 s8103 s8104 s8105 s8106 s8107 s8108 s8109 s8110 s8111 s8112 s8113 s8114 s8115 s8116 s8117 s8118 s8119 s8120 s8121 s8122 s8123 s8124 s8125 s8126 s8127 s8128 s8129 s8130 s8131 s8132 s8133 s8134 s8135 s8136 s8137 s8138 s8139 s8140 s8141 s8142 s8143 s8144 s8145 s8146 s8147 s8148 s8149 s8150 s8151 s8152 s8153 s8154 s8155 s8156 s8157 s8158 s8159 s8160 s8161 s8162 s8163 s8164 s8165 s8166 s8167 s8168 s8169 s8170 s8171 s8172 s8173 s8174 s8175 s8176 s8177 s8178 s8179 s8180 s8181 s8182 s8183 s8184 s8185 s8186 s8187 s8188 s8189 s8190 s8191 s8192 s8193 s8194 s8195 s8196 s8197 s8198 s8199 s8200 s8201 s8202 s8203 s8204 s8205 s8206 s8207 s8208 s8209 s8210 s8211 s8212 s8213 s8214 s8215 s8216 s8217 s8218 s8219 s8220 s8221 s8222 s8223 s8224 s8225 s8226 s8227 s8228 s8229 s8230 s8231 s8232 s8233 s8234 s8235 s8236 s8237 s8238 s8239 s8240 s8241 s8242 s8243 s8244 s8245 s8246 s8247 s8248 s8249 s8250 s8251 s8252 s8253 s8254 s8255 s8256 s8257 s8258 s8259 s8260 s8261 s8262 s8263 s8264 s8265 s8266 s8267 s8268 s8269 s8270 s8271 s8272 s8273 s8274 s8275 s8276 s8277 s8278 s8279 s8280 s8281 s8282 s8283 s8284 s8285 s8286 s8287 s8288 s8289 s8290 s8291 s8292 s8293 s8294 s8295 s8296 s8297 s8298 s8299 s8300 s8301 s8302 s8303 s8304 s8305 s8306 s8307 s8308 s8309 s8310 s8311 s8312 s8313 s8314 s8315 s8316 s8317 s8318 s8319 s8320 s8321 s8322 s8323 s8324 s8325 s8326 s8327 s8328 s8329 s8330 s8331 s8332 s8333 s8334 s8335 s8336 s8337 s8338 s8339 s8340 s8341 s8342 s8343 s8344 s8345 s8346 s8347 s8348 s8349 s8350 s8351 s8352 s8353 s8354 s8355 s8356 s8357 s8358 s8359 s8360 s8361 s8362 s8363 s8364 s8365 s8366 s8367 s8368 s8369 s8370 s8371 s8372 s8373 s8374 s8375 s8376 s8377 s8378 s8379 s8380 s8381 s8382 s8383 s8384 s8385 s8386 s8387 s8388 s8389 s8390 s8391 s8392 s8393 s8394 s8395 s8396 s8397 s8398 s8399 s8400 s8401 s8402 s8403 s8404 s8405 s8406 s8407 s8408 s8409 s8410 s8411 s8412 s8413 s8414 s8415 s8416 s8417 s8418 s8419 s8420 s8421 s8422 s8423 s8424 s8425 s8426 s8427 s8428 s8429 s8430 s8431 s8432 s8433 s8434 s8435 s8436 s8437 s8438 s8439 s8440 s8441 s8442 s8443 s8444 s8445 s8446 s8447 s8448 s8449 s8450 s8451 s8452 s8453 s8454 s8455 s8456 s8457 s8458 s8459 s8460 s8461 s8462 s8463 s8464 s8465 s8466 s8467 s8468 s8469 s8470 s8471 s8472 s8473 s8474 s8475 s8476 s8477 s8478 s8479 s8480 s8481 s8482 s8483 s8484 s8485 s8486 s8487 s8488 s8489 s8490 s8491 s8492 s8493 s8494 s8495 s8496 s8497 s8498 s8499 s8500 s8501 s8502 s8503 s8504 s8505 s8506 s8507 s8508 s8509 s8510 s8511 s8512 s8513 s8514 s8515 s8516 s8517 s8518 s8519 s8520 s8521 s8522 s8523 s8524 s8525 s8526 s8527 s8528 s8529 s8530 s8531 s8532 s8533 s8534 s8535 s8536 s8537 s8538 s8539 s8540 s8541 s8542 s8543 s8544 s8545 s8546 s8547 s8548 s8549 s8550 s8551 s8552 s8553 s8554 s8555 s8556 s8557 s8558 s8559 s8560 s8561 s8562 s8563 s8564 s8565 s8566 s8567 s8568 s8569 s8570 s8571 s8572 s8573 s8574 s8575 s8576 s8577 s8578 s8579 s8580 s8581 s8582 s8583 s8584 s8585 s8586 s8587 s8588 s8589 s8590 s8591 s8592 s8593 s8594 s8595 s8596 s8597 s8598 s8599 s8600 s8601 s8602 s8603 s8604 s8605 s8606 s8607 s8608 s8609 s8610 s8611 s8612 s8613 s8614 s8615 s8616 s8617 s8618 s8619 s8620 s8621 s8622 s8623 s8624 s8625 s8626 s8627 s8628 s8629 s8630 s8631 s8632 s8633 s8634 s8635 s8636 s8637 s8638 s8639 s8640 s8641 s8642 s8643 s8644 s8645 s8646 s8647 s8648 s8649 s8650 s8651 s8652 s8653 s8654 s8655 s8656 s8657 s8658 s8659 s8660 s8661 s8662 s8663 s8664 s8665 s8666 s8667 s8668 s8669 s8670 s8671 s8672 s8673 s8674 s8675 s8676 s8677 s8678 s8679 s8680 s8681 s8682 s8683 s8684 s8685 s8686 s8687 s8688 s8689 s8690 s8691 s8692 s8693 s8694 s8695 s8696 s8697 s8698 s8699 s8700 s8701 s8702 s8703 s8704 s8705 s8706 s8707 s8708 s8709 s8710 s8711 s8712 s8713 s8714 s8715 s8716 s8717 s8718 s8719 s8720 s8721 s8722 s8723 s8724) (ADD s104 s105 s106 s107 s108 s109 s110 s111 s112 s113 s114 s115 s116 s117 s118 s119 s120 s121 s122 s123 s124 s125 s126 s127 s128 s129 s130 s131 s132 s133 s134 s135 s136))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 39 steps with 0 reset in 7 ms.
FORMULA VehicularWifi-COL-none-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-14 finished in 7588 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 64 out of 8729 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 8729/8729 places, 29700/29700 transitions.
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 24 Pre rules applied. Total rules applied 0 place count 8729 transition count 29676
Deduced a syphon composed of 24 places in 68 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 0 with 48 rules applied. Total rules applied 48 place count 8705 transition count 29676
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 20 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 64 place count 8697 transition count 29668
Applied a total of 64 rules in 3618 ms. Remains 8697 /8729 variables (removed 32) and now considering 29668/29700 (removed 32) transitions.
[2021-05-20 04:30:06] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:30:07] [INFO ] Computed 8 place invariants in 874 ms
[2021-05-20 04:30:08] [INFO ] Dead Transitions using invariants and state equation in 1935 ms returned []
[2021-05-20 04:30:08] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:30:09] [INFO ] Computed 8 place invariants in 1215 ms
[2021-05-20 04:30:11] [INFO ] Implicit Places using invariants in 2548 ms returned []
Implicit Place search using SMT only with invariants took 2552 ms to find 0 implicit places.
[2021-05-20 04:30:11] [INFO ] Flow matrix only has 17276 transitions (discarded 12392 similar events)
// Phase 1: matrix 17276 rows 8697 cols
[2021-05-20 04:30:12] [INFO ] Computed 8 place invariants in 1031 ms
[2021-05-20 04:30:13] [INFO ] Dead Transitions using invariants and state equation in 2461 ms returned []
Finished structural reductions, in 1 iterations. Remains : 8697/8729 places, 29668/29700 transitions.
Stuttering acceptance computed with spot in 63 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : VehicularWifi-COL-none-15 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(LEQ (ADD s163 s164 s165 s166 s167 s168 s169 s170 s171 s172 s173 s174 s175 s176 s177 s178 s179 s180 s181 s182 s183 s184 s185 s186 s187 s188 s189 s190 s191 s192 s193 s194) (ADD s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 s59 s60 s61 s62 s63))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 1 reset in 3420 ms.
Stack based approach found an accepted trace after 1704 steps with 1 reset with depth 1675 and stack size 1675 in 67 ms.
FORMULA VehicularWifi-COL-none-15 FALSE TECHNIQUES STUTTER_TEST
Treatment of property VehicularWifi-COL-none-15 finished in 14197 ms.
All properties solved without resorting to model-checking.
BK_STOP 1621485018642
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="VehicularWifi-COL-none"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 VehicularWifi-COL-none, 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 r273-smll-162123879800220"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/VehicularWifi-COL-none.tgz
mv VehicularWifi-COL-none 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 ;